Skip to content

Differential Geometry and Bundles

Use this chapter when a QFT problem is written in coordinates, local frames, gauge potentials, or gamma matrices but the object being described must exist independently of those choices. Smooth manifolds and tensors provide coordinate-independent fields; differential forms and Stokes’ theorem organize integration, flux, and boundaries; a metric adds lengths and, together with orientation, volume and Hodge duality; its Levi–Civita connection compares tangent vectors; bundles turn compatible local fields into global sections; and bundle connections, curvature, and holonomy compare fibers locally and around paths. A spin lift then turns an algebraic spinor module into a spinor bundle carrying a geometric Dirac operator.

There is no single mandatory route. Enter through forms and integration when the problem concerns currents, flux, or actions; through gauge bundles when local potentials must be patched; or through spacetime geometry when the metric, geodesics, or curvature are central. The overview itself has no hard prerequisite: it is a route selector, not an extra prerequisite for every page in the chapter.

The chapter supplies reusable local and global geometric language and bounded QFT-facing examples. Gauge dynamics, Wilson-loop expectation values, area laws, confinement, and generalized-symmetry interpretations remain in the gauge volumes. Curved-spacetime states, horizons, renormalization, and gravitational dynamics remain in Curved Spacetime. Characteristic classes and index theorems continue in the next mathematics chapter. The aim here is not a theorem-first classification of manifolds, bundles, or holonomy groups.

Use these checks to locate the smallest missing input.

Readiness checkReadyIf unsureRepair and return
Can you distinguish a vector, a covector, a tensor, and their components after a basis change?Enter the smooth-manifold page.Write the type of each object before writing indices.Review Vector Spaces, Duals, Linear Maps, and Bases and Direct Sums, Tensor Products, and Index Structure, or use the linear and tensor methods repair.
Can you antisymmetrize and track the sign in αβ=(1)prβα\alpha\wedge\beta=(-1)^{pr}\beta\wedge\alpha for degrees pp and rr?Take the forms route after smooth manifolds.Test the formula on a one-form and a two-form.Review Exterior and Graded Algebra, Grassmann Variables, and Berezin Integration; this is useful repair, not a declared hard prerequisite for the forms page.
Can you distinguish a metric—a symmetric, nondegenerate bilinear tensor—from a differential pp-form—an alternating covariant tensor field?Take the metric/Hodge branch after forms.Identify the symmetry type and the tangent or cotangent spaces accepted as inputs.Review Bilinear and Hermitian Forms, Adjoints, and Isometries, then return to the metric/Hodge page.
Can you distinguish a group action, a representation, and a Lie-algebra-valued field, and translate Hermitian generators to anti-Hermitian ones?Take the gauge-bundle branch.Identify the group, the space on which it acts, and the representation before writing a gauge potential.Review Groups, Actions, Quotients, and Covers and Lie Groups, Lie Algebras, and Exponential and Adjoint Maps.
Can you state the Clifford relation and distinguish a Clifford module from a global spin structure?Take the spin bridge after its independent curvature and bundle inputs.Local gamma matrices establish algebraic data, not a lift of a frame bundle.Review Clifford Algebras and Pin and Spin Groups, or use the relativity, Lorentz symmetry, and spin repair.
Given local formulas on overlapping patches, can you name the transformation law that makes them one global object?Enter the branch appropriate to that object.Separate base-coordinate changes from changes of local frame or gauge.Start at Smooth Manifolds, Tangent and Cotangent Bundles, and Tensor Fields, not with the whole chapter as a prerequisite.

An arrow in this table displays a hard dependency. A plus sign means that all named inputs are hard. Suggested preparation is labeled separately, and every input retains its own hard prerequisites.

