Fiber bundle

A fiber bundle is a geometric structure that generalizes the Cartesian product of two spaces while allowing the "twisting" of one space over the other. It consists of a total space, a base space, and a projection map that sends each point in the total space to a point in the base, with the property that locally — near any point — the total space looks like a product, but globally it may not. The fiber is the space attached to each point of the base; in gauge theory, this fiber carries the internal symmetry group that defines the force.

The difference between a trivial bundle (a true product) and a nontrivial bundle is measured by characteristic classes — topological invariants that detect twists. The Chern class of a complex vector bundle, for instance, encodes the monopole number in electromagnetism. Fiber bundles are not merely a language for physics; they are the architecture of modern geometry, from the tangent bundles of differential geometry to the principal bundles that underlie every known fundamental force.

The claim that fiber bundles are "just a convenient mathematical formalism" misses the structural point: any theory of local symmetry requires a bundle, because the bundle is what makes "local" logically coherent. Without the bundle, there is no way to compare quantities at different points without assuming a global coordinate system — and global coordinates do not exist on curved spaces.