Calculus
Generalized Stokes Theorem and de Rham Cohomology
Every great integral theorem - Green's, Gauss's, Stokes' - is a special case of a single statement: $\int_{\partial M} \omega = \int_M d\omega$. This equation links boundary behavior to interior properties. The same idea underpins the Atiyah-Singer index theorem and modern topological physics.
- Electrodynamics: Maxwell's equations written in the language of differential forms
- Topological physics: Chern numbers for quantum Hall states
- Fluid dynamics: Gauss's theorem for flux through a closed surface
- Algebraic topology: de Rham cohomology as obstruction to the existence of a potential
- Theoretical physics: Chern-Simons action and topological quantum field theories
Цели урока
- Understand the generalized Stokes theorem $\int_{\partial M} \omega = \int_M d\omega$ as the single formula unifying all integral theorems
- Work with differential forms: wedge product, exterior derivative, pullback
- Interpret de Rham cohomology as topological obstructions to potentiality
Предварительные знания
- Line and surface integrals
- Classical Green's and Stokes' theorems
- Basic topology: manifolds, boundaries, orientation
Differential forms and the exterior derivative
A differential $k$-form $\omega$ is an antisymmetric tensor of type $(0,k)$. The exterior derivative $d$ maps $k$-forms to $(k+1)$-forms. Key property: $d^2 = 0$ (the boundary of a boundary is empty). 0-forms are functions, 1-forms are linear functionals on vectors, 2-forms measure flux through surfaces.
De Rham cohomology
Closed forms ($d\omega = 0$) are not always exact ($\omega = d\eta$). The obstruction is the topology of the space. $H^k_{dR}(M) = \ker d_k / \mathrm{im}\, d_{k-1}$ is the de Rham cohomology. By de Rham's theorem: $H^k_{dR}(M) \cong H^k(M; \mathbb{R})$ - isomorphism with singular cohomology.
Generalized Stokes Theorem
In 1945 Elie Cartan completed the theory of differential forms, unifying Green's theorem, the Divergence theorem, and classical Stokes into a single formula: $\int_M d\omega = \int_{\partial M} \omega$. This holds on any oriented smooth manifold with boundary, with $d^2=0$ encoding that the boundary of a boundary is empty. Modern physics relies on this identity: gauge theory writes $F = dA$, Maxwell's equations read $dF = 0$ and $d{\star F} = J$, and conservation laws follow from $d^2 = 0$ together with Stokes.
The Stokes theorem $\int_M d\omega = \int_{\partial M} \omega$ holds when:
de Rham Cohomology
Henri Poincare introduced Betti numbers $b_k$ in 1895 as topological invariants counting independent cycles. Georges de Rham proved in 1931 that they equal dimensions of $H^k_{dR}(M) = \ker(d_k)/\mathrm{im}(d_{k-1})$, closed forms modulo exact forms. The isomorphism reveals a deep bridge: smooth analysis on $M$ recovers purely topological invariants. Practical applications appear in topological data analysis, persistent homology, and modern theories of gauge field configurations.
The zero-degree de Rham cohomology $H^0_{dR}(M)$ of a connected manifold $M$ is isomorphic to:
Unification: Green's theorem as a special case
In $\mathbb{R}^2$: $\omega = P\,dx + Q\,dy$ (1-form). $d\omega = (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y})dx\wedge dy$. Then $\int_{\partial D} \omega = \int_D d\omega$ is Green's theorem. For 2-forms in $\mathbb{R}^3$ you get Stokes', for 3-forms you get Gauss's theorem.
The form $\omega = \frac{-y\,dx + x\,dy}{x^2+y^2}$ on $\mathbb{R}^2\setminus\{0\}$
$d\omega = 0$ (closed), but $\oint_{|z|=1} \omega = 2\pi \neq 0$. So $\omega$ is not exact: no function $f$ exists with $df = \omega$ on the punctured plane. This reflects $H^1(\mathbb{R}^2\setminus\{0\}) = \mathbb{R}$.
Итоги
- The generalized Stokes theorem $\int_{\partial M}\omega = \int_M d\omega$ unifies Green's, Gauss's, and classical Stokes' theorems
- The exterior derivative satisfies $d^2 = 0$ - the foundation of the entire theory
- De Rham cohomology $H^k_{dR}$ measures topological obstructions: closed but non-exact forms
Connections to other topics
De Rham cohomology is isomorphic to singular cohomology by de Rham's theorem, connecting analysis with algebraic topology. In physics, this machinery formulates gauge theories (electrodynamics, Yang-Mills) and topological invariants of condensed matter systems.
- Algebraic Topology — De Rham cohomology is isomorphic to singular cohomology with real coefficients
- Gauge Theories in Physics — Maxwell, Yang-Mills, and Chern-Simons actions are built from differential forms and curvature
- Integration on Manifolds — Generalized Stokes is the integration law that makes manifold integrals well-defined
Вопросы для размышления
- Why is $d^2 = 0$ not just a technical fact but a deep statement about the geometry of boundaries?
- The first Betti number $b_1$ counts 'holes' in a surface. How does this relate to $\dim H^1_{dR}$?
- In quantum mechanics, the Berry phase is an integral of a curvature form around a closed loop in parameter space. Why does non-trivial cohomology make this phase observable?