Almost-isometries are quasi-isometries with multiplicative constant one. Lifting a pair of metrics on a compact space gives quasi-isometric metrics on the universal cover. Under some additional hypotheses on the metrics, we show that there is no almost-isometry between the universal covers. We show that Riemannian manifolds which are almost-isometric have the same volume growth entropy. We establish various rigidity results as applications.
This note is concerned with the geometric classification of connected Lie groups of dimension three or less, endowed with left-invariant Riemannian metrics. On the one hand, assembling results from the literature, we give a review of the complete classification of such groups up to quasi-isometries and we compare the quasi-isometric classification with the bi-Lipschitz classification. On the other hand, we study the problem whether two quasi-isometrically equivalent Lie groups may be made isometric if equipped with suitable left-invariant Riemannian metrics. We show that this is the case for three-dimensional simply connected groups, but it is not true in general for multiply connected groups. The counterexample also demonstrates that `may be made isometric is not a transitive relation.
For n>3 we study spaces obtained from finite volume complete real hyperbolic n-manifolds by removing a compact totally geodesic submanifold of codimension two. We prove that their fundamental groups are relative hyperbolic, co-Hopf, biautomatic, residually hyperbolic, not Kahler, not isomorphic to lattices in virtually connected real Lie groups, have no nontrivial subgroups with property (T), have finite outer automorphism groups, satisfy Mostow-type Rigidity, have finite asymptotic dimension and rapid decay property, and satisfy Baum-Connes conjecture. We also characterize those lattices in real Lie groups that are isomorphic to relatively hyperbolic groups.
For every $kgeqslant 3$, we exhibit a simply connected $k$-nilpotent Lie group $N_k$ whose Dehn function behaves like $n^k$, while the Dehn function of its associated Carnot graded group $mathsf{gr}(N_k)$ behaves like $n^{k+1}$. This property and its consequences allow us to reveal three new phenomena. First, since those groups have uniform lattices, this provides the first examples of pairs of finitely presented groups with bilipschitz asymptotic cones but with different Dehn functions. The second surprising feature of these groups is that for every even integer $k geqslant 4$ the centralized Dehn function of $N_k$ behaves like $n^{k-1}$ and so has a different exponent than the Dehn function. This answers a question of Young. Finally, we turn our attention to sublinear bilipschitz equivalences (SBE). Introduced by Cornulier, these are maps between metric spaces inducing bi-Lipschitz homeomorphisms between their asymptotic cones. These can be seen as weakenings of quasiisometries where the additive error is replaced by a sublinearly growing function $v$. We show that a $v$-SBE between $N_k$ and $mathsf{gr}(N_k)$ must satisfy $v(n)succcurlyeq n^{1/(2k + 1)}$, strengthening the fact that those two groups are not quasiisometric. This is the first instance where an explicit lower bound is provided for a pair of SBE groups.
We extend the mathematical theory of rigidity of frameworks (graphs embedded in $d$-dimensional space) to consider nonlocal rigidity and flexibility properties. We provide conditions on a framework under which (I) as the framework flexes continuously it must remain inside a small ball, a property we call almost-rigidity; (II) any other framework with the same edge lengths must lie outside a much larger ball; (III) if the framework deforms by some given amount, its edge lengths change by a minimum amount; (IV) there is a nearby framework that is prestress stable, and thus rigid. The conditions can be tested efficiently using semidefinite programming. The test is a slight extension of the test for prestress stability of a framework, and gives analytic expressions for the radii of the balls and the edge length changes. Examples illustrate how the theory may be applied in practice, and we provide an algorithm to test for rigidity or almost-rigidity. We briefly discuss how the theory may be applied to tensegrities.
The matrix $A:mathbb{R}^n to mathbb{R}^m$ is $(delta,k)$-regular if for any $k$-sparse vector $x$, $$ left| |Ax|_2^2-|x|_2^2right| leq delta sqrt{k} |x|_2^2. $$ We show that if $A$ is $(delta,k)$-regular for $1 leq k leq 1/delta^2$, then by multiplying the columns of $A$ by independent random signs, the resulting random ensemble $A_epsilon$ acts on an arbitrary subset $T subset mathbb{R}^n$ (almost) as if it were gaussian, and with the optimal probability estimate: if $ell_*(T)$ is the gaussian mean-width of $T$ and $d_T=sup_{t in T} |t|_2$, then with probability at least $1-2exp(-c(ell_*(T)/d_T)^2)$, $$ sup_{t in T} left| |A_epsilon t|_2^2-|t|_2^2 right| leq Cleft(Lambda d_T deltaell_*(T)+(delta ell_*(T))^2 right), $$ where $Lambda=max{1,delta^2log(ndelta^2)}$. This estimate is optimal for $0<delta leq 1/sqrt{log n}$.