Alphabeta Math
Pipeline-generated
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.

✓ 2 results · all verified · 0 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full by a delegated reviewing agent on the owner's instruction; the judge is an additional, independent cross-model AI review of the proofs. The 2 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Hyperbolic Dehn filling and exceptional slopes — Examples and Counterexamples

1 · Prerequisites

2 · Logical flowchart

3 · Definitions, theorems and proofs

None yet.

4 · Examples, counterexamples and false statements

CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck pendingverified 2026-10-22 (gpt-6.1-sol)Open item page →

A nonprimitive pair is not an ordinary slope

Statement refuted

Every nonzero integral pair (p,q) on a torus with ordered basis ([μ],[λ]) represents an ordinary Dehn-filling slope.

Facts & Assumptions

Given: An oriented torus with ordered integral basis ([μ],[λ]) and the generalized cone-filling convention.

[F1]

Slopes and generalized fillings on torus cusps: an ordinary slope is represented by a primitive integral pair modulo simultaneous sign; a realized generalized parameter r(p,q) with primitive (p,q) has core direction (p,q) and cone angle 2π/r.

Proof

Given: The torus with ordered basis ([μ],[λ]) and the generalized cone-filling convention.

1.1givenF1algebra

The coordinates (2,0) have greatest common divisor 2, so they are not primitive. By [F1], they therefore do not represent an ordinary slope or the meridian class of an ordinary smooth filling. The primitive pair on the same ray is (1,0).

2.1givenF1step 1.1algebra∎

Write (2,0)=2(1,0), so the radial factor is r=2. If a hyperbolic deformation realizes this generalized parameter, [F1] gives its completion cone angle 2π/2=π, rather than the full angle 2π of an ordinary smooth filling. No realization is asserted or needed: step 1.1 already supplies a nonzero integral pair that cannot be the primitive meridian class of an ordinary filling, refuting the stated universal claim.

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck pendingverified 2026-10-22 (gpt-6.1-sol)Open item page →

The figure-eight complement and its nonhyperbolic zero filling

Example

Assume the Axiom of Choice. Let K8 be the standard figure-eight knot, let EK8 be the exterior obtained by deleting the binding neighborhood from its open-book presentation, and use the positive meridian μ and preferred longitude λ. The interior of the exterior admits a complete finite-volume hyperbolic metric obtained by gluing two regular ideal tetrahedra, of total volume 2v3=6Λ(π/3)≈2.02988, where v3=3Λ(π/3) is the volume of one regular ideal tetrahedron and Λ is the Lobachevsky function. The ordinary zero filling along λ is a torus bundle over S1 with monodromy matrix (2111) on the capped fiber homology, and the filled manifold admits no complete hyperbolic metric.

Diagram

After capping, the punctured-torus fiber becomes T2. The square presents it by identifying equally labelled opposite edges in the indicated directions; a is horizontal and b vertical, so a⋅b=+1 for the usual square orientation. The curved arrow labels the monodromy action on homology, and the separate circle marks the S1 base. The proof is independent of this presentation.

diagram failed to render:
\begin{tikzpicture}[>=stealth,scale=1]
  \draw[->,blue,thick] (0,0) -- node[below] {$a$} (1.5,0);
  \draw[->,blue,thick] (0,1.5) -- node[above] {$a$} (1.5,1.5);
  \draw[->,red,thick] (0,0) -- node[left] {$b$} (0,1.5);
  \draw[->,red,thick] (1.5,0) -- node[right] {$b$} (1.5,1.5);
  \node at (0.75,0.75) {$T^2$ fiber};
  \draw[->,thick] (1.2,1.8) .. controls (1.9,2.9) and (-0.4,2.9) .. (0.3,1.8);
  \node[above] at (0.75,2.8) {$\varphi_* = \begin{pmatrix}2&1\\1&1\end{pmatrix}$};
  \draw[thick] (3.7,0.75) circle (0.30);
  \node[below] at (3.7,0.25) {$S^1$ base};
\end{tikzpicture}

Facts & Assumptions

Given: AC and the standard figure-eight knot with chosen compact exterior and peripheral basis (μ,λ), with λ the preferred longitude.

[A1]

The Axiom of Choice: AC selects from every family of nonempty sets.

[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]

The standard two-tetrahedron figure-eight gluing is complete: the standard two-tetrahedron gluing gives the figure-eight exterior a complete finite-volume hyperbolic metric, with total volume 2v3.

[F4]

Zero filling of a fibered knot caps its fiber: under AC, filling the figure-eight exterior along λ caps its once-punctured torus fiber and gives the torus bundle whose homology matrix is (2111).

[F5]

Closed hyperbolic three-manifold groups contain no Z-squared subgroup: under ACω, a closed connected orientable three-manifold with a complete curvature −1 metric has fundamental group with no subgroup isomorphic to Z2.

[F6]

Slopes and generalized fillings on torus cusps: ordinary filling along λ attaches a solid torus with meridian disk boundary in that slope.

[F7]

Covering maps, evenly covered neighbourhoods, fibres, sheets, and trivial coverings: a covering map is a continuous surjection locally given by disjoint sheets, each mapped homeomorphically onto the same open set downstairs.

[F8]

A covering map induces an injective homomorphism on fundamental groups: every covering map induces an injective homomorphism on fundamental groups.

[F9]

The figure-eight complement is a punctured-torus bundle: the standard figure-eight knot is presented as the boundary of the square plumbing of one positive and one negative Hopf band, and deleting its binding neighbourhood gives the stated once-punctured-torus open-book exterior.

Proof

1.1givenA1F1F2F3F4F6F9construct

First identify the two figure-eight models used here. In [F3], K8 is the closure of (σ1σ2−1)2, the standard four-crossing figure-eight diagram. In [F9], the same standard figure-eight knot is presented as the boundary of the square plumbing of a positive and a negative Hopf band; Calegari's Example 5.39 identifies the boundary of the opposite-handed Hopf-band Murasugi sum as the figure-eight knot. Thus both are the same oriented 41 knot class, and an orientation-preserving ambient isotopy identifies the braid closure with the plumbing boundary. Choose the binding and tubular neighborhoods compatibly under this isotopy. It identifies the compact exteriors and carries the positive meridian and preferred longitude to the corresponding peripheral classes (up to simultaneous reversal, which does not change the unoriented zero slope). The hyperbolic exterior from [F3] and the fibered exterior from [F9] are therefore the same marked exterior for this example. By [A1] and [F2], the countable-choice premise [F1] holds. The face gluing and regular-shape assignment in [F3] give the complete finite-volume metric and its two-tetrahedron volume. By [F4] and [F6], the zero filling along the preferred longitude is the stated torus bundle.

2.1F7F8step 1.1construct

Write the bundle as the mapping torus of its torus monodromy. Pull it back along the explicit universal cover t↦e2πit of S1; its total space is T2×R, and the pullback projection is a covering because it is trivial over each lifted bundle chart. Its fundamental group is π1(T2)≅Z2. By [F8], this subgroup injects into the fundamental group of the filled manifold.

3.1F3F5F6step 1.1step 2.1contradiction∎

If the filled manifold admitted a complete hyperbolic metric, it would be a closed connected orientable three-manifold with curvature −1: the compact connected exterior has its sole boundary filled by the oriented solid torus of [F6], and the orientation extends across the orientation-reversing boundary attachment. The countable-choice hypothesis holds by step 1.1. By [F5] its fundamental group could contain no Z2 subgroup, contradicting step 2.1. Hence the zero filling is nonhyperbolic. The original complete structure has volume 2v3=6Λ(π/3) by step 1.1.

Sources