Families of cosmetic surgeries
Pith reviewed 2026-05-13 19:08 UTC · model grok-4.3
The pith
Infinite families of chirally cosmetic surgeries exist on chiral hyperbolic knots, disproving conjectures that they do not appear.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct infinite families of chirally cosmetic surgeries on chiral hyperbolic knots and purely cosmetic surgeries on hyperbolic manifolds with multiple cusps, disproving conjectures that these phenomena do not appear, including Problem 1.12(d) in the K3 problem list. We also give some hints regarding why chirally cosmetic surgeries appear to be more common than purely cosmetic surgeries on 1-cusped manifolds.
What carries the argument
Infinite families of specific hyperbolic knots and multi-cusped manifolds obtained through targeted Dehn fillings that preserve hyperbolicity while forcing the resulting manifolds to be homeomorphic to their mirrors or to each other.
If this is right
- Conjectures that chirally cosmetic surgeries cannot occur on chiral hyperbolic knots are false.
- Purely cosmetic surgeries can occur on hyperbolic manifolds with more than one cusp.
- The distinction between chirally cosmetic and purely cosmetic surgeries is not as strict as some prior expectations suggested.
- Problem 1.12(d) from the K3 list has counterexamples.
Where Pith is reading between the lines
- The same construction methods might generate examples on other classes of knots or with different numbers of cusps.
- The hints about relative frequency could guide searches for when orientation-reversing homeomorphisms arise after surgery.
- These families might affect practical recognition algorithms for 3-manifolds by providing explicit cases where invariants must match despite apparent differences.
- Further analysis of the surgery coefficients in the families could reveal patterns that apply to broader Dehn surgery questions.
Load-bearing premise
The knots and manifolds in the constructed families remain hyperbolic and chiral or multi-cusped after the chosen Dehn fillings.
What would settle it
A computation or geometric argument showing that one of the surgeries in the families produces a manifold that fails to be homeomorphic to its mirror image or that loses hyperbolicity would show the families do not work as claimed.
Figures
read the original abstract
We construct infinite families of chirally cosmetic surgeries on chiral hyperbolic knots and purely cosmetic surgeries on hyperbolic manifolds with multiple cusps, disproving conjectures that these phenomena do not appear, including Problem 1.12(d) in the K3 problem list. We also give some hints regarding why chirally cosmetic surgeries appear to be more common than purely cosmetic surgeries on $1$-cusped manifolds.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs infinite families of chirally cosmetic surgeries on chiral hyperbolic knots and purely cosmetic surgeries on hyperbolic manifolds with multiple cusps. These families serve as counterexamples to conjectures that such surgeries do not occur, including Problem 1.12(d) in the K3 problem list. The paper also provides some hints on why chirally cosmetic surgeries appear more common than purely cosmetic surgeries on 1-cusped manifolds.
Significance. If the constructions hold, the result is significant because it supplies explicit infinite families of Dehn fillings that realize both chiral and pure cosmetic phenomena on hyperbolic objects, directly disproving several standing conjectures. The direct comparison of fundamental groups or explicit homeomorphisms, combined with standard large-parameter hyperbolicity arguments, provides concrete, falsifiable examples rather than conditional or parameter-dependent claims.
minor comments (2)
- [Abstract] Abstract: the phrase 'give some hints' is vague; the corresponding section (likely §4 or the discussion of prevalence) should be referenced explicitly so readers know where the heuristic observations appear.
- [Construction sections] The statement that hyperbolicity holds 'for all but finitely many parameters' would benefit from a brief citation to the precise volume or cusp-geometry theorem invoked, even if standard.
Simulated Author's Rebuttal
We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript.
Circularity Check
No significant circularity; direct constructive existence proof
full rationale
The paper presents an explicit construction of infinite families of Dehn fillings on base hyperbolic knots and multi-cusped manifolds, showing the resulting filled manifolds are homeomorphic (chirally or purely cosmetic) by direct comparison of fundamental groups or explicit homeomorphisms. Hyperbolicity for large parameters follows from standard volume/cusp arguments that are independent of the target cosmetic property. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology; the central existence claim is self-contained against external benchmarks such as the hyperbolic Dehn filling theorem and does not rely on load-bearing self-citations for its validity.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Hyperbolic knots and manifolds admit Dehn surgeries that preserve hyperbolicity for sufficiently large slopes (Thurston's hyperbolic Dehn surgery theorem).
- domain assumption Chiral knots are not equivalent to their mirrors, allowing distinction between orientation-preserving and orientation-reversing homeomorphisms.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Construction 2.1: cusped hyperbolic manifold N with symmetry ϕ permuting first k cusps; output M obtained by filling second to k-th cusps
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
[BKR] R.İ.Baykur,R.C.Kirby,andD.Ruberman,eds.,K3: A New Problem List in Low-Dimensional Topology, vol. 295, Math. Surveys Monogr. To appear, Providence, RI: American Mathematical Society. [BHW99] S. A. Bleiler, C. D. Hodgson, and J. R. Weeks,Cosmetic surgery on knots, Geom. Topol. Monogr.2 (1999), 23–34. [Cul+] M. Culler, N. M. Dunfield, M. Goerner, and J...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.