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.
AHSS collapse generally determines only the associated graded object
Statement
For a convergent Atiyah–Hirzebruch spectral sequence on a finite CW complex, equipped with its finite skeletal abutment filtration, collapse determines the associated graded family of the abutment: the quotients in cohomology or in homology. These are the data supplied by convergence. Reconstructing the filtered abutment from these data is the extension problem; collapse alone supplies no splitting. Multiple nonzero quotients may leave additive extensions to resolve and, for a multiplicative spectral sequence, multiplicative extensions. A one-jump filtration has no additive extension problem. Thus there is no general reconstruction rule based solely on collapsed-page and associated-graded data. The algebraic examples below demonstrate this limitation of those data; they do not assert that each displayed filtered object is realized by an AHSS.
Facts & Assumptions
Abutment data identify stable-page entries with the successive quotients of a finite, exhaustive, separated filtration in each total degree; in decreasing cohomological indexing the quotient is (Abutment to a filtered object).
The extension problem consists of reconstructing an object from its associated graded pieces through the short exact sequences ; specifying the outside objects does not specify the middle one or the maps, and a splitting is extra data (Extension problem of a convergent spectral sequence, Associated graded object of a filtered object).
A filtration of an abelian group determines the associated graded as the indexed family of its successive quotients; no converse reconstruction of the group is asserted (Associated graded object of a filtered object).
Proof
Given: A convergent AHSS with the stated finite abutment filtration and a collapsed page .
By [F1] the collapsed page determines exactly the filtration quotients (cohomologically) or (homologically); nothing in the identification uses or supplies the extension classes, and the collapse hypothesis only asserts the vanishing of the differentials, so it adds no data beyond the pages.
Additively, let with the filtration , , , and let with the filtration , , . Both graded families have in degrees zero and one and zero elsewhere. (They can also be packaged as a finite direct sum, but that packaging is not the definition.) Yet has an element of order four and every element of is killed by two, so they are not isomorphic; hence the additive extension data are not determined by the graded pieces.
Multiplicatively, an ambiguity can remain even when the additive groups are known. Set and . Give the filtration , , and the filtration , , , extending by the whole ring below zero and zero above one. Both are multiplicative since the displayed ideals square to zero. In each case the degree-zero quotient is and the degree-one piece is its free rank-one module generated by ; products of two degree-one pieces vanish. Thus their graded rings are both with filtration degrees , . Their additive groups are both , as witnessed by bases and . But is nilpotent with , whereas every nilpotent of has constant coefficient zero and squares to zero. The rings cannot be isomorphic. These are explicitly computed filtered rings, not claimed AHSS realizations.
If the sole nonzero quotient of a finite decreasing filtration is , all earlier quotients zero force equality of the preceding stages with the whole group, and all later quotients zero force equality of the following stages with zero. Hence , and that quotient is itself. If every quotient vanishes, finite exhaustiveness and separation similarly force . Reversing indices gives the increasing case. Multiple quotients do not force ambiguity in every example; they merely permit an extension problem.
Steps 1.1 to 1.3 show that the collapsed pages determine the associated graded object and that distinct filtered objects, additively and multiplicatively, share that associated graded; so the pages alone do not contain general extension data. Step 1.4 records the zero and one-jump exceptions. This establishes the stated limitation without claiming that every individual collapse is ambiguous.
Source notes
Compare Davis–Kirk, §9.1, printed pp. 237–246, for the associated graded filtration of the abutment and the resulting extension problem, and Sharifi, §4.1, printed pp. 87–90, for the extension problem.
Depends on
Used by
Dependency tree · two levels
7 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
- Davis–Kirk, Lecture Notes in Algebraic Topology, §9.1, printed pp. 237–246 (standard reference, not scraped)
- Romyar Sharifi, Homological Algebra, §4.1, printed pp. 87–90 (standard reference, not scraped)