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.
A spectral sequence collapses when one differential is zero
Statement
It is false that the vanishing of a single differential implies collapse at .
Facts & Assumptions
Given: The two-generator integer complex with filtration degrees 2 and 0.
Collapse requires every subsequent differential to vanish (Collapse at a page).
Pages are the explicit filtered numerator/denominator quotients (R page of the spectral sequence of a filtered complex).
The page differential is induced by d on representatives (The filtered differential induces d r on the r page).
Integer groups form legitimate objects of the abelian category (Abelian-group model for spectral-sequence computations).
Refutation
In [F4] take , , dx=y, and all other groups and differentials zero. Give x filtration degree 2 and y filtration degree 0: a generator is present precisely at or above its degree. This is finite and d preserves filtration because 0≤2. From [F2], has ℤ at (2,0) and (0,1), zero elsewhere. The differential lands two filtration levels lower, so .
At the x position, and both are zero. At the y position ; the potential boundary sources and are zero, and . Thus both and have the same two groups. The target from x is (1,0), which is zero, so ; [F3] instead gives , the nonzero identity between the two copies of ℤ.
At r=3, the x numerator is zero since dx is not in ; the y denominator is all ℤy since it now includes . Every page term is therefore zero. Thus but the sequence does not collapse at by [F1], since .
Source notes
Weibel, Chapter 5, Construction 5.4.6 and Lemma 5.4.7, pp.133–134; Sharifi, Theorem 4.2.3, pp.91–92. Increasing homological indices are used here.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
15 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)