Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedverified 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.

A connected triangulated surface with Euler characteristic one and boundary is a disk

Statement

Let S=∣K∣ be a connected compact surface with nonempty boundary, where K 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 χ(K)=1, then S 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 — χ(K)=V−E+F 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 K of S and its boundary subcomplex.

[F1]

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.

[F2]

The simplicial Euler characteristic: χ(K)=V−E+F for the finite triangulation.

Proof

1.1givenF1construct

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.

2.1step 1.1F1F2construct

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 2-cell and one 1-cell, preserving both connectedness and Euler characteristic. After all triangles are removed, the remaining finite connected complex is a graph G with χ(G)=χ(K)=1.

3.1F2step 2.1algebra

A connected finite graph with V vertices and E edges has a spanning tree with V−1 edges. Since V−E=χ(G)=1 by [F2], it has exactly V−1 edges, so every edge belongs to that spanning tree and G itself is a tree.

4.1step 2.1step 3.1construct∎

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 L↘L′, choose the vertex disks and edge strips sufficiently small. Inside the removed triangle, a neighborhood of L′ 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 ∂S. 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 L. Thus reversing each collapse preserves the neighborhood homeomorphism type without requiring any retained edge to be exposed. A neighborhood of the tree G 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 S.

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