Sharp bounds for geometric rigidity of isometries on Heisenberg groups (Q954211)

From the authors' abstract: We study geometric rigidity on the Heisenberg groups \(\mathbb H^n\), where \(n > 1\). Our main result is the following theorem. Theorem. Let \(U\) be a John domain in the Heisenberg group \(\mathbb H^n\), where \(n > 1\), with inner radius \(\alpha\) and outer radius \(\beta\). Then, for any \(f\in I(1+\varepsilon,U)\), there exists an isometry \(\theta\) for which \[ \int_U \exp\left(\left(\tfrac{\beta}{\alpha}\right)^{2n+3}\tfrac{N}{\varepsilon}\,|D_hf(x)-D_h\theta(x)|\right)\,dx\leq 2|U| \] and \[ \sup_{x\in U}d(f(x),\theta(x))\leq N_2\,\tfrac{\beta^2}{\alpha}(\sqrt{\varepsilon}+\varepsilon). \] The constants \(N_1\) and \(N_2\) depend only on \(n\).