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.
Identical E2 pages with different later differentials
Statement refuted
Isomorphic bigraded objects of finite first-quadrant filtered cochain complexes determine the same later pages and filtered cohomology.
Facts & Assumptions
Given: The two complexes below over .
The local two-generator construction gives different filtered targets with the same second page (An E2 page alone does not determine the abutment).
Pages are filtered cycle/boundary quotients and their differential is induced by the original complex differential (R page of the spectral sequence of a filtered complex, The filtered differential induces d r on the r page).
Counterexample
For , let , and , zero elsewhere. Let have filtration degree zero and degree two in the decreasing filtration. This means exactly for and exactly for . Both filtrations are finite in each degree and preserved by . Their graded terms are at and at , zero elsewhere. As in F1, negate chain degree and filtration index to apply F2's homological formulas.
Through page two the numerator at each of these positions is the full displayed line and its denominator is zero: already lies in , and no boundary from filtration zero enters the denominator at filtration two until page three. Thus and both pages have the same two lines. At , F2's representative rule gives . If , the page-three cycle numerator at is zero because , and the page-three denominator at is all . Hence . If , both numerators remain full and both denominators remain zero on every page, so .
Direct total cohomology is zero for and is in degree one and in degree two for . In the latter case the induced filtration has and . These finite normalized filtrations have exactly the calculated stationary graded pieces; all later incident arrows are zero. Thus the difference persists in the actual filtered abutments, with strong convergence verified directly. No infinite choices or splitting assumptions occur.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
9 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
- Weibel, Section 5.2 (standard reference, not scraped)