Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 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 positive Hopf-plumbed surface for a torus knot

Statement

Assume the Axiom of Countable Choice. Let p,q≥2 be coprime integers. There is a connected compact smooth oriented embedded surface Fp,q⊂S3 whose oriented boundary is T(p,q) and whose genus is (p−1)(q−1)/2. It can be constructed from a disk by plumbing (p−1)(q−1) positive Hopf bands: a positive Hopf band is the oriented annulus spanning the positively linked Hopf link, and plumbing along a square glues square neighborhoods of properly embedded arcs in two surfaces on opposite sides of a 3-ball, with the four boundary edges alternating between the surfaces and with orientations agreeing on the square. For a connected compact oriented surface with one boundary component, genus is defined by χ(F)=1−2g(F).

Facts & Assumptions

Given: Countable Choice and coprime integers p,q≥2.

[A1]

Countable Choice is the choice-function principle for sequences of nonempty sets (The Axiom of Countable Choice (ACω)).

[F1]

Coprime torus knot parameterizes T(p,q) on the standard Heegaard torus by the primitive slope pα+qβ.

[F2]

Oriented Seifert surfaces in the three-sphere defines a Seifert surface as a connected compact smooth oriented embedded surface with the knot as its oriented boundary, and gives χ(F)=1−2g(F) for a one-boundary-component surface.

Proof

1.1F1givenconstruct

Use the solid-torus side with core the first-coordinate circle, so the second coordinate is the meridional disk coordinate. At longitudinal angle u∈R/Z in the first coordinate, the knot meets this disk at the p points with second-coordinate angles 2πq(u+k)/p, k=0,…,p−1. Place these points at the vertices of a regular p-gon. A counterclockwise rotation by 2π/p, tapered to fix the disk boundary, carries each point to the next and crosses consecutive points once in the order σ1,…,σp−1; each σi is the positive half twist of adjacent points. Thus one such increment is the braid block δ=σ1⋯σp−1, and the rotation through 2πq/p gives δq. The lifted curve has winding vector (p,q) in the fixed Heegaard-torus coordinates, exactly the parameterization in [F1]. The braid block permutes the points by a p-cycle, so its qth power has one cycle because gcd⁡(p,q)=1.

2.1A1F1F2step 1.1construct

At each positive crossing replace the crossing by the orientation-compatible smoothing and then attach one half-twisted rectangle in the original crossing ball; this is the oriented braid Seifert-surface construction. It gives p disks joined by q(p−1) positively half-twisted bands, one for each crossing. The first block has one band between each adjacent pair of disks, so its incidence graph is a path; attaching bands along a tree joins the disks to a disk. Each of the remaining q−1 blocks has p−1 bands.

3.1F1step 1.1step 2.1construct

Add the remaining blocks in order, and within each block add the bands in the order σ1,…,σp−1. For each added band, a small ball containing it and the corresponding band from the preceding block can be chosen disjoint from the other crossing balls after sliding their strand rectangles along the Seifert disks. The two bands are positive half twists on the same adjacent pair; their union with the two intervening disk strips is an annulus whose boundary components have linking number +1, hence a positive Hopf band. The old band meets the already-built surface in a square, the new annulus lies on the opposite side of that square, and the orientations agree because both bands come from positive crossings. Thus each added band is exactly a plumbing along a square as defined in the Statement. Repeating this for all (q−1)(p−1) later bands gives the stated grid of positive Hopf plumbings.

4.1F2step 2.1step 3.1algebra

A plumbing replaces the old square and the Hopf annulus by their union, so inclusion-exclusion for Euler characteristic gives χ(Fp,q)=χ(Fp,qold)+0−1=χ(Fp,qold)−1. Starting from the disk in step 2.1, after (p−1)(q−1) plumbings the surface is connected and has χ(Fp,q)=1−(p−1)(q−1).

4.2F1F2step 1.1step 3.1construct

The boundary of the constructed surface is the closure of the braid in step 1.1. Its permutation has one cycle, so the boundary has one component; the construction is connected and oriented at every band attachment. It is therefore a Seifert surface for T(p,q) in the sense of [F2].

5.1F2step 4.1step 4.2algebra∎

Since (p−1)(q−1) is even, the one-boundary-component identity χ(F)=1−2g(F) and step 4.1 give g(Fp,q)=(p−1)(q−1)/2.

Diagram

For T(3,4) the grid has (3−1)(4−1)=6 positive Hopf-band plumbings. The three columns are the three later braid blocks and the two rows are their adjacent crossing bands; process columns left to right and each column in the crossing order from step 3.1. Each rectangle represents one annulus. The proof checks the boundary, orientation, connectedness, and Euler characteristic from the braid bands; it does not infer them from the drawing.

H+H+H+H+H+H+plumbalongtherectangulargridsixpositiveHopfbands

Depends on

Used by

Dependency tree · two levels

12 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