Čech Cohomology 01: De Rham and Calculus Bridge
Čech cohomology / 01
De Rham and calculus bridge
Start from the calculus picture: de Rham cohomology gives local differential equations, and Čech cohomology records whether the local solutions patch globally.
This is the conceptual model for the rest of the sequence. Every later Čech computation repeats the same move: solve locally, compare on overlaps, adjust the local choices if possible, and keep the obstruction if it survives.
The vector-calculus complex
\[C^\infty \xrightarrow{\nabla} \mathfrak X \xrightarrow{\nabla\times} \mathfrak X \xrightarrow{\nabla\cdot} C^\infty\]is the familiar three-dimensional face of the de Rham complex
\[\Omega^0\xrightarrow{d} \Omega^1\xrightarrow{d} \Omega^2\xrightarrow{d} \Omega^3.\]The identities
\[\nabla\times\nabla f=0, \qquad \nabla\cdot(\nabla\times A)=0\]are the same structural statement as \(d^2=0\). Čech cohomology has its own version:
\[\delta^2=0.\]The useful comparison is not just symbolic. It is computational.
Closed versus exact means local versus global
A closed form satisfies a differential equation:
\[d\alpha=0.\]On small enough open sets, the Poincare lemma gives a local primitive:
\[\alpha=df_i\qquad\text{on }U_i.\]The global question is whether one can choose a single \(f\) on all of \(X\) with \(df=\alpha\). Čech cohomology records the obstruction. On overlaps,
\[d(f_j-f_i)=0,\]so the difference \(f_j-f_i\) is locally constant. The family
\[c_{ij}=f_j-f_i\]is a Čech \(1\)-cocycle for the constant sheaf.
Dictionary in degree one
| de Rham language | Čech language |
|---|---|
| \(d\alpha=0\) | local primitives exist |
| \(\alpha=df\) globally | the overlap cocycle is a coboundary |
| closed but not exact | local primitives differ by a nonzero Čech class |
| period around a loop | constant jump around the cover |
The sheaf-theoretic bridge
The reason this comparison is not just an analogy is that the de Rham complex is locally exact:
\[0\to\underline{\mathbb R}\to \mathcal A^0\xrightarrow{d} \mathcal A^1\xrightarrow{d} \mathcal A^2\to\cdots .\]Here \(\mathcal A^q\) is the sheaf of smooth \(q\)-forms. Local exactness means that a closed form can be locally integrated. Smooth form sheaves also admit partitions of unity, so their higher sheaf cohomology vanishes in ordinary smooth settings. Thus the global de Rham complex computes the same obstruction groups as the constant sheaf \(\underline{\mathbb R}\).
For practical Čech computations, this teaches the right habit:
- replace “integrate locally” by “solve the sheaf problem locally”;
- replace “subtract local primitives” by “compare local sections on overlaps”;
- replace “change primitives by constants” by “change local choices by a lower-degree cochain”;
- keep the surviving overlap data as the cohomology class.
Grad, curl, div intuition
For \(H^1\), think “curl-free but not a global gradient.” A vector field \(F\) with \(\nabla\times F=0\) is locally \(F=\nabla f_i\). If the scalar potentials \(f_i\) do not patch to one global potential, the obstruction is a Čech \(1\)-class.
For \(H^2\), think “divergence-free but not a global curl.” A field \(B\) with \(\nabla\cdot B=0\) may locally be written as
\[B=\nabla\times A_i.\]On overlaps,
\[\nabla\times(A_j-A_i)=0,\]so \(A_j-A_i\) is locally a gradient. Those local gradients create the next layer of overlap data. The obstruction is one degree higher because vector potentials themselves are only locally chosen.
The punctured-plane pattern
On a punctured plane, the angular form is locally a differential of an angle function. On overlapping angular charts, the angle functions differ by constants. Going once around the puncture changes the chosen branch by a period. Čech sees the constant jumps; de Rham sees the nonzero loop integral.
Why this helps sheaf cohomology
Sheaf cohomology often asks for the same operation in a less calculus-looking setting:
- solve locally,
- compare solutions on overlaps,
- check whether the comparison can be removed by changing local choices,
- if not, record the obstruction class.
The sheaf may be \(\underline{\mathbb R}\), \(\mathcal O_X\), \(\mathcal O_X^*\), \(\mathcal O_X(D)\), or a quotient sheaf. The calculation pattern remains the same.
For example, the exponential sequence asks whether local logarithms patch. The line-bundle problem asks whether local frames patch. A divisor sequence asks whether prescribed local values extend to global sections. In each case, Čech cochains are the bookkeeping device for local choices and their overlap errors.
Practical takeaway
When a sheaf-cohomology calculation feels abstract, translate it into the calculus template:
This is the reason Čech cohomology is practical: it keeps the local choices visible all the way to the final cohomology class.