Differential Forms 00: Roadmap to Stokes
Differential forms / 00
Roadmap to Stokes
This is the coverage audit and reading map for Part III, "Differential Forms and the Generalized Stokes Theorem," in Complex Analysis and Riemann Surfaces.
Part III of the PDF has two roles. Chapter 4 builds the computational language of differential forms: alternating covectors, coordinate forms, wedge products, exterior derivatives, line integrals, complex line integrals, Stokes/Green, Cauchy-Green, area forms, curvature, and Gauss-Bonnet. Chapter 5 uses the same integration-by-parts technology in a compact Riemann surface setting to prove a Hodge-Weyl existence theorem for the Poisson equation. This series follows that order but supplies background that the PDF can afford to compress.
Unifying calculus root
The series is organized as a branching of single-variable calculus. The seed is
\[df=f'(x)\,dx,\qquad \int_a^b df=f(b)-f(a).\]From this seed, \(dx\) becomes a covector, substitution becomes the wedge product and Jacobian determinant, antiderivatives become exact 1-forms, integration by parts becomes Stokes’ theorem, and closed-but-not-exact forms become the first visible cohomological obstruction. This last point is the bridge to Sheaf Cohomology 10, where de Rham cohomology is presented as closed forms modulo exact forms and then as constant-sheaf cohomology.
Coverage audit
Background added beyond the PDF
The articles expand four points that are easy to underestimate: tangent vectors as derivations, the determinant meaning of wedge products, the distinction between closed and exact forms on non-simply-connected domains, and the functional-analytic mechanism behind Hodge-Weyl. Existing Riemann-Roch notes become relevant when holomorphic differentials, canonical divisors, and Serre duality enter later; see Riemann-Roch 04 and Riemann-Roch 09.
Notation
For an open set \(U\subset \mathbb R^n\), \(\Omega^k(U)\) denotes the smooth \(k\)-forms on \(U\). Coordinate vector fields are \(\partial_i=\partial/\partial x_i\) and coordinate 1-forms are \(dx_i\). If \(I=(i_1<\cdots<i_k)\), write
\[dx_I=dx_{i_1}\wedge\cdots\wedge dx_{i_k}.\]On \(\mathbb C\), write \(z=x+iy\),
\[dz=dx+i\,dy,\qquad d\bar z=dx-i\,dy,\qquad dx\wedge dy={1\over 2i}\,d\bar z\wedge dz.\]For a Riemannian or Hermitian surface, \(dA\) or \(\omega\) denotes the area form. The Laplacian sign convention in Article 08 is the nonnegative convention on compact examples unless explicitly stated.
Reading order
The first three articles give the algebra and calculus. Articles 04-06 turn that algebra into integration. Article 07 treats curvature and Gauss-Bonnet. Article 08 treats the analytic Hodge-Weyl theorem. Article 09 is a computation manual for common errors.