Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-5.6-terra)audited 2026-09-13
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 P=RP2 is a nonempty connected compact boundaryless 2-manifold, but H2(P;Z)=0. 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 H2(P;F2)F2. This counterexample requires no AC.

Facts & Assumptions

[F1]

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.

[F2]

The choice-free cellular calculation in Real projective space cellular homology and the pinch map gives one integral cell in each degree 0,1,2, with d2=2 and d1=0, and computes H2(P;F2)=F2. Its separate field-cohomology clause is not used.

[F3]

Cellular homology computes singular homology identifies the computed cellular groups with singular homology.

[F4]

Local homology detects manifold dimension, interior, and boundary gives H2(P,P{x};Z)=Z at each point of this boundaryless manifold.

[F5]

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: P=RP2 and integral coefficients unless otherwise indicated.

1.1

Apply the choice-free part of [F1] with n=2. It makes P a nonempty compact connected boundaryless 2-manifold and supplies a canonical mod-two fundamental class. In the quotient model a specified point is x=[1:0:0]. By [F4], its local integral top-homology group is infinite cyclic and therefore has nonzero generators. The same holds at every point.

F1F4given
1.2

The integral cellular chain complex of [F2] is 0Z  2  Z  0  Z0, with the three nonzero terms in degrees 2,1,0. Multiplication by two is injective on Z, so the degree-two cycle group is zero. There is no degree-three cell and hence no incoming boundary. Therefore [F3] gives H2(P;Z)=ker(2)/0=0. For clarity the same complex gives H1(P;Z)=Z/2 and H0(P;Z)=Z; the failure is in the required top degree, not in connectedness.

F2F3given
2.1

Every homomorphism from the zero group H2(P;Z) has image zero. In particular restriction at the explicit point x 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 P had an integral orientation, [F5] with the hypotheses in step 1.1 would make that restriction onto, contradicting step 1.2. Hence P is nonorientable and witnesses the failure of an ordinary integral fundamental class without the orientation hypothesis.

F5step 1.1step 1.2
2.2

Modulo two, the differential 2 in step 1.2 becomes zero, as established through characteristic coefficient maps in [F2]; the entire top cellular group survives as H2(P;F2)=F2. 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.

F1F2step 1.1step 1.2
3.1

The example uses the positive even dimension two, not the zero-dimensional point RP0, 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 d1=0, while the top attaching incidence is 2, 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.

F1F2F3step 1.1step 1.2step 2.1step 2.2

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