Musical isomorphism

In mathematics—more specifically, in differential geometry—the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle $\mathrm {T} M$ and the cotangent bundle $\mathrm {T} ^{*}M$ of a Riemannian or pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. The term musical refers to the use of the symbols $\flat$ (flat) and $\sharp$ (sharp).^[1]^[2]

In the notation of Ricci calculus, the idea is expressed as the raising and lowering of indices.

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[edit]

In linear algebra, a finite-dimensional vector space is isomorphic to its dual space, but not canonically isomorphic to it. On the other hand, a finite-dimensional vector space $V$ endowed with a non-degenerate bilinear form $\langle \cdot ,\cdot \rangle$ , is canonically isomorphic to its dual. The canonical isomorphism $V\to V^{*}$ is given by

v\mapsto \langle v,\cdot \rangle

.

The non-degeneracy of $\langle \cdot ,\cdot \rangle$ means exactly that the above map is an isomorphism.

An example is where $V=\mathbb {R} ^{n}$ , and $\langle \cdot ,\cdot \rangle$ is the dot product.

The musical isomorphisms are the global version of this isomorphism and its inverse for the tangent bundle and cotangent bundle of a (pseudo-)Riemannian manifold $(M,g)$ . They are canonical isomorphisms of vector bundles which are at any point $p$ the above isomorphism applied to the tangent space of $M$ at $p$ endowed with the inner product $g_{p}$ .

Because every paracompact manifold can be (non-canonically) endowed with a Riemannian metric, the musical isomorphisms show that a vector bundle on a paracompact manifold is (non-canonically) isomorphic to its dual.

Discussion[edit]

Let $(M, g)$ be a (pseudo-)Riemannian manifold. At each point $p$ , the map $g p$ is a non-degenerate bilinear form on the tangent space $T p M$ . If $v$ is a vector in $T p M$ , its flat is the covector

v^{\flat }=g_{p}(v,\cdot )

in $T * p M$ . Since this is a smooth map that preserves the point $p$ , it defines a morphism of smooth vector bundles $\flat :\mathrm {T} M\to \mathrm {T} ^{*}M$ . By non-degeneracy of the metric, $\flat$ has an inverse $\sharp$ at each point, characterized by

g_{p}(\alpha ^{\sharp },v)=\alpha (v)

for $α$ in $T * p M$ and $v$ in $T p M$ . The vector $\alpha ^{\sharp }$ is called the sharp of $α$ . The sharp map is a smooth bundle map $\sharp :\mathrm {T} ^{*}M\to \mathrm {T} M$ .

Flat and sharp are mutually inverse isomorphisms of smooth vector bundles, hence, for each $p$ in $M$ , there are mutually inverse vector space isomorphisms between $T p M$ and $T * p M$ .

The flat and sharp maps can be applied to vector fields and covector fields by applying them to each point. Hence, if $X$ is a vector field and $ω$ is a covector field,

X^{\flat }=g(X,\cdot )

and

g(\omega ^{\sharp },X)=\omega (X)

.

In a moving frame[edit]

Suppose ${e i}$ is a moving tangent frame (see also smooth frame) for the tangent bundle $T M$ with, as dual frame (see also dual basis), the moving coframe (a moving tangent frame for the cotangent bundle $\mathrm {T} ^{*}M$ ; see also coframe) ${e i}$ . Then the pseudo-Riemannian metric, which is a symmetric and nondegenerate $2$ -covariant tensor field can be written locally in terms of this coframe as $g = g ij e i \otimes e j$ using Einstein summation notation.

Given a vector field $X = X i e i$ and denoting $g ij X i = X j$ , its flat is

X^{\flat }=g_{ij}X^{i}\mathbf {e} ^{j}=X_{j}\mathbf {e} ^{j}

.

This is referred to as lowering an index.

In the same way, given a covector field $ω = ω i e i$ and denoting $g ij ω i = ω j$ , its sharp is

\omega ^{\sharp }g^{ij}\omega _{i}\mathbf {e} _{j}=\omega ^{j}\mathbf {e} _{j}

where $g ij$ are the components of the inverse metric tensor (given by the entries of the inverse matrix to $g ij$ ). Taking the sharp of a covector field is referred to as raising an index.

Extension to tensor products[edit]

