---
abstract: 'We find bounds on the Hilbert space compression of the limit of a directed metric system of groups. We also give estimates on the Hilbert space compression of group extensions of a group $H$ by a a word-hyperbolic group or a group of polynomial growth.'
address:
- |
     K.U.Leuven campus Kortrijk\
    Etienne Sabbelaan 53\
    8500 Kortrijk
- |
    Université de Neuchâtel\
    Institut de mathématiques\
    Rue Emile-Argand 11\
    2009 Neuchâtel
author:
- Dennis Dreesen
title: Hilbert space compression under direct limits and certain group extensions
---

Introduction
============

In [@Gromov], Gromov introduced the notion of uniform embeddability of a finitely generated group into a Hilbert space and suggested that such a group would satisfy the Novikov Conjecture [@Gromov2]. Six years later, Yu came up with a formal proof of this claim [@Yu]. Moreover, together with Skandalis and Tu, he proved that such uniformly embeddable groups also satisfy the coarse Baum-Connes Conjecture [@Yu:2].

A metric space $(X,d)$ is [*uniformly embeddable in a Hilbert space*]{}, if there exist a Hilbert space ${\mathcal{H}}$, non-decreasing functions $\rho_-, \rho_+:{\mathbb{R}}^+ \rightarrow {\mathbb{R}}^+$ such that $\lim_{t\to \infty} \rho_-(t)=+\infty$, and a map $f:X\rightarrow {\mathcal{H}}$, such that $$\rho_-(d(x,y)) \leq d(f(x),f(y)) \leq \rho_+(d(x,y)) \ \forall x,y\in X.$$ The map $f$ is called a uniform embedding of $X$ in ${\mathcal{H}}$. It is called large-scale Lipschitz whenever $\rho_+$ can be taken of the form $\rho_+:t\mapsto Ct+D$ for some $C>0, D\geq 0$. It is Lipschitz if we can take $D=0$. \[def:1\]

Two length functions $l_1$ and $l_2$ on a group (see Definition \[def:lengthfunction\]) are coarsely equivalent if for every $R>0$ there exists $S>0$ such that the $l_1$-ball $B(1,R)$ with radius $R$ and center $1$ is contained in the $l_2$-ball $B(1,S)$; and conversely. Clearly in this case, $(X,l_1)$ is uniformly embeddable if and only if $(X,l_2)$ is uniformly embeddable. Lemma $2.1$ in [@Tu] shows that every discrete countable group $X$ admits a unique proper length function up to coarse equivalence, enabling us to define the concept of discrete countable uniformly embeddable group. This class of groups and its permanence properties have been very well studied, for example by Guentner and Dadarlat in [@guedad]. For our purposes and theirs, the following reformulation of their Proposition $2.1$, which holds for any metric space, is vital.

Let $(X,d)$ be a metric space. Then $X$ is uniformly embeddable in a Hilbert space if and only if for every $n>0$ there exist $S_n >0$ and a Hilbert space valued map $\xi_n:X\rightarrow {\mathcal{H}}, x\to \xi_n^x$ such that $\parallel \xi_n^x \parallel=1$ for all $x\in X$ and such that

1.  $\parallel \xi_n^x - \xi_n^{x'} \parallel \leq \frac{1}{n}$ provided $d(x,x') \leq \sqrt{n}$,

2.  $\parallel \xi_n^x - \xi_n^{x'} \parallel \geq 1$ provided $d(x,x')\geq S_n$.

\[prop:unifembedintro\]

