Principal Bundles

Core Idea

A principal G-bundle is a fiber bundle whose fiber is a Lie group G, acting freely and transitively on each fiber by right multiplication. Unlike vector bundles (where fibers are vector spaces), principal bundles have no preferred "zero" in each fiber — every point is equivalent. The frame bundle of a manifold is a principal GL(n)-bundle, and connections on principal bundles (gauge fields) are the mathematical foundation of gauge theory in physics. Every vector bundle arises from a principal bundle via the associated bundle construction.

Explainer

A principal G-bundle P → M is a fiber bundle where the Lie group G acts freely and transitively on each fiber by right multiplication. "Free" means no group element except the identity fixes any point; "transitive" means any two points in the same fiber are related by a group element. This makes each fiber a copy of G, but with no preferred identity element — the fibers are "G-torsors." The frame bundle F(M), whose fiber over p is the set of all ordered bases of TpM, is the canonical example: GL(n) acts by change of basis, freely and transitively.

A connection on a principal bundle is specified by a Lie-algebra-valued 1-form ω on the total space P satisfying compatibility conditions with the G-action. Equivalently, it is a smooth choice of horizontal subspace at each point of P, complementary to the vertical (fiber) direction. The horizontal subspace tells you how to "lift" a curve in the base M to a curve in P — this is the generalization of parallel transport. The curvature of the connection is the 2-form Ω = dω + ½[ω ∧ ω], measuring the failure of the horizontal distribution to be integrable. Zero curvature means the horizontal subspaces fit together into a foliation — the bundle is "flat."

The associated bundle construction converts a principal bundle into a vector bundle (or any other fiber bundle). Given a principal G-bundle P → M and a left action of G on a space F (e.g., a representation G → GL(V)), the associated bundle P ×_G F is the quotient (P × F)/G where (pg, f) ~ (p, g·f). For F = ℝⁿ with the standard representation of GL(n), the associated bundle of the frame bundle is the tangent bundle: F(M) ×_{GL(n)} ℝⁿ ≅ TM. For the dual representation, you get T*M. For tensor representations, you get tensor bundles. This is why the frame bundle is "universal" — all natural vector bundles on M come from it.

In physics, gauge theory is the theory of connections on principal bundles. The electromagnetic field is a connection on a principal U(1)-bundle; the weak and strong nuclear forces are connections on SU(2) and SU(3) bundles. The curvature of the connection is the field strength, and the Yang-Mills equations (generalizing Maxwell's equations) are the Euler-Lagrange equations for the curvature. Gauge transformations — changes of local trivialization — are sections of the associated bundle of automorphisms, and physical observables are gauge-invariant quantities. The principal bundle framework unifies all fundamental forces into a single geometric language.