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.
A nonorientable closed manifold has no integral fundamental class
Statement
The real projective plane is a nonempty connected compact boundaryless -manifold, but It has no ordinary integral class restricting to a generator of every local top-homology group, and is not integrally orientable. Its canonical mod-two fundamental class nevertheless exists and is the nonzero element of . This counterexample requires no AC.
Facts & Assumptions
The choice-free clauses of Mod-two duality for real projective space prove the compact connected boundaryless manifold hypotheses, canonical mod-two orientation and fundamental-class existence. Its separate cap-isomorphism clause assumes AC and is not used here.
The choice-free cellular calculation in Real projective space cellular homology and the pinch map gives one integral cell in each degree , with and , and computes . Its separate field-cohomology clause is not used.
Cellular homology computes singular homology identifies the computed cellular groups with singular homology.
Local homology detects manifold dimension, interior, and boundary gives at each point of this boundaryless manifold.
Top homology of a connected manifold says that for a connected compact integrally oriented manifold its top class maps onto each local stalk, without AC.
Proof
Given: and integral coefficients unless otherwise indicated.
Apply the choice-free part of [F1] with . It makes a nonempty compact connected boundaryless -manifold and supplies a canonical mod-two fundamental class. In the quotient model a specified point is . By [F4], its local integral top-homology group is infinite cyclic and therefore has nonzero generators. The same holds at every point.
The integral cellular chain complex of [F2] is with the three nonzero terms in degrees . Multiplication by two is injective on , so the degree-two cycle group is zero. There is no degree-three cell and hence no incoming boundary. Therefore [F3] gives For clarity the same complex gives and ; the failure is in the required top degree, not in connectedness.
Every homomorphism from the zero group has image zero. In particular restriction at the explicit point of step 1.1 cannot hit either generator of its infinite cyclic stalk. Thus no global integral class can have the required generator restrictions at all points. If had an integral orientation, [F5] with the hypotheses in step 1.1 would make that restriction onto, contradicting step 1.2. Hence is nonorientable and witnesses the failure of an ordinary integral fundamental class without the orientation hypothesis.
Modulo two, the differential in step 1.2 becomes zero, as established through characteristic coefficient maps in [F2]; the entire top cellular group survives as . The canonical class from step 1.1 restricts to the nonzero mod-two local generator, so cannot be zero. It is therefore the unique nonzero element of this one-dimensional group. This is a change of coefficients, not an integral generator hidden by an orientation convention.
The example uses the positive even dimension two, not the zero-dimensional point , which is orientable. The zero integral top group in step 1.2 is compared with a nonzero stalk at a specified point, so the failure is not vacuous. The two endpoints of the one-cell attach to the sole zero-cell, giving , while the top attaching incidence is , not zero; both are covered by [F2]'s full attaching calculation. Degenerate singular chains are included in the comparison [F3]. No top cap isomorphism or field-cohomology dualization is used, and every clause of [F1] and [F2] invoked above is explicitly choice-free.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
34 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
- Hatcher, Algebraic Topology, Corollary 3.28 (standard reference, not scraped)