Reader goalHard-dependency routeCapability at the end
Forms, flux, and action integralsSmooth Manifolds \to Differential FormsPull back, differentiate, orient, and integrate forms; apply Stokes’ theorem with its boundary and support hypotheses
Metric duality and kinetic operatorsSmooth Manifolds + Differential Forms \to Metrics, Volume, Hodge Star, and Laplace OperatorsConstruct metric volume and Hodge duals and distinguish Riemannian Laplace-type operators from Lorentzian wave operators
Spacetime geometrySmooth Manifolds \to Differential Forms \to Metrics/Hodge \to Levi–Civita GeometryUse the metric-selected torsion-free connection, geodesics, and the site’s Riemann-curvature convention
Local fields on nontrivial bundlesSmooth Manifolds \to Vector, Principal, and Associated BundlesRecognize sections, transition functions, principal actions, and associated fields; groups and actions is recommended preparation
Gauge connections and curvatureBundles + Differential Forms + Lie Groups and Lie Algebras \to Bundle ConnectionsPatch local potentials, construct covariant curvature, and distinguish the Bianchi identity from a field equation
Holonomy and bounded Wilson transportBundle Connections \to Parallel Transport and HolonomyBuild path transport, track endpoint covariance, and extract conjugacy-invariant data from closed paths
Geometric spinorsLevi–Civita Geometry + Bundles + Clifford and Spin Groups \to Spin Structures and Dirac OperatorsLift the orthonormal frame bundle, form the spinor bundle, lift the connection, and define the geometric Dirac operator

The sidebar is a reference order, not a compulsory course. In particular, the metric/spacetime branch and the internal gauge-bundle branch are independent: bundles are not a hard prerequisite for Levi–Civita geometry, and a spacetime metric is not a hard prerequisite for a bundle connection. They meet when a physical theory uses both, and they meet mathematically in the spin bridge.

A global geometric object is not a formula that happens to be written on a large coordinate patch. It is an object whose representatives agree on every overlap according to the correct transformation law. Charts coordinate the base manifold. Bundle trivializations choose coordinates or frames in the fiber. Confusing those two changes is the source of many false claims that a quantity is—or is not—geometric.

For transition functions gijg_{ij} and a representation ρ\rho, one consistent choice of overlap convention is

gijgjk=gik,si=ρ(gij)sjg_{ij}g_{jk}=g_{ik}, \qquad s_i=\rho(g_{ij})s_j

on triple and double overlaps, respectively. Changing convention can reverse the order or invert the gijg_{ij}, but it must change both equations together. The invariant check is that the local representatives reconstruct the same section after a round trip through an overlap.

LayerGlobal objectTypical local representativeCompatibility or invariant check
Smooth baseManifold MMCoordinates xμx^\mu in a chartTransition maps are smooth and satisfy overlap compatibility
Tensor geometryTensor field on MMComponents such as TμνT^\mu{}_\nuComponents transform with the tensor type; the tensor is not its component array
Exterior calculusDifferential form ω\omegaAntisymmetric components in dxμ1dxμpdx^{\mu_1}\wedge\cdots\wedge dx^{\mu_p}Pullback, wedge product, and exterior derivative commute with coordinate changes
Metric geometryMetric gg and an orientationgμνg_{\mu\nu} and a local volume formSignature is constant on a connected component; volume and Hodge signs follow the declared metric and orientation
Spacetime connectionConnection on TMTM or the frame bundleChristoffel symbols or a connection one-formConnection coefficients transform inhomogeneously; torsion and curvature are geometric
General field bundleVector, principal, or associated bundleLocal section or frame and transition functionsCocycle compatibility assembles the fibers and sections
Gauge connectionConnection on a principal or associated bundleLie-algebra-valued potential AiA_iPotentials patch inhomogeneously; curvatures patch homogeneously
TransportParallel transport and holonomyA path-ordered matrix in a chosen frameOpen transport is endpoint-covariant; closed holonomy is defined up to conjugation
Spin geometrySpin structure and spinor bundleLocal coframe, spin connection, and gamma matricesThe local data must arise from a global lift of the relevant orthonormal frame bundle

Several operations that look similar require different structures:

OperationMinimum structureWhat it does not require
Exterior derivative dωd\omegaSmooth structure and a differential formNo metric and no connection
Lie derivative LXT\mathcal L_XTA tensor field and the flow of a vector field XXNo connection
Covariant derivative s\nabla s or DsDsA connection on the bundle carrying ssIt is not determined by the smooth structure alone
Hodge dual ω\star\omegaA metric and an orientationA bare orientation is not enough
Integration of a top formAn orientation and suitable support or convergenceA metric is optional; it is needed only when one first constructs a volume form or density from it

