MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Take $X$ as the set of knots in the 3-sphere (i.e. smooth embeddings of $S^1$ in $S^3$ up to smooth isotopy), endowed with the Gordian distance $d$.

For a fixed knot $K$ we can define the map $\varphi_K : X \rightarrow X$ as $\varphi_K (K^\prime) = K^\prime \sharp K$ .

It is easy to show that $ \forall K \in X$ we have $ d(K_1, K_2) \ge d(\varphi_K (K_1) , \varphi_K (K_2))$.

My question is: does the equality hold? Or in other words is the map $\varphi_K $ and isometry on $X$ with respect to $d$?

share|cite|improve this question
What is this distance between knots ? (pure curiosity) – Thomas Richard Apr 21 '13 at 16:45
@Thomas: Distance between knots is the least number of crossings (in a knot diagram) one needs to change in order to transform one knot to the other. For the question itself, it is not even known if crossing number is additive (see for the best result so far); distance-preservation would be much harder to prove. Maybe, though, a counter-example would be easier. On the other hand, Lackenby's result suggests to look for questions on "coarse geometry" of the "knot space X" e.g., if X is coarsely Euclidean or hyperbolic. – Misha Apr 21 '13 at 17:37

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.