The [*speed at which $(S_n)_{n\in {\mathbb{N}}_0}$ tends to infinity*]{} is an indication on [*how uniformly embeddable*]{} a metric space really is. For example, if $n\mapsto S_n$ is bounded by a polynomial map in $n$, it would make sense to say that the corresponding space is [*more uniformly embeddable*]{} than a space for which $n\mapsto S_n$ is only bounded by an exponential map in $n$. Another, more standard way of describing [*how uniformly embeddable*]{} a metric space $X$ really is, is by looking at the supremum of $\delta \geq 0$ such that there is a large-scale Lipschitz uniform embedding of $X$ and numbers $C',D'>0$ such that $\rho_-$ in Definition \[def:1\] can be taken of the from $r\mapsto \frac{1}{C'} r^\delta - D'$. This supremum is called the Hilbert space compression of $X$ [@guekam]. For $X$ a group, it must be noted that Hilbert space compression is a quasi-isometric invariant, but no longer a coarse invariant. Therefore, it is important that we always specify the chosen length function.

Looking closely at the proof of Proposition \[prop:unifembedintro\], one finds a connection between the Hilbert space compression of a metric space and the growth of the sequence $(S_n)_{n\in {\mathbb{N}}_0}$. In this note, we try roughly to exploit this connection and then use techniques from [@guedad] to get concrete information about the behaviour of the Hilbert space compression of groups under taking direct limits and under taking certain group extensions. Regarding group extensions, we prove the following results in Section \[section:extensions\] (see Theorems \[th:uitbreiding\] and \[th:extension\]).

Assume that $\Gamma$ is a group, equipped with some length function $l=l_{\Gamma}$, that fits in a short exact sequence $$1 \rightarrow H \rightarrow \Gamma \stackrel{\pi}{\rightarrow} G \rightarrow 1.$$ Define a length function $l_G$ on $G$ by setting $l_G(\pi(x))=\inf\{l(y)\mid \pi(y)=\pi(x)\}$. If $G$ with the induced metric from $\Gamma$ has polynomial growth and if $H$ with the induced metric from $\Gamma$ has compression $\delta$, then the compression of $\Gamma$ is at least $\delta/4$. \[th:uitbreidingintro\]

Assume that $\Gamma$ is a finitely generated group, equipped with the word length function $l=l_{\Gamma}$ relative to some finite symmetric generating subset $S$ and that it fits in a short exact sequence $$1 \rightarrow H \rightarrow \Gamma \stackrel{\pi}{\rightarrow} G \rightarrow 1.$$ Equip $G$ with the word length function $l_G$ relative to $\pi(S)$. If $G$ is a finitely generated hyperbolic group in the sense of Gromov [@Gromovhyperbolicgroups] and if $H$, with the induced metric from $\Gamma$, has Hilbert space compression $\delta$, then the Hilbert space compression of $\Gamma$ is at least $\delta/5$. \[th:extensionintro\]

We assume that every metric space in this article is a group and we assume that the metric is induced by a length function.

Hilbert space compression for the limit of a directed system of groups \[section:limit\]
========================================================================================

Throughout this article, every metric space will be a group whose metric is induced by a length function. Let us start by recalling the definition of a length function on a group.

A length function $l$ on a group $G$ is a function $l:G\rightarrow {\mathbb{R}}^+$ satisfying

1.  $l(x)=0 \Leftrightarrow x=1$,

2.  $\forall x\in G, \ l(x)=l(x^{-1})$,

3.  $\forall x,y\in G, \ l(xy)\leq l(x)+l(y)$.

We say that $l$ is proper, whenever $$\forall M \in {\mathbb{R}}^+: \ \mid \{ g\in G \mid l(g)\leq M \} \mid < \infty .$$ Every length function on $G$ induces a left-invariant metric on $G$ by $d(x,y)=l(x^{-1}y) \ \forall x,y\in G$. \[def:lengthfunction\]

Let $G_1\rightarrow G_2 \rightarrow G_3 \rightarrow \ldots$ be a directed system of groups such that the maps $G_i\rightarrow G_{i+1}$ are isometric injections. Denote $G$ the direct limit of this system. By definition, $G$ can be seen as the disjoint union of all the $G_i$ divided by some equivalence relation. Define the induced length function $l$ on $G$ by $l(x):= \lim_i l_{G_i}(x)$. We proceed under the assumption that $l$ is a proper length function on $G$. In this section, we ask ourselves the question how the Hilbert space compression of $G$, denoted by $\alpha(G)$, is related to the Hilbert space compressions of the $G_i$.\
To begin, notice that every $G_i$ can be seen as a metric subspace of $G$ and so $\alpha(G)\leq \inf_{i\in {\mathbb{N}}}\alpha(G_i)$. Clearly, this bound is sharp, since as a family of subgroups we can take $G_i=G \ (\forall i\in {\mathbb{N}})$. It proves more challenging to find a good lower bound for $\alpha(G)$. First, note that the same bound as above, i.e. $\inf_{i\in I}\alpha(G_i)$, is not always a lower bound. As an example, equip the group $${\mathbb{Z}}^{({\mathbb{Z}})}=\{ f:{\mathbb{Z}}\rightarrow {\mathbb{Z}}\mbox{ with finite support} \}=\{(f,a) \in {\mathbb{Z}}\wr {\mathbb{Z}}\mid a=0 \}$$ with the induced metric from ${\mathbb{Z}}\wr {\mathbb{Z}}$. This group is the direct limit of the family of subgroups $G_n:={\mathbb{Z}}^{2n+1}=\{ f:[-n,n]\rightarrow {\mathbb{Z}}\}$, where each ${\mathbb{Z}}^{2n+1}$ is equipped with the subspace metric from ${\mathbb{Z}}^{({\mathbb{Z}})}$. Since this metric is quasi-isometric to the standard word length metric on ${\mathbb{Z}}^{2n+1}$, we obtain ${\mathbb{Z}}^{({\mathbb{Z}})}$ as a limit of groups with compression $1$. However, it follows from the proof of Theorem $3.9$ in [@Arzhantseva] that ${\mathbb{Z}}^{({\mathbb{Z}})}$ has compression less than $\frac{3}{4}$.

Notice moreover that ${\mathbb{Z}}$ and ${\mathbb{Z}}^{({\mathbb{Z}})}$ have different compressions although they are both limits of groups of compression $1$. It will thus be necessary to include more information on how the groups $G_i$ are embedded in their respective Hilbert spaces in order to say something useful about the Hilbert space compression of their limit.

We propose the following [\[theorem:limit\] Assume that $G$ is the direct limit of a directed metric system $(G_i)_{i\in {\mathbb{N}}}$ of groups and that the induced length function $l$ is proper. If $\inf_{i \in {\mathbb{N}}} (\alpha(G_i))=0$, then $\alpha(G)=0$.\
Else, choose $0<\delta < \inf_{i\in {\mathbb{N}}}\alpha(G_i)$ and choose for every $i\in {\mathbb{N}}$, a Hilbert space ${\mathcal{H}}_i$, constants $C_i>0, \widetilde{C_i}, D_i,\widetilde{D_i}\geq 0$ and a map $$f_i:G_i \rightarrow {\mathcal{H}}_i$$ satisfying $$(1/C_i)\ d(x,y)^{\delta} -D_i \leq d(f_i(x),f_i(y)) \leq \widetilde{C_i}\ d(x,y) +\widetilde{D_i}  \ \forall x,y\in G_i.$$ Denote $g:{\mathbb{N}}\rightarrow {\mathbb{N}}$ such that for all $x\in G$ we have $x\in G_{g(n)}$ whenever $l(x)\leq \sqrt{n}$. Then, $$\alpha(G)\geq \limsup_{n\rightarrow \infty}\frac{(\delta/2) \ln(n-1)}{\ln(C_{g(n)}\sqrt{2\ln(2)n} (\widetilde{C_{g(n)}} \ \sqrt{n} + \widetilde{D_{g(n)}}) +C_{g(n)} D_{g(n)})} .$$]{}

Assume that $G$ is an infinite direct sum of finite groups $G=F_0\oplus F_1\oplus F_2 \oplus \ldots$ where $F_0=\{1\}$. We can equip $G$ with a proper length function by setting $l(g)=\min\{n\in {\mathbb{N}}\mid g\in \oplus_{i=0}^n F_i\}$. Clearly, then $G$ is a directed system of metric spaces as above. Recalling the fact that finite groups have Hilbert space compression equal to $1$, we can apply Theorem \[theorem:limit\], obtaining $\alpha(G)=1$.

Let $G\wr H$ be finitely generated and equip it with the word length metric relative to a finite symmetric generating subset. Theorem \[theorem:limit\] can be used as an easy way to estimate the compressions of spaces $G^{(H)}:=\{ f: H \rightarrow G \mid f$ has finite support $\}$, equipped with the induced length function from $G\wr H$. If $G$ is a discrete group with compression $\alpha$ and $H$ has polynomial growth of order $d$, then we obtain the lower bound $\frac{2\alpha}{d+4}$. It must be mentioned that the so obtained lower bound is weaker than the lower bound obtained in [@naoper].

Proposition \[prop:unifembedintro\] from the Introduction plays a very important role in our proofs. It is implied by the following Proposition, which is Proposition $2.1$ of [@guedad]. We will give a (slightly modified version of) Guentner and Dadarlat’s proof here because the details will be of vital importance further on.

Let $X$ be a metric space. Then $X$ is uniformly embeddable in a Hilbert space if and only if for every $R>0$ and $\epsilon>0$ there exists a Hilbert space valued map $\xi:X\rightarrow {\mathcal{H}}, x\to \xi_x$ such that $\parallel \xi_x \parallel=1$ for all $x\in X$ and such that

1.  $\sup \{\parallel \xi_x - \xi_{x'} \parallel: d(x,x') \leq R, x,x'\in X \} \leq \epsilon$,

2.  $ \lim_{S\to \infty} \inf \{ \parallel \xi_x - \xi_{x'} \parallel : d(x,x')\geq S, x,x'\in X \} = \sqrt{2} $.

\[prop:unifembed\]

Assume that $X$ is uniformly embeddable and let $F:X\rightarrow {\mathcal{H}}$ be a uniform embedding of $X$ in a real Hilbert space ${\mathcal{H}}$. Let $\rho_-$ and $\rho_+$ be functions such that $$\rho_-(d(x,y)) \leq \parallel F(x)- F(y) \parallel \leq \rho_+(d(x,y)) .$$ Denote $${\mbox{Exp}}({\mathcal{H}})= {\mathbb{R}}\oplus {\mathcal{H}}\oplus ({\mathcal{H}}\otimes {\mathcal{H}}) \oplus ({\mathcal{H}}\otimes {\mathcal{H}}\otimes {\mathcal{H}}) \oplus \cdots$$ and define ${\mbox{Exp}}:{\mathcal{H}}\rightarrow {\mbox{Exp}}({\mathcal{H}})$ by $${\mbox{Exp}}(\zeta)=1 \oplus \zeta \oplus ( \frac{1}{\sqrt{2!}} \zeta \otimes \zeta ) \oplus (\frac{1}{\sqrt{3!}} \zeta \otimes \zeta \otimes \zeta ) \oplus \cdots .$$ Note that $\langle {\mbox{Exp}}(\zeta),{\mbox{Exp}}(\zeta') \rangle = e^{\langle \zeta,\zeta'\rangle}$, for all $\zeta,\zeta'\in {\mathcal{H}}$. For $t>0$ define $$\xi_x=e^{-t \parallel F(x) \parallel^2} {\mbox{Exp}}(\sqrt{2t} F(x)).$$ It is easily verified that $\langle \xi_x,\xi_x' \rangle = e^{-t \parallel F(x)- F(x') \parallel^2}$. Consequently, for all $x,x'\in X$ we have $\parallel \xi_x \parallel =1$, and $$e^{-t \rho_+(d(x,x'))^2} \leq \langle \xi_x, \xi_{x'} \rangle \leq e^{-t \rho_-(d(x,x'))^2} .$$ Putting $t=\frac{-\ln(1-\epsilon^2/2)}{\rho_+(R)^2}$, it is easy to verify conditions $1$ and $2$ above.\
Conversely, choose $p>0$ and assume that $X$ satisfies the conditions in the statement. There exist a sequence of maps $\eta_n:X\rightarrow {\mathcal{H}}_n$ and a sequence of numbers $S_0=0<S_1 <S_2 < \ldots$, increasing to infinity, such that for every $n\geq 1$ and every $x,x'\in X$,

1.  $\parallel \eta_n(x) \parallel =1$

2.  $\parallel \eta_n(x)- \eta_n(x') \parallel \leq \frac{1}{n^{1/2+p}}$, provided $d(x,x')\leq \sqrt{n}$,

3.  $\parallel \eta_n(x)-\eta_n(x') \parallel \geq 1$, provided $d(x,x')\geq S_n$.

Choose a base point $x_0 \in X$ and define $F:X\rightarrow \bigoplus_{n=1}^{\infty} {\mathcal{H}}_n$ by $$F(x)=\frac{1}{2} ((\eta_1(x)-\eta_1(x_0)) \oplus (\eta_2(x)-\eta_2(x_0)) \oplus \cdots ).$$ It is not hard to verify that $F$ is well defined and $$\rho_-(d(x,x'))\leq \parallel F(x)-F(x') \parallel \leq d(x,x')+C , \mbox{ for all } x,x'\in X ,$$ where $C>0$ is some constant, $\rho_-=\frac{1}{2} \sum_{n=1}^{\infty} \sqrt{n-1} \chi_{[S_{n-1},S_n)}$, and the $\chi_{[S_{n-1},S_n)}$ are the characteristic functions of the sets $[S_{n-1},S_n)$.

Indeed, let $x,x'\in X$. If $n$ is such that $\sqrt{n-1}\leq d(x,x')<\sqrt{n}$, we have $$\begin{aligned}
\parallel F(x)- F(x') \parallel ^2 &=& \frac{1}{4} \sum_{i\leq n-1} \parallel \eta_i(x) -\eta_i(x') \parallel^2 + \frac{1}{4} \sum_{i\geq n} \parallel \eta_i(x) -\eta_i(x') \parallel^2 \\
& \leq & (n-1) + \frac{1}{4} \sum_{i\geq n} \frac{1}{i^{1+2p}} \leq d(x,x')^2 + C\end{aligned}$$ where $C=\frac{1}{4} \sum_{i\geq n} \frac{1}{i^{1+2p}} < \infty$.

Similarly, if $n$ is such that $S_{n-1}\leq d(x,x') <S_n$, we have $$\parallel F(x)- F(x') \parallel ^2 \geq \frac{1}{4} \sum_{i\leq n-1} \parallel \eta_i(x)-\eta_i(x') \parallel^2 \geq \frac{n-1}{4}=\rho_-(d(x,x'))^2.$$

The following corollary gives a connection between the compression of $X$ and the growth of the $(S_n)_{n\in {\mathbb{N}}_0}$.

Assume that $X$ is a metric space with compression $\delta>0$. Choose $0<p<\delta$ and for all $n\in {\mathbb{N}}_0$, let $R_n=n^r, \epsilon_n=\frac{1}{a n^b}$ for some $a,b,r \in {\mathbb{R}}_+$. For every $n$ large enough, we can find a collection of unit vectors $(\xi_n^x)_{x\in X}$ in some Hilbert space ${\mathcal{H}}_p$ satisfying

1.  $\parallel \xi_n^x- \xi_n^y \parallel \leq \epsilon_n$ provided $d(x,y)\leq R_n$,

2.  $\parallel \xi_n^x- \xi_n^y \parallel \geq 1$ provided $d(x,y)\geq n^{\frac{r+b+p}{\delta-p}}.$

\[cor:explicit\]

Let $F:X\rightarrow {\mathcal{H}}$ be a uniform embedding of $X$ into a Hilbert space satisfying $$\forall x,y\in X: \ \frac{1}{C} d(x,y)^{\delta-p} -D \leq d(F(x),F(y)) \leq \widetilde{C} d(x,y) + \widetilde{D},$$ for some $C,\widetilde{C} >0$ and $D,\widetilde{D} \geq 0$. Denote $\rho_-(d(x,y)):= \frac{1}{C} d(x,y)^{\delta-p} -D $ and $ \rho_+(d(x,y)):=\widetilde{C} d(x,y) + \widetilde{D}$. In the proof of Proposition \[prop:unifembed\], set $t_n=\frac{-\ln(1-\frac{\epsilon_n^2}{2})}{\rho_+(R_n)^2}$ and obtain vectors $(\xi_n^x)_{x\in X}$ such that $$e^{-t_n \rho_+(d(x,x'))^2} \leq \langle \xi_n^x, \xi_n^{x'} \rangle \leq e^{-t_n \rho_-(d(x,x'))^2} .$$ It is easy to verify that the vectors $(\xi_n^x)_{x\in X}$ satisfy Condition $(1)$ of this Corollary. Regarding the second condition, note that $$\begin{aligned}
\parallel \xi_n^x - \xi_n^{y} \parallel ^2 &=& 2-2\langle \xi_n^x, \xi_n^{y} \rangle \\
&\geq & 2-2e^{-t_n \rho_-(d(x,y))^2} \\
&=& 2-2e^{\frac{\ln(1-\frac{\epsilon_n^2}{2})}{(\widetilde{C}\ R_n +\widetilde{D})^2}((1/C)\ d(x,y)^{\delta-p} -D)^2}.\end{aligned}$$ Consequently we have $\parallel \xi_n^x - \xi_n^y \parallel\geq 1$ whenever $$2-2e^{\frac{\ln(1-\frac{\epsilon_n^2}{2})}{(\widetilde{C}\ R_n +\widetilde{D})^2}((1/C)\ d(x,y)^{\delta-p} -D)^2} \geq 1,$$ i.e. whenever $$(1-\frac{\epsilon_n^2}{2})^{\frac{((1/C) d(x,y)^{\delta-p} -D)^2}{(\widetilde{C} R_n + \widetilde{D})^2}} \leq \frac{1}{2} .$$ This is true if and only if $$\frac{(1/C) d(x,y)^{\delta-p} - D}{\widetilde{C} R_n + \widetilde{D}}\geq \sqrt{\frac{-\ln(2)}{\ln(1-\frac{\epsilon_n^2}{2})}},$$ if and only if $$d(x,y) \geq [C (\sqrt{\frac{-\ln(2)}{\ln(1-\frac{1}{2a^2n^{2b}})}} (\widetilde{C} n^r + \widetilde{D})+D)]^{\frac{1}{\delta-p}} .$$

Since $\frac{-\ln(2)}{\ln(1-\frac{1}{2a^2n^{2b}})} \leq \ln(2) 2 a^2n^{2b} \leq 2a^2n^{2b}$, it suffices to take $$d(x,y)\geq [C \sqrt{2} an^b (\widetilde{C} n^r + \widetilde{D})+CD]^{\frac{1}{\delta-p}}:=A_n .$$ If $n$ is large enough, then $A_n\leq n^\frac{b+r+p}{\delta-p}$, so we obtain $\parallel \xi_n^x- \xi_n^y \parallel \geq 1$ provided $d(x,y)\geq n^{\frac{r+b+p}{\delta-p}}$.

In the second part of the proof of Proposition \[prop:unifembed\], we need the condition $$\parallel \eta_n(x)- \eta_n(x') \parallel \leq \frac{1}{n^{1/2+p}}\mbox{, provided } d(x,x')\leq \sqrt{n},
\label{eq:conditiequageo}$$ to prove that $F$ is Lipschitz. Assume now that $X$ is a finitely generated group which is equipped with the word length metric relative to some finite symmetric generating subset. Then $X$ is a geodesic metric space implying that any function $\rho_+$ satisfying $\forall x,y \in X: \parallel F(x)-F(y) \parallel \leq \rho_+(d(x,y))$, can assumed to be of the form $Cd(x,y)+D$ for some constants $C,D\geq 0$. Therefore, in order to prove that $F$ is Lipschitz, we can relax condition (\[eq:conditiequageo\]) to $$\parallel \eta_n(x)- \eta_n(x') \parallel \leq \frac{1}{n^{1/2+p}}\mbox{, provided } d(x,x')\leq \ln(n).$$ The condition $$\parallel \eta_n(x)-\eta_n(x') \parallel \geq 1 \mbox{, provided }d(x,x')\geq S_n,$$ then holds for smaller $S_n$ and we obtain that the function $\rho_-=\frac{1}{2} \sum_{n=1}^{\infty} \sqrt{n-1} \chi_{[S_{n-1},S_n)}$ becomes larger. This will help us to get better compression estimates later. \[remark:quageo\]

[**Proof of Theorem \[theorem:limit\]**]{} Choose $n\in {\mathbb{N}}_0, p>0$ and denote $R=\sqrt{n},\epsilon=\frac{1}{n^{1/2+p}}$. Next, take $g(n)\in {\mathbb{N}}$ such that $x\in G_{g(n)}$ whenever $l_G(x)\leq R=\sqrt{n}$. Set $t=\frac{-\ln(1-\epsilon^2/2)}{(\widetilde{C_{g(n)}}\ R +\widetilde{D_{g(n)}})^2}$ and take vectors $(\xi_x)_{x\in G_{g(n)}}$ as in the proof of proposition \[prop:unifembed\], i.e. such that for all $x,y\in G_{g(n)}:$ $$e^{-t (\widetilde{C_{g(n)}}\ d_{g(n)}(x,y) +\widetilde{D_{g(n)}})^2} \leq \langle \xi_x, \xi_{y} \rangle \leq e^{-t ((1/C_{g(n)})\ d_{g(n)}(x,y)^{\delta} -D_{g(n)})^2}.$$ From the lower bound on $\langle \xi_x, \xi_{y} \rangle$, one derives $$\parallel \xi_x - \xi _y \parallel \leq \epsilon \mbox{ whenever } d_{g(n)}(x,y)\leq R.$$ Calculating as in Corollary $2.6$, we derive that $\parallel \xi_x - \xi_y \parallel \geq 1$ whenever $d_{g(n)}(x,y)\geq S_n:=[C_{g(n)} (\sqrt{\frac{-\ln(2)}{\ln(1-\frac{1}{2n^{2p+1}})}} (\widetilde{C_{g(n)}} \sqrt{n} + \widetilde{D_{g(n)}})+D_{g(n)})]^{\frac{1}{\delta}}$.

In the proof of Proposition $3.1$ of [@guedad], Dadarlat and Guentner explain how the family $(\xi_x)_{x\in G_{g(n)}}$ can be extended to a family of unit vectors $(\hat{\xi}_x)_{x\in G}$ in a larger Hilbert space, but still satisfying similar inequalities. More precisely, we obtain unit vectors $(\hat{\xi}_x)_{x\in G}$ in a Hilbert space satisfying

1.  $\parallel \xi_x - \xi _y \parallel \leq \frac{1}{n^{1/2+p}} \mbox{ whenever } d(x,y)\leq \sqrt{n}; $

2.  $\parallel \xi_x - \xi _y \parallel \geq 1 \mbox{ whenever }d(x,y)\geq S_n. $

From the proof of proposition \[prop:unifembed\], we derive the existence of a large-scale uniform embedding of $G$ into a Hilbert space whose compression function $\rho_-$, is greater than $\frac{1}{2} \sum_{n=1}^{\infty} \sqrt{n-1} \chi_{[S_{n-1},S_n)}(t)$. Choose some $\beta\in [0,1]$, and define $\gamma: {\mathbb{R}}^+ \rightarrow {\mathbb{R}}^+, t\mapsto t^{\beta}$. If $\gamma$ eventually lies under some multiple of $\rho_-$, then the compression of $G$ is greater than $\beta$. There exists $T, \overline{C} \in {\mathbb{R}}^+$ such that $\gamma(t)\leq \overline{C} \rho_-(t), \ \forall t\geq T$ if $$\limsup_{n\rightarrow \infty}\frac{S_n^{\beta}}{\sqrt{n-1}} < \infty,$$ if and only if $$\beta \leq \limsup_{n\rightarrow \infty}\{\frac{ (\delta/2) \ln(n-1)}{\ln(C_{g(n)} (\sqrt{\frac{-\ln(2)}{\ln(1-\frac{1}{2n^{2p+1}})}} (\widetilde{C_{g(n)}} \sqrt{n} + \widetilde{D_{g(n)}})+D_{g(n)}))} \} .$$ Recalling that $\lim_{n\to \infty} [(\frac{-\ln(2)}{\ln(1-\frac{1}{2n^{2p+1}})}) / (2\ln(2)n^{2p+1})] =1 $ and that we can let $p$ go to $0$ since it is just a positive real number that we’ve chosen, we get the desired lower bound $$\limsup_{n\rightarrow \infty} \frac{(\delta/2) \ln(n-1)}{\ln(C_{g(n)} \sqrt{2\ln(2) n}(\widetilde{C_{g(n)}} \sqrt{n} + \widetilde{D_{g(n)}})+C_{g(n)} D_{g(n)})} ,$$ for the Hilbert space compression of $G$. $\Box$\

If $G$ happens to be a quasi-geodesic space, then we can use Remark \[remark:quageo\] to improve our result. Using the same notations as in Theorem \[theorem:limit\] and assuming that $G$ is a quasi-geodesic space, we obtain the following.

> Denote $g:{\mathbb{N}}\rightarrow {\mathbb{N}}$ a function such that for all $x\in G$ we have $x\in G_{g(n)}$ whenever $l(x)\leq \ln(n)$. Then, $$\alpha(G)\geq \limsup_{n\rightarrow \infty}\frac{ (\delta/2) \ln(n-1)}{\ln(C_{g(n)}\sqrt{2\ln(2)n} (\widetilde{C_{g(n)}} \ \ln(n)+ \widetilde{D_{g(n)}}) +C_{g(n)} D_{g(n)})}.$$

All of the above easily generalizes to directed systems of groups $(G_i)_{i\in I}$ where $I$ is [*any*]{} directed set.

Hilbert space compression for group extensions \[section:extensions\]
=====================================================================

In this paragraph, $\Gamma$ will denote a group whose metric is induced by a length function $l_{\Gamma}$ and $H$ will denote a normal subgroup of $\Gamma$ which has strictly positive Hilbert space compression when equipped with the induced metric $l_H:=(l_{\Gamma})_{\mid H}$. We assume that $\Gamma$ is a group extension $$1 \rightarrow H \rightarrow \Gamma \stackrel{\pi}{\rightarrow} G \rightarrow 1 ,$$ and we equip $G$ with the induced length from $\Gamma$, i.e. for all $x\in \Gamma: l_G(\pi(x)):=\inf\{ l_\Gamma(y) \mid y\in \Gamma, \pi(y)=\pi(x) \}.$ Given certain conditions on $G$, we shall give bounds on the Hilbert space compression of $\Gamma$.

Extensions by a group of polynomial growth
------------------------------------------

Let us begin by recalling the definition of a metric space with polynomial growth.

A metric space $X$ has polynomial growth if there exists a polynomial $P$ such that $\mid \overline{B(x,R)} \mid \leq P(R)$ for every $x\in X$ and every $R\geq 0$. Here $\overline{B(x,R)}$ is the closed ball with radius $R$ and center $x$.

Notice that $G$ can have polynomial growth only if $l_G$ is proper. In Lemma $6.6$ of [@Tu], Tu proves that groups of polynomial growth have property A. We obtain the following lemma by quantifying his proof.

Let $G$ be a group, equipped with a proper length function, that has polynomial growth. Let $p\in ]0,1[$ be any real number. There exists $n_0\in {\mathbb{N}}$ such that for every natural number $n\geq n_0$, there exists a collection of unit vectors $(g_n(x))_{x\in G}$ in $l^2(G)$ such that $\parallel g_n(x) \parallel_2=1  ,\ \forall x \in G$ and

1.  $\mid 1- \langle g_n(x),g_n(y) \rangle \mid \leq \frac{1}{4n^{1+2p}}$ provided $d_G(x,y)\leq \sqrt{n}$,

2.  [*supp*]{}$(g_n(x))\subset B(x,S_n^G)$ for all $x\in G$ where $S_n^G=n^{3/2+5p}.$

\[lm:directAgrowth\]

For each $x\in G$ and $r\in {\mathbb{R}}$, denote by $B(x,r)\subset G$ the ball of radius $r$ and center $x$. Denote the characteristic function of $B(x,r)$ by $\chi_x^{r}$. We shall denote $B(1,r)$ simply by $B_r$ and $\chi_1^r$ by $\chi_r$. For $n\in {\mathbb{N}}_0$, denote $R_n=\sqrt{n}$ and, with the convention that $\forall a\in {\mathbb{R}}: a/0=\infty$, let $k(n)$ be the infimum of all real numbers $r$ such that $$\frac{ \mid B_{r+R_n} \mid }{ \mid B_{r-R_n} \mid } \leq 1 + \frac{1}{2n^{1+2p}} .$$ Clearly, such $k(n)$ exists, since if it didn’t exist, then $\forall i\in {\mathbb{N}}_0$, $$\mid B_{2iR_n+R_n} \mid \geq \mid B_{(2i-1)R_n} \mid (1 + \frac{1}{2n^{1+2p}})  \geq \ldots \geq \mid B_{R_n} \mid (1 + \frac{1}{2n^{1+2p}})^{i},$$ obtaining a contradiction since the left hand side depends polynomially on $i$ whereas the right hand side depends exponentially on $i$.

We claim that there exists $\overline{n}\in {\mathbb{N}}_0$ such that $\forall n\geq \overline{n}: k(n)\leq 2n^{3/2+4p}$. Assume therefore, that such $\overline{n}$ does not exist. Then there exists a strictly monotone increasing sequence $(n_i)_{i\in {\mathbb{N}}}$ such that $$\forall i: \frac{\mid B_{2n_i^{3/2+4p}+R_{n_i}} \mid }{\mid B_{2n_i^{3/2+4p}-R_{n_i}} \mid } \geq 1 + \frac{1}{2n_i^{1+2p}} .$$ Denoting the integer part of a real number $a$ by $[a]$ and assuming for the last inequality below that $\forall i: n_i \geq 2^{1/p}$, we obtain that $$\begin{aligned}
\mid B_{2n_i^{3/2+4p}+R_{n_i}} \mid & \geq & (1 + \frac{1}{2n_i^{1+2p}} )\mid B_{2n_i^{3/2+4p}-2R_{n_i} + R_{n_i}} \mid \\
 & \geq  &  (1 + \frac{1}{2n_i^{1+2p}} )^2 \mid B_{2n_i^{3/2+4p}-4R_{n_i} + R_{n_i}} \mid  \\
& \geq & \ldots  \\
& \geq & (1 + \frac{1}{2n_i^{1+2p}} )^{[n_i^{1+4p}]} \mid B_{R_{n_i}}  \mid \\
& \geq & (1 + \frac{1}{2n_i^{1+2p}} )^{n_i^{1+3p}} \mid B_{R_{n_i}}  \mid .\end{aligned}$$ Since $\lim_{i \to \infty} (1+ \frac{1}{2n_i^{1+2p}})^{n_i^{1+2p}}= \exp(1/2)$, it is clear that the right hand side depends exponentially on $n_i$, whereas the left hand side depends polynomially on $n_i$. We obtain a contradiction.

Consider now the functions $\chi_x^{k(n)}$. They are elements of $l^1(G)$ such that $d_G(x,y)\leq \sqrt{n}=R_n$ implies $$\frac{\parallel \chi_x^{k(n)} - \chi_{y}^{k(n)} \parallel_1}{\parallel \chi_x^{k(n)} \parallel_1} \leq \frac{\mid B(x,k(n)+R_n) \mid - \mid B(x,k(n)-R_n) \mid }{\mid B(x,k(n)-R_n) \mid }= \frac{\mid B_{k(n)+R_n} \mid }{\mid B_{k(n)-R_n} \mid } -1 \leq \frac{1}{2n^{1+2p}} .$$ Moreover, the support of $\chi_x^{k(n)}$ lies inside $\overline{B(x,k(n))}\subset B(x,2k(n))\subset B(x,4n^{3/2+4p})\subset B(x,n^{3/2+5p})$ whenever $n$ is larger than some natural number $n_0$. To conclude, take $n\geq \max(n_0,\overline{n})$ and define $g_n(x)= \sqrt{\frac{\chi_x^{k(n)}}{\parallel \chi_{k(n)} \parallel_1}}$. Clearly, these are elements of norm $1$ in $l^2(G)$ that satisfy condition $(2)$ of this lemma. To show that they also satisfy condition $(1)$, take $x,y$ such that $d_G(x,y)\leq R_n$. Then $$\begin{aligned}
\parallel g_n(x) - g_n(y) \parallel_2 ^2 &= & \sum_{z\in X} \mid g_n(x)(z) - g_n(y)(z) \mid ^2 \\
& \leq & \sum_{z\in X} (\mid g_n(x)(z) - g_n(y)(z) \mid \cdot \mid g_n(x)(z) + g_n(y)(z) \mid ) \\
& = & \sum_{z\in X} \mid g_n(x)(z)^2 - g_n(y)(z)^2 \mid \\
& = &\frac{\parallel \chi_x^{k(n)} - \chi_y^{k(n)} \parallel_1}{\parallel \chi_{k(n)} \parallel_1 } \leq \frac{1}{2n^{1+2p}}.\end{aligned}$$ Therefore $\mid 1- \langle g_n(x) , g_n(y) \rangle \mid \leq \frac{1}{4n^{1+2p}}$ as desired.

Assume that $\Gamma$ is a group, equipped with some length function $l=l_{\Gamma}$, that fits in a short exact sequence $$1 \rightarrow H \rightarrow \Gamma \stackrel{\pi}{\rightarrow} G \rightarrow 1.$$ If $G$ with the induced metric from $\Gamma$ has polynomial growth and if $H$ with the induced metric from $\Gamma$ has strictly positive Hilbert space compression, then the Hilbert space compression of $\Gamma$ is strictly positive. More precisely, if the compression of $H$ equals $\delta$, then the compression of $\Gamma$ is at least $\delta/4$. \[th:uitbreiding\]

Denote the Hilbert space compression of $H$ by $\delta>0$ and choose $0<p<\delta$. If $n$ is large enough, then $n^{3/2+6p}\geq 2S_n^G +\sqrt{n}=2n^{3/2+5p} +\sqrt{n}$. For $n$ [*sufficiently large*]{}, Corollary $2.6$ applied for $r={3/2+6p}, a=\sqrt{2}, b=1/2+p$ gives a Hilbert space ${\mathcal{H}}$ and maps $h_n:H\rightarrow {\mathcal{H}}$ such that $\parallel h_n(s) \parallel = 1 \ \forall s\in H$ and

-   $\mid 1-\langle h_n(s),h_n(\tilde{s}) \rangle \mid \leq \frac{1}{4n^{1+2p}} \mbox{ provided } d_H(s,\tilde{s})\leq 2S_n^G+\sqrt{n}$

-   $\mid \langle h_n(s),h_n(\tilde{s}) \rangle \mid \leq \frac{1}{2}$ whenever $d(s,\tilde{s})\geq S_n^H:= n^\frac{2+8p}{\delta-p}=(n^{1/2+3p} S_n^G)^\frac{1}{\delta-p}$.

For $n$ sufficiently large, Lemma \[lm:directAgrowth\] provides maps $g_n:G\rightarrow l^2(G)$ such that $\parallel g_n(x) \parallel_2=1  ,\ \forall x \in G$ and such that

-   $\mid 1-\langle g_n(x),g_n(y) \rangle \mid \leq \frac{1}{4n^{1+2p}}$ provided $d_G(x,y)\leq \sqrt{n}$,

-   supp$(g_n(x))\subset B(x,S_n^G)$ for all $x\in G$ where $S_n^G=n^{3/2+5p}.$

In the proof of Theorem $4.1$ in [@guedad], Guentner and Kaminker fix $n$ and use the maps $g_n$ and $h_n$ to construct a map $f_n:\Gamma \rightarrow l^2(G,{\mathcal{H}})$ such that $\parallel f_n(a) \parallel = 1  ,\ \forall a\in \Gamma$ and

-   $\mid 1-\langle f_n(a),f_n(b) \rangle \mid \leq \frac{1}{2n^{1+2p}}$ if $d(a,b)\leq \sqrt{n}$,

-   $\parallel f_n(a)-f_n(b) \parallel  \geq 1 $ if $d(a,b)\geq 2S_n^G+S_n^H$.

Denoting $\overline{S_n}=n^pS_n^H$, we obtain for $n$ larger than some $n_1\in {\mathbb{N}}_0$ that

-   $\parallel f_n(a)-f_n(b) \parallel \leq \frac{1}{n^{1/2+p}}$ if $d(a,b)\leq \sqrt{n}$,

-   $ \parallel f_n(a)-f_n(b) \parallel  \geq 1$ if $d(a,b)\geq \overline{S_n}$.

From the second part of the proof of Proposition \[prop:unifembed\], we find a Lipschitz uniform embedding $F$ of $\Gamma$ into a Hilbert space such that $\parallel F(x)-F(y) \parallel \geq \overline{\rho}_-(d(x,y)):= \frac{1}{2} \sum_{n=n_1+1}^\infty \sqrt{n-n_1} \chi_{[\overline{S_{n-1}},\overline{S_n}[}(d(x,y))$ for $d(x,y)\in [\overline{S_{n_1}}, \infty [$. A function $u:{\mathbb{R}}^+ \rightarrow {\mathbb{R}}^+$ of the form $x\mapsto x^\beta$ for some $\beta>0$ eventually lies under a constant $\overline{C}$ times $\overline{\rho}_-$ whenever there exists $N$ such that for all $n\geq N, \overline{S_{n}}^{\beta}\leq \overline{C} \sqrt{n-n_1}$. For this to be true, we need that $\overline{S_{n}}^{\beta}$, as a function in $n$ is of degree less than $\frac{1}{2}$. Remember that $$\overline{S_{n}}^{\beta}= n^{\beta p} n^{\frac{(2+8p)\beta}{\delta-p}},$$ which is of degree $(\frac{2+8p}{\delta-p}+p)\beta$. The compression of $\Gamma$ is now greater than $\beta$ whenever $$\beta \leq  [2(\frac{2+8p}{\delta-p}+p)]^{-1}.$$ Since $p$ was just any number between $0$ and $\delta$, we decide to let $p$ go to $0$, obtaining that the compression of $\Gamma$ is at least $\delta/4$.

Extensions by a finitely generated word-hyperbolic group
--------------------------------------------------------

We start by a lemma similar to Lemma \[lm:directAgrowth\]. More precisely, quantifying the proof of Proposition $8.1$ in [@Tu], we obtain

Let $G$ be a finitely generated hyperbolic group. Let $p\in ]0,1[$ be any real number. There exists $n_0\in {\mathbb{N}}$ such that for every natural number $n\geq n_0$, there exists a collection of unit vectors $(g_n(x))_{x\in G}$ in $l^2(G)$ such that $\parallel g_n(x) \parallel=1  ,\ \forall x \in G$ and

-   $\mid 1- \langle g_n(x),g_n(y) \rangle \mid \leq \frac{1}{4n^{1+2p}}$ provided $d_G(x,y)\leq \ln(n)$,

-   supp$(g_n(x))\subset B(x,S_n^G)$ for all $x\in G$ where $S_n^G=n^{2+6p}.$

\[lm:directAhyp\]

Choose $q>0$ such that $(2+5p)(1/2-q)> 1+2p$ and choose $a\in \partial G$, the Gromov boundary of $G$. For all $x\in X$, let $[[x,a[[$ be the set of infinite geodesics from $x$ to $a$, i.e. isometries $g:{\mathbb{N}}\rightarrow X$ such that $g(0)=x$ and $\lim_{n\to \infty} g(n)=a$. For every $x\in G$ and $k,n\in {\mathbb{N}}_0$, we define elements of $l^1(G)$ as follows: $$F(x,k,n) = \mbox{ characteristic function of } \bigcup_{d(x,y)<k, g\in [[y,a[[} g([n,2n]) ,$$ $$H(x,n) = \frac{1}{n^{3/2-q}} \sum_{k<\sqrt{n}} F(x,k,n) .$$ Define $k(n)=n^{2+5p}$. Following the proof of Proposition $8.1$ in [@Tu], we find constants $C,D >0$ such that the $H(x,n)_{x\in G, n\in {\mathbb{N}}_0}$ satisfy the following conditions for all $n$ greater than some natural number $n_0$:

1.  $\parallel H(x,k(n)) \parallel_1 \geq 1$

2.  $\parallel H(x,k(n)) - H(y,k(n)) \parallel_1 \leq \frac{C\ln(n)+D}{(k(n))^{1/2-q}} \leq \frac{1}{4n^{1+2p}}$ provided $d(x,y)\leq \ln(n)$

3.  supp$(H(x,k(n))) \subset B(x,n^{2+6p})$.

For all $x\in G, n\geq n_0$, set $g(x,n)=\sqrt{\frac{H(x,k(n))}{\parallel H(x,k(n)) \parallel_1}}$ to obtain a collection of elements of $l^2(G)$. Calculating as in the end of the proof of Lemma \[lm:directAgrowth\] and using the fact that $\forall z\in G: H(x,n)(z)\geq 0$, we obtain $$\begin{aligned}
\parallel g(x,n) - g(y,n) \parallel_2 ^2 & \leq & \parallel \frac{H(x,k(n))}{\parallel H(x,k(n)) \parallel_1} - \frac{H(y,k(n))}{\parallel H(y,k(n)) \parallel_1} \parallel_1 \\
& \leq & \frac{ \parallel H(x,k(n)) - H(y,k(n)) \parallel_1}{\parallel H(x,k(n)) \parallel_1} \\
& & + \parallel H(y,k(n)) \parallel_1 (\frac{1}{\parallel H(x,k(n)) \parallel_1} - \frac{1}{\parallel H(y,k(n)) \parallel_1}) \\
& \leq & 2\frac{\parallel H(x,k(n))-H(y,k(n)) \parallel_1 }{\parallel H(x,k(n)) \parallel_1 } \\
& \leq & 2 \parallel H(x,k(n))-H(y,k(n)) \parallel_1  .\end{aligned}$$ The $g(x,n)$ with $n\geq n_0$ satisfy the conditions of this Lemma.

Assume that $\Gamma$ is a finitely generated group, equipped with the word length function $l=l_{\Gamma}$ relative to some finite symmetric generating subset $S$ and that it fits in a short exact sequence $$1 \rightarrow H \rightarrow \Gamma \stackrel{\pi}{\rightarrow} G \rightarrow 1.$$ Equip $G$ with the word length function $l_G$ relative to $\pi(S)$. If $G$ is a finitely generated hyperbolic group in the sense of Gromov [@Gromovhyperbolicgroups] and if $H$, with the induced metric from $\Gamma$, has Hilbert space compression $\delta$, then the Hilbert space compression of $\Gamma$ is at least $\delta/5$. \[th:extension\]

The proof is analogous to the proof of Theorem \[th:uitbreiding\]. First, denoting $S_n^G=n^{2+6p}$ as in Lemma \[lm:directAhyp\] and using Corollary \[cor:explicit\] for $r=2+7p, a=\sqrt{2}, b=(1/2)+p$, we find a Hilbert space ${\mathcal{H}}$ and unit vectors $(h_n(s))_{s\in H}\in {\mathcal{H}}$ for every $n$ large enough such that

-   $\mid 1-\langle h_n(s),h_n(\tilde{s}) \rangle \mid \leq \frac{1}{4n^{1+2p}} \mbox{ provided } d_H(s,\tilde{s})\leq 2S_n^G+\sqrt{n}$

-   $\mid \langle h_n(s),h_n(\tilde{s}) \rangle \mid \leq \frac{1}{2}$ whenever $d(s,\tilde{s})\geq S_n^H:=n^\frac{(5/2)+9p}{\delta-p}=(n^{1/2+3p}S_n^G)^{\frac{1}{\delta-p}}$.

Recall from Lemma \[lm:directAgrowth\] that, for $n$ large enough, we’ve proven the existence of maps $g_n:G\rightarrow l^2(G)$ such that $\parallel g_n(x) \parallel_2=1  ,\ \forall x \in G$ and such that

-   $\mid 1-\langle g_n(x),g_n(y) \rangle \mid \leq \frac{1}{4n^{1+2p}}$ provided $d_G(x,y)\leq \ln(n)$,

-   supp$(g_n(x))\subset B(x,S_n^G)$ for all $x\in G$ where $S_n^G=n^{2+6p}.$

The proof of Theorem $4.1$ in [@guedad] gives for every $n\in {\mathbb{N}}$ larger than some $n_1\in {\mathbb{N}}$, a map $f_n:\Gamma \rightarrow l^2(G,{\mathcal{H}})$ such that $\parallel f_n(a) \parallel = 1  ,\ \forall a\in \Gamma$ and

-   $\parallel f_n(a)-f_n(b) \parallel \leq \frac{1}{n^{1/2+p}}$ if $d(a,b)\leq \ln(n)$,

-   $ \parallel f_n(a)-f_n(b) \parallel  \geq 1$ if $d(a,b)\geq \overline{S_n}:=n^pS_n^H$.

Remark \[remark:quageo\] implies the existence of a Lipschitz uniform embedding $F$ of $\Gamma$ into a Hilbert space such that $\parallel F(x)-F(y) \parallel \geq \overline{\rho}_-(d(x,y)):= \frac{1}{2} \sum_{n=n_1+1}^\infty \sqrt{n-n_1} \chi_{[\overline{S_{n-1}},\overline{S_n}[}(d(x,y))$ for $d(x,y)\in [\overline{S_{n_1}}, \infty [$. A function $u:{\mathbb{R}}^+ \rightarrow {\mathbb{R}}^+$ of the form $x\mapsto x^\beta$ for some $\beta>0$ eventually lies under a constant $\overline{C}$ times $\overline{\rho}_-$ whenever there exists $N$ such that for all $n\geq N, \overline{S_{n}}^{\beta}\leq \overline{C} \sqrt{n-n_1}$. For this to be true, we need that $\overline{S_{n}}^{\beta}$, as a function in $n$ is of degree less than $\frac{1}{2}$. Therefore, the compression of $\Gamma$ is greater than $\beta$ whenever $$\beta \leq  [2(\frac{(5/2)+9p}{\delta-p}+p)]^{-1}.$$ Since this is true for any arbitrarily small $p$, we decide to let $p$ go to $0$, obtaining that the compression of $\Gamma$ is at least $\delta/5$.

Alain Valette pointed out to the author that a stronger result is valid in the following special case.

Let $A$ and $G$ be finitely generated groups, each equipped with the word length metric relative to a finite symmetric generating subset. Assume that $A$ is abelian, that $G$ is a finitely generated word-hyperbolic group and that $$0 \rightarrow H \rightarrow \Gamma \rightarrow G \rightarrow 1 ,$$ is a central extension. The compression of $\Gamma$, equipped with the word length metric relative to a finite symmetric generating subset, equals $1$. \[th:hyperbolicspecialcase\]

Denote the second bounded cohomology group of $G$, defined using bounded cocycles, by $H^2(G,H)$. By [@Neumann], the comparison map $$H_b^2(G,H) \rightarrow H^2(G,H) ,$$ is onto for $G$ hyperbolic, i.e. every $2$-cocycle has a bounded representative.

Now, let $s:G\rightarrow \Gamma$ be a (set-theoretic) section, i.e. $p\circ s = Id_G$ and define $$c(x,y)= s(xy)^{-1} s(x)s(y) \ \forall x,y \in G .$$ By the above, we can assume that $c$ is bounded and so Gersten’s result implies that $\Gamma$ is quasi-isometric to $G\times H$. Consequently, the compression of $\Gamma$ equals the minimum of the compressions of $G$ and $H$ [@guekam], which is $1$ (see [@tess], [@brodskiy]).

[**Acknowledgements**]{}\
I thank Alain Valette for reading previous versions of this article, for introducing me into the world of Hilbert space compression, for encouragements and for pointing out the result formulated in Theorem \[th:hyperbolicspecialcase\]. I thank Paul Igodt for encouragements and his support. I thank Pieter Penninckx for useful suggestions and critical remarks and I thank Nansen Petrosyan and Pierre de la Harpe for very interesting conversations.

[99]{} G.N. Arzhantseva, V.S. Guba, M. V. Sapir, ‘Metrics on diagram groups and uniform embeddings in a Hilbert space’, [*Commentarii Mathematici Helvetici* ]{}81, No. 4 (2006), 911–929.

N. Brodskiy, D. Sonkin, ‘Compression of uniform embeddings into Hilbert space’, [*Topology and its Applications* ]{}155, No. 7 (2008), 725–732

M. Dadarlat and E. Guentner, ‘Constructions preserving Hilbert space uniform embeddability of discrete groups’, [*Transactions of the American mathematical society*]{} 355, no.8 (2003) 3253–3275.

E. Ghys, P. de la Harpe, ‘Sur les groupes hyperboliques d’après Mikhael Gromov’, [*Progress in Mathematics* ]{} 83 (1990), Birkhäuser Boston.

M. Gromov, Asymptotic invariants of infinite groups, Geometric Group Theory (A. Niblo and M. Roller, eds.), London Mathematical Society Lecture Notes 182 (1993), 1–-295.

M. Gromov, Problems (4) and (5), Novikov conjectures, index theorems and rigidity, Lecture Note Series, London Mathematica Society 226, Vol.1 (1995) (S. Ferry, A. Ranicki and J. Rosenberg, editors)

E.Guentner, J.Kaminker, ‘Exactness and uniform embeddability of discrete groups’, [*Journal of the London Mathematical Society*]{} 70, no.3 (2004), 703–718

A. Naor, Y.Peres, ‘ Embeddings of discrete groups and the speed of random walks ’, [*International Mathematics Research Notices* ]{} 2008, Art. ID rnn 076.

W. D. Neumann, L. Reeves, ‘Central extensions of word hyperbolic groups’, [*Ann. of Math.(2)*]{} 145, no.1 (1997), 183–192.

G. Skandalis, J. L. Tu, and G. Yu, Coarse Baum-Connes conjecture and groupoids, Topology 41 (2002), 807–834.

R. Tessera, Asymptotic isoperimetry on groups and uniform embeddings into Banach spaces, to appear in Commentarii Mathematici Helvetici.

J. Tu, ‘ Remarks on Yu’s “property A” for discrete metric spaces and groups’, [*Bull. Soc. Math. France* ]{}129, no.1 (2001), 115–139.

G. Yu, The coarse Baum-Connes conjecture for spaces which admit a uniform embedding into Hilbert space, Invent. Math. 139, no. 1 (2001), 201–240.