The direct dependency relations are therefore exact: smooth manifolds lead to forms and, independently, to general bundles; smooth manifolds plus forms lead to metric/Hodge geometry; metric/Hodge geometry leads to Levi–Civita geometry; bundles plus forms plus Lie theory lead to bundle connections; bundle connections lead to holonomy; and Levi–Civita geometry plus bundles plus Clifford/Spin theory lead to spin structures and Dirac operators. Lee 2013, Chapters 1–3 and 8–16 develops the base, tangent, tensor, form, integration, and vector-bundle layers as a connected foundation. The general bundle and physics-facing connections among the layers are developed in Frankel 2012, Chapters 1–4, 9, 14, and 16–19 and Nakahara 2003, Chapters 5–7, 9–10, § 11.6, and § 12.6.

Spacetime and gauge connections are different

Section titled “Spacetime and gauge connections are different”

Both branches use the word connection because both compare fiber data along directions in the base and both produce covariant derivatives, parallel transport, curvature, holonomy, and Bianchi identities. Those common constructions do not identify the underlying bundles or their physical meanings.

FeatureLevi–Civita connectionGauge-bundle connection
BundleTangent bundle TMTM, equivalently the appropriate frame bundleAn internal principal GG-bundle and its associated bundles
What selects itMetric compatibility together with zero torsion selects the unique connectionIt is independent geometric data; a base metric may enter a gauge-field action but does not kinematically determine the connection
Local coefficientsΓμνρ\Gamma^\rho_{\mu\nu} in coordinates, or a frame connection ωab\omega^a{}_bAμ=AμaTaA_\mu=A_\mu^aT^a in a local gauge
Indices acted onSpacetime or frame indicesInternal representation indices
CurvatureRρσμνR^\rho{}_{\sigma\mu\nu} or curvature two-formsFμνF_{\mu\nu} or a Lie-algebra-valued curvature two-form
Change of representativeCoordinate or local-frame changeGauge change of local trivialization
Special constraintMetric compatibility and vanishing torsionNo analogous universal metric/torsion condition
Physical continuationCurved-background field theory and gravityGauge redundancy, observables, and gauge dynamics

A connection is not a tensor: its local coefficients acquire an inhomogeneous term. The difference of two connections on the same bundle is tensorial, and curvature transforms homogeneously. This is why a gauge potential can vanish in one local gauge at a point while its curvature cannot be removed there when the curvature is nonzero.

Curvature captures infinitesimal failure of parallel transport to commute. Holonomy retains transport around finite paths and can also retain global topology. Consequently, zero curvature on a nonsimply-connected region need not imply trivial holonomy. The Bianchi identity is a compatibility identity of the connection and curvature; it is not a dynamical Yang–Mills or Einstein equation. For the metric branch, Lee 2018, Chapters 2 and 4–7 gives a structural treatment of metrics, connections, geodesics, and curvature. For the bundle branch, see Frankel, Chapters 16–18, and Nakahara, Chapters 9–10, in the references below.

Only choices that recur across several leaves belong here. The linked pages provide the definitions, hypotheses, and derivations.

