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

Zero filling of a fibered knot caps its fiber

Statement

Assume the Axiom of Choice. Let K8 be the standard figure-eight knot with compact exterior obtained by deleting the binding neighborhood from its open-book presentation and peripheral basis (μ,λ), where μ is the positive meridian and λ is the preferred zero-homology longitude. The exterior fibers over S1 with fiber a once-punctured torus and monodromy fixing its boundary pointwise. Filling along the slope λ produces a torus bundle over S1. For the fiber and ordered core basis in the figure-eight plumbing convention, the induced action on the capped torus homology is (2111).

Facts & Assumptions

Given: The chosen exterior of the standard figure-eight knot, its positive meridian and preferred longitude, and the square-plumbed fiber and monodromy convention.

[A1]

The Axiom of Choice: every family of nonempty sets has a choice function.

[F1]

The Axiom of Countable Choice (ACω): ACω selects from every countable family of nonempty sets.

[F2]

AC implies DC implies countable choice: in ZF, AC⇒DC⇒ACω.

[F3]

Oriented slopes and knot Dehn filling: with the stated peripheral basis, the integer coefficient 0 is the unoriented slope represented by λ; ordinary filling attaches a solid torus whose meridian is that slope.

[F4]

Homology and preferred longitude of a knot exterior: under AC the preferred longitude is, up to sign, the unique primitive boundary class that maps to zero in H1(EK;Z), and (μ,λ) is a basis.

[F5]

The figure-eight complement is a punctured-torus bundle: the exterior is the mapping torus of a once-punctured torus, with boundary-fixing monodromy whose capped homology matrix is (2111).

[F6]

Slopes and generalized fillings on torus cusps: a filling along a selected boundary slope is obtained by attaching an oriented solid torus with the specified meridian slope.

[F7]

Any two attaching maps with the same meridian slope give oriented-homeomorphic fillings by a homeomorphism that is the identity on the unfilled exterior. A meridian-preserving torus homeomorphism extends over a solid torus

Proof

1.1givenA1F1F2F5construct

By [F2] and [A1], the needed countable-choice hypothesis [F1] holds. Let F be the fiber from [F5]. Cutting the exterior along F gives F×[0,1], with its interval ends reidentified by the monodromy φ; because φ fixes ∂F pointwise, the boundary torus is identified with ∂F×S1.

2.1givenF3F4step 1.1construct

The curve ∂F on the peripheral torus is an essential parallel of the knot and bounds the fiber in the exterior, so its homology class maps to zero in H1(EK8;Z). It is primitive because it is a simple essential curve. By uniqueness in [F4], it represents λ up to orientation, hence it is exactly the unoriented filling slope 0 by [F3].

3.1F3F6F7step 1.1step 2.1construct

For the model gluing, use the second coordinate of D2×S1 as the mapping-torus direction and identify the meridian disk boundary with ∂F×{t}. The filled space is the mapping torus of F‾=F∪∂FD2: extend φ over the disk by the identity, which is continuous and fixes the seam since φ∣∂F=id. The actual filling map has the same meridian slope by [F3]; [F7] extends the transition map over the filling solid torus, so the actual filling is oriented-homeomorphic to this model mapping torus.

4.1F5step 3.1algebra∎

The surface F‾ is obtained from a once-punctured torus by capping its sole boundary component with a disk, so it is a closed torus. The mapping torus of the extended homeomorphism φ‾ is consequently a torus bundle over S1. Inclusion F↪F‾ induces an isomorphism on first homology, and the extension is the identity on the cap, so its matrix remains the matrix in [F5].

Depends on

Used by

Dependency tree · two levels

28 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