Math 2.0

Differential geometry Definition

Levi-Civita connection

Builds on Pseudo-Riemannian manifoldAffine connectionTorsion tensorLie bracket of vector fieldsChristoffel symbols

Definition

Let (M,g)(M, g) be a pseudo-Riemannian manifold, and write 𝔛(M)\mathfrak{X}(M) for the space of smooth vector fields on MM. A Levi-Civita connection of (M,g)(M, g) is an affine connection βˆ‡\nabla on MM such that:

  1. βˆ‡\nabla is torsion-free: βˆ‡XYβˆ’βˆ‡YX=[X,Y]\nabla_X Y - \nabla_Y X = [X, Y] for all X,Yβˆˆπ”›(M)X, Y \in \mathfrak{X}(M), where [X,Y][X, Y] is the Lie bracket;
  2. βˆ‡\nabla is compatible with gg: X(g(Y,Z))=g(βˆ‡XY,Z)+g(Y,βˆ‡XZ)X\bigl(g(Y, Z)\bigr) = g(\nabla_X Y, Z) + g(Y, \nabla_X Z) for all X,Y,Zβˆˆπ”›(M)X, Y, Z \in \mathfrak{X}(M).

Remarks

Example: on ℝn\R^n with g=βˆ‘idxi2g = \sum_i dx_i^2, let βˆ‡XY\nabla_X Y be the vector field whose components are X(Y1),…,X(Yn)X(Y^1), \ldots, X(Y^n). Then βˆ‡XYβˆ’βˆ‡YX\nabla_X Y - \nabla_Y X has components X(Yi)βˆ’Y(Xi)X(Y^i) - Y(X^i), which is [X,Y][X, Y], and the product rule gives clause 2 for g(Y,Z)=βˆ‘iYiZig(Y, Z) = \sum_i Y^i Z^i.

Non-example: on ℝ3\R^3 with the Euclidean metric, let βˆ‡XY=DXY+XΓ—Y\nabla_X Y = D_X Y + X \times Y, where DD is the flat connection above and Γ—\times is the cross product. This is an affine connection, and clause 2 holds because ⟨XΓ—Y,Z⟩+⟨Y,XΓ—Z⟩=0\ip{X \times Y}{Z} + \ip{Y}{X \times Z} = 0. Its torsion is βˆ‡XYβˆ’βˆ‡YXβˆ’[X,Y]=2 XΓ—Y\nabla_X Y - \nabla_Y X - [X, Y] = 2 \, X \times Y, which is not zero, so clause 1 fails.

The two clauses determine βˆ‡\nabla; this is the fundamental theorem of Riemannian geometry. In coordinates, βˆ‡βˆ‚iβˆ‚j=βˆ‘kΞ“ijkβˆ‚k\nabla_{\partial_i} \partial_j = \sum_k \Gamma^k_{ij} \partial_k with the Christoffel symbols Ξ“ijk=12βˆ‘lgkl(βˆ‚igjl+βˆ‚jgilβˆ’βˆ‚lgij).\Gamma^k_{ij} = \frac{1}{2} \sum_l g^{kl} \left( \partial_i g_{jl} + \partial_j g_{il} - \partial_l g_{ij} \right).

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Affine connection concept
  2. Christoffel symbols concept
  3. Lie bracket of vector fields concept
  4. Pseudo-Riemannian manifold concept
  5. Torsion tensor concept
  6. Levi-Civita connection definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Levi-Civita_connection
About this page
TagPCNPQ7YBDE
URIm2://PCNPQ7YBDE
Kinddefinition
WritingW0 stub
MSC53B05, 53B20
DefinesLevi-Civita connection
UsesPseudo-Riemannian manifold, Affine connection, Torsion tensor, Lie bracket of vector fields, Christoffel symbols
Changed2 November 2026

Markdown Β· JSON Β· Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.