Recurrent hazardSite-level choiceRound-trip check and source page
Wedge order and exterior differentiationFor degrees pp and rr, αβ=(1)prβα\alpha\wedge\beta=(-1)^{pr}\beta\wedge\alpha, and d2=0d^2=0.Reorder twice and recover the original form. See Differential Forms.
Boundaries, orientation, and Hodge dualityBoundary orientation is outward-pointing-vector first. Hodge duality uses a metric and a globally compatible orientation; in dimension nn with qq negative directions, 2Ωk=(1)k(nk)+q\star^2\big\vert_{\Omega^k}=(-1)^{k(n-k)+q}.On two-forms, recover 1-1 in four-dimensional (+)(+---) signature and +1+1 in Euclidean signature. See Differential Forms and Metrics and Hodge Star.
Riemann-curvature signThe commutator and Ricci contraction are fixed by the display below.A translated source must recover both the commutator and the contraction, not merely a sign-adjusted component formula. See Levi–Civita Geometry.
Gauge basis and couplingGenerators are Hermitian; DRD_R acts in a matter representation, whereas DadD_{\mathrm{ad}} acts on adjoint-valued forms. The Hermitian-to-anti-Hermitian map is shown below.Map back to the same curvature, DadF=0D_{\mathrm{ad}}F=0, and transporter sign. See Bundle Connections and Parallel Transport.
Local transport dataA matrix-valued potential and path-ordered exponential are written in a chosen trivialization of the pullback bundle; transition functions enter when the patch changes.Open transport is endpoint-covariant, while closed holonomy is defined up to conjugation and admits class functions. See Parallel Transport.
Clifford sign and global spinorsFrame matrices obey {γa,γb}=2ηab\{\gamma^a,\gamma^b\}=2\eta^{ab}; sources using c(v)c(w)+c(w)c(v)=2g(v,w)c(v)c(w)+c(w)c(v)=-2g(v,w) require translation. Local gamma matrices do not establish a global Spin lift.State dimension, signature, frame-group component, orientation, and, in Lorentzian settings, time orientation before comparing operators. See Clifford and Spin Groups and Spin Structures and Dirac Operators.

The site curvature convention is

[μ,ν]Vρ=RρσμνVσ,Rσν=Rρσρν.[\nabla_\mu,\nabla_\nu]V^\rho = R^\rho{}_{\sigma\mu\nu}V^\sigma, \qquad R_{\sigma\nu} = R^\rho{}_{\sigma\rho\nu}.

For the gauge crosswalk, with ψU=Uψ\psi^U=U\psi,

DR=digYMA,F=dAigYMAA,A=igYMA,F=dA+AA=igYMF.\begin{aligned} D_R&=d-i g_{\mathrm{YM}}A,\\ F&=dA-i g_{\mathrm{YM}}A\wedge A,\\ \mathcal A&=-i g_{\mathrm{YM}}A,\\ \mathcal F&=d\mathcal A+\mathcal A\wedge\mathcal A\\ &=-i g_{\mathrm{YM}}F. \end{aligned}

The first two lines use Hermitian generators; the last two are the same data in an anti-Hermitian basis. The Bundle Connections page supplies the transformation laws and distinguishes DRD_R from DadD_{\mathrm{ad}}; the Holonomy page supplies the patchwise transporter.

This example shows why a local potential is not necessarily one global one-form. It uses Differential Forms for curvature and flux, Bundles for transition data, Bundle Connections for the patched potential, and Holonomy for path transport. The Abelian example does not test non-Abelian commutators, curvature conjugation, or path ordering.

Across this thread, the same four checks recur: the overlap transition is single-valued, the two local potentials obey the connection transformation law, their local curvatures agree, and transport computed in either patch agrees after the endpoint transition factors are included. Nonzero flux then detects why no single smooth global potential can replace the patched connection. The linked pages develop the potentials, flux calculation, and holonomy construction.

This chapter uses the example only to connect patches, connection, curvature, flux, and holonomy. Flux integrality and the first Chern class continue in de Rham Cohomology, Periods, Duality, and Intersection and Characteristic Classes and Chern–Weil Theory. Gauge-field dynamics and physical observables continue in the gauge volumes.

From an algebraic spinor to a geometric Dirac operator

Section titled “From an algebraic spinor to a geometric Dirac operator”

The Dirac thread begins in the preceding chapter with a Lorentz representation, a Clifford algebra, a Spin group, and an algebraic spinor module. In this chapter, Metrics and Hodge Star and Levi–Civita Geometry provide the frame geometry and spacetime connection; Bundles provide the lift and associated-bundle language; the preceding Clifford/Spin page provides the algebra; and Spin Structures and Dirac Operators assembles the global operator. The data fit together as

