Riemannian Metric and Levi-Civita Connection

Riemannian Geometry: Metric, Connection, and Curvature

Riemannian Metric: “Measurement Rule” on a Manifold

A smooth manifold $M$ by itself does not have notions of length or angle—it is “amorphous” topology. The Riemannian metric $g$ is an additional structure that defines an inner product in each tangent space.

Formally: $g$ is a symmetric, positive-definite $(0,2)$-tensor on $M$. At each point $p$: $g_p: T_pM \times T_pM \to \mathbb{R}$ — an inner product. In coordinates: $g = g_{ij} dx^i \otimes dx^j$, symmetry $g_{ij} = g_{ji}$, $g > 0$.

Length of a curve $\gamma$: $L(\gamma) = \int \sqrt{g(\gamma', \gamma')} dt = \int \sqrt{g_{ij} \gamma'^i \gamma'^j} dt$.

Distance: $d(p, q) = \inf_{\gamma: p \to q} L(\gamma)$ — the shortest distance along curves.

First fundamental form of a surface—an example of Riemannian metric in two dimensions.

Levi-Civita Connection: “Covariant Differentiation”

On a manifold, the derivative of a vector field $Y$ along direction $X$—the covariant derivative $\nabla_X Y$. This is a generalization of the derivative to curved spaces.

Axioms of a connection $\nabla$: $C^\infty$-linearity in $X$; $\partial$-rule in $Y$; Leibniz rule for the product of a function and a field.

Levi-Civita connection is the unique one that satisfies: (1) metric compatibility: $X, g(Y, Z) = g(\nabla_X Y, Z) + g(Y, \nabla_X Z)$ (parallel transport preserves lengths); (2) torsion-free: $\nabla_X Y - \nabla_Y X = [X, Y]$.

Christoffel symbols in coordinates: $\Gamma^i_{jk} = \frac{1}{2} g^{il} (\partial_j g_{kl} + \partial_k g_{jl} - \partial_l g_{jk})$. They completely determine $\nabla$. Covariant derivative: $(\nabla_{\partial/\partial x^j} Y)^i = \frac{\partial Y^i}{\partial x^j} + \Gamma^i_{jk} Y^k$.

Geodesics — “straight lines” on a Riemannian manifold: $\nabla_{\gamma'} \gamma' = 0$. In coordinates: $\gamma''^i + \Gamma^i_{jk} \gamma'^j \gamma'^k = 0$ — an ODE system for $\gamma(t)$.

Numerical example (sphere $S^2$): $\Gamma^1_{22} = -\sin \varphi \cos \varphi$, $\Gamma^2_{12} = \Gamma^2_{21} = \cot \varphi$. Geodesic equation $\rightarrow$ great circle.

Parallel Transport

A vector $v \in T_pM$ is parallel transported along a curve $\gamma$: $\nabla_{\gamma'} v = 0$. On the plane, this is simply “dragging a vector, retaining the direction.” On a curved surface, the result of transport depends on the path.

Holonomy: transporting a vector along a closed loop returns a rotated vector. The angle of rotation is related to the integral of curvature (Gauss–Bonnet theorem). This is not just a theorem—it is a measurable physical effect.

Foucault Gyroscope (1851): The Foucault pendulum is parallel transport of a vector along a “parallel” on the rotating Earth. In one day, the vector turns by angle $2\pi \sin(\varphi)$ ($\varphi$ — latitude). In Moscow ($\varphi \approx 55^\circ$): angle $\approx 2\pi \sin 55^\circ \approx 2\pi \times 0.82 \approx 295^\circ$ per day.

Riemann Curvature Tensor

Riemann tensor $R(X, Y)Z$ measures noncommutativity of parallel transport:

$ R(X, Y)Z = \nabla_X \nabla_Y Z - \nabla_Y \nabla_X Z - \nabla_{[X, Y]} Z $

In coordinates: $R^i_{jkl} = \partial_k \Gamma^i_{jl} - \partial_l \Gamma^i_{jk} + \Gamma^i_{km} \Gamma^m_{jl} - \Gamma^i_{lm} \Gamma^m_{jk}$.

On the plane: $R^i_{jkl} = 0$ (parallel transport commutes). On the sphere: $R \neq 0$.

Sectional curvature $K(X, Y) = g(R(X,Y)Y, X) / (|X|^2|Y|^2 - g(X,Y)^2)$. For a two-dimensional surface: this is precisely the Gaussian curvature!

Ricci tensor: $R_{ij} = \sum_k R^i_{k j k}$ (contraction). Scalar curvature: $R = g^{ij} R_{ij}$.

Einstein’s Equations

In general relativity, the metric $g_{ij}$ is a dynamical field. Einstein’s equations:

$ G_{ij} \equiv R_{ij} - \frac{1}{2} R g_{ij} = 8\pi G T_{ij} $

The left side (Einstein tensor $G_{ij}$) is geometry (spacetime curvature). The right ($T_{ij}$) is matter and energy. Matter curves spacetime; curvature governs motion of matter—a closed cycle.

Exact Solutions to Einstein’s Equations

Despite the nonlinearity of the system, a number of exact solutions are known. Schwarzschild solution (1916): vacuum metric outside a spherically symmetric body: $ds^2 = -(1 - r_s/r) c^2 dt^2 + (1 - r_s/r)^{-1} dr^2 + r^2 d\Omega^2$. Here $r_s = 2GM/c^2$ — the Schwarzschild radius. At $r = r_s$—the event horizon of a black hole. Geodesics of this metric precisely predict the shift of Mercury’s perihelion ($+43''$ per century) and the bending of light near the Sun ($1.75''$), confirmed by astronomical observations in 1919 during the solar eclipse by Eddington’s expedition.

Levi-Civita Connection in Modern Applications

Covariant differentiation and parallel transport find applications far beyond pure mathematics. In computer vision, when processing images on spherical or other curved surfaces, spherical convolutional neural networks use parallel transport to correctly generalize convolution operations to manifolds: the filter must be transported along the surface covariantly so that the result does not depend on the choice of local coordinates. In quantum computing, holonomic quantum computation is based on the geometric phase: if the parameters of the Hamiltonian slowly traverse a closed contour in parameter space, the quantum state acquires a unitary transformation (holonomy), determined by the curvature of the connection in state space. Such gates are robust to local noise, since the phase depends only on the geometry of the path, not on details of the dynamics. In geodynamics, the stress tensor in the Earth’s crust is described as a section of a tensor bundle over the two-dimensional surface of the Earth, and the differential equations of plate tectonics use covariant derivatives to account for surface curvature when modeling the propagation of stresses.

The theory of gravitational waves (detected by LIGO in 2015) is formulated via perturbations of the metric $g_{ij} = \eta_{ij} + h_{ij}$ in linearized GR: the wave equation for $h_{ij}$ is derived from Einstein’s equations and describes transverse ripples in the curvature of spacetime. Christoffel symbols and Ricci tensor in the linear approximation directly determine the observed effect of stretching–compression of the 4 km-long LIGO interferometer by a fraction of a proton—a direct application of the Levi-Civita connection.

Assignment: (a) For the metric $\mathbb{R}^2$ in polar coordinates $g = dr^2 + r^2 d\theta^2$: find the nonzero Christoffel symbols. (b) Write the geodesic equation in polar coordinates. Show that straight lines (through the origin) are geodesics. (c) What does $R = 0$ mean on a 2-dimensional manifold? Name an example.