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 be coprime integers. There is a connected compact smooth oriented embedded surface whose oriented boundary is and whose genus is . It can be constructed from a disk by plumbing 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 .
Statement references
Facts & Assumptions
Given: Countable Choice and coprime integers .
Countable Choice is the choice-function principle for sequences of nonempty sets (The Axiom of Countable Choice ()).
Coprime torus knot parameterizes on the standard Heegaard torus by the primitive slope .
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 for a one-boundary-component surface.
Proof
Use the solid-torus side with core the first-coordinate circle, so the second coordinate is the meridional disk coordinate. At longitudinal angle in the first coordinate, the knot meets this disk at the points with second-coordinate angles , . Place these points at the vertices of a regular -gon. A counterclockwise rotation by , tapered to fix the disk boundary, carries each point to the next and crosses consecutive points once in the order ; each is the positive half twist of adjacent points. Thus one such increment is the braid block , and the rotation through gives . The lifted curve has winding vector in the fixed Heegaard-torus coordinates, exactly the parameterization in [F1]. The braid block permutes the points by a -cycle, so its th power has one cycle because .
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 disks joined by 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 blocks has bands.
Add the remaining blocks in order, and within each block add the bands in the order . 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 , 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 later bands gives the stated grid of positive Hopf plumbings.
A plumbing replaces the old square and the Hopf annulus by their union, so inclusion-exclusion for Euler characteristic gives . Starting from the disk in step 2.1, after plumbings the surface is connected and has .
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 in the sense of [F2].
Since is even, the one-boundary-component identity and step 4.1 give .
Diagram
For the grid has 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.
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
- Alessia Cattabriga and Stefano Francaviglia, Knot Theory and Applications: Lecture Notes (standard reference, not scraped)
- Danny Calegari, Introduction to Knot Theory (standard reference, not scraped)
- Selman Akbulut and Burak Ozbagci, Lefschetz Fibrations on Compact Stein Surfaces (standard reference, not scraped)