Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6-luna)verified 2026-10-22 (gpt-6.1-sol)
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.

The endpoints do not determine intermediate pages

Statement refuted

The false claim is that specifying the isomorphism class of the total homology of a bounded filtered chain complex determines the isomorphism class of its early spectral-sequence pages. More strongly, the false claim is that two filtered complexes with isomorphic total homology must have isomorphic E1 pages.

Facts & Assumptions

Given: Chain complexes over F2 with an increasing finite filtration preserved by the differential.

[F1]

A filtered chain complex has d(FpC)⊆FpC (Filtered chain complex).

[F2]

For the spectral sequence of an increasing filtered chain complex, E0 is the associated graded with its filtration-preserving differential, and Er+1 is the homology of (Er,dr) (Homological spectral sequence, The next page is the homology of the current page).

[F3]

A finite filtration converges to the associated graded of total homology (Bounded filtered complex spectral sequence abuts to filtered homology).

Proof

1.1F1givenconstruct

Let A be the one-generator complex F2{z} in chain degree 0, with dz=0 and filtration degree 0. Let B have generators x in degree 1 and y,z in degree 0, differential dx=y, dy=dz=0, and filtration F0B=F2{y,z}, F1B=B, F−1B=0. In both complexes d preserves the filtration, so [F1] applies.

2.1F2step 1.1algebra

In A, E0=E1=F2{z} because the differential is zero. In B, the associated graded has basis z,y in filtration 0 and x in filtration 1; its d0 is zero because dx=y strictly lowers filtration. Therefore E1(B) has dimension 3. The d1 differential sends the class of x to the class of y and sends z to zero, so E2(B)=F2{z}; likewise E2(A)=F2{z}.

2.2step 1.1algebra

The total homology of A is F2{z}. In B, the pair x↦y is contractible and the remaining class is z, so H(B)≅F2{z}≅H(A). The pair by itself has zero total homology but nonzero E1=F2{x,y}, with its d1 killing both classes.

3.1F3step 2.1step 2.2∎

By step 2.1, dim⁡E1(A)=1 while dim⁡E1(B)=3, so their E1 pages cannot be isomorphic even though their total homology groups agree by step 2.2. Convergence [F3] identifies only the limiting page with the associated graded of the shared total homology; it does not determine the earlier pages. Thus the stated endpoint-only claim is false.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

17 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