Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedaudited 2026-09-27
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Fixed-cover Čech cohomology

Definition

Let X be a topological space, F a sheaf of abelian groups on X, and U=(Ui)i∈I an open cover indexed by a linearly ordered set, with ordered Čech cochain complex (C∙(U,F),δ∙) (Ordered Čech cochain complex of a cover, The Čech differential squares to zero). The Čech cohomology of the fixed cover U with values in F is Hˇp(U,F):=ker⁡(δp:Cp(U,F)→Cp+1(U,F))/im⁡(δp−1:Cp−1(U,F)→Cp(U,F)), the p-th cohomology group of the cochain complex (C∙(U,F),δ∙) in the sense of Cohomology object of a cochain complex. Since C−1(U,F)=0 and δ−1=0, one has Hˇ0(U,F)=ker⁡(δ0), and for p<0 the group Hˇp(U,F) is 0 because Cp=0, so both the kernel in degree p and the image in degree p are zero. A cochain in ker⁡(δp) is called a Čech p-cocycle and a cochain in im⁡(δp−1) a Čech p-coboundary.

Depends on

Used by

Dependency tree · two levels

9 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources