Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedprecheck passaudited 2026-09-30
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.

Equal Euler characteristic without homeomorphism

Statement

The torus T2 and the Klein bottle K are nonempty compact connected boundaryless surfaces with equal Euler characteristic 0 but are not homeomorphic: the torus is orientable and the Klein bottle is nonorientable. Thus Euler characteristic alone does not determine the homeomorphism class of a compact connected surface. No choice axiom is used.

Facts & Assumptions

Given: The two one-polygon schemas of [L1] and [L2], their realizations, and an integral orientation of the torus.

[L1]

The square schema with boundary word a b a−1b−1 realizes the torus T2=(R/Z)2, is a connected surface schema, is orientable, and has χ(T2)=1−2+1=0; a connected surface schema has nonempty compact connected boundaryless realization (Torus commutator polygon, Polygonal schemas and paired boundary edges).

[L2]

The square schema with boundary word a a b b realizes the Klein bottle K of The Klein bottle as a square quotient, is a connected surface schema, is nonorientable, and has χ(K)=1−2+1=0 (Klein bottle as two crosscaps).

[L3]

An integral orientation of a boundaryless n-manifold is a continuous section of the orientation local system whose value generates the fiber Hn(M,M∖{x};Z) at every point; each fiber is infinite cyclic, the sections sK,c(y)=rKy(c) over the interior of a closed coordinate ball K are basic open sheets, and every point has a neighborhood on which an orientation is induced by a single generator in one such ball group (Orientation local system and orientation cover, R-orientation of a topological manifold).

[L4]

A continuous map of pairs induces a map of relative homology groups in every degree, identities induce identities and composites induce composites; hence a homeomorphism of pairs induces an isomorphism in every degree, with inverse the isomorphism induced by the inverse homeomorphism (Functoriality of relative homology).

Proof

Given: The torus schema, the Klein bottle schema and an integral orientation of T2.

1.1L1

The torus: by [L1] the quotient of the square by the pairings of the word a b a−1b−1 is homeomorphic to T2=(R/Z)2 and is a connected surface schema, so T2 is a nonempty compact connected boundaryless surface, it is orientable, and its Euler characteristic is χ(T2)=0.

1.2L2

The Klein bottle: by [L2] the quotient of the square by the pairings of the word a a b b is the Klein bottle K and is a connected surface schema, so K is a nonempty compact connected boundaryless surface, it is nonorientable, and χ(K)=0.

1.3L3L4

Orientability is a homeomorphism invariant. Let h:M→N be a homeomorphism of boundaryless n-manifolds and let ν be an integral orientation of N. For x∈M the map h is a homeomorphism of pairs (M,M∖{x})→(N,N∖{h(x)}), so by [L4] it induces an isomorphism h∗x:Hn(M,M∖{x};Z)→Hn(N,N∖{h(x)};Z), and μx:=h∗x−1(νh(x)) generates the infinite cyclic fiber at x because νh(x) generates its fiber and an isomorphism carries generators to generators. For continuity let x∈M: by [L3] there are a closed coordinate ball K around h(x) in N and a generator c of GK=Hn(N,N∖K;Z) with ν=± sK,c on int⁡K; applying [L4] to the homeomorphism of pairs (M,M∖h−1(K))→(N,N∖K) and then to (M,M∖{y})→(N,N∖{h(y)}) for y∈int⁡h−1(K) gives rK,h(y)(c)=h∗y(rh−1(K),y(h∗K−1(c))), so on the ball interior h−1(K) the section μ equals ± sh−1(K),h∗K−1(c), which is a basic generator section and hence continuous. Thus μ is an integral orientation of M, and a homeomorphism transports orientability from its target to its source.

2.1L1L2step 1.3∎

Conclusion. If there were a homeomorphism h:T2→K, then applying step 1.3 to h−1:K→T2 and an integral orientation of T2, which exists by [L1], would produce an integral orientation of K, contradicting that K is nonorientable by [L2]. Hence T2 and K are not homeomorphic, while both are nonempty compact connected boundaryless surfaces with χ=0 by [L1] and [L2]. Therefore equal Euler characteristic does not determine the homeomorphism class of a compact connected surface. Only the two explicit schema computations, the given orientation data and the functoriality of relative homology are used, so no choice principle is used.

Remarks

The two surfaces are the standard witness that Euler characteristic alone is insufficient: the orientability class distinguishes them, and the later classification theorem proves that orientability together with the Euler characteristic does determine a compact connected surface. The counterexample deliberately avoids the classification theorem, in the same way that Projective plane crosscap polygon avoids it for the projective plane.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

30 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