Connections and Gauge Theory — Mathematics Knowledge System

Overview

A connection on a principal G-bundle is a G-equivariant splitting of the tangent bundle of the total space into horizontal and vertical parts, or equivalently a Lie-algebra-valued 1-form on P satisfying certain equivariance conditions. Gauge theory — the study of connections up to gauge equivalence — underpins the standard model of particle physics and Donaldson–Simon theory in 4-manifold topology. The curvature of a connection is the obstruction to integrability of the horizontal distribution.

Intuition

A connection tells you how to 'horizontally lift' curves from the base manifold M to the total space P — it specifies which directions in P are 'horizontal' (complementing the vertical directions along fibers). Parallel transport of a fiber element along a curve in M is then defined by horizontal lifting. The holonomy around a small loop measures the curvature.

Formal Definition

Definition

Let π: P → M be a principal G-bundle with Lie algebra g. A connection is a g-valued 1-form ω ∈ Ω¹(P; g) satisfying two conditions.

\omega(A^\#) = A \quad \forall A \in \mathfrak{g}

Reproduces Lie algebra generators (vertical vectors A^# are fundamental vector fields)

R_g^* \omega = \mathrm{Ad}_{g^{-1}} \circ \omega \quad \forall g \in G

Equivariance under G-action

F = d\omega + \tfrac{1}{2}[\omega \wedge \omega] \in \Omega^2(P;\mathfrak{g})

Curvature 2-form of the connection

A = s^*\omega \in \Omega^1(U;\mathfrak{g})

Local gauge potential (connection 1-form on M via local section s)

Notation

Notation	Meaning
$\omega$	Connection 1-form on P
$F,\; \Omega$	Curvature 2-form
$A$	Local gauge potential (pullback of ω)
$D_A$	Gauge-covariant derivative
$\mathcal{G}$	Gauge group (group of G-equivariant automorphisms of P)

Properties

Flatness criterion

F = 0 \iff \text{the horizontal distribution is integrable} \iff \text{the connection is flat}

Holonomy group

\mathrm{Hol}_p(\omega) \leq G \text{ is the subgroup of G arising from parallel transport around loops based at p}

Chern–Weil homomorphism

G-invariant polynomials on \mathfrak{g} map to de Rham cohomology classes of M via F \mapsto P(F \wedge \cdots \wedge F)

Theorems

Theorem 1: Cartan's structure equation

F = d\omega + \tfrac{1}{2}[\omega \wedge \omega]

Theorem 2: Bianchi identity

D_\omega F = dF + [\omega \wedge F] = 0

Theorem 3: Gauge transformation of connection

A^g = g^{-1}A\,g + g^{-1}\,dg \quad \text{and} \quad F^g = g^{-1}F\,g

Theorem 4: Yang–Mills equations

D_A^*\, F_A = 0 \quad \Longleftrightarrow \quad d_A \star F_A = 0

Worked Examples

1
For a U(1) bundle, the Lie algebra is iℝ, so the connection 1-form on M is A = A_μ dx^μ.
$A = A_\mu\,dx^\mu \in \Omega^1(M; i\mathbb{R})$
2
The curvature 2-form is F = dA (since [A,A] = 0 for abelian groups).
$F = dA = (\partial_\mu A_\nu - \partial_\nu A_\mu)\,dx^\mu \wedge dx^\nu$
3
In physics notation F_{μν} = ∂_μA_ν - ∂_νA_μ is the electromagnetic field tensor.
$F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$

✓ Answer

For U(1), the curvature is F = dA. This is the electromagnetic field strength tensor.

Practice Problems

Hardproof writing

Prove the Bianchi identity D_ω F = 0 using Cartan's structure equation.

Hardfree response

Describe the Chern–Weil homomorphism and explain why it produces well-defined cohomology classes.

Common Mistakes

Common Mistake

Treating the gauge potential A as a globally defined 1-form on M

A is only a local object — it depends on a choice of local section of P. Under change of section (gauge transformation), A transforms as A^g = g⁻¹Ag + g⁻¹dg. The connection ω on P is the globally defined object.

Common Mistake

Confusing the curvature with the connection

The connection ω specifies parallel transport (how to lift paths). The curvature F = dω + (1/2)[ω∧ω] measures how parallel transport around infinitesimal loops fails to be trivial.

Quiz

The curvature of a connection ω on a principal bundle is:

dω onlydω + (1/2)[ω∧ω]The holonomy groupThe gauge group action on ω

A connection is flat if and only if:

Its holonomy group is compactIts curvature 2-form vanishesThe gauge group acts triviallyThe base manifold is simply connected

Historical Background

Charles Ehresmann gave the first general definition of a connection on a fiber bundle in 1950. Yang and Mills (1954) independently introduced non-abelian gauge connections in physics. The mathematical foundations were further developed by Kobayashi–Nomizu (1963). Atiyah–Singer index theory (1963) and Donaldson's use of Yang–Mills connections to detect exotic smooth structures on 4-manifolds (1983) elevated connections to a central role in modern geometry and topology.

1950
Ehresmann defines connections on principal fiber bundles
Charles Ehresmann
1954
Yang–Mills gauge theory introduced non-abelian connections
Chen-Ning Yang, Robert Mills
1963
Kobayashi–Nomizu 'Foundations of Differential Geometry' systematises connections
Shoshichi Kobayashi, Katsumi Nomizu
1983
Donaldson uses anti-self-dual Yang–Mills connections to probe 4-manifold topology
Simon Donaldson

Summary

A connection on π: P → M is a g-valued 1-form ω on P, equivariant under G and reproducing generators on vertical vectors.
The curvature is F = dω + (1/2)[ω∧ω]; F = 0 iff the connection is flat.
Local gauge potentials A = s*ω transform as A^g = g⁻¹Ag + g⁻¹dg under gauge transformations.
Yang–Mills connections minimise the functional ∫|F|²; anti-self-dual connections are absolute minima in dimension 4.
The Chern–Weil homomorphism produces characteristic classes from invariant polynomials evaluated on the curvature.

References

BookBleecker, D. — Gauge Theory and Variational Principles (1981), Chapters 2–4
BookKobayashi, S. & Nomizu, K. — Foundations of Differential Geometry, Vol. I (1963), Chapter II
BookDonaldson, S.K. & Kronheimer, P.B. — The Geometry of Four-Manifolds (1990)
WebsiteWikipedia — Connection (principal bundle)
WebsitenLab — connection on a principal bundle