Alphabeta Math
PropositionStatement: AI-adaptedProof: 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.

Collapse from one column at page s ≥ 1 or one row at page s ≥ 2

Statement

In homological or cohomological indexing, support in one column at page s≥1 forces collapse at that page. Support in one row at page s≥2 forces collapse there.

Facts & Assumptions

Given: A homological or cohomological spectral sequence supported in one column at s≥1, or one row at s≥2.

[F1]

Collapse means vanishing of all later differentials (Collapse at a page).

[F2]

A homological spectral sequence has differentials of bidegree (r,r1), specified next-page homology isomorphisms, and persistent zero support because each later term is a subquotient of the preceding term: Homological spectral sequence.

[F3]

A cohomological spectral sequence has differentials of bidegree (r,1r) and is equivalently a homological spectral sequence after reversing both coordinates: Cohomological spectral sequence.

Proof

technique · direct
1.1

In homological indexing, zero terms on page s remain zero on every later page by the subquotient clause in [F2]. Thus if all nonzero terms on page s have first coordinate c, the same holds on every page rs. The r-differential changes the first coordinate by r. Since rs1, every differential has at least one zero endpoint. All are zero, giving collapse by [F1].

F1F2
2.1

For a single homological row, the second coordinate changes by r1, which is nonzero when rs2; persistence from [F2] and the same endpoint argument give collapse. By [F3], cohomological pages likewise retain the one-row or one-column support after reversing both coordinates, while their changes are r and 1r, again nonzero under the respective bounds. The bounds matter: d0 may run inside one column, and d1 inside one row; those maps are not forced to vanish by the stated support condition alone.

F1F2F3

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

6 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