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 with a nonsplit extension problem
Statement refuted
A collapsed spectral sequence can have a nonsplit extension in its abutment: the filtered degree-zero stalk of ℤ/4 with is such a counterexample.
Facts & Assumptions
Given: The filtered ℤ/4 stalk, with filtration constant outside its displayed endpoints.
Collapse does not in general split the filtered abutment (Collapse does not in general split the abutment).
Cyclic groups have their ordinary subgroup and coset-quotient models (Abelian-group model for spectral-sequence computations).
The filtered-cycle and boundary subobjects are given by the displayed , , and formulas (R cycles and r boundaries of an increasingly filtered complex), and the -page is their quotient (R page of the spectral sequence of a filtered complex).
The page differential is induced by the chain differential on local representatives (The filtered differential induces d r on the r page).
Counterexample
Substituting the zero stalk differential into the formulas of [F3] gives every -cycle numerator as and every denominator as . Thus every page has ℤ/2 at (0,0) and (1,-1), zero elsewhere; [F4] makes all page differentials zero. The underlying stalk itself has homology ℤ/4 in degree zero and zero elsewhere, with the original filtration. This realizes the collapse phenomenon of [F1].
The extension is . The first map has image {0,2}, exactly the kernel of the second, and the second is onto. A section would lift 1 to 1 or 3; both double to 2≠0, contradicting the relation 1+1=0 in its source. Hence the extension is nonsplit despite collapse.
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
20 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)