Fiber Bundles

Why are gauge fields in physics described by bundles rather than ordinary functions on spacetime, and what does it mean that electromagnetism is a U(1)-bundle while gravity is an SO(3,1)-bundle?

• The Standard Model of particle physics: the SU(3) x SU(2) x U(1) gauge bundle over spacetime encodes all known fundamental interactions; each matter field is a section of an associated bundle, and the gauge bosons (photons, W/Z, gluons) are connections on these bundles
• Topological qubits: Kitaev and Microsoft topological qubit systems use non-trivial U(1)-bundles with non-zero Chern number c1, providing topological protection of quantum information against local perturbations and decoherence
• 3D graphics and normal mapping: the normal bundle of a surface mesh defines pixel orientations during rendering; incorrect structure group handling causes lighting artifacts in games and CGI (gimbal lock in SO(3) vs. quaternion SU(2) representations)
• Robot motion planning: parallel parking is a horizontal lift problem in the configuration space bundle of the car over the space of admissible positions; non-holonomic constraints define the connection, and holonomy measures reachable configurations

Connections to Other Topics

Fiber bundles connect differential geometry with topology, physics, and category theory. They are a central object in modern mathematics from manifold classification to quantum gravity.

• Gauge Theories — Strong and electroweak interaction fields are connections on principal bundles with structure groups SU(3) and SU(2) x U(1); the Standard Model Lagrangian is written through the curvature forms of these bundles
• K-Theory — Groups K^0(X) are built from isomorphism classes of vector bundles over X; Bott periodicity and the Atiyah-Hirzebruch spectral sequence compute K-theory from ordinary cohomology
• Characteristic Classes — Chern classes c_k in H^{2k}(M;Z) and Pontryagin classes p_k in H^{4k}(M;Z) are cohomological invariants distinguishing non-isomorphic bundles, independent of connection choice
• Index Theory — The Atiyah-Singer index theorem expresses the analytic index of an elliptic operator in terms of characteristic classes of the bundles on which it acts

Итоги

• A fiber bundle pi: E -> B is specified by base B, typical fiber F, and local trivializations glued by transition functions g_{ab}: U_a ∩ U_b -> G satisfying the cocycle condition
• Principal G-bundle P(M,G): G acts on fibers freely and transitively on the right; fiber is isomorphic to G as a G-space; examples are frame, orthonormal frame, and spin frame bundles
• Two bundles are isomorphic iff their cocycles are cohomologous: g'_{ab} = h_a * g_{ab} * h_b^{-1}; isomorphism classes form H^1(M;G)
• Associated bundles are constructed from the principal bundle via representations of G; TM is associated to the GL(n)-frame bundle via the standard action on R^n
• Classification: [M, BG] parametrizes principal G-bundles; for U(1): BU(1) = CP^infty and classes correspond to H^2(M;Z); the Hopf fibration S^3 -> S^2 is the generator

How does the structure group G of a principal bundle P(M,G) act on the fibers?

The action of G on fibers of a principal bundle is free (p*g=p only if g=e) and transitive (any two elements of a fiber are related by a unique element of G). Right action is a convention ensuring compatibility with connections: the connection form A is G-equivariant with respect to the right action.