False statementConstruction: 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.

Gauss-Bonnet alone does not classify surfaces

Statement

Assume the axiom of choice. False: the Gauss-Bonnet identity $\int_{M} K d A = 2 π χ (M)$ by itself classifies compact surfaces, in the sense that two compact surfaces with the same Euler characteristic must have the same total curvature and be homeomorphic.

Facts & Assumptions

Given: The claim that the curvature/Euler identity of Gauss-Bonnet determines the homeomorphism type of a compact surface, to be refuted by two comparable surfaces.

[A1]

full AC is assumed; it is inherited through the two global Gauss-Bonnet theorems quoted below and is used nowhere else in this finite comparison (The Axiom of Choice).

[F1]

A polygonal schema is finite disk data with paired sides whose realization carries a finite CW structure with one $0$ -cell per vertex class, one $1$ -cell per side pair and one $2$ -cell per face; the Euler characteristic of a finite CW complex is the alternating sum of its cell counts. In a one-polygon word each pair with opposite exponents is orientation compatible, while each pair with equal exponents is twisted (Polygonal schemas and paired boundary edges, Euler characteristic of a finite CW complex).

[F2]

Let $T$ be the quotient of $Q = [0, 1]^{2}$ by $(x, 0) \sim (x, 1)$ and $(0, y) \sim (1, y)$ . These are the translation side pairings of a square polygonal schema; its boundary word is $a b a^{- 1} b^{- 1}$ in the convention of Polygonal schemas and paired boundary edges. Its cell count and orientability are checked below.

[F3]

The Klein bottle $K$ is the quotient of $Q$ by $(x, 0) \sim (x, 1)$ and $(0, y) \sim (1, 1 - y)$ . Its four corners form one vertex class, its two side pairs give two edge classes, and it has one face; it is a compact boundaryless surface. Its one-polygon word is $a b a^{- 1} b$ , with an equal-exponent $b$ -pair (The Klein bottle as a square quotient). Its Euler characteristic and nonorientability are checked below.

[F4]

For a closed oriented Riemannian surface $\int_{M} K d A = 2 π χ (M)$ , and for a closed nonorientable Riemannian surface $\int_{M} K μ_{g} = 2 π χ (M)$ with the orientation-free area density (Global Gauss-Bonnet for closed oriented surfaces, Gauss-Bonnet for closed nonorientable surfaces).

[F5]

An integral orientation of a topological manifold is a continuous section of its local homology system whose value generates each fiber, and the orientation system is a locally constant system of local homology groups (R-orientation of a topological manifold, Orientation local system and orientation cover). A homeomorphism and its inverse induce inverse maps on relative homology, compatible with restrictions to smaller coordinate balls (Functoriality of relative homology). Thus the induced fiberwise isomorphism is a homeomorphism of orientation local systems in their basic ball-section charts and carries integral orientations to integral orientations; homeomorphic surfaces are simultaneously orientable or nonorientable.

[F6]

The alternating cell count of a finite CW complex equals the alternating ranks of its singular homology groups (Euler–Poincare formula for finite CW complexes). The Euler characteristic in the two global Gauss-Bonnet theorems is this same homology invariant, since every supplied curvilinear triangulation gives a finite CW structure (Topological well-definedness of the surface Euler characteristic).

Refutation

technique · exhibit the translation square quotient and the Klein bottle, verify that their Euler characteristics and hence their Gauss-Bonnet totals agree, and separate them by orientability

1.1F1F2F3

In $T$ , the horizontal pairing identifies $(0, 0)$ with $(0, 1)$ and $(1, 0)$ with $(1, 1)$ , while the vertical pairing identifies $(0, 0)$ with $(1, 0)$ and $(0, 1)$ with $(1, 1)$ . Thus all four corners form one vertex class, and their four sectors join in a single cyclic link. Both edge classes have two incident face-sides, so [F1] makes $T$ a compact boundaryless surface with $V = 1$ , $E = 2$ , $F = 1$ . The same counts and surface properties for $K$ are in [F3]. Consequently $χ (T) = χ (K) = 1 - 2 + 1 = 0$ .

2.1F2F3F4F6step 1.1construct

The seam maps extend across the plane to Euclidean isometries. For $T$ they are translations by $(1, 0)$ and $(0, 1)$ ; for $K$ they are $H (x, y) = (x, y + 1)$ and $G (x, y) = (x + 1, 1 - y)$ . The orbits of each generated group meet $Q$ in exactly its prescribed side-pairing classes. Each action is free: a nonidentity element either changes $x$ by a nonzero integer or is a nonzero power of $H$ ; it is properly discontinuous since only finitely many integer shifts can meet any compact set. Thus small Euclidean disks give compatible smooth charts, including at the quotient corners, and $d x^{2} + d y^{2}$ descends to a smooth flat metric on each quotient. By [F6], the finite CW counts in step 1.1 equal the smooth-surface Euler characteristics in [F4]. Hence [F4] gives total curvature $2 π χ (T) = 0$ and $2 π χ (K) = 0$ .

3.1F2F3F5step 2.1

The standard plane orientation is preserved by both translations defining $T$ , so it descends through the charts of step 2.1 to an integral orientation of $T$ . The glide reflection $G$ defining $K$ reverses the plane orientation. If $K$ had an integral orientation, its pullback along $R^{2} \to K$ would be a continuous generator of the plane's local homology system. Relative to the standard generator its sign is constant on connected $R^{2}$ by [F5]. Since the pullback comes from $K$ , this sign must be invariant under $G$ , whereas $G$ changes it, a contradiction. Thus $K$ is nonorientable. By [F5] a homeomorphism preserves orientability, so $T$ and $K$ are not homeomorphic, although step 2.1 gives them the same Gauss-Bonnet total.

4.1A1step 2.1step 3.1∎

Hence equal Euler characteristic and equal total curvature do not determine the homeomorphism type: classification of compact surfaces requires additional input beyond the Gauss-Bonnet identity, and the asserted classification by Gauss-Bonnet alone is false. The comparison is finite; full AC entered only through the two global theorems of [F4].

Source locator

Lee, Riemannian Manifolds: An Introduction to Curvature, Chapter 9, Theorem 9.7 and Problem 9-5, printed pp. 167-172, proves the curvature/Euler identity and does not classify surfaces; Gallier and Xu, A Guide to the Classification Theorem for Compact Surfaces, Chapter 1, Section 1.2, printed pp. 7-13, gives the torus and Klein bottle one-polygon words and their orientability and Euler characteristics. Steps 1.1–3.1 verify the two square quotients directly, including their smooth flat metrics and orientation behavior.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

35 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

John M. Lee, Riemannian Manifolds: An Introduction to Curvature (1997) (standard reference, not scraped)
Gallier and Xu, A Guide to the Classification Theorem for Compact Surfaces (standard reference, not scraped)