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 connected triangulated surface with Euler characteristic one and boundary is a disk
Statement
Let be a connected compact surface with nonempty boundary, where is a finite two-dimensional simplicial complex, each edge lies in one or two triangles, and each vertex link is a circle or interval. If its simplicial Euler characteristic is , then is homeomorphic to a closed disk.
Statement references
Finite triangulations of compact PL surfaces — the link and edge conditions for a finite triangulation of a compact surface.
The simplicial Euler characteristic — for the supplied finite triangulation.
Hass–Lagarias–Pippenger, Lemma 4.3 — connected triangulated surface recognition by Euler characteristic.
Erickson, “Normal Surfaces and Knots,” §14.1 — disk components and Euler-characteristic tests.
Facts & Assumptions
Given: The finite triangulation of and its boundary subcomplex.
Finite triangulations of compact PL surfaces: each edge has one or two incident triangles, vertex links are circles or intervals, and nonempty boundary contains a boundary edge.
The simplicial Euler characteristic: for the finite triangulation.
Proof
Form the finite dual graph with one vertex for each triangle, an additional outside vertex, an edge between two triangle vertices for each shared interior edge, and an edge from the outside vertex for each boundary edge. This graph is connected: a path in the connected surface between triangle interiors can be moved off the finitely many vertices and then crosses a finite sequence of edges; every triangle can also be joined to the outside vertex through a path to the nonempty boundary. Fix a spanning tree rooted at the outside vertex by choosing the first one in the finite lexicographic ordering of edge subsets.
Process the triangle vertices in increasing distance from the root. For a triangle whose parent is the outside vertex, use its corresponding boundary edge; otherwise use the edge shared with its parent triangle. The parent has already been removed, so the chosen edge is now incident to this triangle alone. Remove the open triangle and that free edge. This is an elementary collapse: it is a deformation retraction and removes one -cell and one -cell, preserving both connectedness and Euler characteristic. After all triangles are removed, the remaining finite connected complex is a graph with .
A connected finite graph with vertices and edges has a spanning tree with edges. Since by [F2], it has exactly edges, so every edge belongs to that spanning tree and itself is a tree.
Use small polygonal neighborhoods in the surface throughout, rather than attaching triangles along exposed edges of the remaining complex. For a free triangle-edge collapse , choose the vertex disks and edge strips sufficiently small. Inside the removed triangle, a neighborhood of is a narrow collar of the two retained sides, together with its corner sectors. Its boundary facing the empty triangle is one polygonal arc joining the two ends of the removed free edge. Other retained triangles may meet the retained sides on their opposite sides, but they do not meet this empty triangle interior. Move the facing boundary arc across that interior to a parallel arc just beyond the free edge, using the surface boundary collar if the edge lies on . This expands a disk along one boundary interval; triangulating the intervening polygon gives a PL homeomorphism of the old and enlarged neighborhoods, fixed away from the triangle and its small corner sectors. The enlarged neighborhood is a neighborhood of . Thus reversing each collapse preserves the neighborhood homeomorphism type without requiring any retained edge to be exposed. A neighborhood of the tree is a disk: absorb a leaf vertex disk and its rectangular edge strip successively into the neighboring vertex disk. Reversing all collapses and expanding the final boundary collar identifies this disk with .
Depends on
Used by
Dependency tree · two levels
4 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)