2

Let $X$ be a Riemannian manifold, $\nabla$ be a connexion and $\alpha$ be a 1-form. How do I show that $\text{Tr}(\nabla\alpha)=\sum e_{i}\alpha(e_{i})-\alpha(\nabla_{e_{i}}e_{i})$ (where $e_{i}$'s are orthonormal frame)? I have tried using the formula

$(\nabla\alpha)(X,Y)=\nabla_{X}\alpha(Y)-\nabla_{Y}\alpha(X)-\alpha([X,Y])$

but taking the trace takes me to zero.... where have I gone wrong? Or how should I proceed? Thanks!

enoughsaid05
  • 2,371
  • 18
  • 28
  • 1
    What is your definition of trace then? And the identity in the display is wrong, there must be $\mathrm{d}\alpha(X,Y)$ in the left hand side. – Yuri Vyatkin May 15 '14 at 08:00
  • @Vyatkin Sorry, I am new to differential geometry, so I have little clue what you are saying. Can you elaborate? – enoughsaid05 May 15 '14 at 08:17

2 Answers2

3

Your formula is pretty much the definition of the trace. Observe that ($n$=dim $M$) $$ \operatorname{Tr}\nabla \alpha := \sum_{i=1}^n \nabla_{e_i}\alpha(e_i)=\sum_{i=1}^n\left[e_i \alpha (e_i)-\alpha\left(\nabla_{e_i}e_i\right)\right] $$ The second equality is simply a definition of how to extend the covariant derivative on general tensor fields. Roughly speaking you want the extension of the covariant derivative to commute with contractions. So for a $(1,1)$-Tensor $\omega\otimes Y$ whose contraction $C(\omega\otimes Y)$ is just the function $\omega(Y)$ one requires that $$ \nabla_X(C(\omega\otimes Y))=C(\nabla_X(\omega\otimes Y))=C((\nabla_X\omega)\otimes Y)+C(\omega\otimes( \nabla_X Y)), $$ where you use the Leibnizrule. Rewriting gives $$ X(\omega(Y))=(\nabla_X\omega)(Y)+\omega (\nabla_X Y) $$ For a $(0,1)$--Tensor resp. a one-form one has $$ (\nabla_X\omega)(Y)=X(\omega(Y))-\omega (\nabla_X Y). $$ Here $\omega$ denotes a one-form and $Y$ a vector field.

EDIT: The formula you wrote looks suspicious to me (don't confuse $\nabla$ with the exterior derivative d).

frog
  • 2,381
1

Let me give some remarks to the accepted answer which are too long to be placed in the comments.

So, we have a $1$-form $\alpha$, that is $\alpha \in \Gamma(T^* M)$. The covariant derivative of $\alpha$ is a $(0,2)$-tensor $\nabla \alpha$ defined as $$ (\nabla \alpha)(X,Y) = X \alpha (Y) - \alpha (\nabla_X Y) $$ User @frog has correctly explained why this definition is used.

The Riemannian structure on $M$ provides a notion of (local) orthonormal frames in the tangent bundle, so we can pick one, say $\{e_i\},\,i=1,\dots,n$, and construct the following expression: $$ \sum_{i=1}^n (\nabla \alpha)(e_i,e_i) = \sum_{i=1}^n \left[ e_i \alpha (e_i) - \alpha (\nabla_{e_i} e_i) \right] $$

It turns out that this expression does not depend on a particular orthonormal frame, so at each point we obtain a well-defined function. This is why we can give it a name and call it the trace of tensor $\nabla \alpha$. Therefore, being careful, we must write $$ \mathrm{Tr} \nabla \alpha := \sum_{i=1}^n \left[ e_i \alpha (e_i) - \alpha (\nabla_{e_i} e_i) \right] $$

The (classical) notation $\nabla_{e_i}\alpha(e_i)$ is extremely misleading. Of course, it means $(\nabla \alpha)(e_i,e_i)$ really. This is what I wanted to point out.

The OP's identity $(\nabla\alpha)(X,Y)=\nabla_{X}\alpha(Y)-\nabla_{Y}\alpha(X)-\alpha([X,Y])$ is the definition (or an expression, depending on the approach) of the exterior derivative $\mathrm{d} \alpha$ of the $1$-form $\alpha$ in terms of a torsion-free connection $\nabla$ (and this is our case, because we mean the Levi-Civita connection $\nabla$ of the Riemannian metric on $M$). The purpose of the exterior derivative is that it gives a $2$-form $\mathrm{d}\alpha$ out of a $1$-form $\alpha$, that is $\mathrm{d}\alpha(X,Y) = - \mathrm{d}\alpha(Y,X)$.

Certainly, $\nabla$ and $\mathrm{d}$ should not be confused.

Yuri Vyatkin
  • 11,279
  • Thanks for your clarifications. But I referred to the identity the OP wanted to prove not the one with the Lie-Bracket (since this one is not needed in the present problem). I'm sorry for the confusion. – frog May 15 '14 at 11:01
  • @frog Ah, I see now. You mean the second equality in your answer. I will rewrite my answer to make it more positive towards your one. – Yuri Vyatkin May 15 '14 at 11:18