Fiber Bundles

Fiber bundles provide the geometric framework for gauge theories in physics. A fiber bundle is a space that locally looks like a product but may have nontrivial global topology. Principal bundles encode symmetry, associated bundles carry matter fields, and the frame bundle is the geometric backbone of gravity.

Historical Context

The theory of fiber bundles was developed in the 1930s-1950s by Hassler Whitney, Norman Steenrod, and Charles Ehresmann. Whitney introduced vector bundles in 1935, Steenrod systematized the theory in his 1951 monograph "The Topology of Fibre Bundles," and Ehresmann formalized connections on principal bundles.

The physical significance became apparent when Yang and Mills (1954) showed that non-abelian gauge theories are naturally formulated as connections on principal bundles. The recognition that electromagnetism is a U(1) bundle, the weak force an SU(2) bundle, and QCD an SU(3) bundle unified the mathematical and physical perspectives.

The Hopf fibration $S^1 \to S^3 \to S^2$ (Heinz Hopf, 1931) remains the paradigmatic example of a non-trivial principal bundle and arises in the physics of magnetic monopoles, Berry phases, and quantum entanglement.

Derivation 1: The Fiber Bundle Structure

A fiber bundle consists of a total space $E$, a base space $M$, a typical fiber $F$, and a projection $\pi: E \to M$ such that:

$\pi^{-1}(U_\alpha) \cong U_\alpha \times F \quad \text{(local triviality)}$

Transition Functions

On overlaps $U_\alpha \cap U_\beta$, the local trivializations are related by transition functions:

$g_{\alpha\beta}: U_\alpha \cap U_\beta \to \text{Aut}(F)$

These satisfy the cocycle conditions:

$g_{\alpha\alpha}(x) = \text{id} \quad \text{(reflexivity)}$

$g_{\alpha\beta}(x) = g_{\beta\alpha}(x)^{-1} \quad \text{(inverse)}$

$g_{\alpha\beta}(x)\,g_{\beta\gamma}(x)\,g_{\gamma\alpha}(x) = \text{id} \quad \text{(cocycle)}$

Reconstruction theorem: Given an open cover of $M$ and transition functions satisfying the cocycle conditions, one can reconstruct the fiber bundle uniquely (up to isomorphism). This is the "gluing construction."

Derivation 2: Principal Bundles

A principal $G$-bundle is a fiber bundle $P \xrightarrow{\pi} M$with fiber $F = G$ (a Lie group) and a free right $G$-action on $P$:

$P \times G \to P, \quad (p, g) \mapsto p \cdot g$

such that $\pi(p \cdot g) = \pi(p)$ (the action preserves fibers) and $M = P/G$(the base is the orbit space). The transition functions take values in $G$:

$g_{\alpha\beta}: U_\alpha \cap U_\beta \to G$

The Hopf Bundle

The Hopf fibration is a principal $U(1)$-bundle:

$U(1) \hookrightarrow S^3 \xrightarrow{\pi} S^2$

Viewing $S^3 \subset \mathbb{C}^2$ as $\{(z_1, z_2): |z_1|^2 + |z_2|^2 = 1\}$, the projection maps $(z_1, z_2) \mapsto [z_1:z_2] \in \mathbb{CP}^1 \cong S^2$. The $U(1)$action is $(z_1, z_2) \mapsto (e^{i\alpha}z_1, e^{i\alpha}z_2)$.

In gauge theory: The gauge group $G$ acts on the principal bundle by right multiplication. Local sections $\sigma: U \to P$ correspond to choosing a gauge. A gauge transformation is a change of section: $\sigma \to \sigma \cdot g$where $g: U \to G$.

Derivation 3: Associated Vector Bundles

Given a principal $G$-bundle $P \to M$ and a representation $\rho: G \to GL(V)$, the associated vector bundle is:

$E = P \times_\rho V = (P \times V) / \sim$

where the equivalence relation identifies $(p \cdot g, v) \sim (p, \rho(g)v)$. The transition functions of $E$ are $\rho \circ g_{\alpha\beta}: U_\alpha \cap U_\beta \to GL(V)$.

Physical Examples

Tangent bundle: $TM = F(M) \times_{GL(n)} \mathbb{R}^n$ (standard representation)

Spinor bundle: $S(M) = \text{Spin}(M) \times_\Delta \mathbb{C}^{2^{[n/2]}}$ (spinor representation)

Adjoint bundle: $\text{ad}(P) = P \times_{\text{Ad}} \mathfrak{g}$ (adjoint representation)

