Ngô Quốc Anh

November 16, 2009

R-G: Levi-Civita connection

Filed under: Riemannian geometry — Ngô Quốc Anh @ 2:39

Suppose M is a differentiable manifold of dimension n.

Connection on vector bundles

Definition 1. A connection on a vector bundle E is a map

D : \Gamma(E) \to \Gamma(T^\star(M) \otimes E)

which satisfies the following conditions

  • For any s_1, s_2 \in \Gamma(E), D(s_1+s_2)=Ds_1 + Ds_2.
  • For s \in \Gamma(E) and any \alpha \in C^\infty(M), D(\alpha s)=d\alpha \otimes s + \alpha Ds.

If X is a tangent vector field on M (i.e. a section of the tangent bundle TM) one can define a covariant derivative along X, denoted by D_X, as follows

{D_X}s = \left\langle {X,Ds} \right\rangle

where \left\langle \cdot, \cdot \right\rangle represents the pairing between TM and T^\star M.

Locally, a connection is given by a set of differential 1-forms. Suppose U is a coordinate neighborhood of M with local coordinates x^i, 1 \leq i \leq n. Choose q smooth sections s_\alpha of E on U such that they are linearly independent everywhere. Such a set of q sections is called a local frame field of E on U. It is obvious that at every point P \in U

\displaystyle \{ dx^i \otimes s_\alpha, 1 \leq i \leq n, 1 \leq \alpha \leq q\}

forms a basis for the tensor space T_P^\star \otimes E_P. Because Ds_\alpha is a local section on U, we can write

\displaystyle D{s_\alpha } = \Gamma _{\alpha i}^\beta d{x^i} \otimes {s_\beta }

where \Gamma_{\alpha i}^\beta are smooth functions on U. Denote \omega _\alpha ^\beta = \Gamma _{\alpha i}^\beta d{x^i} then D{s_\alpha } = \omega _\alpha ^\beta \otimes {s_\beta }.

Definition 2 (curvature operator). Suppose X, Y are two arbitrary smooth tangent vector fields on the manifold M. Then

\displaystyle R(X, Y) = D_XD_Y - D_YD_X - D_{[X,Y]}

is the curvature operator of the connection D.

Obviously, R(X,Y) has the following properties

  • R(X,Y)=-R(Y,X),
  • R(fX, Y)=f \cdot R(X,Y),
  • R(X,Y)(fs)=f \cdot (R(X,Y)s),

where X, Y \in \Gamma(TM), f \in C^\infty(M) and s \in \Gamma(E).

Connection on tangent bundles (affine connections)

A tangent bundle TM is an n-dimensional vector bundle determined intrinsically by the differentiable structure of an n-dimensional smooth manifold M. A connection of TM is called an affine connection on M. Affine connection is usually denoted by \nabla.

Definition 3 (curvature tensor). The curvature tensor is a (1,3)-tensor defined by

R(X,Y)Z = D_XD_YZ - D_YD_XZ - D_{[X,Y]}Z.

In local coordinates, the curvature tensor is given by

R = R_{ikl}^j\dfrac{\partial }{{\partial {x^j}}} \otimes d{x^i} \otimes d{x^k} \otimes d{x^l}.

A simple calculation shows us that

\displaystyle R_{ikl}^j = \left\langle {R\left( {\frac{\partial }{{\partial {x^k}}},\frac{\partial }{{\partial {x^l}}}} \right)\frac{\partial }{{\partial {x^i}}},d{x^j}} \right\rangle .

Definition 4 (torsion tensor). The torsion tensor is a (1,2)-tensor defined by

T(X,Y) = D_XY - D_YX - [X,Y].

In local coordinates, the torsion tensor is given by

\displaystyle T = T_{ij}^k\frac{\partial }{{\partial {x^k}}}\otimes d{x^i} \otimes d{x^j}.

A simple calculation shows us that

\displaystyle T_{ij}^k = \Gamma _{ji}^k - \Gamma _{ij}^k.

Definition 5 (torsion free). If the torsion tensor of an affine connection D is zero, then the connection is said to be torsion free.

When M is a Riemannian manifold with metric g then we have the following definition

Definition 6 (Levi-Civita connection). An affine connection \nabla is called a Levi-Civita connection if:

  • It preserves the metric, i.e., for any vector fields X, Y, Z we have

    X(g(Y,Z))=g(\nabla_X Y,Z) + g(Y, \nabla_X Z)

    where X(g(Y,Z)) denotes the derivative of the function g(Y,Z) along the vector field X.

  • It is torsion free.

The first condition above is called metric connection condition. Thus, the Levi-Civita connection is the torsion free metric connection, i.e., the torsion free connection on the tangent bundle (an affine connection) preserving a given Riemannian metric.

There is a theorem in the literature saying that the Levi-Civita connection is unique and it is given by the following identity

\displaystyle g({\nabla _X}Y,W) = \frac{1}{2}\left( {X(g(Y,W)) + Y(g(X,W)) - W(g(X,Y)) + g([X,Y],W) + g([W,X],Y) - g([Y,W],X)} \right).

In local coordinate, the Levi-Civita connection \nabla is given by

\displaystyle {\nabla _{\frac{\partial }{{\partial {x^i}}}}}\frac{\partial }{{\partial {x^j}}} = \Gamma _{ij}^k\frac{\partial }{{\partial {x^k}}}

where \Gamma _{ij}^k are called Christoffel symbols which are determined by

\displaystyle \Gamma _{ij}^k = \frac{1}{2}{g^{kl}}\left( {{g_{il,j}} + {g_{jl,i}} - {g_{ij,l}}} \right)

where {g_{,m}} = \frac{{\partial g}}{{\partial {x^m}}}.

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Blog at WordPress.com.

%d bloggers like this: