Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: 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.

A genus-one spanning surface for the unknot is not minimal

Statement refuted

Every Seifert surface for a fixed knot has minimum genus; equivalently, every admissible spanning surface F for K satisfies g(F)=g(K).

Facts & Assumptions

Given: ACω, a standard round unknot U bounding a disk D, and the annular tube construction in Counterexample step 1.1 below.

[F1]

A Seifert surface is a connected compact smooth oriented embedded surface whose oriented boundary is the given knot. (Oriented Seifert surfaces in the three-sphere)

[F2]

Knot genus is the least genus of any Seifert surface for the knot. (Seifert surfaces and smooth knot genus)

[F3]

Under ACω, compact subsurfaces have finite cellulations, and a connected compact oriented surface with b>0 boundary circles has χ=2−2g−b. (Finite surface normal forms, Jordan disks, and torsion control)

[F4]

The Euler characteristic of a finite CW complex is the alternating sum of its cell counts. (Euler characteristic of a finite CW complex)

[A1]

The Axiom of Countable Choice is the sequence principle stated in the item. (The Axiom of Countable Choice (ACω))

Counterexample

1.1givenF1F3F4constructalgebra

Let U be the standard round unknot and D a smooth embedded spanning disk. Remove the interiors of two disjoint small disks from Int⁡D to obtain a pair of pants P. Join the two new boundary circles by a simple arc in a small ball on one side of D and disjoint from U; the lateral boundary of a sufficiently thin tubular neighborhood of that arc is an embedded annulus A meeting P only in its two attaching circles. Glue with matching orientations. Then F=P∪A is connected, compact, smooth, embedded, oriented, and has only boundary U. Choose finite cell structures with both attaching circles subcomplexes. Cell-count inclusion-exclusion gives χ(P)=χ(D)−2χ(D2)+2χ(S1)=1−2+0=−1; then χ(F)=χ(P)+χ(A)−2χ(S1)=−1+0−0=−1.

2.1step 1.1F3A1algebra

The surface F has b=1. By [F3] and [A1], −1=χ(F)=2−2g(F)−1, hence g(F)=1. The original disk D has b=1 and χ(D)=1, so [F3] gives g(D)=0.

3.1F1F2step 2.1givenalgebra∎

By [F1], both D and F are admissible spanning surfaces for U. Therefore [F2] and nonnegativity of surface genus give g(U)=0, while step 2.1 gives g(F)=1. Thus F is not minimum genus and the refuted statement is false.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

37 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