Sections of associated bundles are the matter fields of gauge theory: an electron is a section of the spinor bundle associated to the $\text{Spin}^c$ frame bundle, and a quark is additionally a section of the $SU(3)$ color bundle.

Equivariant functions: Sections of $E = P \times_\rho V$correspond bijectively to $G$-equivariant functions $f: P \to V$ satisfying$f(p \cdot g) = \rho(g^{-1})f(p)$. This is the "physicist's definition" of a field in a gauge representation.

Derivation 4: The Frame Bundle

The frame bundle $F(M)$ of an $n$-manifold $M$ is the principal$GL(n,\mathbb{R})$-bundle whose fiber over $p$ is the set of all ordered bases for $T_pM$:

$F_p(M) = \{(e_1, \ldots, e_n) : e_i \in T_pM, \text{linearly independent}\}$

The group $GL(n,\mathbb{R})$ acts by change of basis: $(e_1, \ldots, e_n) \cdot A = (e_j A^j{}_1, \ldots, e_j A^j{}_n)$.

Orthonormal Frame Bundle

When $M$ has a Riemannian metric, the orthonormal frame bundle $O(M)$is the principal $O(n)$-bundle of orthonormal frames. This is a reduction of structure group:

$O(n) \hookrightarrow O(M) \hookrightarrow F(M) \quad \text{(reduction from } GL(n) \text{ to } O(n)\text{)}$

A Riemannian metric on $M$ is equivalent to a reduction of the frame bundle from$GL(n,\mathbb{R})$ to $O(n)$. A spin structure is a further lift to $\text{Spin}(n)$.

Gravity as a gauge theory: General relativity can be formulated as a connection on the orthonormal frame bundle. The vielbein (frame field) $e^a{}_\mu$provides the local trivialization, and the Lorentz connection $\omega^{ab}{}_\mu$ is the gauge field. This is the Cartan-Palatini formulation, essential for coupling gravity to fermions.

Derivation 5: Classification of Principal Bundles

Principal $G$-bundles over $M$ are classified by homotopy classes of maps from$M$ to the classifying space $BG$:

$\text{Prin}_G(M) \cong [M, BG]$

Examples over Spheres

For $M = S^n$, the classification reduces to homotopy groups of $G$:

$\text{Prin}_G(S^n) \cong \pi_{n-1}(G)$

$U(1)\text{-bundles over }S^2: \quad \pi_1(U(1)) = \mathbb{Z} \quad \text{(monopole charges)}$

$SU(2)\text{-bundles over }S^4: \quad \pi_3(SU(2)) = \mathbb{Z} \quad \text{(instanton numbers)}$

$SU(2)\text{-bundles over }S^3: \quad \pi_2(SU(2)) = 0 \quad \text{(all trivial)}$

Physical implications: The classification of $U(1)$ bundles over $S^2$ by $\mathbb{Z}$ is Dirac's monopole quantization: the magnetic charge must be an integer. The classification of $SU(2)$ bundles over $S^4$ by $\mathbb{Z}$ gives the instanton number in Yang-Mills theory.

Interactive Simulation

This simulation visualizes the Mobius band as a non-trivial bundle, the Hopf transition function winding around $U(1)$, the classification of line bundles over $S^2$ by Chern numbers, and the geometry of a circle bundle over $S^1$.

Fiber Bundles: Principal, Associated & Frame Bundles

Python

script.py198 lines

#!/usr/bin/env python3
"""
fiber_bundles.py - Principal Bundles, Associated Bundles, and Frame Bundles
Visualizes fiber bundle structure, transition functions, and frame bundle geometry
"""
import numpy as np
import matplotlib
matplotlib.use('Agg')
import matplotlib.pyplot as plt
import base64
from io import BytesIO

# ============================================================
# 1. Mobius band as a non-trivial bundle
# ============================================================
print("=" * 72)
print("  FIBER BUNDLES: GLOBAL STRUCTURE OF GAUGE THEORIES")
print("=" * 72)
print()

print("  MOBIUS BAND: SIMPLEST NON-TRIVIAL BUNDLE")
print("  " + "-" * 50)
print()
print("  Base space: S^1 (circle)")
print("  Fiber: [-1, 1] (interval)")
print("  Structure group: Z_2 = {+1, -1}")
print()
print("  Transition function on overlap: f(theta) = -1")
print("  This means the fiber is 'flipped' once around the circle,")
print("  making the total space non-orientable.")
print()

