Principal Bundles — Mathematics Knowledge System

Overview

A principal bundle is a fiber bundle whose fibers are copies of a Lie group G acting freely and transitively on them. Principal bundles are the natural setting for gauge theories in physics and for the study of connections, holonomy, and characteristic classes in mathematics. Every vector bundle arises as an associated bundle to a principal frame bundle, making principal bundles the universal organising concept for all fiber bundles.

Intuition

A principal G-bundle over M is a space P with a projection π: P → M such that above each point x ∈ M the fiber π⁻¹(x) looks like G itself, and G acts on P by right multiplication on fibers. Think of the frame bundle: over each point of a manifold, the fiber is the set of all orthonormal frames, and SO(n) acts by change of frame.

Formal Definition

Definition

A principal G-bundle is a smooth surjection π: P → M where G is a Lie group acting freely on P on the right, the action is transitive on fibers, and the bundle is locally trivial.

\pi : P \to M, \quad P \times G \to P,\quad (p, g) \mapsto p \cdot g

Principal bundle data

\pi(p \cdot g) = \pi(p) \quad \forall p \in P,\; g \in G

G acts fiberwise

\exists\, \{U_\alpha\} \text{ open cover of } M,\; \phi_\alpha : \pi^{-1}(U_\alpha) \xrightarrow{\sim} U_\alpha \times G

Local trivialisations

\phi_\alpha \circ \phi_\beta^{-1}(x, g) = (x,\, g_{\alpha\beta}(x)\cdot g), \quad g_{\alpha\beta} : U_\alpha \cap U_\beta \to G

Transition functions

Notation

Notation	Meaning
$\pi : P \to M$	Principal G-bundle projection
$G$	Structure group (Lie group)
$g_{\alpha\beta}$	Transition functions
$P \times_G F$	Associated bundle with fiber F

Properties

Freeness and properness of G-action

G acts freely and properly on P, so P/G \cong M

Transition functions satisfy cocycle condition

g_{\alpha\beta}(x)\,g_{\beta\gamma}(x) = g_{\alpha\gamma}(x) \quad \text{on } U_\alpha \cap U_\beta \cap U_\gamma

Associated vector bundles

Given a representation \rho : G \to GL(V), the associated bundle P \times_G V is a vector bundle over M with structure group G.

Theorems

Theorem 1: Classification by transition functions

Principal G-bundles over M are classified (up to isomorphism) by the Cech cohomology set \check{H}^1(M; G).

Theorem 2: Homotopy classification

Isomorphism classes of principal G-bundles over a CW-complex X are in bijection with homotopy classes [X, BG], where BG is the classifying space of G.

Theorem 3: Section existence iff trivial

A principal G-bundle \pi : P \to M admits a global section if and only if it is trivial (isomorphic to M \times G).

Worked Examples

1
Regard S³ ⊂ ℂ² as pairs (z₁,z₂) with |z₁|²+|z₂|² = 1.
$S^3 = \{(z_1,z_2) \in \mathbb{C}^2 : |z_1|^2 + |z_2|^2 = 1\}$
2
U(1) = S¹ acts by (z₁,z₂)·e^{iθ} = (e^{iθ}z₁, e^{iθ}z₂).
$(z_1,z_2) \cdot e^{i\theta} = (e^{i\theta}z_1,\, e^{i\theta}z_2)$
3
The orbit space is S³/U(1) ≅ ℂP¹ ≅ S², giving the Hopf fibration.
$\pi : S^3 \to S^3/U(1) \cong S^2$

✓ Answer

The Hopf fibration is a non-trivial principal U(1)-bundle over S², the simplest example of a non-trivial principal bundle.

Practice Problems

Hardproof writing

Prove that a principal G-bundle is trivial if and only if it admits a global section.

Hardfree response

Describe how to construct an associated vector bundle from a principal G-bundle and a representation of G.

Common Mistakes

Common Mistake

Confusing a principal bundle with a trivial product M × G

Most principal bundles are non-trivial — the total space P is not a product but is only locally isomorphic to U_α × G. Non-triviality is captured by the transition functions and characteristic classes.

Common Mistake

Thinking G acts on the left on a principal bundle

By convention, G acts on the right on a principal bundle. This is essential for compatibility with associated bundle constructions, where a left G-action on the fiber F gives the associated bundle P ×_G F.

Quiz

Historical Background

The notion of a fiber bundle was made precise by Whitney, Steenrod, and Ehresmann in the 1930s–1940s. Ehresmann's 1950 paper on connections in fiber bundles gave the first general definition of a connection on a principal bundle, unifying the Levi-Civita connection of Riemannian geometry with the gauge connections of electromagnetism. The mathematical framework proved indispensable for Yang–Mills theory (1954) and the standard model of particle physics.

1935
Whitney defines fiber bundles in the context of sphere bundles
Hassler Whitney
1944
Steenrod's 'Topology of Fibre Bundles' systematises the theory
Norman Steenrod
1950
Ehresmann defines connections on principal fiber bundles
Charles Ehresmann
1954
Yang–Mills gauge theory uses principal SU(2)-bundles
Chen-Ning Yang, Robert Mills

Summary

A principal G-bundle π: P → M has fibers isomorphic to G, with G acting freely and transitively on the right.
Local trivialisations are glued by transition functions g_{αβ}: U_α ∩ U_β → G satisfying the cocycle condition.
The frame bundle of a Riemannian manifold is the canonical principal O(n)-bundle.
A principal bundle is trivial iff it has a global section.
Associated vector bundles P ×_G V are constructed from representations of G.

References

BookKobayashi, S. & Nomizu, K. — Foundations of Differential Geometry, Vol. I (1963), Chapter II
BookSteenrod, N. — The Topology of Fibre Bundles (1951)
BookHusemoller, D. — Fibre Bundles, 3rd ed. (1994)
WebsiteWikipedia — Principal bundle
WebsitenLab — principal bundle