Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-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.

The right trefoil has genus one

Statement

Assume the full Axiom of Choice. For the standard right-handed trefoil in S3, the minimum genus among its connected compact smooth oriented spanning surfaces is exactly 1.

Facts & Assumptions

Given: Full AC and the standard right-handed trefoil T.

[F1]

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 (1−s+c)/2 for s circles and c 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)

[F2]

Under full AC, T does not bound a smooth properly embedded disk in B4. (The trefoil does not bound a smooth proper disk in the four-ball)

[F3]

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)

[F4]

A smooth disk in the boundary S3 can be pushed through a collar into B4, fixing its boundary, to give a smooth proper disk. (Collar neighborhood theorem)

[F5]

Knot genus is the minimum nonnegative integer among the genera of spanning surfaces. (Seifert surfaces and smooth knot genus)

[A1]

Full AC is the choice-function axiom. (The Axiom of Choice)

[A2]

Full AC implies ACω. (AC implies DC implies countable choice)

Proof

Given: Full AC and the standard right-handed trefoil T.

1.1givenF1F5A1A2constructalgebra

Use the standard right-trefoil diagram, the closure of the positive two-strand braid σ13, 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 s=2 and c=3. 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 T, and its genus is (1−2+3)/2=1 (equivalently χ=2−3=−1). Hence the nonnegative minimum in [F5] satisfies g(T)≤1.

2.1givenF2F3F4F5A1A2step 1.1construct

If g(T)=0, a minimizing surface exists by [F5], and [F3] makes it a smooth disk D⊂S3. Let c:S3×[0,ϵ)→B4 be a collar from [F4]. A boundary collar of D gives a smooth function h:D→[0,ϵ) that equals the inward collar coordinate near ∂D, is positive on Int⁡D, and vanishes exactly on ∂D. The map x↦c(x,h(x)) is injective because the collar projection is x, and its differential is injective because its first coordinate is the inclusion of D; at ∂D, the positive derivative of h in the inward conormal makes the disk proper and transverse to ∂B4. Thus it is a smooth proper disk in B4 with boundary T, contradicting [F2]. Hence g(T)≠0.

3.1step 1.1step 2.1algebra∎

A nonnegative integer at most 1 and not equal to 0 is 1. Hence g(T)=1.

Depends on

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