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.
Orientation system of the Mobius band
Statement
The orientation system of the Mobius band has monodromy around its core circle. The double cover obtained by unwrapping the core twice is an annulus, on which the pulled-back system is constant. The restriction of the orientation system to the single boundary circle is constant.
Facts & Assumptions
Given: The Mobius band .
The orientation system is a local system identifies monodromy with the sign of transported local orientations.
Orientation local system on a manifold with boundary extends the interior system over the boundary by a collar and identifies its boundary restriction by outward-normal-first transport.
Proof
Give the rectangle the local orientation represented by the ordered coordinate directions . The gluing sends these to , so one traversal of the core returns the negative local orientation. By [F1], its monodromy is .
Unwrap the gluing twice: maps two-to-one onto . This space is an annulus, and its core maps twice around the core of . Hence the pulled-back monodromy is . Since the annulus retracts onto its core circle, the pulled-back rank-one local system is constant.
The two horizontal rectangle edges are joined into one boundary circle. Traversing this circle runs from to and then from to , so its image in the core has degree two. Its orientation monodromy is therefore . The collar extension in [F2] gives the same transport at boundary points, hence the restricted system is constant. The boundary circle is orientable even though is not. Empty-boundary and zero-ring cases are not part of this fixed example, and no AC is used.
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
- Davis and Kirk, Lecture Notes in Algebraic Topology, Chapter 5 §2.2, pp.100–102 (standard reference, not scraped)