(M,g)orthonormal frame bundleSpin liftspinor bundle SSD=cS.\begin{aligned} (M,g) &\longrightarrow \text{orthonormal frame bundle} \\ &\longrightarrow \text{Spin lift} \longrightarrow \text{spinor bundle }S \\ &\longrightarrow \nabla^S \longrightarrow \mathcal D=c\circ\nabla^S. \end{aligned}

Local coframes and gamma matrices can describe this sequence after a lift is chosen, but they do not prove that the lift exists. An oriented manifold admits a spin structure only under an additional global topological condition, and an admitted spin structure need not be unique. The spin page states the precise hypotheses and construction.

The analytic meaning also depends on signature. The standard Riemannian Dirac operator is elliptic and leads, after further spectral and characteristic-class inputs, toward an index theorem. A Lorentzian Dirac operator belongs to a causal, hyperbolic problem. Any passage from the Lorentzian QFT thread to the Riemannian index thread must state the signature change and recheck the Clifford and adjoint conventions. See Lawson and Michelsohn 1989, Chapter II for the structural spin-geometry construction.

The eight leaves below appear in the chapter’s navigation order. Each capsule states its hard entry, central result, and first controlled exit.

  1. Smooth Manifolds, Tangent and Cotangent Bundles, and Tensor Fields has no hard prerequisite. It asks how charts, tangent and cotangent spaces, tensors, flows, and Lie derivatives describe fields without a preferred coordinate system. Its endpoint is the ability to separate a geometric field from its coordinate components. Continue to forms, to general bundles, or to Curved Spacetimes, Cauchy Surfaces, and Global Hyperbolicity for the first physical setting.

  2. Differential Forms, Integration, Orientation, and Stokes Theorem hard-requires smooth manifolds. It asks how forms encode flux, integration, boundaries, and conservation without choosing coordinates. Its endpoint includes the hypotheses and boundary orientation of Stokes’ theorem, not merely its mnemonic formula. Continue to Hodge geometry, bundle connections, de Rham theory, or Quantum Currents, Improvements, and Conservation.

  3. Metrics, Volume Forms, Hodge Star, and Laplace Operators hard-requires smooth manifolds and differential forms. It asks how a metric supplies lengths and a volume density, and how a chosen orientation then supplies the ordinary volume form, Hodge duality, codifferentials, and Laplace-type operators. Its endpoint is signature-aware Hodge and operator language. Continue to Levi–Civita geometry or to Differential-Form Fields and Reducible Gauge Systems.

  4. Levi–Civita Connections, Geodesics, and Riemann Curvature hard-requires the metric/Hodge page. It asks how metric compatibility and zero torsion select a connection and how that connection defines geodesics and curvature. It states the site’s curvature convention but stops before curvature dynamics, states, horizons, and renormalization. Continue to Covariant Scalar Fields and Curvature Coupling or, with additional inputs, to the spin bridge.

  5. Vector, Principal, and Associated Bundles hard-requires smooth manifolds; groups and actions is recommended preparation. It asks how transition functions assemble globally nontrivial fields and how principal actions generate associated matter bundles. Continue to bundle connections or to Local Potentials and Global Gauge Configurations.

  6. Bundle Connections, Curvature, Gauge Transformations, and Bianchi Identities hard-requires bundles, differential forms, and Lie groups/Lie algebras. It asks how a connection compares fibers, how local potentials patch, why curvature transforms covariantly, and why DadF=0D_{\mathrm{ad}}F=0. Continue to holonomy, to Gauge Fields, Redundancy, and Observable Content, or, after de Rham input, to characteristic classes.

  7. Parallel Transport and Holonomy hard-requires bundle connections. It asks what information survives transport along open and closed paths, including the flat-but-nontrivial case. It develops a bounded Wilson-line construction, but not expectation values, area laws, confinement, or generalized-symmetry interpretations. Continue to Wilson Lines and Loops for those physical questions.

  8. Spin Structures and Dirac Operators hard-requires Levi–Civita geometry, general bundles, and Clifford/Spin groups. It asks when a manifold admits spinors and how the geometric data define a Dirac operator. Algebraic spinor bilinears from the preceding chapter are useful in the wider Dirac thread but are not silently promoted to a hard prerequisite here. Continue to Spinors, Tetrads, and Spin Connections or, after additional topology and spectral inputs, to the index page.

