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.
Hyperbolic Dehn filling and exceptional slopes — Examples and Counterexamples
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Arc Length and Rectifiable Curves
- Binary Operations, Monoids, Groups and Subgroups
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Chain Homotopy and the Homotopy Category
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connected sums and prime decomposition
- Connectedness
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Convexity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Covering Spaces and Lifting
- Cw Complexes and Cellular Homology
- Darboux, L'Hôpital, and Taylor's Theorem
- Dehn surgery on knots and homology
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exactness and the Member Calculus
- Exotic Smooth Structures and Milnor Spheres
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Function Space Topologies and the Exponential Law
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Geometric Braids and Artin Generators
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Hereditary and Productive Behaviour of the Separation Axioms
- Homotopy and Homotopy Equivalence
- Hyperbolic Dehn filling and exceptional slopes
- Hyperbolic knot complements and volume
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Jacobi Fields, Conjugate Points, and the Cut Locus
- Jacobi Fields, Conjugate Points, and the Cut Locus — Examples
- Knot exteriors and peripheral systems
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Long Exact Sequences in Homology
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Oriented Links, Braid Closures, and Markov Equivalence
- Partitions of Unity and Paracompactness
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Reflective Subcategories and the Adjoint Functor Theorems
- Relations, Functions, and Quotients
- Relative Homology Excision and Mayer Vietoris
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Comparison Theorems
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Satellite knots and JSJ tori
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Simplicial Subdivision and Simplicial Approximation
- Simply Connected Plane Domains: the Grand Equivalence
- Singular Chains and Singular Homology
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Exponential Function
- The Fundamental Group
- The Fundamental Group of the Circle
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Logarithm and General Powers
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Universal Properties, Representables and the Yoneda Lemma
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Whitney Embedding Tubular Neighbourhoods and Approximation
2 · Logical flowchart
3 · Definitions, theorems and proofs
None yet.
4 · Examples, counterexamples and false statements
A nonprimitive pair is not an ordinary slope
Statement refuted
Every nonzero integral pair on a torus with ordered basis represents an ordinary Dehn-filling slope.
Statement references
Facts & Assumptions
Given: An oriented torus with ordered integral basis and the generalized cone-filling convention.
Slopes and generalized fillings on torus cusps: an ordinary slope is represented by a primitive integral pair modulo simultaneous sign; a realized generalized parameter with primitive has core direction and cone angle .
Proof
Given: The torus with ordered basis and the generalized cone-filling convention.
The coordinates have greatest common divisor , 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 .
Write , so the radial factor is . If a hyperbolic deformation realizes this generalized parameter, [F1] gives its completion cone angle , rather than the full angle 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.
The figure-eight complement and its nonhyperbolic zero filling
Example
Assume the Axiom of Choice. Let be the standard figure-eight knot, let 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 , where is the volume of one regular ideal tetrahedron and is the Lobachevsky function. The ordinary zero filling along is a torus bundle over with monodromy matrix on the capped fiber homology, and the filled manifold admits no complete hyperbolic metric.
Example references
Diagram
After capping, the punctured-torus fiber becomes . The square presents it by identifying equally labelled opposite edges in the indicated directions; is horizontal and vertical, so for the usual square orientation. The curved arrow labels the monodromy action on homology, and the separate circle marks the 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.
The Axiom of Choice: AC selects from every family of nonempty sets.
The Axiom of Countable Choice (): selects from every countable family of nonempty sets.
AC implies DC implies countable choice: in ZF, .
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 .
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 .
Closed hyperbolic three-manifold groups contain no Z-squared subgroup: under , a closed connected orientable three-manifold with a complete curvature metric has fundamental group with no subgroup isomorphic to .
Slopes and generalized fillings on torus cusps: ordinary filling along attaches a solid torus with meridian disk boundary in that slope.
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.
A covering map induces an injective homomorphism on fundamental groups: every covering map induces an injective homomorphism on fundamental groups.
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
First identify the two figure-eight models used here. In [F3], is the closure of , 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 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.
Write the bundle as the mapping torus of its torus monodromy. Pull it back along the explicit universal cover of ; its total space is , and the pullback projection is a covering because it is trivial over each lifted bundle chart. Its fundamental group is . By [F8], this subgroup injects into the fundamental group of the filled manifold.
If the filled manifold admitted a complete hyperbolic metric, it would be a closed connected orientable three-manifold with curvature : 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 subgroup, contradicting step 2.1. Hence the zero filling is nonhyperbolic. The original complete structure has volume by step 1.1.