Fiber bundles and gauge geometry

A fiber bundle has a projection π:E→M, a base M, a total space E, and a typical fiber F. Every base point has a neighborhood U for which π⁻¹(U) is identified with U×F in a way respecting projection. These local trivializations overlap through transition functions. In a rank-r real vector bundle, transition functions take values in GL(r,ℝ) and satisfy a cocycle condition on triple overlaps. They describe how two local coordinate lists represent the same fiber vector.

The cylinder and the Mobius line bundle over a circle are both locally a circle interval times a real line. Globally, the Mobius identification reverses the line coordinate after one revolution. A rank-r vector bundle is globally trivial exactly when it has r everywhere independent global sections forming a frame. For a real line bundle, a nowhere-zero section suffices. A zero section always exists in a vector bundle and therefore does not prove triviality. These distinctions prevent local convenience from being mistaken for global untwisting.

A principal G-bundle has fibers on which G acts freely and transitively. Matter fields can be sections of associated vector bundles built from representations of G. Local sections select gauge descriptions. A connection appears locally as a Lie-algebra-valued one-form A, comparing neighboring fibers. With local covariant derivative D=d+A, changing coordinate columns by v′=h⁻¹v produces $A'=h^{-1}Ah+h^{-1}dh$.

The curvature is the two-form F=dA+A∧A, with matrix multiplication included in the wedge product. It transforms by conjugation, F′=h⁻¹Fh. Thus curvature components may change while invariant quantities built from them remain fixed. For an abelian example use a complex line and D=d+iA with A a real one-form. If ψ′=exp(−iχ)ψ, the same covariance requires A′=A+dχ. The real curvature F=dA is unchanged because d²χ=0.

A connection with zero curvature is locally gauge-equivalent to the trivial connection on suitable simply connected patches. Globally it can still have nontrivial holonomy around a noncontractible loop. On a circle, take the trivial complex line bundle with connection A=a dθ. The one-form dθ is globally defined on the circle even though θ itself is not a global real-valued function. Its curvature vanishes, but its parallel-transport factor around the circle is exp(−i2πa) in the declared D convention.

A single-valued gauge transformation removes this connection exactly when a is an integer. Otherwise the local phase choice fails to match after a revolution. The underlying bundle can therefore be trivial, its connection flat, and its holonomy still nontrivial. A swirling arrow picture diagnoses none of these properties. Specify the bundle, the connection, the allowed gauge transformations, and the global domain.