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.
The isolated differential 2 on the integers cannot be cancelled
Statement refuted
In the two-term complex , the nonzero differential entry can serve as a Gaussian pivot: the two terms can be cancelled and replaced by the zero complex, which is homotopy equivalent to the original complex.
Facts & Assumptions
Given: The two-term cochain complex in the category of abelian groups with , , differential , and for ; and the claim that the two terms of can be cancelled, so that is homotopy equivalent to the zero complex.
A pivot is required to be an isomorphism, with a two-sided inverse ; the Schur complement is defined through that inverse (An invertible cochain differential block and its candidate reduction).
The splitting theorem produces a homotopy equivalence between a complex and its reduction only when the pivot block of the decomposition is invertible; its contractible summand has differential the pivot itself (Gaussian elimination splits a contractible two-term complex).
A complex is contractible when there is a family with for all ; a complex is homotopy equivalent to the zero complex exactly when it is contractible (Complexes, homotopies and contractibility in an additive category).
The homology object of a chain complex is the cokernel of the boundary-to-cycle map supplied by the factorization of the boundary inclusion through the cycle inclusion (Cycle and boundary subobjects of a complex, The boundary subobject factors through the cycle subobject, Homology object of a chain complex).
Counterexample
The entry has no inverse in the category of abelian groups. If satisfied or , then evaluating at gives with , which is impossible because is odd; equivalently has no element with . Since is not invertible, it is not a pivot in the sense of [L1], and the Schur complement of the block is not defined on its own.
The complex nonetheless has nonzero homology. Reindexing by gives the chain complex concentrated in degrees and . There and , so the boundary-to-cycle map is the inclusion and, by [L4], ; this is the homology in cochain degree of .
The complex is not contractible. If it were, [L3] would give a homomorphism with in degree , because and ; evaluating at would produce an integer with , which is impossible by step 1.1. Hence is not homotopy equivalent to the zero complex, and deleting both terms would not be a homotopy equivalence.
Consequently the pivot hypothesis of [L1] and [L2] is genuinely needed: the deleted terms carry the nonzero homology object of step 1.2, which the zero complex does not have, and no two-sided inverse of exists in . The claim refuted is therefore false; the theorem's conclusion is not available here because its hypothesis fails. ∎
Depends on
- Gaussian elimination splits a contractible two-term complex
- An invertible cochain differential block and its candidate reduction
- Complexes, homotopies and contractibility in an additive category
- Cycle and boundary subobjects of a complex
- The boundary subobject factors through the cycle subobject
- Homology object of a chain complex
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
16 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
- Dror Bar-Natan, Fast Khovanov Homology Computations, section 4 Lemma 4.2 and section 5, printed p. 5 (PDF p. 5) (standard reference, not scraped)
- David Clark, Scott Morrison and Kevin Walker, Fixing the Functoriality of Khovanov Homology, Appendix A.1, printed pp. 1562-1563 (standard reference, not scraped)