Alphabeta Math
CounterexampleConstruction: AI-generatedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 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.

Collapse with a nonsplit extension problem

Statement refuted

A collapsed spectral sequence can have a nonsplit extension in its abutment: the filtered degree-zero stalk of ℤ/4 with F1=0,F0={0,2},F1=Z/4 is such a counterexample.

Facts & Assumptions

Given: The filtered ℤ/4 stalk, with filtration constant outside its displayed endpoints.

[F1]

Collapse does not in general split the filtered abutment (Collapse does not in general split the abutment).

[F2]

Cyclic groups have their ordinary subgroup and coset-quotient models (Abelian-group model for spectral-sequence computations).

[F3]

The filtered-cycle and boundary subobjects are given by the displayed Ar, Zr, and Br formulas (R cycles and r boundaries of an increasingly filtered complex), and the r-page is their quotient (R page of the spectral sequence of a filtered complex).

[F4]

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

Counterexample

technique · direct
1.1

Substituting the zero stalk differential into the formulas of [F3] gives every r-cycle numerator as Fp and every denominator as Fp1. Thus every page has ℤ/2 at (0,0) and (1,-1), zero elsewhere; [F4] makes all page differentials zero. The underlying stalk itself has homology ℤ/4 in degree zero and zero elsewhere, with the original filtration. This realizes the collapse phenomenon of [F1].

F1F2F3F4
2.1

The extension is 0Z/2[a][2a]Z/4[b]4[b]2Z/20. The first map has image {0,2}, exactly the kernel of the second, and the second is onto. A section would lift 1 to 1 or 3; both double to 2≠0, contradicting the relation 1+1=0 in its source. Hence the extension is nonsplit despite collapse.

F2step 1.1

Source notes

Weibel, Chapter 5, §5.2 pp.122–125 and Definitions 5.4.2–4 pp.132–133; Sharifi, §4.1 pp.87–89 and Definition 4.2.1 p.90.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

20 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