Levi-Civita connection

From Vero - Wikipedia
Jump to navigation Jump to search

Template:Use American English Template:Short description In Riemannian or pseudo-Riemannian geometry (in particular the Lorentzian geometry of general relativity), the Levi-Civita connection is the unique affine connection on the tangent bundle of a manifold that preserves the (pseudo-)Riemannian metric and is torsion-free.

The fundamental theorem of Riemannian geometry states that there is a unique connection that satisfies these properties.

In the theory of Riemannian and pseudo-Riemannian manifolds the term covariant derivative is often used for the Levi-Civita connection. The components (structure coefficients) of this connection with respect to a system of local coordinates are called Christoffel symbols.

History

The Levi-Civita connection is named after Tullio Levi-Civita, although originally "discovered" by Elwin Bruno Christoffel. Levi-Civita,<ref name="Levi-Civita1917"> Template:Cite journal </ref> along with Gregorio Ricci-Curbastro, used Christoffel's symbols<ref>Template:Cite journal</ref> to define the notion of parallel transport and explore the relationship of parallel transport with the curvature, thus developing the modern notion of holonomy.<ref>See Template:Cite book</ref>

In 1869, Christoffel discovered that the components of the intrinsic derivative of a vector field, upon changing the coordinate system, transform as the components of a contravariant vector. This discovery was the real beginning of tensor analysis.

In 1906, L. E. J. Brouwer was the first mathematician to consider the parallel transport of a vector for the case of a space of constant curvature.<ref> Template:Cite journal </ref><ref> Template:Cite journal </ref>

In 1917, Tullio Levi-Civita pointed out its importance for the case of a hypersurface immersed in a Euclidean space, i.e., for the case of a Riemannian manifold embedded in a "larger" ambient space.<ref name="Levi-Civita1917" /> He interpreted the intrinsic derivative in the case of an embedded surface as the tangential component of the usual derivative in the ambient affine space. The Levi-Civita notions of intrinsic derivative and parallel displacement of a vector along a curve make sense on an abstract Riemannian manifold, even though the original motivation relied on a specific embedding <math>M^n \subset \mathbf{R}^{n(n+1)/2}.</math>

In 1918, independently of Levi-Civita, Jan Arnoldus Schouten obtained analogous results.<ref> Template:Cite journal </ref> In the same year, Hermann Weyl generalized Levi-Civita's results.<ref> Template:Cite journal Reprinted in Das Relativitätsprinzip: Eine Sammlung von Abhandlungen (1923), pp. 147–159, Template:Doi, Template:Isbn. </ref><ref> Template:Cite journal </ref>

Notation

The metric Template:Math can take up to two vectors or vector fields Template:Math as arguments. In the former case the output is a number, the (pseudo-)inner product of Template:Math and Template:Math. In the latter case, the inner product of Template:Math is taken at all points Template:Math on the manifold so that Template:Math defines a smooth function on Template:Math. Vector fields act (by definition) as differential operators on smooth functions. In local coordinates <math>(x_1,\ldots, x_n) </math>, the action reads

<math>X(f) = X^i\frac{\partial}{\partial x^i}f = X^i\partial_i f</math>

where Einstein's summation convention is used.

Formal definition

An affine connection <math>\nabla</math> is called a Levi-Civita connection if

  1. it preserves the metric, i.e., <math>\nabla g = 0 </math>.
  2. it is torsion-free, i.e., for any vector fields <math>X</math> and <math>Y</math> we have <math>\nabla_X Y - \nabla_Y X = [X,Y]</math>, where <math>[X, Y]</math> is the Lie bracket of the vector fields <math>X</math> and <math>Y</math>.

Condition 1 above is sometimes referred to as compatibility with the metric, and condition 2 is sometimes called symmetry, cf. Do Carmo's text.<ref>Template:Cite book</ref>

Fundamental theorem of (pseudo-)Riemannian geometry

