Major Fiber Bundles

Why This Matters

Fiber bundles are the algebraic topologist's way of understanding how spaces can be "twisted together"—and that twisting (or lack thereof) reveals deep structural information about manifolds, symmetries, and even physical theories. When you study fiber bundles, you're learning to see how a total space $E$ decomposes locally into a product of a base space $B$ and a fiber $F$, but may fail to do so globally. This tension between local triviality and global complexity is precisely what makes bundles so powerful for classification problems.

You're being tested on your ability to recognize what type of fiber a bundle has, what structure group governs it, and whether the bundle is trivial or exhibits genuine topological twisting. The examples below range from the simplest product bundles to sophisticated constructions like the Hopf fibration that connect spheres in unexpected ways. Don't just memorize definitions—know what geometric or algebraic principle each bundle illustrates and how they relate to one another.

---

Foundational Examples: Trivial vs. Non-Trivial

The first question to ask about any fiber bundle is whether it's globally a product or whether something more interesting is happening. These two examples establish the baseline.

Trivial Bundle

• Globally product structure—the total space is literally $E = B \times F$, with projection onto the first factor
• No twisting means every local trivialization extends to a global one; the structure group acts trivially
• Baseline for comparison: if a bundle isn't isomorphic to $B \times F$, we call it non-trivial, and detecting this is a central problem in topology

Möbius Strip

• Non-orientable line bundle over $S^1$—the base is a circle, the fiber is an interval $I$, but the total space has only one side
• Structure group $\mathbb{Z}/2\mathbb{Z}$ acts by reflection; going once around the base "flips" the fiber
• Simplest non-trivial bundle: proves that local triviality doesn't imply global triviality, making it the go-to counterexample

---

Vector Bundles: Linear Structure on Fibers

When fibers carry vector space structure and transition functions are linear maps, we get vector bundles—the workhorses of differential topology and geometry.

Vector Bundle

• Fibers are vector spaces (typically $\mathbb{R}^n$ or $\mathbb{C}^n$), with transition functions in $GL(n)$
• Sections and operations: you can add sections and multiply by scalars, enabling constructions like differential forms and characteristic classes
• Classification via homotopy classes of maps into Grassmannians; the structure group reduction problem is fundamental

Tangent Bundle

• Fiber at $p$ is $T_pM$, the tangent space—a vector bundle canonically associated to any smooth manifold $M$
• Dimension equals $\dim(M)$; for an $n$-manifold, $TM$ is a $2n$-dimensional manifold
• Triviality test: $TM$ trivial iff $M$ is parallelizable (e.g., $S^1, S^3, S^7$, Lie groups); $TS^2$ is famously non-trivial by the hairy ball theorem

Tautological Line Bundle

• Over $\mathbb{RP}^n$ or $\mathbb{CP}^n$, the fiber over a point (a line $\ell$) is that line itself
• Universal property: every line bundle over a paracompact base pulls back from the tautological bundle via a classifying map
• Non-trivial for $n \geq 1$; its first Chern class (complex case) or first Stiefel-Whitney class (real case) generates the cohomology ring

---

Principal Bundles: Group Actions on Fibers

When the fiber is a Lie group $G$ acting freely and transitively on itself, we get principal bundles—the natural home for gauge theory and connections.

Principal Bundle

• Fiber is a Lie group $G$ acting on the right; locally $E \cong U \times G$, but globally twisted by transition functions in $G$
• No canonical "zero section" unlike vector bundles; instead, the group action provides the structure
• Associated bundles: every vector bundle arises from a principal $GL(n)$-bundle via a representation; this is how gauge fields couple to matter in physics

Frame Bundle

• Principal $GL(n,\mathbb{R})$-bundle over an $n$-manifold—the fiber at $p$ consists of all ordered bases for $T_pM$
• Reduction of structure group to $O(n)$ gives a Riemannian metric; to $SO(n)$ gives an orientation
• Connections on $FM$ correspond to affine connections on $M$; curvature of this connection is the Riemann curvature tensor

Stiefel Manifold

• $V_k(\mathbb{R}^n)$ is the space of orthonormal $k$-frames in $\mathbb{R}^n$; it's a principal $O(k)$-bundle over the Grassmannian $Gr_k(\mathbb{R}^n)$
• Homotopy groups of Stiefel manifolds feed into the classification of vector bundles via obstruction theory
• Special cases: $V_1(\mathbb{R}^n) = S^{n-1}$; $V_n(\mathbb{R}^n) = O(n)$

---

Sphere Bundles and Fibrations

When fibers are spheres, we enter territory where homotopy theory and bundle theory deeply intertwine.

Sphere Bundle

• Fibers are $S^{n-1}$, typically arising as the unit sphere bundle of a rank-$n$ vector bundle with a metric
• Euler class is the primary characteristic class; it vanishes iff the bundle admits a nowhere-zero section
• Long exact sequence of homotopy groups relates $\pi_*(S^{n-1})$, $\pi_*(E)$, and $\pi_*(B)$—essential for computations

Hopf Fibration

• $S^1 \hookrightarrow S^3 \to S^2$—circles fiber the 3-sphere over the 2-sphere; total space, fiber, and base are all spheres
• Generator of $\pi_3(S^2) \cong \mathbb{Z}$; this is the first example showing higher homotopy groups of spheres are non-trivial
• Complex geometry interpretation: $S^3 \subset \mathbb{C}^2$ maps to $\mathbb{CP}^1 \cong S^2$ via $[z_1 : z_2]$; fibers are orbits of $S^1$ acting by scalar multiplication

---

Quick Reference Table

---

Self-Check Questions

1. Which two bundles on this list have $S^1$ as their base space, and what distinguishes their global structure?

2. If you're told a vector bundle over a manifold $M$ is trivial, what does this imply about the frame bundle of that vector bundle?

3. Compare and contrast the tangent bundle $TS^2$ and the Hopf fibration $S^3 \to S^2$: both involve $S^2$ as base—what are their fibers, and which is trivial?

4. The Stiefel manifold $V_k(\mathbb{R}^n)$ is a principal bundle over what base space, and with what structure group? How does this relate to classifying vector bundles?

5. Suppose an FRQ asks you to prove a line bundle over $S^1$ is non-trivial. Which example from this list provides the model argument, and what topological invariant would you compute?