The minimum durable conclusions are:

  • a coordinate component is not a tensor, a local trivialization is not a bundle, and a local potential is not necessarily a global one-form;
  • dd, LX\mathcal L_X, \nabla, and \star require different structures and cannot be exchanged as notation;
  • orientation permits integration of top forms, while a metric supplies lengths; together they supply the usual volume form and Hodge duality, and neither notion automatically supplies the other;
  • a Levi–Civita connection acts on spacetime tangent or frame data and is selected by the metric and zero torsion, whereas a gauge connection is independent data on an internal principal or associated bundle;
  • connection coefficients transform inhomogeneously, curvature transforms homogeneously, and the Bianchi identity is geometric rather than dynamical;
  • curvature controls infinitesimal transport, while holonomy can retain finite-path and global information; flat does not always mean globally trivial;
  • an open transporter is endpoint-covariant, not gauge invariant without endpoint data;
  • Hodge, curvature, gauge-generator, coupling, and path-order conventions must survive an invariant round-trip check; and
  • a Clifford module and local gamma matrices are algebraic input, while a spin structure is additional global bundle data.

The chapter stops before selecting a gravitational or gauge-field action, solving a field equation, defining a quantum state, renormalizing a stress tensor, interpreting a Wilson-loop expectation value, proving confinement, classifying characteristic numbers, or applying an index theorem.

Each successful response must state its hypotheses and identify a repair route.

Retrieval—type the structures. A field is given by local functions sis_i on patches UiU_i. State what transition functions and overlap equation would make the sis_i one section of an associated bundle, and distinguish a change of base coordinates from a change of fiber frame. Success names the cocycle and overlap compatibility without calling the component functions the global field. Repair with Smooth Manifolds and Vector, Principal, and Associated Bundles.

Explanation—classify the operations. For dωd\omega, LXT\mathcal L_XT, s\nabla s, and ω\star\omega, state the minimum geometric structure required by each. Success assigns a smooth structure to dd, a flow to LX\mathcal L_X, a connection to \nabla, and metric plus orientation to \star. Repair with Differential Forms and Metrics and Hodge Star.

Derivation reconstruction—recover gauge covariance. Starting from ψU=Uψ\psi^U=U\psi and DR=digYMAD_R=d-i g_{\mathrm{YM}}A, derive the transformation of AA, show that FF transforms homogeneously, and explain why the non-Abelian identity is DadF=0D_{\mathrm{ad}}F=0 rather than merely dF=0dF=0. Success includes the inhomogeneous connection term and distinguishes identity from equation of motion. Repair with Bundle Connections.

Convention translation—change to an anti-Hermitian connection. Set A=igYMA\mathcal A=-i g_{\mathrm{YM}}A and recover F=dA+AA=igYMF\mathcal F=d\mathcal A+\mathcal A\wedge\mathcal A =-i g_{\mathrm{YM}}F, then recover the same path transporter after mapping back. Success completes the round trip to DR=digYMAD_R=d-i g_{\mathrm{YM}}A rather than changing one isolated sign. Repair with Bundle Connections and Parallel Transport.

Comparison—separate the two curvatures. Explain where RρσμνR^\rho{}_{\sigma\mu\nu} and FμνF_{\mu\nu} live, what selects their connections, and how their local representatives transform. Success says that Levi–Civita is metric-selected on tangent/frame data while a gauge connection is internal-bundle data. Repair with Levi–Civita Geometry and Bundle Connections.

Transfer—glue a charged field. On an overlap, suppose a1=a2+dχa_1=a_2+d\chi and ψ1=eiχψ2\psi_1=e^{i\chi}\psi_2. Verify that (dia1)ψ1=eiχ(dia2)ψ2(d-ia_1)\psi_1=e^{i\chi}(d-ia_2)\psi_2 and that da1=da2da_1=da_2. If the overlap contains a periodic angular coordinate, state what must be checked for eiχe^{i\chi} to be single-valued. Success verifies both the covariant derivative and curvature gluing, rather than checking only the potentials. Repair with Differential Forms, Bundles, and Bundle Connections.

