{"id":"arxiv/2607.04001","url":"https://arxiv.org/abs/2607.04001","tags":["math.DS","math.GR"],"score":0,"title":"How (not) to prove (un)distortion for diffeomorphisms of one-manifolds","domain":"math.DS","source":"arxiv","authors":["Hélène Eynard-Bontemps","Andrés Navas"],"reviews":0,"subject":"math.DS","summary":"This article addresses the following general question: Given a one-dimensional manifold $M$ and $1 \\le r < s \\le \\infty$, does there exist a $C^s$ orientation preserving compactly supported diffeomorphism of $M$ that is undistorted in the group $\\mathrm{Diff}_{c,+}^s(M)$ of such diffeomorphisms while distorted in the bigger group of $C^r$ diffeomorphisms? Interestingly, the answer is known to be positive in the case $(r,s)=(1,2)$ and negative in the case $(r,s)=(2,\\infty)$, according to arXiv:2004.07055 and arXiv:2507.13770, respectively. The first part of this note originates from a failed…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-04","reactions":{}}