Ordered Čech cochain complex
ID: ordered-cech-cochain-complex
For a well-order on the indices of an open cover, the ordered Čech cochain complex uses only strictly increasing tuples, with the alternating restriction Čech differential. It computes the same Čech cohomology as the complex using all tuples. If every finite intersection is nonempty and the coefficient constant sheaf has the same abelian group on each intersection, inserting the least index gives a cochain homotopy: set when is not in , and otherwise. Expanding the alternating sums gives in every positive degree, since the terms deleting an index of cancel and the term deleting is . Hence positive Čech cohomology vanishes in this situation; degree zero remains .
New to topics? Read the docs here!