De Rham Cohomology

---

tags: - colorclass/differential geometry ---De Rham cohomology is a fundamental tool in differential geometry and algebraic topology, providing a bridge between the two disciplines by using differential forms to probe the topological structure of manifolds. Developed by Georges de Rham in the 1930s, it has since become integral to understanding the relationships between geometry, topology, and physics.

Basics of Differential Forms and Cohomology

- Differential Forms: On a smooth manifold $M$, a differential $k$-form is an object that can be integrated over $k$-dimensional submanifolds. Differential forms can be added together and multiplied by smooth functions, forming a vector space. The Exterior Derivative $d$ maps $k$-forms to $(k+1)$-forms, satisfying $d^2=0$, which means applying $d$ twice yields zero.

- Cohomology: At its core, cohomology theories aim to assign algebraic invariants to topological spaces in a way that reflects the spaces’ structure and classification. De Rham cohomology does this by leveraging the kernel and image of the exterior derivative $d$ among differential forms.

De Rham Cohomology Groups

The $k$-th de Rham cohomology group $H_{\text{dR}}^k(M)$ of a manifold $M$ is defined as the quotient:

$$H_{\text{dR}}^k(M)=\frac{\text{Ker}(d:{\Omega }^k(M)\to {\Omega }^{k+1}(M))}{\text{Im}(d:{\Omega }^{k-1}(M)\to {\Omega }^k(M))},$$

where ${\Omega }^k(M)$ denotes the space of smooth $k$-forms on $M$. Elements of $H_{\text{dR}}^k(M)$ are equivalence classes of closed $k$-forms (forms $\alpha$ for which $d\alpha =0$) modulo exact forms (forms that can be written as $d\beta$ for some $(k-1)$-form $\beta$).

Interpretation and Applications

- Closed and Exact Forms: A differential form is closed if its exterior derivative is zero, reflecting a type of conservation property. A form is exact if it is the exterior derivative of another form, implying a kind of “boundary” property. The de Rham cohomology groups measure the failure of exact forms to account for all closed forms, providing insight into the manifold’s topology.

- Topological Invariants: The dimensions of the de Rham cohomology groups, known as the Betti numbers, are topological invariants, meaning they are preserved under continuous deformations of the manifold. These invariants provide crucial information about the manifold’s structure, such as the number of holes or disconnected components.

- Poincaré Lemma and Generalized Stokes’ Theorem: The Poincaré lemma asserts that on contractible spaces, all closed forms are exact, underlying the local triviality of cohomology. Stokes’ theorem, which relates the integration of differential forms over a manifold to the integration over its boundary, can be seen as a manifestation of the exterior derivative’s role in cohomology.

- Physics: In physics, de Rham cohomology finds applications in gauge theories, electromagnetism, and general relativity, where differential forms naturally encode physical fields, and their cohomological properties reflect conservation laws and field equations.

- Algebraic Geometry: In algebraic geometry, de Rham cohomology connects to other cohomology theories, like singular cohomology and étale cohomology, through comparison theorems, offering deep insights into the nature of algebraic varieties.

De Rham cohomology is a beautifully concise yet powerful theory, capturing the essence of manifolds’ topological features through the algebraic lens of differential forms. Its development and applications epitomize the profound connections between topology, geometry, and mathematical physics.