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.
Collapse from one column at page s ≥ 1 or one row at page s ≥ 2
Statement
In homological or cohomological indexing, support in one column at page s≥1 forces collapse at that page. Support in one row at page s≥2 forces collapse there.
Facts & Assumptions
Given: A homological or cohomological spectral sequence supported in one column at s≥1, or one row at s≥2.
Collapse means vanishing of all later differentials (Collapse at a page).
A homological spectral sequence has differentials of bidegree , specified next-page homology isomorphisms, and persistent zero support because each later term is a subquotient of the preceding term: Homological spectral sequence.
A cohomological spectral sequence has differentials of bidegree and is equivalently a homological spectral sequence after reversing both coordinates: Cohomological spectral sequence.
Proof
In homological indexing, zero terms on page remain zero on every later page by the subquotient clause in [F2]. Thus if all nonzero terms on page have first coordinate , the same holds on every page . The -differential changes the first coordinate by . Since , every differential has at least one zero endpoint. All are zero, giving collapse by [F1].
For a single homological row, the second coordinate changes by , which is nonzero when ; persistence from [F2] and the same endpoint argument give collapse. By [F3], cohomological pages likewise retain the one-row or one-column support after reversing both coordinates, while their changes are and , again nonzero under the respective bounds. The bounds matter: may run inside one column, and inside one row; those maps are not forced to vanish by the stated support condition alone.
Source notes
Weibel, Chapter 5, §5.2 pp.122–125 and Definitions 5.4.2–4 pp.132–133; Sharifi, §4.1 pp.87–89 and Definition 4.2.1 p.90.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
6 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
- Charles A. Weibel, An Introduction to Homological Algebra, Chapter 5 (standard reference, not scraped)
- Romyar Sharifi, Homological Algebra (standard reference, not scraped)