The musical isomorphisms may also be extended to the bundles $\bigotimes ^{k}{\rm {T}}M,\qquad \bigotimes ^{k}{\rm {T}}^{*}M.$

Which index is to be raised or lowered must be indicated. For instance, consider the (0, 2)-tensor field $X = X ij e i \otimes e j$ . Raising the second index, we get the (1, 1)-tensor field $X^{\sharp }=g^{jk}X_{ij}\,{\rm {e}}^{i}\otimes {\rm {e}}_{k}.$

Extension to k-vectors and k-forms[edit]

In the context of exterior algebra, an extension of the musical operators may be defined on $⋀ V$ and its dual $⋀ * V$ , which with minor abuse of notation may be denoted the same, and are again mutual inverses:^[3] $\flat :{\bigwedge }V\to {\bigwedge }^{*}V,\qquad \sharp :{\bigwedge }^{*}V\to {\bigwedge }V,$ defined by $(X\wedge \ldots \wedge Z)^{\flat }=X^{\flat }\wedge \ldots \wedge Z^{\flat },\qquad (\alpha \wedge \ldots \wedge \gamma )^{\sharp }=\alpha ^{\sharp }\wedge \ldots \wedge \gamma ^{\sharp }.$

In this extension, in which $♭$ maps p-vectors to p-covectors and $♯$ maps p-covectors to p-vectors, all the indices of a totally antisymmetric tensor are simultaneously raised or lowered, and so no index need be indicated: $Y^{\sharp }=(Y_{i\dots k}\mathbf {e} ^{i}\otimes \dots \otimes \mathbf {e} ^{k})^{\sharp }=g^{ir}\dots g^{kt}\,Y_{i\dots k}\,\mathbf {e} _{r}\otimes \dots \otimes \mathbf {e} _{t}.$

Vector bundles with bundle metrics[edit]

More generally, musical isomorphisms always exist between a vector bundle endowed with a bundle metric and its dual.

Trace of a tensor through a metric tensor[edit]

Given a type (0, 2) tensor field $X = X ij e i \otimes e j$ , we define the trace of $X$ through the metric tensor $g$ by $\operatorname {tr} _{g}(X):=\operatorname {tr} (X^{\sharp })=\operatorname {tr} (g^{jk}X_{ij}\,{\bf {e}}^{i}\otimes {\bf {e}}_{k})=g^{ij}X_{ij}.$

Observe that the definition of trace is independent of the choice of index to raise, since the metric tensor is symmetric.

Citations[edit]

^ Lee 2003, Chapter 11.
^ Lee 1997, Chapter 3.
^ Vaz & da Rocha 2016, pp. 48, 50.

References[edit]

Lee, J. M. (2003). Introduction to Smooth manifolds. Springer Graduate Texts in Mathematics. Vol. 218. ISBN 0-387-95448-1.
Lee, J. M. (1997). Riemannian Manifolds – An Introduction to Curvature. Springer Graduate Texts in Mathematics. Vol. 176. Springer Verlag. ISBN 978-0-387-98322-6.
Vaz, Jayme; da Rocha, Roldão (2016). An Introduction to Clifford Algebras and Spinors. Oxford University Press. ISBN 978-0-19-878-292-6.

[FOOTNOTELee2003Chapter_11-1] Lee 2003, Chapter 11.

[FOOTNOTELee1997Chapter_3-2] Lee 1997, Chapter 3.

[FOOTNOTEVazda_Rocha2016pp._48,_50-3] Vaz & da Rocha 2016, pp. 48, 50.

[1]

[2]

[3]

v t e Riemannian geometry (Glossary)
Basic concepts	Curvature tensor Scalar Ricci Sectional Exponential map Geodesic Inner product Metric tensor Levi-Civita connection Covariant derivative Signature Raising and lowering indices/Musical isomorphism Parallel transport Riemannian manifold Pseudo-Riemannian manifold Riemannian volume form
Types of manifolds	Hermitian Hyperbolic Kähler Kenmotsu
Main results	Fundamental theorem of Riemannian geometry Gauss's lemma Gauss–Bonnet theorem Hopf–Rinow theorem Nash embedding theorem Ricci flow Schur's lemma
Generalizations	Finsler Hilbert Sub-Riemannian
Applications	General relativity Geometrization conjecture Poincaré conjecture Uniformization theorem