Template:Main Theorem Every pseudo-Riemannian manifold <math>(M,g)</math> has a unique Levi Civita connection <math>\nabla</math>.

Proof:<ref>Template:Cite book</ref><ref>Template:Cite book</ref> To prove uniqueness, unravel the definition of the action of a connection on tensors to find

<math> X\bigl(g(Y,Z)\bigr) = (\nabla_X g)(Y, Z) + g(\nabla_X Y, Z) + g( Y, \nabla_X Z)</math>.

Hence one can write the condition that <math>\nabla</math> preserves the metric as

<math> X\bigl(g(Y,Z)\bigr) = g(\nabla_X Y, Z) + g( Y, \nabla_X Z)</math>.

By the symmetry of <math>g</math>,

<math> X \bigl(g(Y,Z)\bigr) + Y \bigl(g(Z,X)\bigr) - Z \bigl(g(Y,X)\bigr) = g(\nabla_X Y + \nabla_Y X, Z) + g(\nabla_X Z - \nabla_Z X, Y) + g(\nabla_Y Z - \nabla_Z Y, X)</math>.

By torsion-freeness, the right hand side is therefore equal to

<math> 2g(\nabla_X Y, Z) - g([X,Y], Z) + g([X,Z], Y) + g([Y,Z], X)</math>.

Thus, the Koszul formula

<math> g(\nabla_X Y, Z) = \tfrac{1}{2} \Big\{ X \bigl(g(Y,Z)\bigr) + Y \bigl(g(Z,X)\bigr) - Z \bigl(g(X,Y)\bigr) + g([X,Y],Z) - g([Y,Z], X) - g([X,Z], Y) \Big\}</math>

holds. Hence, if a Levi-Civita connection exists, it must be unique, because <math>Z</math> is arbitrary, <math>g</math> is non degenerate, and the right hand side does not depend on <math>\nabla</math>.

To prove existence, note that for given vector field <math>X</math> and <math>Y</math>, the right hand side of the Koszul expression is linear over smooth functions in the vector field <math>Z</math>, not just real-linear. Hence by the non degeneracy of <math>g</math>, the right hand side uniquely defines some new vector field, which is suggestively denoted <math>\nabla_X Y</math> as in the left hand side. By substituting the Koszul formula, one now checks that for all vector fields <math>X, Y,Z</math> and all functions <math>f</math>,

<math> g(\nabla_X (Y_1 + Y_2), Z) = g(\nabla_X Y_1, Z) + g(\nabla_X Y_2 , Z) </math>
<math> g(\nabla_X (f Y), Z) = X(f) g(Y, Z) + f g(\nabla_X Y,Z) </math>
<math> g(\nabla_X Y, Z) + g(\nabla_X Z, Y) = X\bigl(g(Y,Z)\bigr)</math>
<math> g(\nabla_X Y, Z) - g(\nabla_Y X, Z) = g([X,Y], Z). </math>

Hence the Koszul expression does, in fact, define a connection, and this connection is compatible with the metric and is torsion free, i.e. is a Levi-Civita connection.

With minor variation, the same proof shows that there is a unique connection that is compatible with the metric and has prescribed torsion.

Christoffel symbols

Let <math>\nabla</math> be an affine connection on the tangent bundle. Choose local coordinates <math>x^1, \ldots, x^n</math> with coordinate basis vector fields <math>\partial_1, \ldots, \partial_n</math> and write <math>\nabla_j</math> for <math>\nabla_{\partial_j}</math>. The Christoffel symbols <math>\Gamma^l_{jk}</math> of <math>\nabla</math> with respect to these coordinates are defined as

<math> \nabla_j\partial_k = \Gamma^l_{jk} \partial_l </math>

The Christoffel symbols conversely define the connection <math>\nabla</math> on the coordinate neighbourhood because

<math>

