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 .
Statement references
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 .
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 .
Rourke–Sanderson, §§1.7 and 2.12 — the subpolyhedron convention and compatible finite subdivisions used below.
Facts & Assumptions
Given: A closed PL surface embedded in the standard oriented PL -sphere.
Cellular homology computes singular homology: the finite triangulation used below computes singular homology with coefficients in .
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.
R-orientation of a topological manifold: an orientation of an -manifold is a continuous section choosing a generator of each local integral homology group ; this is the definition used for both the ambient sphere and the surface .
Oriented cellular chain group: an orientation of a tetrahedral cell selects its integral cellular generator.
A PL embedded polyhedron becomes a subcomplex after subdivision: a finite subdivision of the ambient triangulation contains as a subcomplex.
Induced boundary orientation: the orientation induced on a face is determined by the outward-normal-first convention.
The cellular boundary squares to zero: the cellular boundary operator satisfies .
Oriented links in the three-sphere and ambient isotopy and PL embeddings and subpolyhedra: the ambient is the standard oriented PL -sphere. The finite triangulation in [F6] is a subdivision of its standard combinatorial triangulation, so every triangular face has link and exactly two tetrahedral cofaces.
Proof
By [F6], take a finite subdivision of the standard triangulation in which is a subcomplex. Sum its triangular faces with coefficient in cellular -chains over . Each edge of the closed surface is incident to exactly two of these triangles, so the sum has zero boundary.
By [F1] and [F2], in , so for a finite cellular -chain . Give each tetrahedron its coefficient or in .
Orient each tetrahedron by the local orientation of in [F4] and take the integral cellular chain with the same coefficients or as ; [F5] identifies these oriented cells with the integral chain generators. For any triangular face outside , its coefficient in is zero modulo , 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 therefore cancel. For a face in , the coefficient of is one modulo , so exactly one incident tetrahedron has coefficient one; its contribution to is or . Thus is supported on with coefficient or on each triangle.
By [F8], . Hence along each edge of the two incident oriented triangles induce opposite edge orientations. The triangles around any vertex form a cycle because 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 , and the local generators agree on their overlaps. They define the continuous orientation section of [F4], contradicting nonorientability.
Depends on
- Oriented links in the three-sphere and ambient isotopy
- PL embeddings and subpolyhedra
- A PL embedded polyhedron becomes a subcomplex after subdivision
- Homology of spheres
- Cellular homology computes singular homology
- Cellular homology
- Cellular boundary is the incidence degree matrix
- R-orientation of a topological manifold
- Oriented cellular chain group
- Induced boundary orientation
- The cellular boundary squares to zero
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
- Joel Hass, Jeffrey C. Lagarias, and Nicholas Pippenger, The Computational Complexity of Knot and Link Problems, Journal of the ACM 46 (1999) (standard reference, not scraped)
- Jeff Erickson, Normal Surfaces and Knots, Computational Topology lecture notes (2009) (standard reference, not scraped)
- C. P. Rourke and B. J. Sanderson, Introduction to Piecewise-Linear Topology (standard reference, not scraped)