Differential Geometry and Bundles

Comparing fields at different points requires geometry. This chapter develops manifolds, differential forms, metrics, bundles, and connections, leading from coordinate-independent differentiation to parallel transport and spinors. Gauge connections and spacetime connections play related but distinct roles.

Enter this chapter

Begin with Smooth Manifolds, Tangent and Cotangent Bundles, and Tensor Fields to understand local coordinates and intrinsic objects. The bundle sequence is the direct route toward gauge theory.

Topics

1. Smooth Manifolds, Tangent and Cotangent Bundles, and Tensor Fields — Builds tangent, cotangent, and tensor data independently of coordinates.
2. Differential Forms, Integration, Orientation, and Stokes Theorem — Connects differential forms, orientation, and integration through Stokes’ theorem.
3. Metrics, Volume Forms, Hodge Star, and Laplace Operators — Uses a metric to define volume, Hodge duality, and Laplace operators.
4. Levi–Civita Connections, Geodesics, and Riemann Curvature — Derives the metric-compatible torsion-free connection and its curvature.
5. Vector, Principal, and Associated Bundles — Explains how locally trivial descriptions join into a global bundle.
6. Bundle Connections, Curvature, Gauge Transformations, and Bianchi Identities — Defines covariant differentiation and the transformation of curvature.
7. Parallel Transport and Holonomy — Compares fibers along paths and identifies loop holonomy.
8. Spin Structures and Dirac Operators — States the global lifting condition needed to define ordinary spinor bundles.

How the ideas fit together

A bundle tells how local descriptions fit together; a connection adds a rule for comparing nearby fibers. Its curvature measures the leading failure of transport around a small loop to return a vector unchanged. Holonomy records transport around whole loops and can retain information even when curvature vanishes locally. See Nakahara 2003, §§ 10.1–10.3.

The distinction matters for gauge fields: a local potential depends on a choice of frame, while its curvature transforms covariantly. Choosing gamma matrices likewise supplies local algebra, not a global spin structure; compatibility between patches is an additional requirement.

Review the chapter

Must a flat connection have trivial holonomy?

Solution

No. Flatness makes transport locally path-independent, but noncontractible loops may still carry nontrivial holonomy. On a circle a flat connection can return a charged field with a nontrivial phase; a single-valued gauge transformation cannot remove an arbitrary such phase.

Where to go next

Continue to Topology, Cohomology, and Characteristic Classes for global obstructions and curvature invariants.

References

• Mikio Nakahara, Geometry, Topology and Physics, 2nd ed., Institute of Physics Publishing, 2003. Publisher record.