Differential Geometry
Connections and Gauge Theory
Maxwell's equations are precisely the Yang-Mills equations for a U(1) bundle. The curvature form of a connection is the electromagnetic field. Parallel transport gives the phase a quantum particle acquires while moving through a field. All of classical electromagnetism is differential geometry of connections.
- Electromagnetism: Maxwell equations as U(1) Yang-Mills theory on spacetime
- QCD (strong force): SU(3) Yang-Mills equations describe quark interactions
- Aharonov-Bohm effect: holonomy of a connection is physically observable via interference
- General relativity: Riemann curvature is the curvature of the Levi-Civita connection
- Topological insulators: Chern numbers of connections determine material type
- Robotics: parallel transport on SE(3) for manipulator trajectory planning
Цели урока
- Understand a connection as a horizontal splitting of the tangent space of a bundle
- Master the curvature form and the Bianchi identity
- Know what parallel transport and holonomy are
- Understand the Yang-Mills equations and their physical meaning
Предварительные знания
- Principal bundles and structure group
- Lie algebra-valued forms
- Exterior differentiation
Connection as an Ehresmann Form
What is parallel transport on a twisted space, and why does the holonomy around a loop measure the curvature of the bundle?
- Quantum chromodynamics (QCD) describes the strong interaction of quarks via a connection on an SU(3)-bundle. The Yang-Mills equations have been verified to precision 10^{-12} in LHC experiments, and the mass gap problem for Yang-Mills theory is one of the Millennium Prize Problems.
- Aharonov-Bohm effect: an electron passing around a solenoid acquires a quantum phase exp(i*e/hbar * ∫A) even where B=0. This is the holonomy of the U(1)-connection, confirmed experimentally by Chambers in 1960 and fundamental to understanding topology in quantum mechanics.
- SLAM algorithms in computer vision accumulate SO(3)-connection holonomy when tracking object orientation across video frames, using this to correct for drift in 6-DOF pose estimation.
- Non-abelian holonomy (Berry phase) during adiabatic transport of quantum system parameters implements quantum gates without decoherence - the basis of topological quantum computing with non-abelian anyons.
A connection on a principal G-bundle P(M,G) is a G-invariant splitting of the tangent space T_p P into vertical (along the fiber) and horizontal parts. Equivalently: a connection is given by a 1-form A with values in the Lie algebra g, called the gauge potential. Under a gauge transformation g: M -> G, the potential transforms as A' = g^{-1}dg + g^{-1}Ag, while the curvature transforms as F' = g^{-1}Fg. Physical observables (curvature F, holonomies) are gauge-invariant. The space of connections is an affine space modeled on Omega^1(M,g): the difference of two connections is a g-valued 1-form. Donaldson's theorem (1983) uses the moduli space of ASD connections (instantons) on 4-manifolds to distinguish homeomorphic but non-diffeomorphic smooth structures, establishing exotic R^4 phenomena via gauge theory.
The gauge group G = Map(M, G) acts on the space A of connections by A -> g^{-1}dg + g^{-1}Ag. The moduli space A/G of connections modulo gauge equivalence is the natural geometric object: it classifies connections up to isomorphism. For 4-manifolds the moduli space of ASD connections (F = -*F, instantons) is a finite-dimensional manifold (for generic metrics) whose topology encodes deep information about the smooth structure of M. Donaldson used this to prove that CP^2 has exotic smooth structures.
Connections to Other Topics
Connections unify differential geometry with field theory and topology. The moduli space of connections modulo the gauge group is central to Donaldson theory and the Langlands program.
- Maxwell's Equations — Electromagnetism is the theory of U(1)-connections: F=dA, dF=0 (Bianchi), d*F=j (equations of motion); photons are quanta of the connection
- General Relativity — The Levi-Civita connection on TM is a special case; curvature = Riemann tensor; gravity is a connection on the SO(3,1) frame bundle
- Chern-Simons Invariants — The 3-form CS(A) = tr(A ∧ dA + 2/3 A ∧ A ∧ A) is gauge-invariant up to an exact form; its integral is a topological invariant of knots and 3-manifolds
- Non-Abelian Hodge Theory — Flat connections (F=0) correspond to representations of pi_1(M) in G; the moduli space of flat connections is the Hitchin space, central in the geometric Langlands program
Итоги
- Connection on a G-bundle is a 1-form A in Omega^1(M,g) giving a G-invariant horizontal splitting of T_p P
- Under gauge transformation g: M->G: A' = g^{-1}dg + g^{-1}Ag, F' = g^{-1}Fg; observables (F, holonomies) are gauge-invariant
- Curvature F = dA + A∧A; for U(1) F=dA is the Maxwell tensor; for non-abelian groups the quadratic term A∧A gives self-interaction
- Bianchi identity D_A F = 0 is a differential consequence of the definition of F; generalizes div B = 0
- Parallel transport is P exp(∫_gamma A) in G; for flat connections (F=0) depends only on [gamma] in pi_1(M)
- Yang-Mills equations D_A *F = 0 underlie QCD; instantons (F=*F) minimize the functional and yield Donaldson invariants
The curvature form F = dA + A∧A for the abelian group U(1) simplifies to:
For U(1) the Lie algebra u(1) = iR is abelian: [A,A] = A∧A = 0 (exterior product of a 1-form with itself vanishes). Only F = dA remains - the Maxwell tensor. The equations of motion D_A *F = 0 become d*F = 0, i.e. div E = 0 (in vacuum) and curl B = dE/dt.
Итоги
- Connection on G-bundle: g-valued 1-form A giving a horizontal splitting; under gauge transformation A' = g^{-1}dg + g^{-1}Ag
- Curvature F = dA + A∧A; F' = g^{-1}Fg gauge-covariantly; for U(1) F=dA is the Maxwell tensor
- Bianchi identity D_A F = 0 - universal identity generalizing div B = 0
- Holonomy P exp(∫A) in G; for F=0 depends only on homotopy class of path - representation of pi_1(M) in G
- Yang-Mills equations D_A *F = 0 - foundation of QCD and electroweak theory