Definition:Index Lowering 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 lowering of $F$, denoted by $F^\flat$, is an isomorphism $\flat : \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^\flat} {\alpha_1, \ldots \alpha_{k + l}} := \map F {\alpha_1, \ldots, \alpha_{i \mathop - 1}, \alpha_i^\flat, \alpha_{i \mathop + 1}, \ldots \alpha_{k + l}}$

where $F^\flat$ 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