03.05.01 · modern-geometry / bundles

Principal bundle

shipped3 tiersLean: none

Anchor (Master): Kobayashi-Nomizu Vol. I §I.5; Steenrod §8; Husemoller §4

Intuition [Beginner]

A principal bundle is a systematic way to attach a copy of a symmetry group to every point of a space. Near any small patch, it looks like the patch times the group. Across larger regions, those copies may be glued together with twists.

The group does not act like extra coordinates chosen by hand. It records how frames, gauges, or internal labels can be changed without changing the base point. This is why principal bundles are the natural home for gauge theory and spin geometry.

Think of a principal bundle as a moving collection of identical dials, one above each point, where rotating a dial means applying the group.

Visual [Beginner]

The blue shape is the base space. Above each point is a copy of the same group-shaped fiber. Inside the purple window, the picture looks like a product.

The local product view is reliable on small patches. The global bundle may still twist when patches are glued.

Worked example [Beginner]

On a circle, imagine attaching a tiny clock face above each point. Rotating the clock hand is the action of the circle group.

If all clock faces can be lined up around the full circle with no mismatch, the bundle is globally a product. If the local lineups require different phase choices on overlapping arcs, the same local picture can encode global twisting.

For a first concrete model, take every point of a base space and attach the same group $G$ with no twisting. The total space is just "base point plus group element."

What this tells us: a principal bundle is locally a product with a group, but its gluing data carries geometry.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $G$ be a Lie group and let $M$ be a smooth manifold. A principal right $G$ -bundle over $M$ is a smooth surjective map

π : P \to M

together with a smooth right action

P \times G \to P, (p, g) \mapsto p g,

such that:

$π (p g) = π (p)$ for all $p \in P$ and $g \in G$ .
The action is free: $p g = p$ implies $g = e$ .
Every point of $M$ has an open neighborhood $U$ and a $G$ -equivariant diffeomorphism

Φ_{U} : π^{- 1} (U) ⟶ U \times G

over $U$ , where $G$ acts on $U \times G$ by right multiplication in the second factor.

The group $G$ is the structure group. The fiber over $x \in M$ is $P_{x} = π^{- 1} (x)$ ^{[Kobayashi-Nomizu §I.5]}.

The product example is $P = M \times G$ with $π (x, g) = x$ and right action $(x, g) h = (x, g h)$ . Principal bundles are classified locally by transition functions

g_{ij} : U_{i} \cap U_{j} \to G

that satisfy a cocycle condition on triple overlaps.

Key theorem with proof [Intermediate+]

Theorem (fibers are $G$ -torsors). If $π : P \to M$ is a principal right $G$ -bundle, then each fiber $P_{x}$ is a free and transitive right $G$ -set.

Proof. Freeness is part of the definition: if $p g = p$ for some $p \in P_{x}$ , then $g = e$ .

For transitivity, choose $p, q \in P_{x}$ . Take a principal-bundle chart over a neighborhood $U$ of $x$ ,

Φ_{U} : π^{- 1} (U) \to U \times G .

Write

Φ_{U} (p) = (x, a), Φ_{U} (q) = (x, b)

with $a, b \in G$ . Since $Φ_{U}$ is $G$ -equivariant,

Φ_{U} (p (a^{- 1} b)) = (x, a (a^{- 1} b)) = (x, b) .

Injectivity of $Φ_{U}$ gives $p (a^{- 1} b) = q$ . Thus the action is transitive on $P_{x}$ . $□$

Bridge. The construction here builds toward 03.05.02 (vector bundle), where the same data is upgraded, and the symmetry side is taken up in 03.05.07 (principal bundle with connection). The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

lean_status: none — the principal-bundle structure used in differential geometry is not yet available as a mature Mathlib API.

[object Promise]

A useful formalization would combine Lie groups, smooth fiber bundles, local trivializations, torsor fibers, transition cocycles, associated bundles, and gauge transformations.

Advanced results [Master]

Principal bundles can be described by transition functions. Given an open cover ${U_{i}}$ of $M$ , a principal $G$ -bundle determines maps

g_{ij} : U_{i} \cap U_{j} \to G

with $g_{ii} = e$ , $g_{j i} = g_{ij}^{- 1}$ , and $g_{ik} = g_{ij} g_{j k}$ on triple overlaps. Conversely, such data glues the product bundles $U_{i} \times G$ into a principal bundle ^{[Steenrod §8]}.

If $ρ : G \to Aut (F)$ is a left action on a manifold or vector space $F$ , the associated bundle is

P \times_{G} F = (P \times F) / ((p g, f) \sim (p, ρ (g) f)) .

This construction turns principal-bundle data into vector bundles, frame bundles, tensor bundles, and spinor bundles.

A reduction of structure group from $G$ to a subgroup $H$ is a principal $H$ -subbundle $Q \subseteq P$ whose extension $Q \times_{H} G$ recovers $P$ . Orientations, Riemannian metrics, and spin structures are naturally phrased as reductions or lifts of frame bundles.

Synthesis. This construction generalises the pattern fixed in 03.02.01 (smooth manifold), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Transition functions from local sections. Let $s_{i} : U_{i} \to P$ be local sections. On $U_{i} \cap U_{j}$ , the torsor property gives a unique $g_{ij} : U_{i} \cap U_{j} \to G$ with

s_{j} (x) = s_{i} (x) g_{ij} (x) .

Smoothness follows from smooth local product charts. The identities $g_{ii} = e$ and $g_{j i} = g_{ij}^{- 1}$ follow from uniqueness. The cocycle identity follows from

s_{k} = s_{j} g_{j k} = s_{i} (g_{ij} g_{j k})

and uniqueness again.

Gluing from a cocycle. Start with the disjoint union of $U_{i} \times G$ and impose

(x, a)_{j} \sim (x, g_{ij} (x) a)_{i}

on overlaps. The cocycle identity is exactly the transitivity condition for this equivalence relation. The quotient maps to $M$ , has local charts induced by the pieces $U_{i} \times G$ , and carries the right action $[(x, a)] h = [(x, ah)]$ .

Associated bundle local form. Over a local product chart $π^{- 1} (U) ≅ U \times G$ , the associated bundle $P \times_{G} F$ is identified with $U \times F$ by $[(x, g), f] \mapsto (x, ρ (g) f)$ . The quotient relation makes this independent of the representative. Thus associated bundles are locally product bundles with fiber $F$ .

Connections [Master]

Vector bundle 03.05.02 — many vector bundles arise as associated bundles to principal frame bundles.
Connection on a principal bundle 03.05.07 — a connection is additional differential data on a principal bundle.
Spin structure 03.09.04 — a spin structure is a lift of an orthonormal frame principal bundle.
Chern-Weil homomorphism 03.06.06 — characteristic forms are built from connections on principal bundles.
Yang-Mills action 03.07.05 — gauge fields are connections on principal bundles, and gauge transformations are principal-bundle automorphisms.

Historical & philosophical context [Master]

The language of fiber bundles was shaped by Steenrod's 1951 monograph, where coordinate bundles and principal bundles organized transition functions and structure groups in topology ^{[Steenrod §8]}. Kobayashi and Nomizu made principal bundles central to differential geometry by treating connections, curvature, and reductions of structure group in a uniform framework ^{[Kobayashi-Nomizu §I.5]}.

Gauge theory later adopted the same structure: the principal bundle records the internal symmetry, a connection records parallel comparison, and curvature records field strength. This geometric interpretation is the common source of Yang-Mills theory, Chern-Weil theory, and spin geometry.

Bibliography [Master]

Kobayashi, S. & Nomizu, K., Foundations of Differential Geometry, Vol. I, Wiley, 1963. §I.5.
Steenrod, N., The Topology of Fibre Bundles, Princeton University Press, 1951. §8.
Husemoller, D., Fibre Bundles, Springer, 3rd ed., 1994. §4.
Ehresmann, C., "Les connexions infinitésimales dans un espace fibré différentiable", Colloque de topologie, Bruxelles, 1950.

Wave 2 Phase 2.1 unit #2. Produced as the principal-bundle prerequisite for spin structures, Chern-Weil theory, and Yang-Mills theory.