# Parametrize Mobius band
t = np.linspace(0, 2*np.pi, 500)
s = np.linspace(-0.5, 0.5, 50)
T, S = np.meshgrid(t, s)

# Embedding in R^3
R_mob = 1.0
x_mob = (R_mob + S * np.cos(T/2)) * np.cos(T)
y_mob = (R_mob + S * np.cos(T/2)) * np.sin(T)
z_mob = S * np.sin(T/2)

# Check: trace the fiber at theta and theta + 2pi
print("  Fiber at theta=0: s in [-0.5, 0.5]")
print("  After one loop (theta=2pi): fiber is inverted (s -> -s)")
print("  This shows the bundle is non-trivializable.")
print()

# ============================================================
# 2. Principal U(1) bundle over S^2 (Hopf bundle)
# ============================================================
print("  HOPF FIBRATION: S^3 -> S^2")
print("  " + "-" * 50)
print()
print("  The Hopf bundle is the principal U(1) bundle over S^2:")
print("    U(1) -> S^3 -> S^2")
print()
print("  Total space: S^3 in C^2, |z_1|^2 + |z_2|^2 = 1")
print("  Projection: pi(z_1, z_2) = [z_1 : z_2] in CP^1 = S^2")
print("  Fiber: U(1) acts by (z_1, z_2) -> (e^{i*alpha} z_1, e^{i*alpha} z_2)")
print()

# Transition functions for Hopf bundle
print("  Transition functions:")
print("    On U_N (north chart): z_1/z_2 = w (complex coordinate)")
print("    On U_S (south chart): z_2/z_1 = 1/w")
print("    g_{NS}(w) = w/|w| = e^{i*arg(w)} in U(1)")
print()
print("  This bundle has first Chern number c_1 = 1")
print("  (measures the 'twist' of the fibers around S^2)")
print()

# ============================================================
# 3. Frame bundle
# ============================================================
print("  FRAME BUNDLE OF S^2")
print("  " + "-" * 50)
print()
print("  The frame bundle F(S^2) is a principal GL(2,R) bundle:")
print("    GL(2,R) -> F(S^2) -> S^2")
print()
print("  A frame at p in S^2 is an ordered basis (e_1, e_2) for T_p(S^2).")
print("  The orthonormal frame bundle reduces structure to SO(2) = U(1):")
print("    SO(2) -> OF(S^2) -> S^2")
print()
print("  This is equivalent to the unit tangent bundle UT(S^2),")
print("  which is diffeomorphic to SO(3).")
print()

# Verify: chi(S^2) = 2 means every tangent vector field must vanish somewhere
# (Hairy ball theorem)
print("  By the Poincare-Hopf theorem:")
print("    Sum of indices of zeros = chi(S^2) = 2")
print("  This means there is no non-vanishing section (hairy ball theorem).")
print()

# ============================================================
# 4. Associated vector bundles
# ============================================================
print("  ASSOCIATED BUNDLES")
print("  " + "-" * 50)
print()
print("  Given principal G-bundle P -> M and representation rho: G -> GL(V),")
print("  the associated vector bundle is:")
print("    E = P x_G V = (P x V) / ~")
print("  where (pg, v) ~ (p, rho(g)v)")
print()
print("  Examples:")
print("    Tangent bundle: associated to frame bundle via identity rep")
print("    Spinor bundle: associated to spin bundle via spinor rep")
print("    Line bundle: associated to U(1) bundle via defining rep")
print()

# ============================================================
# Visualization
# ============================================================
fig, axes = plt.subplots(2, 2, figsize=(14, 11))
fig.patch.set_facecolor('#0a0a0a')

for ax in axes.flat:
    ax.set_facecolor('#111111')
    for spine in ax.spines.values():
        spine.set_color('#2dd4bf')
    ax.tick_params(colors='#99f6e4')
    ax.grid(True, color='#134e4a', alpha=0.4)

# Plot 1: Trivial vs non-trivial bundle (cylinder vs Mobius)
ax1 = axes[0, 0]
theta_plot = np.linspace(0, 4*np.pi, 1000)
# Trivial bundle: fiber stays constant
fiber_trivial = 0.5 * np.ones_like(theta_plot)
# Mobius: fiber flips
fiber_mobius = 0.5 * np.cos(theta_plot / 2)
ax1.plot(theta_plot / np.pi, fiber_trivial, color='#6b7280', linewidth=2,
         linestyle='--', alpha=0.5, label='Trivial (cylinder)')
ax1.plot(theta_plot / np.pi, fiber_mobius, color='#2dd4bf', linewidth=2.5,
         label='Non-trivial (Mobius)')
