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.
Ignoring monodromy gives the wrong Serre E2 page
Statement
Let be the reflection , and let be its mapping torus, the Klein bottle. Its monodromy acts by on . Consequently the correct fiber-degree-one row has whereas replacing by the constant system gives in both degrees. The correct Wang sequence gives ; the untwisted table misses its torsion summand. No choice principle is used.
Facts & Assumptions
Given: the quotient circle , its positive one-cell orientation, the reflection , and integral coefficients.
is an isomorphism identifies the positive loop with . The first Hurewicz map is abelianization identifies this with the oriented generator of and is natural in .
Wang sequence of a mapping torus identifies mapping-torus monodromy with the gluing homeomorphism and supplies the unsplit kernel-cokernel short exact sequence.
The first Serre differential is the cellular boundary with local coefficients identifies the Serre row with cellular homology of the base circle using the actual fiber-homology monodromy.
Verification
Reflection sends the positive loop to the negative loop . Hence [F1] gives By [F2], this is exactly the degree-one monodromy of the mapping-torus fibration. On the monodromy is the identity, because the fiber is connected.
In fiber degree one, the cellular local chain complex of the one-vertex, one-edge base circle is Changing the edge convention multiplies this boundary by and changes neither group. Thus [F3] gives If one falsely makes the coefficient system constant, the boundary becomes , so the same two entries become and .
Apply [F2] in degree one. On fiber , ; on fiber , . Hence This sequence splits explicitly: the point is fixed by , so is a section of and its first-homology map splits the displayed projection. Therefore .
The base has cellular dimension one, so no Serre differential with can leave or enter its columns. The correct table therefore already displays the torsion piece in total degree one. The false constant table has instead at and would have two infinite cyclic total-degree-one pieces, so it cannot yield the actual . Degree zero, the zero kernel of multiplication by two, identity action on , both base cells, both orientations, both row degrees, and the fixed-point section are all explicit above. No AC is used, and there is no converse assertion.
Source notes
Miller's Lectures 24–25, printed pp. 80–87, construct the Serre sequence with the fiber-homology local system and identify its second page by cellular local chains. Steps 1.1–3.1 supply the specific reflection action, its boundary , and the Klein-bottle first-homology calculation.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
28 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
- Miller, MIT 18.906 notes, local coefficients in the Serre sequence (standard reference, not scraped)