Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 58 7 Solution Created 2026-10-03 Updated 2026-10-14
The basic object for integration on an oriented manifold of dimension is a top-degree differential form. In an orientation-preserving chart, write . Its integral is the ordinary integral of , and the coordinate change of variables formula ensures agreement on overlapping oriented charts. A partition of unity combines these local integrals into a global one, provided the form has compact support or satisfies appropriate convergence conditions. Reversing orientation reverses the integral. No metric is needed, although a pseudo-Riemannian metric and orientation supply the volume form . On a nonorientable manifold one instead integrates densities, or appropriately twisted top forms.
A -form is integrated over an oriented -dimensional submanifold by its pullback: if is its embedding, is defined intrinsically on . The Generalized Stokes theorem, with the induced boundary orientation, statesOne way to see why this global formula holds is to use an oriented chart and expand as a sum of coordinate derivatives. The ordinary fundamental theorem of calculus gives the boundary contributions with their orientation signs. A partition of unity reduces the manifold to such charts; the artificial internal boundary contributions cancel, leaving only the actual boundary. Compactness or compact support controls the sums and the boundary at infinity.
This immediately explains how closed differential forms yield conservation laws. For a closed differential form , cycles satisfying have equal integrals:Thus the integral pairs the de Rham cohomology class of with the homology class of the cycle. An exact differential form integrates to zero on every closed cycle. A closed form need not be exact, and nonzero periods measure the global obstruction. If a spacetime current is represented by a closed -form , integrating over two Cauchy surfaces gives a conserved charge provided no current crosses a lateral boundary. A nonzero boundary flux must be retained in the Stokes calculation rather than silently discarded.
For a genuinely topological current, closure can follow identically from the field geometry, without the equations of motion. If a field pulls back a closed differential form on its target, thenFor example, for a unit three-component field , the normalized area form isOn a closed oriented spatial two-surface , is the integer degree of a map between oriented manifolds. Smooth evolution is a homotopy and conserves this topological charge. Singularities or flux through a spatial boundary can permit the charge to change. This is the pullback-volume representation of a topological current.
A related example is the magnetic flux of a principal connection, representing a First Chern class when its normalization is integral. Nonzero flux on a closed cycle requires nontrivial global bundle data or singular sources: if a single smooth global potential exists with , the flux on every closed cycle vanishes. This distinction is important when local differential equations are used to infer global conservation or quantization.
A brane with spatial dimensions sweeps out an oriented -dimensional worldvolume , embedded by . Its electric coupling to a -form gauge potential is the Wess-Zumino brane couplingIt is invariant under orientation-preserving changes of worldvolume coordinates. Its field strength is , unchanged by the gauge transformation for a -form . Since the pullback of a differential form commutes with the exterior derivative, its gauge variation isTherefore a closed brane has a gauge-invariant coupling under these transformations. For a noncompact worldvolume, support or decay conditions must also eliminate contributions at infinity.
For an open brane, the variation does not vanish automatically. If its boundary lies on a manifold carrying a -form , the gauge invariance of an open-brane coupling follows by adding and assigning . The two boundary variations cancel exactly with the induced orientation. Alternatively one may restrict the gauge parameter to have vanishing pullback at the boundary, if that is the chosen physical boundary condition. A particle has and couples by ; a string has and couples to a two-form; a membrane has and couples to a three-form.
Finally, a gauge potential need not be globally a single differential form. Patchwise potentials and their overlap data define its global holonomy. For a large gauge transformation with closed but not necessarily exact, quantum gauge invariance requiresin units . This connects the coupling to integral periods and charge quantization. The local Stokes argument and these global period conditions are complementary: closure controls continuous conservation, while global topology controls which charges and gauge transformations are allowed.