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.
The right trefoil has genus one
Statement
Assume the full Axiom of Choice. For the standard right-handed trefoil in , the minimum genus among its connected compact smooth oriented spanning surfaces is exactly .
Statement references
Facts & Assumptions
Given: Full AC and the standard right-handed trefoil .
Oriented smoothing replaces a crossing by its orientation-compatible noncrossing pairing; the Seifert algorithm records one disk per resulting circle and one band per crossing. Under AC, the bands realize a connected compact smooth oriented embedded surface with the original knot as boundary, and its genus is for circles and crossings. (Seifert smoothing and Seifert circles of an oriented link diagram, Seifert disk-and-band construction from an oriented knot diagram, Seifert disks and bands form an embedded oriented spanning surface, Euler characteristic and genus of a Seifert disk-and-band surface)
Under full AC, does not bound a smooth properly embedded disk in . (The trefoil does not bound a smooth proper disk in the four-ball)
A genus-zero connected compact orientable surface with one boundary component is topologically a disk. For smooth input the disk-and-band normal-form construction gives a smooth disk parametrization: steps 7.1–12.1 use smooth circle extensions and smooth disk/band collar moves. (Finite surface normal forms, Jordan disks, and torsion control, Finite C2 surface carriers have smooth normal forms and relative cap approximations)
A smooth disk in the boundary can be pushed through a collar into , fixing its boundary, to give a smooth proper disk. (Collar neighborhood theorem)
Knot genus is the minimum nonnegative integer among the genera of spanning surfaces. (Seifert surfaces and smooth knot genus)
Full AC is the choice-function axiom. (The Axiom of Choice)
Full AC implies AC. (AC implies DC implies countable choice)
Proof
Given: Full AC and the standard right-handed trefoil .
Use the standard right-trefoil diagram, the closure of the positive two-strand braid , with both braid strands directed downward and the closing arcs directed back to the top. It has exactly three crossings. At each crossing the oriented smoothing pairs each upper endpoint with the lower endpoint in the same vertical position, rather than the diagonal pairing. Smoothing all three crossings therefore leaves two vertical strands; each joins its own closing arc to form one circle. Thus and . The unsmoothed braid has the transposition permutation (three interchanges), so its closure has one knot component. The algorithm attaches three half-twisted bands between the two disk records, with twist directions restoring these three positive crossings. By [F1] and [A2] the result is a connected compact smooth oriented embedded spanning surface for , and its genus is (equivalently ). Hence the nonnegative minimum in [F5] satisfies .
If , a minimizing surface exists by [F5], and [F3] makes it a smooth disk . Let be a collar from [F4]. A boundary collar of gives a smooth function that equals the inward collar coordinate near , is positive on , and vanishes exactly on . The map is injective because the collar projection is , and its differential is injective because its first coordinate is the inclusion of ; at , the positive derivative of in the inward conormal makes the disk proper and transverse to . Thus it is a smooth proper disk in with boundary , contradicting [F2]. Hence .
A nonnegative integer at most and not equal to is . Hence .
Sources
Seifert smoothing and Seifert circles of an oriented link diagram
Seifert disks and bands form an embedded oriented spanning surface
Euler characteristic and genus of a Seifert disk-and-band surface
The trefoil does not bound a smooth proper disk in the four-ball
Finite surface normal forms, Jordan disks, and torsion control
Depends on
- Seifert surfaces and smooth knot genus
- Seifert smoothing and Seifert circles of an oriented link diagram
- Seifert disk-and-band construction from an oriented knot diagram
- Seifert disks and bands form an embedded oriented spanning surface
- Euler characteristic and genus of a Seifert disk-and-band surface
- Finite C2 surface carriers have smooth normal forms and relative cap approximations
- The trefoil does not bound a smooth proper disk in the four-ball
- The Axiom of Countable Choice ($\mathrm{AC}_\omega$)
- The Axiom of Choice
- AC implies DC implies countable choice
- Collar neighborhood theorem
- Finite surface normal forms, Jordan disks, and torsion control
Used by
Dependency tree · two levels
68 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
- Danny Calegari, Introduction to Knot Theory (standard reference, not scraped)
- Local trefoil nonsliceness proof in the published library (standard reference, not scraped)