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.
E zero and e one page conventions are universal across sources
Statement
It is false that the labels and have universal meanings independent of the construction convention. In particular the initial object of a homology exact-couple iteration can be called generic page zero even though its filtration-normalized label is page one.
Facts & Assumptions
Given: The trivially filtered identity complex and the two explicitly cited construction-numbering conventions.
The library initial page is the associated graded complex (E zero is the associated graded complex).
The library first page is its homology (E one is homology of the associated graded complex).
Spectral-sequence transition isomorphisms include a declared starting-page convention (Homological spectral sequence).
Integer complexes use ordinary kernels and cokernels (Abelian-group model for spectral-sequence computations).
Refutation
Let with d=1, all other groups zero, and for p<0, for p≥0. Its associated graded is this nonzero two-term complex in column zero. By [F1], is nonzero, whereas ker(1)=0 and coker(1)=0 give by [F2] and [F4]. All subsequent pages are zero by [F3].
Every filtered piece and every graded quotient in this example has zero homology. Thus the triangle of homology groups of the filtration is the zero triangle. Here an exact couple means maps D→D→Q→D with image equal to the next kernel at every vertex; for the zero triangle every image and kernel is zero. Its differential Q→D→Q is zero, and deriving it replaces zero by im(0)=0 and H(0)=0, so every derived triangle is again zero. No general existence theorem for exact couples is used.
Vitolo, Appendix B p.33, the iteration immediately before the proposition on generic iteration, labels the input differential object of the generic exact couple and its first homology . Applied to the zero triangle of step 2.1, its generic initial page is therefore zero. Weibel’s filtration exact-couple example and construction theorem, pp.155–156, instead label the initial homology couple term . Thus the dictionary is on the common zero tail, while the library in step 1.1 is nonzero. These are actual different page-zero objects under two specified construction labels.
Vitolo's separately normalized filtered construction, the theorem on filtered differential objects pp.34–35, also inserts the associated graded at and agrees with the library on that point. The comparison in step 3.1 concerns its generic couple iteration only. For a nonzero homological differential, replacing r by j+1 while retaining coordinates changes its bidegree to , not ; the definition [F3] therefore requires the convention and grading translation to be stated together. In the displayed zero tail no degree conflict arises.
Source notes
Vitolo, corrected author version, Appendix B pp.31–35, especially the iteration before Proposition 8.2 p.33 and Theorem 8.1 p.35; Weibel, Example 5.9.3 and Theorem 5.9.4 pp.155–156. Only the numbering conventions are used externally; the zero-couple calculation is proved locally.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
16 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
- Charles A. Weibel, An Introduction to Homological Algebra, Chapter 5 (standard reference, not scraped)
- Romyar Sharifi, Homological Algebra (standard reference, not scraped)
- Raffaele Vitolo, On different geometric formulations of Lagrangian formalism (corrected author version), Appendix B p33; filtered normalization pp34–35 (standard reference, not scraped)