Connections and Covariant Derivative

Foucault hung a 67-meter pendulum in the Panthéon in 1851 and watched its swing plane rotate by ~11 degrees per hour - no force, just geometry. That rotation is holonomy: curvature accumulating around a closed loop. The same equation tracks IMUs in robots and Berry phases in spin-1/2 qubits.

• **Inertial navigation:** IMU orientation is tracked via parallel transport on SO(3). Holonomy explains gyroscope drift due to Earth's rotation
• **Topological quantum computing:** holonomic quantum gates implement logic operations through the Berry phase, inherently robust to local perturbations
• **Gauge theories:** the electromagnetic, weak, and strong forces are all described by U(1), SU(2), SU(3) connections-covariant derivatives for charged fields

Предварительные знания

• Differential Forms

The Covariant Derivative

The ordinary partial derivative of a vector field depends on coordinates and is not a tensor. The **covariant derivative** ∇ is a geometrically correct way to differentiate vector fields on a manifold. Axioms: 1. ∇ₓ(Y+Z) = ∇ₓY + ∇ₓZ 2. ∇_{fX}Y = f∇ₓY 3. Leibniz rule ∇ₓ(fY) = (Xf)Y + f∇ₓY.

In local coordinates: ∇_{∂ᵢ}(∂ⱼ) = Γᵏᵢⱼ ∂ₖ, where **Christoffel symbols** Γᵏᵢⱼ are the connection coefficients. For a vector field Y = Yʲ ∂ⱼ: (∇_{∂ᵢ} Y)ᵏ = ∂Yᵏ/∂xⁱ + ΓᵏᵢⱼYʲ.

**Geodesic condition:** a curve γ(t) is a geodesic if and only if ∇_{γ'} γ' = 0-the velocity vector is parallel transported along γ itself. This is the manifold generalization of 'moving in a straight line.'

Levi-Civita Connection and Parallel Transport

The **Levi-Civita connection** is the unique connection on a Riemannian manifold that is 1. metric-compatible: ∇g = 0 (inner products are preserved under parallel transport) 2. torsion-free: ∇ₓY − ∇ᵧX = [X,Y]. Its Christoffel symbols: Γᵏᵢⱼ = (1/2)gᵏˡ(∂ᵢgⱼˡ + ∂ⱼgᵢˡ − ∂ˡgᵢⱼ).

**Parallel transport** of a vector V along a curve γ: ∇_{γ'} V = 0. The vector V(t) maintains its 'direction' relative to the surface. On a sphere, parallel transport around a closed loop rotates V by an angle equal to the enclosed solid angle.

In robotics, orientation tracking uses parallel transport on SO(3): R(t+dt) = R(t) · exp(ω·dt), where ω is the angular velocity. This is discrete parallel transport along the trajectory-the basis of IMU integration.

Holonomy and Quantum Mechanics

**Holonomy** is the group of all transformations of TₓM generated by parallel transport around all closed loops based at x. For the Levi-Civita connection it is a rotation group related to the surface curvature.

The **Berry phase** in quantum mechanics is the holonomy of a complex line bundle. When a quantum state is adiabatically transported around a closed loop in parameter space, it acquires an extra phase e^{iγ} beyond the dynamical phase. γ = ∫∫ F dS, where F is the Berry curvature.

**ML applications:** holonomy-based neural networks encode symmetries via geometric phases. In gauge theories, parallel transport describes particle interactions (the Standard Model uses U(1), SU(2), SU(3) connections). Topological quantum computers use holonomy for fault-tolerant gates.

Key Ideas

• **Covariant derivative** ∇: tensor differentiation on manifolds. In coordinates: (∇_{∂ᵢ} Y)ᵏ = ∂Yᵏ/∂xⁱ + ΓᵏᵢⱼYʲ
• **Levi-Civita connection:** unique, metric-compatible (∇g = 0), torsion-free. Christoffel symbols from the metric
• **Parallel transport:** ∇_{γ'} V = 0. Vector moves 'straight' along the curve. Geodesics satisfy ∇_{γ'} γ' = 0
• **Holonomy = accumulated curvature** around a closed loop. Berry phase is the quantum analog, with applications in topological materials

Related Topics

The covariant derivative underpins all of tensor analysis and differential geometry:

• Riemann Curvature Tensor — R(X,Y)Z = ∇ₓ∇ᵧZ − ∇ᵧ∇ₓZ − ∇_{[X,Y]}Z-the non-commutativity of covariant derivatives
• Geodesics — Geodesics are characterized by ∇_{γ'} γ' = 0-the covariant derivative condition
• Differential Forms — A connection is a Lie-algebra-valued 1-form; curvature is its 'd-square'

Вопросы для размышления

• Foucault's pendulum rotates its oscillation plane as Earth turns. Explain this as holonomy of parallel transport: how does latitude affect the rotation angle per day?
• In Yang-Mills theory, the connection is a matrix-valued 1-form A, and curvature F = dA + A∧A. Why is there a nonlinear term A∧A? What does this mean geometrically for the holonomy?
• Holonomic quantum gates are robust to local perturbations because the Berry phase depends only on the shape of the loop, not on its timing. How does this relate to the concept of topological quantum memory?

Связанные уроки

• la-13-eigenvectors