Differential Forms, Integration, and Orientation

Differential forms unite local calculus, oriented integration, and global topology in one metric-free language. Alternation turns Jacobians into signed geometric factors; the exterior derivative expresses differential identities without a connection; Stokes’ theorem converts bulk derivatives into boundary integrals; and de Rham cohomology records when local potentials cannot be joined globally. This chapter develops that sequence carefully, with the punctured-plane angular form and the oriented disk serving as recurring tests of local versus global reasoning and of every consequential sign.

Required background. Tensor Fields and Natural Operations — use covariant tensors, pullbacks, and weighted antisymmetrization.

Helpful background. Calculus and Linear Algebra for Relativity — review determinants, multivariable integration, and the fundamental theorem of calculus.

Alternation as the language of integration

A differential $p$-form is a smooth alternating covariant $p$-tensor. It evaluates an ordered $p$-tuple of tangent vectors and changes sign when two are exchanged. This behavior is exactly what an oriented infinitesimal $p$-dimensional element needs. The exterior algebra and forms page builds wedge products, interior products, pullbacks, and degree counting from that observation. It keeps the normalization explicit:

$$\omega=\frac{1}{p!}\omega_{i_1\cdots i_p} dx^{i_1}\wedge\cdots\wedge dx^{i_p}.$$

Because a top form transforms by the signed Jacobian determinant, it is suited to integration on an oriented manifold. This conclusion needs no metric. The Hodge star, norms of forms, and metric volume are later structures and should not be imported into the present argument.

Differentiation, local potentials, and global failure

The exterior derivative and Poincaré lemma page characterizes the operator $d$ by its action on functions, its graded Leibniz rule, and $d^2=0$. A form is closed when $d\omega=0$ and exact when $\omega=d\eta$. Exact forms are always closed. On a star-shaped domain, the homotopy operator proves the local converse for positive degree.

The global converse fails. On $\mathbb R^2\setminus\{0\}$,

$$\eta=\frac{-y\,dx+x\,dy}{x^2+y^2}$$

is closed and locally equals $d\theta$, but its integral around a positively oriented circle is $2\pi$. No globally single-valued real angle can be its potential. This example prevents the common overstatement that the Poincaré lemma applies on every domain. The homotopy proof and exact domain hypotheses are developed in Guillemin and Haine 2019, §2.6, Theorem 2.6.15 and Exercises 2.6.vi–vii, pp. 64–67, PDF.

Parametrization, orientation, and Stokes

The parametrized integration page defines an integral by pulling a $k$-form back along a parametrization $\sigma:D\to M$. Orientation-preserving reparametrizations leave the integral invariant; orientation-reversing ones change its sign. This is the signed counterpart of the ordinary change-of-variables theorem. The page also makes multiplicity and rank failure explicit, so a many-to-one map is not silently treated as an ordinary coordinate change.

The generalized Stokes theorem page fixes the boundary sign with the outward-normal-first convention and proves the architecture behind

$$\int_Md\omega=\int_{\partial M}\omega.$$

For the disk oriented by $dx\wedge dy$ and $\omega=x\,dy$, both sides equal $\pi$. The induced boundary runs counterclockwise; reversing that traversal exposes the sign error immediately. Compact support, compactness, or separately checked convergence is essential, because an unrecorded boundary at infinity can spoil the formula.

What can be integrated globally

Orientation is a coherent choice of sign for tangent bases. A top form uses that sign; a density transforms with the absolute value of the Jacobian. The orientation, densities, and volume elements page tests the distinction on the Möbius strip. Its seam reverses orientation, so a nowhere-vanishing two-form cannot descend, while the positive density $\lvert ds\,dt\rvert$ does. Nonorientability therefore obstructs signed top-form integration, not positive size.

The de Rham cohomology and global flux page then packages closed forms modulo exact forms:

$$H^p_{\mathrm{dR}}(M)=Z^p(M)/B^p(M).$$

Periods over closed cycles depend only on the cohomology class. For $S^1$, integration around the circle identifies $H^1_{\mathrm{dR}}(S^1)$ with $\mathbb R$. A nonzero period is global information that no local potential detects. This result does not by itself define a physical charge: a theory must select the form, normalization, cycles, sources, and boundary conditions.

Choose a route

For the full foundation, read the six pages in order. Exterior algebra supplies the objects; $d$ supplies the differential complex; pullback defines parametrized integration; Stokes connects bulk and boundary; orientation determines the sign; cohomology identifies global obstructions.

For a field-theory route, read exterior algebra, the exterior derivative, Stokes, and de Rham cohomology. For boundary calculations, read parametrized integration, Stokes, and orientation together—the three pages share one sign convention and should not be separated. For topology, start with the Poincaré lemma’s local result, then compare it with the angular form and the period map on $S^1$.

Metric-dependent Hodge theory and general algebraic topology require further study. This chapter establishes the differential-form tools needed later for metric volume, Cartan equations, curvature forms, variational boundary terms, and characteristic classes.

Check your preparation

Orient the unit disk $D$ by $dx\wedge dy$ and set $\omega=x\,dy$. Compute both sides of Stokes’ theorem and explain why the induced orientation of $\partial D$ is counterclockwise.

Solution

Since $d\omega=dx\wedge dy$,

$$\int_Dd\omega=\operatorname{area}(D)=\pi.$$

Parametrize the boundary by $\gamma(\theta)=(\cos\theta,\sin\theta)$ for $0\le\theta\le2\pi$. Then

$$\gamma^*\omega=\cos^2\theta\,d\theta, \qquad \int_{\partial D}\omega =\int_0^{2\pi}\cos^2\theta\,d\theta=\pi.$$

At $(1,0)$ the outward normal is $\partial_x$ and the counterclockwise tangent is $\partial_y$; the ordered pair $(\partial_x,\partial_y)$ has the disk orientation. Rotating this argument around the circle proves that counterclockwise is the outward-normal-first boundary orientation. A clockwise parametrization would give $-\pi$ and would represent the opposite orientation.

What this chapter enables

You should now be able to calculate graded signs, distinguish local exactness from global exactness, integrate a form by pullback, diagnose an orientation reversal, apply Stokes with its support and boundary hypotheses visible, distinguish a density from a top form, and interpret a period as cohomological data rather than automatically as a physical observable. The next chapter adds a Lorentzian metric and makes clear which new constructions—causal cones, a metric volume, and the Hodge dual—depend on it.

References

• Guillemin, Victor, and Peter J. Haine. Differential Forms. World Scientific, 2019, Chs. 1–5, pp. 1–198, PDF.

Further reading

• Tong, David. General Relativity. University of Cambridge lecture notes, 2019, §2.4, pp. 76–90, PDF.