In mathematics—more specifically, in differential geometry—the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle T M {\displaystyle \mathrm {T} M} and the cotangent bundle T ∗ M {\displaystyle \mathrm {T} ^{*}M} of a Riemannian or pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. These isomorphisms are global versions of the canonical isomorphism between an inner product space and its dual. The term musical refers to the use of the musical notation symbols ♭ {\displaystyle \flat } (flat) and ♯ {\displaystyle \sharp } (sharp). In the notation of Ricci calculus and mathematical physics, the idea is expressed as the raising and lowering of indices. Raising and lowering indices are a form of index manipulation in tensor expressions. In certain specialized applications, such as on Poisson manifolds, the relationship may fail to be an isomorphism at singular points, and so, for these cases, is technically only a homomorphism.
Motivation The index-raising isomorphism is a coordinate-free way to define the gradient of a function grad f = ( d f ) ♯ {\displaystyle {\text{grad}}f=(df)^{\sharp }} from its exterior derivative. In linear algebra, a finite-dimensional vector space is isomorphic to its dual space (the space of linear functionals mapping the vector space to its base field), but not canonically. Given a fixed basis for this vector space, there is a natural way to go back and forth between vectors and linear forms: vectors are represented in the basis by column vectors, linear forms are represented in the basis by row vectors, and the identification is done by transposition. On the other hand, a finite-dimensional vector space V {\displaystyle V} endowed with a non-degenerate bilinear form ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } is canonically isomorphic to its dual. The canonical isomorphism V → V ∗ {\displaystyle V\to V^{*}} is given by
v ↦ ⟨ v , ⋅ ⟩ {\displaystyle v\mapsto \langle v,\cdot \rangle } . An example is where V = R n {\displaystyle V=\mathbb {R} ^{n}} and ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } is the dot product. In a basis e i {\displaystyle e_{i}} , the canonical isomorphism above can be described as follows. Let g i j = ⟨ e i , e j ⟩ {\displaystyle g_{ij}=\langle e_{i},e_{j}\rangle } be the components of the non-degenerate bilinear form and let g i j {\displaystyle g^{ij}} be the components of the inverse matrix to g i j {\displaystyle g_{ij}} . Let e i {\displaystyle e^{i}} be the dual basis of e i {\displaystyle e_{i}} . A vector v {\displaystyle v} is written in the basis as v = v i e i {\displaystyle v=v^{i}e_{i}} using Einstein summation notation, i.e., v {\displaystyle v} has components v i {\displaystyle v^{i}} in the basis. The canonical isomorphism applied to v {\displaystyle v} gives an element of the dual, which is called a covector. The covector has components v i {\displaystyle v_{i}} in the dual basis given by contracting with g {\displaystyle g} :
v i = g i j v j . {\displaystyle v_{i}=g_{ij}v^{j}.}
This is what is meant by lowering the index. Conversely, contracting a covector α = α i e i {\displaystyle \alpha =\alpha _{i}e^{i}} with the inverse of g {\displaystyle g} gives a vector with components
α i = g i j α j . {\displaystyle \alpha ^{i}=g^{ij}\alpha _{j}.}
… excerpt ends here. Continue reading the full article.
