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 be a topological space, a sheaf of abelian groups on , and an open cover indexed by a linearly ordered set, with ordered Čech cochain complex (Ordered Čech cochain complex of a cover, The Čech differential squares to zero). The Čech cohomology of the fixed cover with values in is the -th cohomology group of the cochain complex in the sense of Cohomology object of a cochain complex. Since and , one has , and for the group is because , so both the kernel in degree and the image in degree are zero. A cochain in is called a Čech -cocycle and a cochain in a Čech -coboundary.