1 · The essentials
The question is whether two different ways of changing space around a knot can lead to spaces that are ultimately the same. Here the knot lies in a three-dimensional sphere and must not be the ordinary unknotted loop. The changes under consideration are specified by choices called surgery slopes. The manuscript claims that different slopes always give different spaces when sameness must preserve orientation. In everyday terms, the comparison must respect a consistent sense of handedness. The repository summary explicitly includes the meridional slope among the choices covered. This result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine modifying the same garment using two different stitching instructions, then asking whether the finished garments can be rearranged to match without reversing inside and outside. The manuscript’s claim is that, for the knots and operations it considers, different instructions cannot produce such a match; actual surgery concerns three-dimensional spaces, not fabric.
Why it matters
The claim addresses the purely cosmetic surgery conjecture: whether distinct surgery choices on the same knot can yield spaces that are equivalent while preserving orientation. If established as stated, it rules out that possibility for every nontrivial smooth knot in the three-sphere, rather than just for selected knots or slopes.
2 · Going further
The precise claim concerns a nontrivial smooth knot . If and are distinct Dehn surgery slopes, the manuscript claims that the resulting manifolds are not orientation-preservingly homeomorphic. The repository summary explicitly states that the meridional slope is included.
The word “purely” matters here: the forbidden equivalence is an orientation-preserving homeomorphism. The statement supplied does not rule out orientation-reversing equivalences. Its hypotheses also matter: it concerns nontrivial smooth knots in , not arbitrary knots in arbitrary three-dimensional manifolds.
The supplied abstract announces the result but gives no main idea of the argument, intermediate results, or methods. Only one manuscript, “Purely cosmetic surgery on knots in the three-sphere,” is supplied, so there are no companion manuscripts to relate to it. The main result is not formalized in Lean and has not been formally verified.
Useful notions
- Knots and the distinction between trivial and nontrivial knots
- The three-sphere
- Dehn surgery and surgery slopes
- Homeomorphisms and orientation
What was known before / what is new
Before
The source identifies the question as the purely cosmetic surgery conjecture for knots in the three-sphere. It supplies no earlier partial results, historical timeline, or account of previously available methods.
New
The manuscript claims to resolve the conjecture for nontrivial smooth knots in the three-sphere by excluding orientation-preserving homeomorphisms between surgeries along distinct slopes. The repository summary makes explicit that the statement includes the meridional slope.
Limits and assumptions
The hypotheses are a nontrivial smooth knot in and two distinct Dehn surgery slopes; the meridional slope is included. The conclusion concerns orientation-preserving homeomorphisms only. The supplied text gives no argument and identifies no remaining open problems, so it does not support conclusions about other ambient spaces, trivial knots, or orientation-reversing equivalences. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Nontrivial knot —
- A knot that is not equivalent to an unknotted loop.
- Three-sphere —
- The space denoted by in which the knots in the stated conjecture lie.
- Dehn surgery slope —
- A choice specifying a Dehn surgery on a knot.
- Orientation-preserving homeomorphism —
- An equivalence of topological spaces that preserves their chosen orientation.
- Purely cosmetic surgery —
- The situation in which distinct surgery slopes on the same knot yield orientation-preservingly homeomorphic manifolds.
Keywords : Topology · Dehn surgery · Purely cosmetic surgery
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Distinct Dehn surgery slopes on a nontrivial smooth knot in S3 never produce orientation-preservingly homeomorphic manifolds, proving the purely cosmetic surgery conjecture. The statement includes the meridional slope.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
Purely cosmetic surgery on knots in the three-sphere
23/09/2026We prove the purely cosmetic surgery conjecture for knots in the three-sphere. Distinct Dehn surgery slopes on a nontrivial smooth knot never give orientation-preservingly homeomorphic manifolds.