A variant of Gromov's problem on Hölder equivalence of Carnot groups (Q2401823)

Let \(\alpha > 0\) and let \((X,d), (Y,d')\) be metric spaces. A map \(f: X \to Y\) is of class \(C^{0,\alpha+}\) if there exists a homeomorphism \(\beta : [0, \infty[ \to [0, \infty[\) such that \(d'(f(x), f(y)) \leq d(x,y)^\alpha \beta(d(x,y))\) for all \(x,y \in X\). \(J^k(\mathbb{R}) := J^k(\mathbb{R}, \mathbb{R})\) denotes the jet space defined as follows: Given \(f,g \in C^k(\mathbb{R})\) define for each \(x \in \mathbb{R}\) an equivalence relation, where \(f \sim_x g\) iff their \(k^{\text{th}}\)-order Taylor polynomials agree at \(x\). Then let \(J^k(\mathbb{R}) = \bigcup_{x \in \mathbb{R}}C^k(\mathbb{R}) / \sim_x\). The authors show the following: Given \(\alpha \geq \frac{1}{2}\), \(n,k \in \mathbb{N}\) with \(n > 1, k > 0\) let \(\Omega\) be an open subset of \(\mathbb{R}^n\). Then there can not exist an injective map in the class \(C^{0, \alpha+}(\Omega;J^k(\mathbb{R}))\) which is also locally Lipschitz when considered as a map into \(\mathbb{R}^{k+2}\). Furthermore it is shown: Given \(\alpha \geq \frac{1}{2}\) and an open subset \(\Omega \subseteq \mathbb{R}^k\). If \((\mathbb{R}^n,\cdot)\) is a Carnot group of step at most \(3\) which is purely \(k\)-unrectifiable. Then there can not exist an injective map in the class \(C^{0, \alpha+}(\Omega;(\mathbb{R}^n, \cdot))\) which is also locally Lipschitz when considered as a map into \(\mathbb{R}^n\).