Alphabeta Math
False statementConstruction: AI-adaptedVerification: AI-adaptedPipeline-generatedaudited 2026-09-12
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.

A spectral sequence collapses when one differential is zero

Statement

It is false that the vanishing of a single differential ds implies collapse at Es.

Facts & Assumptions

Given: The two-generator integer complex with filtration degrees 2 and 0.

[F1]

Collapse requires every subsequent differential to vanish (Collapse at a page).

[F2]

Pages are the explicit filtered numerator/denominator quotients (R page of the spectral sequence of a filtered complex).

[F3]

The page differential is induced by d on representatives (The filtered differential induces d r on the r page).

[F4]

Integer groups form legitimate objects of the abelian category (Abelian-group model for spectral-sequence computations).

Refutation

technique · direct
1.1

In [F4] take C2=Zx, C1=Zy, dx=y, and all other groups and differentials zero. Give x filtration degree 2 and y filtration degree 0: a generator is present precisely at or above its degree. This is finite and d preserves filtration because 0≤2. From [F2], E0 has ℤ at (2,0) and (0,1), zero elsewhere. The differential lands two filtration levels lower, so d0=0.

F2F3F4
2.1

At the x position, A2,21=A2,22=Zx and both B1,B2 are zero. At the y position A0,11=A0,12=Zy; the potential boundary sources F0C2 and F1C2 are zero, and F1C1=0. Thus both E1 and E2 have the same two groups. The d1 target from x is (1,0), which is zero, so d1=0; [F3] instead gives d2[x]=[y], the nonzero identity between the two copies of ℤ.

F2F3step 1.1
3.1

At r=3, the x numerator is zero since dx is not in F1C1; the y denominator is all ℤy since it now includes d(F2C2). Every page term is therefore zero. Thus d1=0 but the sequence does not collapse at E1 by [F1], since d20.

F1F2step 2.1

Source notes

Weibel, Chapter 5, Construction 5.4.6 and Lemma 5.4.7, pp.133–134; Sharifi, Theorem 4.2.3, pp.91–92. Increasing homological indices are used here.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

15 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