Uniqueness of induced covariant derivatives of tensor fields

Question

I'm working on proving Lemma 4.6 in John Lee's "Riemannian Manifolds":

Lemma. Let $\nabla$ be a linear connection on a Riemannian manifold $M$. There is a unique connection in each tensor bundle $T_l^kM$, also denoted $\nabla$, such that the following conditions are satisfied:

1. On $TM$, $\nabla$ agrees with the given connection.
2. On $T^0M$, $\nabla$ is given by ordinary differentiation of functions: $$\nabla_X f = Xf.$$
3. $\nabla$ obeys the following product rule with respect to tensor products: $$\nabla_X(F \otimes G) = (\nabla_X F)\otimes G + F \otimes (\nabla_X G).$$
4. $\nabla$ commutes with all contractions: if "$\mathrm{tr}$" denotes the trace of any pair of indices, $$\nabla_X(\mathrm{tr}Y) = \mathrm{tr}(\nabla_X Y).$$
5. $\nabla$ obeys the following product rule with respect to the natural pairing between a covector field $\omega$ and a vector field $Y$: $$\nabla_X\langle \omega, Y\rangle = \langle \nabla_X \omega, Y \rangle + \langle \omega, \nabla_X Y \rangle.$$
6. For any $F \in \mathcal T_l^k(M)$, where $\mathcal T_l^k(M)$ is the space of smooth $(k,l)$-tensor fields on $M$, and for any vector fields $Y_i$ and 1-forms $\omega^j$, \begin{align} (\nabla_X F)(\omega^1, \ldots, \omega^l, Y_1, \ldots, Y_k) = &X(F(\omega^1, \ldots, \omega^l, Y_1, \ldots, Y_k)) \\ &- \sum_{j=1}^l F(\omega^1, \ldots, \nabla_X \omega^j, \ldots, \omega^l, Y_1, \ldots, Y_k) \\ &- \sum_{i=1}^k F(\omega^1, \ldots, \omega^l, Y_1, \ldots, \nabla_X Y_i, \ldots, Y_k). \end{align}

Lee suggests using 1-4 to prove 5 and 6 (and thus to prove uniqueness), and prove existence using 5 and 6 (ie using 5 and 6 to prove 1-4). The one part of this I'm having trouble with is proving 5 from 1-4 (I can prove 2-4 from 6 and 1 (note 5 follows from 6 also), and 6 follows from 3). Certainly 5 bears resemblance to 3, but 3 involves explicit tensor products, and 5 does not; besides, $\langle \omega, Y \rangle \in C^\infty(M) = \mathcal T^0(M)$, which seems to suggest 2 should be used, but again, the exact computation is lost on me. Any insights?

Answer 1

The discussion above has hinted pretty much. Let me thus summarise them down here as a solution.

Let $(E_i)$ be a local frame and $(\varphi^i)$ be the dual coframe. First we note that given any 1-form $\eta=\eta_j\varphi^j$ (Einstein summation convention) and any vector field $Z=Z^iE_i$, we have \begin{equation} \eta\otimes Z=\eta_jZ^i\varphi^j\otimes E_i \end{equation} i.e., the coefficients of $\eta\otimes Z$ are $\eta_jZ^i$. Thus, by taking contraction, we have \begin{equation} \text{tr}(\eta\otimes Z)=\eta_mZ^m \end{equation} but the R.H.S. is just $\eta(Z)$. Therefore \begin{equation} \text{tr}(\eta\otimes Z)=\left\langle\eta,Z\right\rangle \end{equation} Now we can use 3 and 4, together with linearity of tr, to show 5 as follow: \begin{align} \nabla_X\left\langle\omega,Y\right\rangle&=\nabla_X(\text{tr}(\omega\otimes Y)) \\ &=\text{tr}(\nabla_X(\omega\otimes Y))\qquad\qquad\qquad\qquad\mbox{(By 4)} \\ &=\text{tr}((\nabla_X\omega)\otimes Y+\omega\otimes(\nabla_XY))\qquad\quad\mbox{(By 3)} \\ &=\text{tr}((\nabla_X\omega)\otimes Y)+\text{tr}(\omega\otimes(\nabla_XY))\qquad\mbox{(Linearity of tr)} \\ &=\left\langle\nabla_X\omega,Y\right\rangle+\left\langle\omega,\nabla_XY\right\rangle\qquad\mbox{($\nabla_X\omega$ is a 1-form while $\nabla_XY$ is a vector field)} \end{align} This completes the proof (of 5).