A Notion To Ponder

Why this module: The general definition, plus enough examples that "bundle" becomes a picture rather than a tuple of axioms.

Core idea

A Fiber Bundle $F \hookrightarrow E \xrightarrow{\pi} M$ is a space $E$ that locally looks like a product $U \times F$ over each patch $U \subseteq M$, but may be globally twisted. The twisting is encoded in Transition Functions $t_{\alpha\beta}: U_\alpha \cap U_\beta \to G$ valued in a Lie Group — the structure group.

Slogan: manifold : charts :: bundle : local trivializations. A bundle is "a family of $F$'s parametrized by $M$, glued with $G$."

Physics anchor: "Internal degrees of freedom" (phase, isospin, color) live in the fiber. Spacetime is the base. Fields are sections.

Concepts

• Fiber Bundle — the definition, total space / base / fiber / projection
• Local Trivialization — the "charts" of bundle theory
• Transition Functions — cocycle condition $t_{\alpha\beta}t_{\beta\gamma} = t_{\alpha\gamma}$; the bundle is this data
• Section of a Bundle — global vs. local; obstruction to global sections = topology
• Mobius Band as a Bundle — the minimal nontrivial example; carry it everywhere
• Hopf Fibration — $S^1 \hookrightarrow S^3 \to S^2$; the example for physics (it's the Dirac monopole)
• Tangent Bundle — revisit from Module 01, now as a fiber bundle proper

Reading

• Concept notes first; then Sternberg - Lectures on Differential Geometry Ch. VII opening sections (bundle definitions, via frame bundles)

Self-check before moving on

Given transition-function data, can you say what bundle it builds? Why is "locally a product" not the same as "is a product"?