ax1.axvline(x=2, color='#f59e0b', linestyle='--', alpha=0.6, label='One full loop')
ax1.set_xlabel('theta / pi', color='#5eead4')
ax1.set_ylabel('Fiber coordinate', color='#5eead4')
ax1.set_title('Trivial vs Non-Trivial Bundle', color='#99f6e4', fontsize=12, fontweight='bold')
ax1.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4', fontsize=8)

# Plot 2: Hopf transition function (winding)
ax2 = axes[0, 1]
phi_vals = np.linspace(0, 2*np.pi, 300)
transition_real = np.cos(phi_vals)
transition_imag = np.sin(phi_vals)
ax2.plot(transition_real, transition_imag, color='#2dd4bf', linewidth=2.5)
ax2.plot(1, 0, 'o', color='#f59e0b', markersize=8)
ax2.set_xlabel('Re(g_{NS})', color='#5eead4')
ax2.set_ylabel('Im(g_{NS})', color='#5eead4')
ax2.set_title('Hopf Transition Function (winding=1)', color='#99f6e4', fontsize=12, fontweight='bold')
ax2.set_aspect('equal')
ax2.annotate('Start/End', xy=(1, 0), xytext=(1.2, 0.3),
             color='#f59e0b', fontsize=10,
             arrowprops=dict(arrowstyle='->', color='#f59e0b'))

# Plot 3: Chern numbers for U(1) bundles over S^2
ax3 = axes[1, 0]
chern_numbers = np.arange(-3, 4)
monopole_charges = chern_numbers
colors_bar = ['#f472b6' if c < 0 else '#34d399' if c > 0 else '#6b7280'
              for c in chern_numbers]
ax3.bar(chern_numbers, np.abs(monopole_charges) + 0.3, color=colors_bar, alpha=0.7,
        edgecolor='#2dd4bf')
ax3.set_xlabel('First Chern number c_1', color='#5eead4')
ax3.set_ylabel('|Monopole charge|', color='#5eead4')
ax3.set_title('U(1) Bundles over S^2', color='#99f6e4', fontsize=12, fontweight='bold')

# Plot 4: Fiber bundle schematic (projection of torus fibers)
ax4 = axes[1, 1]
for i, phase in enumerate(np.linspace(0, 2*np.pi, 12, endpoint=False)):
    circle_t = np.linspace(0, 2*np.pi, 100)
    cx = 0.3 * np.cos(circle_t) + 2 * np.cos(phase)
    cy = 0.3 * np.sin(circle_t) + 2 * np.sin(phase)
    alpha_val = 0.3 + 0.7 * (i / 12)
    ax4.plot(cx, cy, color='#2dd4bf', linewidth=1.5, alpha=alpha_val)
base_circle_t = np.linspace(0, 2*np.pi, 100)
ax4.plot(2*np.cos(base_circle_t), 2*np.sin(base_circle_t),
         color='#f59e0b', linewidth=2.5, label='Base S^1')
ax4.set_aspect('equal')
ax4.set_title('Circle Bundle over S^1', color='#99f6e4', fontsize=12, fontweight='bold')
ax4.legend(facecolor='#111111', edgecolor='#134e4a', labelcolor='#99f6e4')
ax4.set_xlabel('x', color='#5eead4')
ax4.set_ylabel('y', color='#5eead4')

plt.tight_layout(pad=2.0)
buf = BytesIO()
plt.savefig(buf, format='png', dpi=150, bbox_inches='tight', facecolor='#0a0a0a')
buf.seek(0)
img_b64 = base64.b64encode(buf.read()).decode()
print('<img src="data:image/png;base64,' + img_b64 + '" alt="Fiber Bundles Visualization" />')
buf.close()
print()
print("Visualization complete.")

Click Run to execute the Python code

Code will be executed with Python 3 on the server

Summary

Fiber Bundles

Spaces that are locally products but may be globally twisted. Transition functions encode the twisting and must satisfy cocycle conditions.

Principal Bundles

The fiber is the structure group itself. Gauge theories are connections on principal bundles, with gauge transformations corresponding to changes of local trivialization.

Associated Bundles

Matter fields live in associated vector bundles, constructed from a principal bundle and a representation. The tangent and spinor bundles are key examples.

Frame Bundle

The principal $GL(n)$ bundle of all frames. A metric reduces it to $O(n)$; a spin structure lifts to $\text{Spin}(n)$. Gravity is a connection on the frame bundle.

← Gauss-Bonnet Theorem Next: Gauge Connections →