Failure diagnosis—flat but nontrivial transport. On a circle with θθ+2π\theta\sim\theta+2\pi, take a unit-charge U(1)U(1) connection a=λdθa=\lambda\,d\theta. Explain how f=0f=0 can coexist with holonomy e2πiλe^{2\pi i\lambda}, and determine when a single-valued gauge transformation removes aa. Success concludes that removal is possible exactly when λZ\lambda\in\mathbb Z in this normalization. Repair with Parallel Transport and Holonomy.

Synthesis—build the Dirac bridge. Starting from (M,g)(M,g) and an algebraic spinor module, list the additional data needed for a global Dirac operator and distinguish the Riemannian and Lorentzian analytic problems. Success names the relevant orthonormal frame-bundle component, Spin lift, associated spinor bundle, lifted Levi–Civita connection, and Clifford multiplication. Repair with Clifford Algebras and Spin Groups, Levi–Civita Geometry, Bundles, and Spin Structures and Dirac Operators.

These are typed continuations, not claims that one chapter leaf is sufficient for the destination. Every destination retains its own declared prerequisites.

Mathematical output carried forwardCanonical continuationWhat begins there
Smooth spacetime and tensor fieldsCurved Spacetimes, Cauchy Surfaces, and Global HyperbolicityCausal geometry and admissible curved backgrounds
Forms, orientations, flux, and StokesQuantum Currents, Improvements, and ConservationLocal quantum currents, surface dependence, and improvements
Hodge and Laplace-type operatorsDifferential-Form Fields and Reducible Gauge SystemsPhysical pp-form systems and reducible gauge structure
Levi–Civita derivative and Riemann curvatureCovariant Scalar Fields and Curvature CouplingCovariant field equations and curvature coupling
Bundle gluing and local representativesLocal Potentials and Global Gauge ConfigurationsPhysical global gauge configurations
Gauge connection, curvature, and Bianchi identityGauge Fields, Redundancy, and Observable ContentGauge redundancy and observable content
Parallel transport and closed holonomyWilson Lines and LoopsPhysical line operators and their quantum interpretation
Spin lift, spinor bundle, and Dirac operatorSpinors, Tetrads, and Spin ConnectionsFermions on curved backgrounds

For the topology continuation:

For broad preparation diagnosis, use the mathematics readiness check. For a spacetime-specific gap, use the classical fields and relativity readiness check and the relativity, Lorentz symmetry, and spin repair. To choose a different mathematical branch, return to Mathematical Methods.

  • Theodore Frankel, The Geometry of Physics: An Introduction, third edition, Cambridge University Press, 2012, Chapters 1–4, 9, 14, and 16–19. These chapters connect forms, curvature, Hodge theory, vector and principal bundles, associated bundles, connections, monopole geometry, and the Dirac operator.
  • H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin Geometry, Princeton Mathematical Series 38, Princeton University Press, 1989, Chapter II and Appendix A. This is the specialist structural reference for spin structures, spinor bundles, Dirac operators, and the principal-bundle background used by the final bridge.
  • John M. Lee, Introduction to Riemannian Manifolds, second edition, Graduate Texts in Mathematics 176, Springer, 2018, Chapters 2 and 4–7. This is the structural reference for metrics, connections, parallel transport, the Levi–Civita connection, geodesics, and curvature.
  • John M. Lee, Introduction to Smooth Manifolds, second edition, Graduate Texts in Mathematics 218, Springer, 2013, Chapters 1–3 and 8–16. These chapters support smooth manifolds, tangent and cotangent data, tensors, flows, bundles, forms, orientation, and integration.
  • Mikio Nakahara, Geometry, Topology and Physics, second edition, Institute of Physics Publishing, 2003, Chapters 5–7, 9–10, § 11.6, and § 12.6. This supplies an independent QFT-facing route through manifolds, bundles, gauge connections, spin bundles, and Dirac operators.