Bi-Lipschitz extension from boundaries of certain hyperbolic spaces (Q1953078)

Suppose that a metric space \(H\) is homeomorphic to \(\mathbb R^n\) and admits a discrete co-compact group of isometries \(\Gamma\) as well as a homothety \(\alpha\). It is further assumed that there exists a fundamental domain \(K\) for the action of \(\Gamma\) so that the rescaling \(\alpha K\) can be tiled by finitely many \(\Gamma\)-translates of \(K\). Finally, assume that the space \(H^+=H\times\mathbb R_+\) admits a Riemannian metric such that \(\alpha\) and all the elements of \(\Gamma\) extend to isometries of \(H^+\). Such a space \(H^+\) is called a metric similarity space with base \(H\). The author proves, in particular, that if \(H^+\) is a metric similarity space with base \(H\) and dimension not equal 4, then every quasisymmetry of \(H\) extends to a bi-Lipschitz homeomorphism of \(H^+\). Equivalently, every quasi-isometry of \(H^+\) that preserves the vertical direction is bounded distance away from a bi-Lipschitz homeomorphism. Here, the vertical direction of \(H^+\) is the point of the boundary at infinity of \(H^+\) represented by a quasi-geodesic \(\{x\}\times[1,\infty)\) for some \(x\in H\). This result applies, in particular, to homogeneous manifolds \(M=N\rtimes \mathbb R_+\), where the group structure of the nilpotent group \(N\) is defined by polynomials with rational coefficients and the Lie algebra of \(N\) is graded.