Definition:Index Raising for Tensor

Definition

Let $\struct {M, g}$ be a Riemannian manifold.

Let $\hat g : TM \to T^* M$ be the Riemannian metric mapping.

Let $F$ be a $\tuple {k, l}$-tensor.

Let $i \in \tuple {1, \ldots, k + l}$ be a covariant index position.

Index raising of $F$, denoted by $F^\sharp$, is an isomorphism $\sharp : \underbrace{V \times \ldots \times V}_{\text{$k$ times}} \times \underbrace{{T_p^*M} \times \ldots \times {T_p^*M}}_{\text{$l$ times}} \to \underbrace{T_p M \times \ldots \times T_p M}_{\text{$k + 1$ times}} \times \underbrace{{T_p^*M} \times \ldots \times {T_p^*M}}_{\text{$l - 1$ times}}$ such that:

$\map {F^\sharp} {\alpha_1, \ldots \alpha_{k + l}} := \map F {\alpha_1, \ldots, \alpha_{i - 1}, \alpha_i^\sharp, \alpha_{i + 1}, \ldots \alpha_{k + l}}$

where $F^\sharp$ is a $\tuple {k + 1, l - 1}$-tensor, and $\alpha_i$ is either a vector or a covector as appropriate.

Further research is required in order to fill out the details. In particular: local expression You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by finding out more. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Research}} from the code.

Sources

• 2018: John M. Lee: Introduction to Riemannian Manifolds (2nd ed.) ... (previous) ... (next): $\S 2$: Riemannian Metrics. Basic Constructions on Riemannian Manifolds