No Arabic abstract
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.
We use basic tools of descriptive set theory to prove that a closed set $mathcal S$ of marked groups has $2^{aleph_0}$ quasi-isometry classes provided every non-empty open subset of $mathcal S$ contains at least two non-quasi-isometric groups. It follows that every perfect set of marked groups having a dense subset of finitely presented groups contains $2^{aleph_0}$ quasi-isometry classes. These results account for most known constructions of continuous families of non-quasi-isometric finitely generated groups. They can also be used to prove the existence of $2^{aleph_0}$ quasi-isometry classes of finitely generated groups having interesting algebraic, geometric, or model-theoretic properties.
We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $mathfrak g$ of left-invariant vector fields on a Lie group $mathbb G$ and we assume that $S$ Lie generates $mathfrak g$. We say that a function $f:mathbb Gto mathbb R$ (or more generally a distribution on $mathbb G$) is $S$-polynomial if for all $Xin S$ there exists $kin mathbb N$ such that the iterated derivative $X^k f$ is zero in the sense of distributions. First, we show that all $S$-polynomial functions (as well as distributions) are represented by analytic functions and, if the exponent $k$ in the previous definition is independent on $Xin S$, they form a finite-dimensional vector space. Second, if $mathbb G$ is connected and nilpotent we show that $S$-polynomial functions are polynomial functions in the sense of Leibman. The same result may not be true for non-nilpotent groups. Finally, we show that in connected nilpotent Lie groups, being polynomial in the sense of Leibman, being a polynomial in exponential chart, and the vanishing of mixed derivatives of some fixed degree along directions of $mathfrak g$ are equivalent notions.
In this paper, we prove that certain spaces are not quasi-isometric to Cayley graphs of finitely generated groups. In particular, we answer a question of Woess and prove a conjecture of Diestel and Leader by showing that certain homogeneous graphs are not quasi-isometric to a Cayley graph of a finitely generated group. This paper is the first in a sequence of papers proving results announced in [EFW0]. In particular, this paper contains many steps in the proofs of quasi-isometric rigidity of lattices in Sol and of the quasi-isometry classification of lamplighter groups. The proofs of those results are completed in [EFW1]. The method used here is based on the idea of coarse differentiation introduced in [EFW0].
We show that, in compact semisimple Lie groups and Lie algebras, any neighbourhood of the identity gets mapped, under the commutator map, to a neighbourhood of the identity.
We give a new proof of Gromovs theorem that any finitely generated group of polynomial growth has a finite index nilpotent subgroup. Unlike the original proof, it does not rely on the Montgomery-Zippin-Yamabe structure theory of locally compact groups.