\begin{align} \nabla_X Y &= \nabla_{X^j\partial_j} (Y^k \partial_k) 

          \\&=  X^j\nabla_j(Y^k\partial_k)
          \\ &= X^j\bigl(\partial_j(Y^k)\partial_k + Y^k\nabla_j\partial_k\bigr) 
          \\ &= X^j\bigl(\partial_j(Y^k)\partial_k + Y^k\Gamma^l_{jk}\partial_l\bigr)
          \\ &= X^j\bigl(\partial_j(Y^l) + Y^k\Gamma^l_{jk}\bigr)\partial_l

\end{align} </math> that is,

<math> (\nabla_j Y)^l = \partial_jY^l + \Gamma^l_{jk} Y^k </math>

An affine connection <math>\nabla</math> is compatible with a metric iff

<math> \partial_i \bigl(g(\partial_j, \partial_k) \bigr)
                        = g(\nabla_i\partial_j, \partial_k) + g(\partial_j, \nabla_i\partial_k)
                        = g(\Gamma^l_{ij}\partial_l, \partial_k) + g(\partial_j, \Gamma_{ik}^l\partial_l)

</math> i.e., if and only if

<math> \partial_i g_{jk} = \Gamma^l_{ij}g_{lk} + \Gamma^l_{ik}g_{jl}.</math>

An affine connection Template:Math is torsion free iff

<math>\nabla_j\partial_k - \nabla_k \partial_j = (\Gamma^l_{jk} - \Gamma^l_{kj})\partial_l = [\partial_j, \partial_k]= 0. </math>

i.e., if and only if

<math>\Gamma^l_{jk} = \Gamma^l_{kj}</math>

is symmetric in its lower two indices.

As one checks by taking for <math>X, Y, Z</math>, coordinate vector fields <math>\partial_j, \partial_k, \partial_l</math> (or computes directly), the Koszul expression of the Levi-Civita connection derived above is equivalent to a definition of the Christoffel symbols in terms of the metric as

<math>\Gamma^l_{jk} = \tfrac{1}{2} g^{lr} \left( \partial _k g_{rj} + \partial _j g_{rk} - \partial _r g_{jk} \right)</math>

where as usual <math>g^{ij}</math> are the coefficients of the dual metric tensor, i.e. the entries of the inverse of the matrix <math>g_{kl}</math>.

Derivative along curve

The Levi-Civita connection (like any affine connection) also defines a derivative along curves, sometimes denoted by Template:Math.

Given a smooth curve Template:Math on Template:Math and a vector field Template:Math along Template:Math its derivative is defined by

<math>D_tV=\nabla_{\dot\gamma(t)}V.</math>

Formally, Template:Math is the pullback connection Template:Math on the pullback bundle Template:Math.

In particular, <math>\dot\gamma(t)</math> is a vector field along the curve Template:Math itself. If <math>\nabla_{\dot{\gamma}(t)}\dot{\gamma}(t)</math> vanishes, the curve is called a geodesic of the covariant derivative. Formally, the condition can be restated as the vanishing of the pullback connection applied to <math>\dot\gamma</math>:

<math>\left(\gamma^*\nabla\right) \dot{\gamma}\equiv 0.</math>

If the covariant derivative is the Levi-Civita connection of a certain metric, then the geodesics for the connection are precisely those geodesics of the metric that are parametrised proportionally to their arc length.

Parallel transport

In general, parallel transport along a curve with respect to a connection defines isomorphisms between the tangent spaces at the points of the curve. If the connection is a Levi-Civita connection, then these isomorphisms are orthogonal – that is, they preserve the inner products on the various tangent spaces.

The images below show parallel transport induced by the Levi-Civita connection associated to two different Riemannian metrics on the punctured plane <math>\mathbf R^2 \backslash \{0,0\}</math>. The curve the parallel transport is done along is the unit circle. In polar coordinates, the metric on the left is the standard Euclidean metric <math>ds^2 = dx^2 + dy^2 = dr^2 + r^2 d\theta^2</math>, while the metric on the right is <math>ds^2 = dr^2 + d\theta^2</math>. The first metric extends to the entire plane, but the second metric has a singularity at the origin:

