[Math] Lie derivative on a riemannian manifold

differential-geometrylie derivativeriemannian-geometry

Suppose we have a Riemannian manifold $(M,g,\nabla)$ with Levi-civita connection $\nabla$. We define a new symmetric non-metric connection $\bar\nabla$ on $M$. Then the Lie derivative of functions and vector fields are related as follows
$$\bar{L}_Xf=X(f)={L}_Xf
\\ \bar{L}_XY=[X,Y]={L}_XY
\\ (\bar{L}_Xg)(U,V)=X(g(U,V)-g([X,U],V)-g(U,[X,V])=(L_Xg)(U,V)$$ Is this true? Does it make sense? Thanks in advance.

Best Answer

The Lie derivative $L_X T$ of any tensor $T$ along any vector field $X$ is defined directly and only from the underlying manifold structure. If, moreover, the manifold has a symmetric connection, (symmetric means zero torsion), then it is possible to express $\mathcal{L}_X T$ using this connection. Of course, the result is the same no matter which connection is used, (as long as it is symmetric).

Please note, accordingly, there is no meaning in writing $L_X$ and $\bar{L}_X$. This is wrong. The Lie derivative comes first, and then the expression in terms of a connection, not the other way around.

The Lie derivative has two (equivalent) definitions. A dynamical one and an algebraic one. It is very important to appreciate that these reflect two equally useful intuitions. I will not get into this here, (feel free to ask), but I will consider expressing the Lie derivative in terms of a symmetric connection.

If $\nabla$ is a symmetric connection, then for any vector fields $X,Y$

$$ L_XY = [X,Y] = \nabla_XY-\nabla_YX $$ where the first equality is by definition, but the second equality means $\nabla$ is symmetric.

For $(0,s)$-tensor $T$, (think of the metric if you would like), $L_XT$ is also a $(0,s)$-tensor, (one says that $L_X$ is type preserving), and by definition

$$ L_XT(Y_1,\ldots,Y_s) = X(T(Y_1,\ldots,Y_s)) - \sum_i T(\ldots,[X,Y_i],\ldots) $$

The first term is

$$ X(T(Y_1,\ldots,Y_s)) = (\nabla_X T)(Y_1,\ldots,Y_s) + \sum_i T(\ldots,\nabla_XY_i,\ldots) $$

By replacing in the definition of $L_XT$ and using the fact that $\nabla$ is symmetric, this yields the expression

$$ L_XT(Y_1,\ldots,Y_s) = \nabla_X T(Y_1,\ldots,Y_s) + \sum_i T(\ldots,\nabla_{Y_i}X,\ldots) $$

Please note this is not the definition of $L_XT$ but only a formula, using the connection $\nabla$. In other words, $L_XT$ does not depend on $\nabla$ but the righ-hand side does.

If $T$ is parallel, (this means $\nabla_X T = 0$ for any $X$),

$$ L_XT(Y_1,\ldots,Y_s) = \sum_i T(\ldots,\nabla_{Y_i}X,\ldots) $$

You may apply this last formula to the Lie derivative of the Riemannian metric $T=g$, and use the Levi-Civita connection as $\nabla$, to get the ''elasticity tensor'' $L_Xg$ and understand the definition of Killing vector fields, etc.

-- Salem

Related Question