Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedjudge pass (gpt-6-luna)verified 2026-10-22 (gpt-6.1-sol)
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.

No closed nonorientable piecewise-linear surface embeds in the three-sphere

Statement

No closed nonorientable piecewise-linear surface embeds in the standard oriented piecewise-linear three-sphere S3.

Statement references

Homology of spheres — H2(S3;F2)=0.

Cellular homology computes singular homology — finite simplicial and singular homology agree.

R-orientation of a topological manifold — orientation is a continuous generating section of the local integral homology system.

PL embeddings and subpolyhedra — the PL embedding and subpolyhedron convention.

A PL embedded polyhedron becomes a subcomplex after subdivision — a subdivision of a fixed triangulation makes the embedded surface a subcomplex.

Oriented links in the three-sphere and ambient isotopy — the standard orientation of S3.

Oriented cellular chain group — oriented cellular generators and induced face signs.

Induced boundary orientation — oriented cellular generators and induced face signs.

The cellular boundary squares to zero — the cellular boundary of a cellular boundary is zero.

Hass–Lagarias–Pippenger, Corollary 5.5 — a knot exterior has no embedded projective plane because it embeds in S3.

Rourke–Sanderson, §§1.7 and 2.12 — the subpolyhedron convention and compatible finite subdivisions used below.

Facts & Assumptions

Given: A closed PL surface F embedded in the standard oriented PL 3-sphere.

[F1]

Homology of spheres: H2(S3;F2)=0.

[F2]

Cellular homology computes singular homology: the finite triangulation used below computes singular homology with coefficients in F2.

[F3]

Cellular homology and Cellular boundary is the incidence degree matrix: the cellular chain groups are generated by oriented cells, and each boundary coefficient is the signed sum of incident-cell coefficients.

[F4]

R-orientation of a topological manifold: an orientation of an n-manifold is a continuous section choosing a generator of each local integral homology group Hn(M,M∖{x};Z); this is the definition used for both the ambient sphere and the surface F.

[F5]

Oriented cellular chain group: an orientation of a tetrahedral cell selects its integral cellular generator.

[F6]

A PL embedded polyhedron becomes a subcomplex after subdivision: a finite subdivision of the ambient triangulation contains F as a subcomplex.

[F7]

Induced boundary orientation: the orientation induced on a face is determined by the outward-normal-first convention.

[F8]

The cellular boundary squares to zero: the cellular boundary operator satisfies ∂2=0.

[F9]

Oriented links in the three-sphere and ambient isotopy and PL embeddings and subpolyhedra: the ambient is the standard oriented PL 3-sphere. The finite triangulation in [F6] is a subdivision of its standard combinatorial triangulation, so every triangular face has link S0 and exactly two tetrahedral cofaces.

Proof

1.1givenF3F6construct

By [F6], take a finite subdivision of the standard triangulation in which F is a subcomplex. Sum its triangular faces with coefficient 1 in cellular 2-chains over F2. Each edge of the closed surface is incident to exactly two of these triangles, so the sum z has zero boundary.

2.1step 1.1F1F2

By [F1] and [F2], [z]=0 in H2(S3;F2), so z=∂c for a finite cellular 3-chain c. Give each tetrahedron its coefficient 0 or 1 in c.

3.1givenF3F4F5F7F9step 2.1

Orient each tetrahedron by the local orientation of S3 in [F4] and take the integral cellular chain C with the same coefficients 0 or 1 as c; [F5] identifies these oriented cells with the integral chain generators. For any triangular face outside F, its coefficient in ∂c is zero modulo 2, so its two incident tetrahedra have equal coefficients. Their induced face orientations are opposite: in an oriented PL coordinate ball at an interior point of that face, the tetrahedra occupy opposite half-balls, and the outward-normal-first rule [F7] reverses the face sign. Their contributions to ∂C therefore cancel. For a face in F, the coefficient of ∂c is one modulo 2, so exactly one incident tetrahedron has coefficient one; its contribution to ∂C is +1 or −1. Thus w=∂C is supported on F with coefficient +1 or −1 on each triangle.

4.1F4F8step 3.1constructcontradiction∎

By [F8], ∂w=∂2C=0. Hence along each edge of F the two incident oriented triangles induce opposite edge orientations. The triangles around any vertex form a cycle because F is a triangulated surface; these compatible edge orientations therefore give one local orientation on its star. Interior points of triangles, edges and vertex stars cover F, and the local generators agree on their overlaps. They define the continuous orientation section of [F4], contradicting nonorientability.

Depends on

Used by

Dependency tree · two levels

36 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