<math>dr = \frac{xdx + ydy}{\sqrt{x^2 + y^2}}</math>
<math>d\theta = \frac{xdy - ydx}{x^2 + y^2}</math>
<math>dr^2 + d\theta^2 = \frac{(xdx + ydy)^2}{x^2+y^2} + \frac{(xdy - ydx)^2}{(x^2+y^2)^2}</math>.

Template:Multiple image

Warning: This is parallel transport on the punctured plane along the unit circle, not parallel transport on the unit circle. Indeed, in the first image, the vectors fall outside of the tangent space to the unit circle.

Example: the unit sphere in R3

Let Template:Math be the usual scalar product on Template:Math. Let Template:Math be the unit sphere in Template:Math. The tangent space to Template:Math at a point Template:Math is naturally identified with the vector subspace of Template:Math consisting of all vectors orthogonal to Template:Math. It follows that a vector field Template:Math on Template:Math can be seen as a map Template:Math, which satisfies <math display="Block">\bigl\langle Y(m), m\bigr\rangle = 0, \qquad \forall m\in \mathbf{S}^2.</math>

Denote as Template:Math the differential of the map Template:Math at the point Template:Math. Then we have:

Template:Math theorem

Template:Math proof

In fact, this connection is the Levi-Civita connection for the metric on Template:Math inherited from Template:Math. Indeed, one can check that this connection preserves the metric.

Behaviour under conformal rescaling

If the metric <math>g</math> in a conformal class is replaced by the conformally rescaled metric of the same class <math>\hat g=e^{2\gamma}g</math>, then the Levi-Civita connection transforms according to the rule<ref>Template:Cite book</ref> <math display="block">\widehat\nabla_X Y = \nabla_XY + X(\gamma)Y + Y(\gamma)X - g(X,Y)\mathrm{grad}_g(\gamma).</math> where <math>\mathrm{grad}_g(\gamma)</math> is the gradient vector field of <math>\gamma</math> i.e. the vector field <math>g</math>-dual to <math>d\gamma</math>, in local coordinates given by <math>g^{ik}(\partial_i \gamma)\partial_k</math>. Indeed, it is trivial to verify that <math>\widehat\nabla</math> is torsion-free. To verify metricity, assume that <math>g(Y,Y)</math> is constant. In that case, <math display="block">\hat g(\widehat\nabla_XY,Y) = X(\gamma)\hat g(Y,Y) = \frac12 X(\hat g(Y,Y)).</math>

As an application, consider again the unit sphere, but this time under stereographic projection, so that the metric (in complex Fubini–Study coordinates <math>z,\bar z</math>) is: <math display="block">g = \frac{4\,dz\,d\bar z}{(1+z\bar z)^2}.</math> This exhibits the metric of the sphere as conformally flat, with the Euclidean metric <math>dz\,d\bar z</math>, with <math>\gamma = \ln(2)-\ln (1+z\bar z)</math>. We have <math>d\gamma = -(1+z\bar z)^{-1}(\bar z\, dz + z\,d{\bar z})</math>, and so <math display="block">\widehat\nabla_{\partial_z}\partial_z = -\frac{2\bar z\partial_z}{1+z\bar z}.</math> With the Euclidean gradient <math>\mathrm{grad}_{Euc}(\gamma) = -(1+z\bar z)^{-1}(\bar z\partial_z + z\partial_{\bar z})</math>, we have <math display="block">\widehat\nabla_{\partial_z}\partial_{\bar z} = 0.</math> These relations, together with their complex conjugates, define the Christoffel symbols for the two-sphere.

See also

Notes

Template:Reflist

References

Template:Riemannian geometry Template:Manifolds Template:Tensors

Retrieved from "https://wiki.sarg.dev/index.php?title=Levi-Civita_connection&oldid=168089"