Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck pendingjudge 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 figure-eight complement is a punctured-torus bundle

Statement

Assume the Axiom of Countable Choice for the chosen smooth knot-exterior data. Let K8 be the standard figure-eight knot, presented as the boundary of the square plumbing of one positive and one negative Hopf band, with one boundary component. A positive Hopf band is an oriented annulus whose positive normal push-off of its core has linking number +1 with the core; a negative Hopf band has linking number −1. A square plumbing identifies a square in the boundary collars of the annuli with the four boundary edges alternating between the annuli, then smooths corners. Let F be this plumbed surface, and choose the compact exterior by deleting the interior of the binding neighborhood N(K8)≅∂F×D2 supplied by the open book; on every page this neighborhood meets the page in an annular collar of ∂F. Let a,b be the core curves, ordered so that a is the positive-band core and a⋅Fb=+1. The exterior EK8 fibers over S1 with fiber F. With the twist convention that the positive twist Ra sends a↦a, b↦a+b, and the negative twist Lb sends a↦a+b, b↦b, the monodromy is Ra∘Lb. After capping ∂F by a disk, its action on the ordered homology basis ([a],[b]) is represented by (2111).

Facts & Assumptions

Given: The explicitly plumbed oriented knot K8, the chosen compact exterior EK8, and the square-plumbing surface with ordered core curves a,b.

[A1]

The Axiom of Countable Choice, written ACω, is the hypothesis of the smooth exterior convention The Axiom of Countable Choice (ACω).

[F1]

Knot exterior: the chosen exterior is S3 with the interior of the supplied closed tubular neighborhood removed.

[F2]

Oriented links in the three-sphere and ambient isotopy: a knot is a smooth oriented circle embedded in the standard oriented S3, considered up to orientation-preserving ambient isotopy.

[F3]

External input. Calegari, Foliations and the Geometry of 3-Manifolds, §5.8.1, Construction 5.37 and Theorem 5.38 (printed pp.206–207), states that the Murasugi sum of fiber surfaces is a fiber surface and its monodromy is the composition of the monodromies extended by the identity. Example 5.39 identifies the sum of oppositely handed Hopf bands as a figure-eight fiber surface. We use this theorem as an input; its proof is not reconstructed here.

Proof

1.1givenA1F2construct

In S3={(z1,z2)∈C2:∣z1∣2+∣z2∣2=1}, the standard Hopf link is H={z1z2=0}. On its complement, f(z1,z2)=z1z2/∣z1z2∣ is a submersion to S1. Writing r=∣z1∣2, θ=arg⁡z1, and ϕ=arg⁡z2, a fiber is 0<r<1, ϕ=−θ+constant, hence an annulus. For base angle s∈[0,2π], transport by θs=θ+χ(r)s, ϕs=ϕ+(1−χ(r))s, where χ=1 near r=0 and χ=0 near r=1, fixes both boundary circles at s=2π and makes one full annular twist between them. The sign is determined by the signed linking of the positive normal push-off of the core with the core: changing the handedness of the Hopf band reverses the twist. With a⋅Fb=+1, the positive twist about a acts by b↦a+b, while the negative twist about b acts by a↦a+b. Hence the two band monodromies have the stated actions Ra and Lb.

2.1F1F3givenstep 1.1construct

The square plumbing is the Murasugi sum in Construction 5.37 of [F3]. Theorem 5.38 of [F3] gives a fibration with fiber F and return map the composition of the two Hopf-band monodromies extended by the identity; in the stipulated order, step 1.1 identifies it as Ra∘Lb. Example 5.39 of [F3] identifies the boundary of the opposite-handed sum as the standard figure-eight knot. Deleting the binding neighborhood as in [F1] therefore gives the stated exterior as the mapping torus.

3.1givenstep 2.1algebra

Each annulus has Euler characteristic 0, and the plumbing square has Euler characteristic 1, so χ(F)=0+0−1=−1. The plumbing is connected, oriented, and has one boundary component by the stated gluing; hence χ(F)=1−2g(F) gives g(F)=1. Thus F is a once-punctured torus.

4.1givenstep 2.1algebra∎

In the ordered basis ([a],[b]), the columns of Ra are (1,0) and (1,1), while the columns of Lb are (1,1) and (0,1). Their product is (1101)(1011)=(2111). Inclusion of the once-punctured torus into the torus obtained by capping its sole boundary induces an isomorphism on H1, since attaching a disk along the boundary adds no 1-cycle or 2-cycle relation in degree one. Extending the boundary-fixing monodromy by the identity on that disk therefore has the same displayed action.

Diagram

The horizontal and vertical bands are plumbed along the shaded square D. The oriented core arcs cross once in D, with the indicated order giving a⋅Fb=+1; their closures in the annuli are omitted from this schematic. The “positive” and “negative” labels record the Hopf-band handedness, equivalently the signs of their core push-off linking numbers. This is not a planar projection of the knot. The proof uses the explicit open-book map and product gluing, not the drawing.

abpositiveHopfbandnegativeHopfbandD

Depends on

Used by

Dependency tree · two levels

15 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