Find your next learning step
Cech cohomology turns a cover into a cochain complex by placing sections on multiple intersections and applying alternating restriction maps. Under suitable acyclicity hypotheses, this cover calculation agrees with sheaf cohomology. The phrase “good cover” is not enough by itself: contractibility helps for some coefficient sheaves, while a Leray condition is stated for the particular sheaf and every relevant finite intersection.
Open the chapter contents · Topology root · Gold Standard of Education · How X Works
Chapter contents
Choose the route closest to the decision, or read from Chapter 1. The chapters remain open; these grouped routes are a navigable index.
Route 1 · Define the decision
Route 2 · Work the ledgers
Route 3 · Transfer the method
Route 4 · Check limits and evidence
Route 5 · Ask and continue
CHAPTER 1 OF 12 · DEFINE THE DECISION
1. Index intersections and sections
Let U={U_i} be an ordered open cover of X and F a sheaf of abelian groups. A p-cochain assigns a section of F on each non-empty intersection U_{i0…ip} with i0<… The cover, its order, the sheaf and the coefficient category are part of the construction. Empty intersections contribute nothing, while repeated or refinements of cover members can change the cochain complex even when the underlying space is fixed.
CHAPTER 2 OF 12 · DEFINE THE DECISION
2. Build the alternating Cech differential
The coboundary restricts each section to a higher intersection and takes an alternating sum over the omitted index. Compatible degree-zero sections lie in the kernel because their restrictions agree on pairwise overlaps.
The identity delta squared equals zero follows from cancellation of pairs of restrictions with opposite signs. State the sign and ordering convention before computing a cocycle; informal diagrams can hide precisely the term that fails to cancel.
CHAPTER 3 OF 12 · WORK THE LEDGERS
3. Work an original three-set cochain ledger
Take three cover sets U1,U2,U3 with all pairwise intersections non-empty and triple intersection non-empty. A degree-zero cochain is (s1,s2,s3); its coboundary records s2−s1, s3−s1 and s3−s2 after restriction to each overlap.
| Degree | Geometric support | Cochain data | Differential question |
|---|---|---|---|
| 0 | U1,U2,U3 | Local sections s1,s2,s3 | Do pairwise restrictions agree? |
| 1 | U12,U13,U23 | Overlap sections t12,t13,t23 | Does t23−t13+t12 vanish on U123? |
| 2 | U123 | One triple-overlap section | No higher term for three sets |
| Global | X | Glued section | Kernel at degree 0 |
CHAPTER 4 OF 12 · WORK THE LEDGERS
4. Separate Cech cocycles from sheaf cohomology
Cech cohomology for one cover is the cohomology of that cover complex. Sheaf cohomology is a derived-functor invariant. A comparison map relates them, but equality requires hypotheses or passage through refinements in an appropriate setting.
A non-zero class for a coarse cover can disappear after refinement, and a cover complex can miss higher sheaf information carried inside intersections. Never replace the comparison theorem with a visual resemblance between the nerve and the space.
CHAPTER 5 OF 12 · WORK THE LEDGERS
5. Change one intersection and test the Leray condition
Suppose each U_i and every pairwise intersection is F-acyclic, but the triple intersection has H^1(U123,F) non-zero. The ordinary Cech row still lists sections, yet higher cohomology inside that intersection can feed the covering spectral sequence.
| Intersection family | Higher F-cohomology | Leray status | Safe conclusion |
|---|---|---|---|
| All finite intersections | Vanishes above degree 0 | Satisfied | Cover Cech complex computes |
| Only single sets | Vanishes | Insufficient | Check overlaps |
| Triple intersection | H1 non-zero | Fails | Track extra spectral-sequence row |
| Unknown empties | No contribution | Harmless | Verify non-empty cases |
CHAPTER 6 OF 12 · TRANSFER THE METHOD
6. Use the covering spectral sequence as the bridge
A Cech-to-derived or covering spectral sequence organises higher cohomology of intersections by cover degree. When all relevant higher intersection cohomology vanishes, only the zero row remains and the spectral sequence collapses to the ordinary Cech complex.
Collapse identifies the intended target under the theorem’s convergence conditions. Without acyclicity, the extra rows are not errors; they are the local derived information that a sections-only calculation omits.
CHAPTER 7 OF 12 · TRANSFER THE METHOD
7. Connect the established cover routes
The Mayer–Vietoris spectral-sequence guide develops the page and filtration bookkeeping. The homological nerve guide separates acyclic-intersection conclusions from homotopy equivalence.
Use the good-cover guide for contractible-intersection nerve results, and numerable covers with partitions of unity for controlled gluing. These hypotheses solve different problems.
CHAPTER 8 OF 12 · TRANSFER THE METHOD
8. Track refinements and naturality
A refinement chooses, for each finer set, a containing coarse set and induces a map of cover complexes. Different choices can be chain-homotopic under standard conditions, but the construction and comparison direction should be written.
Naturality matters when a class must be compared across covers, maps of spaces or maps of sheaves. A numerical group isomorphism alone may not identify which cocycle corresponds to which geometric or algebraic feature.
CHAPTER 9 OF 12 · CHECK LIMITS AND EVIDENCE
9. Know the limits and common misconceptions
Contractible intersections do not make every sheaf acyclic. Locally constant or constant coefficients in familiar spaces behave differently from arbitrary sheaves, and flabby, fine or injective resolutions supply acyclicity for reasons not reducible to contractibility.
A Leray cover is relative to F. The same cover may compute cohomology for one sheaf and fail for another. Cover finiteness, local finiteness, separation properties and the chosen site can also enter the theorem.
CHAPTER 10 OF 12 · CHECK LIMITS AND EVIDENCE
10. Use a proof and source routine
Record the space or site, cover type and order, sheaf, coefficient category, finite intersections, restriction maps, sign convention, cover complex, comparison map, refinement system, higher intersection cohomology, Leray hypothesis, spectral-sequence convention and convergence statement.
The Stacks Project section The Čech complex and Čech cohomology defines the cover complex and its alternating restrictions. Its section on Čech cohomology and cohomology develops the comparison with derived sheaf cohomology and the required vanishing mechanisms.
CHAPTER 11 OF 12 · ASK AND CONTINUE
11. Frequently asked questions
Is Cech cohomology always sheaf cohomology?
No. There are comparison theorems, and equality holds under stated hypotheses such as a suitable Leray cover or in appropriate refinement settings.
Does a good cover work for every sheaf?
No. Contractibility is a topological condition; sheaf acyclicity depends on the sheaf and coefficient context.
Why keep the cover order?
It fixes alternating signs. Reordering gives an isomorphic construction when handled consistently, but silent changes corrupt cocycle equations.
CHAPTER 12 OF 12 · ASK AND CONTINUE
12. Continue with a changed-sheaf transfer check
Use the same three-set cover for two sheaves. Verify higher cohomology on every non-empty intersection for each sheaf separately, build the degree-zero and degree-one differentials, and explain why a Leray conclusion for the first sheaf need not transfer to the second.
Continue through the Topology root, the Gold Standard of Education and the How X Works hub.
Top · Contents · Previous · How X Works