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.