Alphabeta Math
PropositionStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedaudited 2026-09-22
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 Fphn(X)/Fp+1hn(X) in cohomology or Fphn(X)/Fp1hn(X) 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

[F1]

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 Fp/Fp+1 (Abutment to a filtered object).

[F2]

The extension problem consists of reconstructing an object from its associated graded pieces through the short exact sequences 0Fp+1Fpgrp0; 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).

[F3]

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

technique · direct

Given: A convergent AHSS with the stated finite abutment filtration and a collapsed page E2=E.

1.1

By [F1] the collapsed page determines exactly the filtration quotients Fp/Fp+1 (cohomologically) or Fp/Fp1 (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.

F1F2given
1.2

Additively, let A=Z/4 with the filtration F0=A, F1=2Z/4Z/2, F2=0, and let B=Z/2Z/2 with the filtration F0=B, F1=0Z/2, F2=0. Both graded families have Z/2 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 A has an element of order four and every element of B is killed by two, so they are not isomorphic; hence the additive extension data are not determined by the graded pieces.

F2F3given
1.3

Multiplicatively, an ambiguity can remain even when the additive groups are known. Set A=F2[x]/(x4) and R=F2[u,v]/(u2,v2). Give A the filtration F0=A, F1=(x2), F2=0 and R the filtration F0=R, F1=(v), F2=0, 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 F2[a]/(a2) and the degree-one piece is its free rank-one module generated by z; products of two degree-one pieces vanish. Thus their graded rings are both F2[a,z]/(a2,z2) with filtration degrees a=0, z=1. Their additive groups are both F24, as witnessed by bases 1,x,x2,x3 and 1,u,v,uv. But xA is nilpotent with x20, whereas every nilpotent of R has constant coefficient zero and squares to zero. The rings cannot be isomorphic. These are explicitly computed filtered rings, not claimed AHSS realizations.

F2F3algebra
1.4

If the sole nonzero quotient of a finite decreasing filtration is Fj/Fj+1, 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 Fj=H, Fj+1=0 and that quotient is H itself. If every quotient vanishes, finite exhaustiveness and separation similarly force H=0. Reversing indices gives the increasing case. Multiple quotients do not force ambiguity in every example; they merely permit an extension problem.

F1F2F3algebra
2.1

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.

step 1.1step 1.2step 1.3step 1.4

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