Abstract
It is known that the expanders arising as increasing sequences of level sets of warped cones, as introduced by the secondnamed author, do not coarsely embed into a Banach space as soon as the corresponding warped cone does not coarsely embed into this Banach space. Combining this with nonembeddability results for warped cones by Nowak and Sawicki, which relate the nonembeddability of a warped cone to a spectral gap property of the underlying action, we provide new examples of expanders that do not coarsely embed into any Banach space with nontrivial type. Moreover, we prove that these expanders are not coarsely equivalent to a Lafforgue expander. In particular, we provide infinitely many coarsely distinct superexpanders that are not Lafforgue expanders. In addition, we prove a quasiisometric rigidity result for warped cones.
1 Introduction
Expanders are sequences of finite sparse highly connected graphs with a growing number of vertices (see Sect. 2.1 for the definition). It is a wellknown result of Gromov [6] that expanders do not coarsely embed into a Hilbert space or into \(\ell ^p\), with \(1 \le p < \infty \) (see also [7, 18]). It is a deep open problem whether there exist expanders that can be embedded coarsely into some superreflexive Banach space (recall that a Banach space is superreflexive if and only if it is isomorphic to a uniformly convex Banach space). In [23], Pisier introduced the class of uniformly curved Banach spaces and showed that expanders are not coarsely embeddable into such spaces. This was a great step forward, as there are no known examples of superreflexive Banach spaces that are not uniformly curved. However, the aforementioned problem remains open.
An expander that does not coarsely embed into any uniformly convex space is called a superexpander (see also Remark 1). An expander is said to be of Margulis type if it arises as a sequence of Cayley graphs of finite quotients of a group \(\varGamma \). In relation to his groundbreaking work on the Baum–Connes conjecture, Lafforgue provided the first examples of superexpanders. Indeed, in [14] (see also [15]), he introduced a strengthening of property (T), named strong Banach property (T), which implies a very strong obstruction to coarse embeddability of Margulis type expanders coming from groups with this property. Indeed, he proved that \(\mathrm {SL}(3,F)\), where F is a nonArchimedean local field, and cocompact lattices in this group have strong Banach property (T), which implies that the Margulis type expanders coming from such lattices do not coarsely embed into any Banach space with nontrivial type (see Sect. 2.8 for the definition of type). In particular, this implies that these expanders are superexpanders, since the class of Banach spaces with nontrivial type is known to be larger than the class of uniformly convex spaces. More examples of groups with strong property (T) or other Banach space versions of property (T) relative to various classes of Banach spaces were provided in [11,12,13, 16, 22, 25]. Other examples of superexpanders, obtained by means of a combinatorial construction, were provided in the groundbreaking work of Mendel and Naor [20].
In [24], Roe introduced the notion of warped cone. This construction yields a geometric object from an action of a group on a compact metric space. Recently, the coarse geometry of warped cones has attracted an increasing amount of attention (see e.g. [2, 21, 26, 28, 32]). In [21], Nowak and Sawicki proved that warped cones for which the underlying action has spectral gap are difficult to coarsely embed into Banach spaces. In particular, if the warped cone is constructed from an action of a group with strong Banach property (T), then the warped cone does not coarsely embed into any Banach space with nontrivial type. Nowak and Sawicki also considered actions with spectral gap of groups without property (T).
More recently, the secondnamed author investigated the approximation of actions on measure spaces by means of finite graphs [30]. One of his main results is that “increasing sequences of level sets” of warped cones constructed from an action that is “expanding in measure” are uniformly quasiisometric to an expander. By combining this result with the aforementioned result of Nowak and Sawicki, one can deduce that expanders arising as the level sets of warped cones constructed from actions of groups with strong Banach property (T) do not coarsely embed into any Banach space with nontrivial type. This result appeared first without proof in a thesis of the secondnamed author [29, Remark 7.12], and it was obtained independently by Sawicki [27]. For completeness, we will provide a short proof of this result. In fact, we prove a slightly more general nonembeddability result for approximating graphs (see Proposition 8), for which we do not need the warped cone construction.
The main aim of this article is to study a class of examples of expanders that arise as increasing sequences of level sets of warped cones constructed from actions of groups with strong Banach property (T). As an explicit example of such an action, we consider the natural action of \(\mathrm {SO}\big (d,\mathbb {Z}[\frac{1}{5}]\big )\) on the compact Riemannian manifold \(\mathrm {SO}(d,\mathbb {R})\). It follows from the aforementioned nonembeddability result that these expanders do not coarsely embed into any Banach space with nontrivial type. In particular, they are superexpanders. We also prove that they are not coarsely equivalent to a Lafforgue expander. Our main result can be formulated as follows.
Theorem A
There exist infinitely many coarsely distinct superexpanders that are not coarsely equivalent to a Lafforgue expander.
Let us point out that, by cardinality arguments, one can easily construct a continuum of nonequivalent superexpanders (Proposition 13). Still, using such ways to artificially create “inequivalent” expanders is rather unsatisfactory. More interestingly, we can produce countably many superexpanders that are not even “locally” coarsely equivalent (see Remarks 14 and 24).
The possibility of constructing new examples of superexpanders from warped cones was already considered by Sawicki [27], but he did not provide explicit examples of new superexpanders or prove that the expanders arising in this way are not coarsely equivalent to a Lafforgue expander.
The methods that we use in order to prove that expanders are not coarsely equivalent are inspired by the work of Khukhro and Valette [9]. On our way towards Theorem A, we prove some general facts about coarse equivalences between expanders, and we prove the following quasiisometric rigidity result for warped cones.
Theorem B
Let \(\varGamma \curvearrowright M\) and \(\varLambda \curvearrowright N\) be essentially free actions by isometries on Riemannian manifolds. If the associated warped cones are quasiisometric then \(\varGamma \times \mathbb {Z}^{\dim (M)}\) is quasiisometric to \(\varLambda \times \mathbb {Z}^{\dim (N)}\).
We would also like to point out that one can use approximating graphs to obtain expanders whose vertex sets have arbitrary cardinality, as is stated in the following result.
Theorem C
For every increasing sequence \((c_n)\) of natural numbers, there exists a superexpander such that the nth graph in the sequence has \(c_n\) vertices.
After the completion of this article, Fisher et al. [4] studied the quasiisometry types of expanders constructed from group actions on homogeneous spaces through the warped cone construction. Their approach gives rise to continua of “quasiisometrically disjoint” superexpanders, meaning that these expanders do not have quasiisometric subsequences. This broadly generalizes Theorem A. The profound rigidity result in [4] implying the difference of the quasiisometry types of the expanders relies on the computation of their coarse fundamental group. The computation of the coarse fundamental group was independently considered by the secondnamed author [31]. In any case, we think that the approach of this article has its own value, mainly because it relies on elementary techniques and because it clarifies some aspects of the local geometry of warped cones.
This article is organized as follows. Section 2 deals with some background and preliminaries. Our result on the nonembeddability of approximating graphs is proven in Sect. 3. In Sect. 4, we study examples of actions of groups with strong Banach property (T) on compact Riemannian manifolds, and in Sect. 5, we prove that the expanders constructed from these actions are not coarsely equivalent to a Lafforgue expander. Moreover, we prove Theorems A–C in Sect. 5 (these are Theorems 23, 20 and Corollary 17, respectively).
2 Preliminaries
Throughout the paper, \(\varGamma \) will always denote a finitely generated group and S a finite symmetric generating set of \(\varGamma \). We can assume S to be fixed, as the specific choice of finite generating set will never be relevant for our statements. Actions of countable groups on probability spaces are always assumed to be measure preserving.
The group \(\varGamma \) is a (discrete) metric space when equipped with the associated word metric. More generally, we always think of (the set of vertices of) a connected graph as a discrete metric space using the shortest path distance. The word metric on \(\varGamma \) coincides with the distance coming from the identification of \(\varGamma \) with its Cayley graph.
2.1 Expanders and superexpanders
Let \(\mathcal {G}=(V,E)\) be a finite connected graph. For \(A \subset V\), let \(\partial A\) be the set of edges in E joining an element of A with an element of \(V {\setminus } A\). The Cheeger constant\(h(\mathcal {G})\) of \(\mathcal {G}\) is defined as
The Cheeger constant is a measure of the connectivity of a graph.
Let \((\mathcal {G}_n)\) be a sequence of finite connected graphs with degrees bounded by a constant D independent of n (the degree of a graph is the maximum of the degrees of its vertices). Then the sequence \((\mathcal {G}_n)\) is said to be an expander if \(\lim _{n \rightarrow \infty } V_n = \infty \) (where \(V_n\) is the vertex set of \(\mathcal {G}_n\)) and \(\exists C > 0\) such that \(h(\mathcal {G}_n) \ge C\) for all n. When this is the case we also say that the graphs \(\mathcal {G}_n\) form a family of expanders.
If \(\varLambda \) is a cocompact lattice in an almost simple higher rank algebraic group over a nonArchimedean local field (note that in this case \(\varLambda \) has strong Banach property (T) by [14,15,16]), \((\varLambda _n)\) is a nested sequence of finite index normal subgroups of \(\varLambda \) with trivial intersection and \(\vert \varLambda / \varLambda _n \vert \rightarrow \infty \), and \(S'\) is a generating set of \(\varLambda \), then the sequence of Cayley graphs \(\mathrm{Cay}(\varLambda /\varLambda _n,\pi _n(S'))\) is a superexpander [14]. We call such expanders Lafforgue expanders.
Remark 1
In some texts, a superexpander is defined as a sequence of finite connected Dregular graphs \(\mathcal {G}_n=(V_n,E_n)\), \(n \in \mathbb {N}\), such that \(\lim _{n \rightarrow \infty } V_n = \infty \) and such that for every superreflexive Banach space X there exists a constant \(\gamma > 0\) such that for all \(n \in \mathbb {N}\) and \(f:V_n \rightarrow X\), the inequality
holds. This definition is stronger than the definition that we use in this article. However, from [27], it follows that the superexpanders that we consider are also superexpanders according to the definition in this remark (with the only minor caveat that these graphs need not be Dregular).
2.2 Coarse embeddings and quasiisometries
A map \(f:(X,d_X)\rightarrow (Y,d_Y)\) between metric spaces is called a coarse embedding if there are two increasing and unbounded control functions \(\rho _,\rho _+:[0,\infty )\rightarrow [0,\infty )\), such that
for every \(x_1,x_2 \in X\).
A coarse embedding \(f:(X,d_X)\rightarrow (Y,d_Y)\) is called a coarse equivalence if there exists a constant \(C>0\) such that for every \(y \in Y\), there exists an \(x \in X\) with \(d_Y(y,f(x)) \le C\). Equivalently, a coarse embedding f is a coarse equivalence if and only if there exists a coarse embedding \(g:(Y,d_Y)\rightarrow (X,d_X)\) so that both \(f\circ g\) and \(g\circ f\) are at bounded distance from the identity function.
A family of metric spaces \((X_n,d_{X_n})\) coarsely embeds into \((Y,d_Y)\) if there are coarse embeddings \(f_n :(X_n,d_{X_n}) \rightarrow (Y,d_Y)\) with the same control functions \(\rho _\) and \(\rho _+\).
A map \(f:(X,d_X)\rightarrow (Y,d_Y)\) between metric spaces is called a quasiisometry if there exist constants \(L \ge 1\) and \(A \ge 0\), such that
for every \(x_1,x_2 \in X\), and if for every \(y \in Y\), there exists an \(x \in X\) with \(d_Y(y,f(x)) \le A\). In this case we say that f is an (L, A)quasiisometry.
Two spaces are quasiisometric if there exists a quasiisometry between them. Two families \((X_n,d_{X_n})\), \((Y_n,d_{Y_n})\) of metric spaces are uniformly quasiisometric if there exist quasiisometries \(f_n:(X_n,d_{X_n}) \rightarrow (Y_n,d_{Y_n})\) with the same constants L, A.
Note that two connected graphs \(\mathcal {G}\) and \(\mathcal {G}'\) (and more generally, two geodesic spaces) are quasiisometric if and only if they are coarsely equivalent. We will hence use the terms quasiisometric and coarsely equivalent as synonyms.
2.3 Separated subsets of metric spaces
Given \(r>0\), we say that a subset Y of a metric space (X, d) is rseparated if \(d(y,y')\ge r\) for every two \(y,y'\in Y\) satisfying \(y\ne y'\). Note that if Y is rseparated, then the open balls \(B(y,\frac{r}{2})\) with \(y\in Y\) are all disjoint in X.
We say that Y is rdense if the union of all the balls B(y, r) with \(y\in Y\) covers the whole of X. Note that an rseparated set is maximal (with respect to the ordering given by the inclusion) if and only if it is also rdense. In particular, in every metric space there exist subsets that are rseparated and rdense.
It is easy to verify that if Y is an rseparated and Rdense subset of \((X,d_X)\) and \(f:(X,d_X)\rightarrow (X',d_{X'})\) is an (L, A)quasiisometry, then f(Y) is \((\frac{r}{L}A)\)separated and \((RL+2A)\)dense in \(X'\).
2.4 Small balls in Riemannian manifolds
Let (M, d) be a compact Riemannian manifold. Then for every \(r>0\) we let \(v_M(r)\) and \(V_M(r)\) denote the minimum and maximum Riemannian volume of a ball of radius r in M:
Note that if \(Y\subset M\) is rseparated, then \(\mathrm{Vol}(M)\ge v_M(\frac{r}{2}){}Y{}\). If Y is Rdense, then \(\mathrm{Vol}(M)\le V_M(R){}Y{}\).
Using the Bishop–Gunther–Gromov Volume Comparison Theorem (see e.g. [5]), we can deduce the following lemma.
Lemma 2
Let (M, d) be a compact Riemannian manifold. For every \(\kappa \ge 1\), there exists a constant \(C(\kappa )\) such that
for every \(r>0\).
It follows that if Y is rseparated and Rdense, then
2.5 Banach spectral gap
Let \((X,\nu )\) be a probability space and E a Banach space. The Bochner space\(B=L^2(X,\nu ;E)\) is the Banach space of squareintegrable functions \(f:X \rightarrow E\) equipped with the norm
We let \(L^2_0(X,\nu ;E)\) be the subspace of B of functions with zero mean. Any measure preserving action \(\rho :\varGamma \curvearrowright (X,\nu )\) induces a unitary action on B and on \(L^2_0(X,\nu ;E)\) by \(\gamma \cdot f(x) = f(\gamma ^{1}\cdot x)\). We say that \(\rho \) has Espectral gap if there exists a constant \(\varepsilon >0\) so that for every \(f\in L^2_0(X,\nu ;E)\), we have \(\max _{s \in S}{}fs \cdot f{}_B\ge \varepsilon {}f{}_B\).
2.6 Approximating graphs
Let \((X,\nu )\) be as above. Denote by \(\mathcal {P}\) a partition of X into finitely many disjoint measurable sets (which we call regions). Given a constant \(Q\ge 1\), we say that \(\mathcal {P}\) has Qbounded measure ratios if
for every \(R,R'\in \mathcal {P}\).
Given an action \(\varGamma \curvearrowright (X,\nu )\) and a partition \(\mathcal {P}\), the associated approximating graph is the graph \(\mathcal {G}_\mathcal {P}(\varGamma \curvearrowright X)\) whose vertices are the regions in \(\mathcal {P}\) and two regions \(R,R'\in \mathcal {P}\) are connected by an edge if there exists an \(s\in S\) so that \(\nu \big ((s\cdot R)\cap R'\big )>0\).
If X is also a metric space, then the mesh of \(\mathcal {P}\) is defined as the maximum of the diameters of the regions in \(\mathcal {P}\). For more details on approximating graphs, we refer to [30].
2.7 Warped cones
Warped cones were introduced by Roe [24]. We will work with a slightly different definition, which produces families of spaces that are quasiisometric to the level sets of the original warped cones.
Let M be a compact Riemannian manifold with Riemannian metric d, and for every \(t \ge 1\), let \(d^t=td\) denote the rescaling of the Riemannian metric. As in [30], given an action \(\rho :\varGamma \curvearrowright (M,d)\) by Lipschitz homeomorphisms, we define the tlevel of the warped cone as the metric space \((M,{\delta ^{t}_\varGamma })\) where \({\delta ^{t}_\varGamma }\) is the warped distance, i.e. the largest metric satisfying

\({\delta ^{t}_\varGamma }(x,y)\le d^t(x,y)\) for every \(x,y\in M\);

\({\delta ^{t}_\varGamma }(x,s\cdot x)\le 1\) for every \(x\in M\) and \(s\in S\).
Note that the definition depends on the choice of the generating set S. Still, different generating sets produce quasiisometric warped cones.
In [24], the warped cone was defined as the metric space \(\mathcal {O}_\varGamma (M)=(M\times [1,\infty ),{\delta ^{}_\varGamma })\) for some specific metric \({\delta ^{}_\varGamma }\). According to our definition, the identifications \((M,{\delta ^{t}_\varGamma })\rightarrow M\times \{t\}\subset \mathcal {O}_\varGamma (M)\) are not isometries, but they are uniform quasiisometries (see [30, Lemma 6.5]).
The next result follows from combining [24, Proposition 1.10] and [30, Section 6].
Proposition 3
The tlevel sets \((M,{\delta ^{t}_\varGamma })\) are uniformly quasiisometric to graphs with uniformly bounded degrees. The graphs are graphs approximating the action \(\rho \) with respect to some measurable partitions of mesh \(\approx \frac{1}{t}\) and uniformly Qbounded measure ratios.
2.8 On the geometry of Banach spaces
A Banach space X is called uniformly convex if \(\delta _X(\varepsilon )>0\) for all \(\varepsilon \in (0,2]\), where
Let \((g_i)_{i \in \mathbb {N}}\) be a countable family of independent complex Gaussian \(\mathcal N(0,1)\) random variables on a probability space \((\varOmega ,\mathbb P)\). A Banach space X is said to have type \(p \ge 1\) if there exists a constant \(T>0\) such that for every \(n \in \mathbb {N}\) and \(x_1,\dots ,x_n \in X\), we have
Uniformly convex Banach spaces have nontrivial type, i.e. type \(>1\). The converse is known to be false. For more details on type, we refer to [19].
2.9 Strong property (T)
Strong Banach property (T) was introduced by Lafforgue [14, 15]. In this article, we use the version of strong property (T) relative to classes of Banach spaces, which is implicit in [15], and which appeared explicitly in [25]. The latter article also gives a characterization of strong property (T), which is what we take as its definition in this article.
Definition 4
Let \(\mathcal {E}\) be a class of Banach spaces. A locally compact group G has strong property (T) with respect to \(\mathcal {E}\), denoted by (T\(^{\mathrm {strong}}_{\mathcal {E}}\)), if for every length function \(\ell \) on G there exists a sequence of compactly supported symmetric Borel measures \(m_n\) on G such that for every Banach space E in \(\mathcal E\) there exists a constant \(t>0\) such that the following holds: for every strongly continuous representation \(\pi :G \rightarrow B(E)\) satisfying \(\Vert \pi (g)\Vert _{B(E)} \le L e^{t \ell (g)}\) with \(L\in \mathbb {R}_+\), the sequence \(\pi (m_n)\) converges in the norm topology on B(E) to a projection onto the \(\pi (G)\)invariant vectors in E.
Strong Banach property (T) of Lafforgue corresponds to taking \(\mathcal {E}\) to be the class of Banach spaces with nontrivial type.
Recall that a measure preserving action of a countable group on a probability space is ergodic if and only if every invariant subset of the space on which the group acts has measure 0 or 1. We will use the following result on ergodic actions of groups with strong Banach property (T).
Proposition 5
If \(\varGamma \) is a finitely generated group with strong Banach property (T) of Lafforgue, then every ergodic measure preserving action \(\rho :\varGamma \curvearrowright (X,\nu )\) has Espectral gap for every Banach space E with nontrivial type. Moreover, this spectral gap is uniform in the class of Banach spaces with nontrivial type, i.e. the constant \(\varepsilon \) in the definition of spectral gap in Sect. 2.5 does not depend on E nor on the action.
This result is well known to experts. It follows from the fact that strong property (T) relative to a class \(\mathcal {E}\) implies property (T\(_E\)) uniformly for \(E \in \mathcal {E}\). By definition, the latter property implies uniform Espectral gap. For the specific case of classes of uniformly convex Banach spaces and isometric representations on these spaces, the result also follows from [2, Theorem 4.6].
3 The nonembeddability result
Let \(\varGamma \) be a finitely generated group with finite symmetric generating set S, let \(\varGamma \curvearrowright (X,\nu )\) be a measure preserving action on a probability space, and let E be a Banach space. A function \({\hat{f}}:\mathcal {G}_\mathcal {P}(\varGamma \curvearrowright X)\rightarrow E\) (here \({\hat{f}}\) is defined on the vertices of the graph) naturally induces a function \(f:X \rightarrow E\) assigning to a point \(x\in X\) the value of the region \(R_x\in \mathcal {P}\) containing it.
Lemma 6
If \({\hat{f}}\) is a coarse embedding with control functions \(\rho _\) and \(\rho _+\), then for every \(s\in S\) we have \({}fs\cdot f{}_B\le \rho _+(1)\).
Proof
Note that for \(\nu \)almost every \(x\in X\) if we let \(R_x,R_{s\cdot x}\in \mathcal {P}\) be the regions containing x and \(s\cdot x\), respectively, then \(d(R_x,R_{s\cdot x})\le 1\). Therefore, we have
\(\square \)
Lemma 7
If \(\mathcal {P}\) has Qbounded measure ratios, and if the degree of \(\mathcal {G}_\mathcal {P}(\varGamma \curvearrowright X)\) is D, and if \({\hat{f}}\) is a coarse embedding with control functions \(\rho _\) and \(\rho _+\), then (when the righthand side is defined) we have
Proof
Let \(C={}f{}_B\). Note that the set \(X_{2C}=\{x\in X\mid {}f(x){}_E\le 2C\}\) has measure \(\nu (X_{2C})> \frac{1}{2}\).
For any \(r\ge 0\) and \(R\in \mathcal {P}\), let \(\mathcal {N}_r(R)\subseteq X\) denote the union of all the regions \(R'\in \mathcal {P}\) with \(d(R,R')\le r\). Then it follows from our hypotheses that
In particular, if we let
then \(\nu (\mathcal {N}_r(R))\le \frac{1}{2}\).
Choose any region \(R\subseteq X_{2C}\). By construction, there must exist another region \(R'\subseteq X_{2C}\) with \(d(R,R')>r\). Therefore, we have
whence the required inequality. \(\square \)
Now, let \(\rho _n:\varGamma _n\curvearrowright (X_n,\nu _n)\) be a sequence of probability measure preserving actions, let \(\mathcal {P}_n\) be measurable partitions of \(X_n\), all with Qbounded measure ratios and such that all the approximating graphs \(\mathcal {G}_{\mathcal {P}_n}(\varGamma _n \curvearrowright X_n)\) have degree at most D. Combining Lemmas 6 and 7 immediately yields the following result.
Proposition 8
If the actions \(\rho _n:\varGamma _n\curvearrowright (X_n,\nu _n)\) all have Espectral gap with a uniform constant \(\varepsilon >0\), then the approximating graphs \(\mathcal {G}_{\mathcal {P}_n}(\varGamma _n \curvearrowright X_n)\) do not coarsely embed into E uniformly.
Remark 9
Since Cayley graphs can be realized as approximating graphs, we can recover as a corollary the wellknown fact that Lafforgue expanders do not coarsely embed into any Banach space with nontrivial type.
4 Actions with spectral gap
Let M be a compact Riemannian manifold, \(\rho :\varGamma \curvearrowright M\) an action by Lipschitz homeomorphisms that preserve the Riemannian metric, and \((t_n)\) an increasing diverging sequence in \([1,\infty )\). It was proved in [30] that the graphs quasiisometric to the \(t_n\)level sets \((M,{\delta ^{t_n}_\varGamma })\) form a family of expanders if and only if \(\rho \) has \(\mathbb {R}\)spectral gap. Proposition 8 directly implies the following strengthening.
Theorem 10
If the action \(\rho :\varGamma \curvearrowright M\) has Espectral gap, then for every increasing diverging sequence \((t_n)\) in \([1,\infty )\), the graphs form an expander that does not coarsely embed into E.
We now give examples. For this, we use the approach that Margulis used to solve the Banach–Ruziewicz problem [17].
For \(d \ge 5\), let \(\varGamma _d\) consist of matrices in \(\mathrm {SO}(d,\mathbb {R})\) whose entries are elements of \(\mathbb {Z}[\frac{1}{5}]\) (the subring of \(\mathbb {Q}\) generated by the element \(\frac{1}{5}\)). Consider the diagonal embedding of \(\varGamma _d\) into \(G_d=\mathrm {SO}(d,\mathbb {Q}_5) \times \mathrm {SO}(d,\mathbb {R})\). Then \(\varGamma _d\) is a cocompact lattice in \(G_d\) [1].
Since \(\mathrm {SO}(d,\mathbb {Q}_5)\) is an almost simple algebraic group of higher rank (whenever \(d \ge 5\)) (see [17]), it has Lafforgue’s strong Banach property (T) (see [16]). This implies that also \(G_d\) has strong Banach property (T), since \(\mathrm {SO}(d,\mathbb {R})\) is a compact group. Lafforgue proved that strong Banach property (T) passes to cocompact lattices [14], which implies that \(\varGamma _d\) has strong Banach property (T).
The compact Lie group \(\mathrm {SO}(d,\mathbb {R})\) can be made into a compact Riemannian manifold of dimension \(\frac{d(d1)}{2}\) by choosing any leftinvariant Riemannian metric on it. The group \(\varGamma _d\) is in fact a dense subgroup of \(\mathrm {SO}(d,\mathbb {R})\) (recall that we consider the diagonal embedding of \(\varGamma _d\) into \(G_d\)), so \(\varGamma _d\) acts ergodically and by isometries on \(\mathrm {SO}(d,\mathbb {R})\) by left multiplication. This observation directly implies the following result.
Theorem 11
Let \(d\ge 5\) be fixed, and let \((t_n)\) be an increasing diverging sequence. Then the graphs approximating the \(t_n\)levels of the warped cone of \(\varGamma _d\curvearrowright \mathrm {SO}(d,\mathbb {R})\) form an expander that does not coarsely embed into any Banach space with nontrivial type. In particular, they form a superexpander.
Remark 12
Since the natural action \(\mathrm {SO}(d,\mathbb {R})\curvearrowright \mathbb {S}^{d1}\subset \mathbb {R}^d\) by isometries on the unit sphere restricts to an ergodic action of \(\varGamma _d\), we can also deduce that for \(d\ge 5\) fixed and \((t_n)\) an increasing diverging sequence, the graphs approximating the \(t_n\)levels of the warped cone of \(\varGamma _d\curvearrowright \mathbb {S}^{d1}\) form an expander that does not coarsely embed into any Banach space with nontrivial type. In particular, they form a superexpander.
5 On the coarse geometry of expanders
In this section, we study expanders up to coarse equivalence. As a first remark, we wish to point out that once an expander \((\mathcal {G}_n)\) is given, one can construct a continuum of noncoarsely equivalent expanders by carefully choosing subsequences of it. Similar arguments are used in [8, Theorem 2.8] and [9, Proposition 2].
Proposition 13
Let \((\mathcal {G}_n)\) be a family of finite graphs with uniformly bounded degree and \({}\mathcal {G}_n{}\rightarrow \infty \). Then there exists a continuum \(\mathcal {I}\) of subsets \(I_a\subset \mathbb {N}\) such that for every pair \(I_a\ne I_b\) in \(\mathcal {I}\), the subsequences \((\mathcal {G}_n)_{n\in I_a}\) and \((\mathcal {G}_n)_{n\in I_b}\) are not uniformly coarsely equivalent.
Proof
Choosing a subsequence if necessary, we can assume that \({}\mathcal {G}_{n+1}{}> n{}\mathcal {G}_n{}\) for every \(n\in \mathbb {N}\). We claim that for every choice of control functions \(\rho _\) and \(\rho _+\) there is an \(n_0\) large enough so that for all \(n>m>n_0\), the graphs \(\mathcal {G}_n\) and \(\mathcal {G}_m\) cannot be coarsely equivalent with control functions \(\rho _\) and \(\rho _+\). Indeed, suppose that there exists such a coarse equivalence \(f :\mathcal {G}_n\rightarrow \mathcal {G}_m\), and let \(r>0\) be large enough, so that \(\rho _(r)\ge 1\). Then the preimage \(f^{1}(v)\) of any vertex \(v\in \mathcal {G}_m\) must have diameter at most r, and it follows that \(f^{1}(v)\) has cardinality at most \(D^{r+1}\), where D is the uniform bound on the degree. In particular, we have \(m{}\mathcal {G}_m{}<{}\mathcal {G}_n{}\le D^{r+1}{}\mathcal {G}_m{}\). Hence, to prove the claim, it is sufficient to let \(n_0=D^{r+1}\).
It follows from the above discussion that if I and J are two subsets of \(\mathbb {N}\) so that \(I {\setminus } J\) is infinite, then the sequences \((\mathcal {G}_n)_{n\in I}\) and \((\mathcal {G}_n)_{n\in J}\) are not uniformly coarsely equivalent. To conclude the proof, it is enough to observe that there exists an uncountable family of sets \(I_a\subset \mathbb {N}\) so that \(I_a {\setminus } I_b\) is infinite for every \(a\ne b\). \(\square \)
Remark 14
One can effectively use Proposition 13 to produce a continuum of noncoarsely equivalent expanders. Moreover, with extra care it is also possible to find a continuum of infinite subsets \(I_a\subset \mathbb {N}\) such that \(I_a\cap I_b\) is finite for every \(a\ne b\). In turn, this produces a continuum of expanders that do not even admit coarsely equivalent subsequences.
Still, this technique is rather unsatisfactory, as it is quite meaningless to compare families of graphs whose sets have very different cardinalities. Moreover, one cannot trivially use Proposition 13 to produce examples of nonLafforgue superexpanders, as a subsequence of a Lafforgue expander is still a Lafforgue expander.
In view of Proposition 13, the following fact may be interesting on its own.
Proposition 15
Let \(\rho :\varGamma \curvearrowright M\) be an action by Lipschitz homeomorphisms on a compact Riemannian manifold. Then there exists a constant C depending only on M such that for every \(N\in \mathbb {N}\) there exists a \(t\in \mathbb {R}\) for which
Proof
The graphs are constructed in [30] using a onetoone correspondence between the vertices of and a \(\frac{1}{t}\)dense, \(\frac{1}{t}\)separated subset \(Y\subset M\). Since M is a compact Riemannian manifold, it follows from the discussion in Sect. 2.4 that there exists a constant C independent of t so that
where d is the dimension of M. Letting \(t:=\root d \of {N}\) yields the result. \(\square \)
Remark 16
By a more careful argument, one can show that for every \(N\in \mathbb {N}\) it is possible to construct an approximating graph so that . A straightforward way to prove this is to note that one can construct expanders where the vertex set of is in correspondence with an arbitrary \(\frac{1}{t}\)dense, \(\frac{1}{2t}\)separated subset \(Y\subset M\) (see the proof of [30, Theorem 5.5]). Moreover, if \(Y_1\) is \(\frac{1}{t}\)dense and \(\frac{1}{t}\)separated and \(Y_2\supset Y_1\) is \(\frac{1}{2t}\)dense and \(\frac{1}{2t}\)separated then every intermediate subset \(Y_1\subseteq Y\subseteq Y_2\) is \(\frac{1}{t}\)dense and \(\frac{1}{2t}\)separated. Letting \(Y_1\subset Y_2\subset Y_3\subset \cdots \) be a nested sequence of subsets where the nth set is \(\frac{1}{2^nt}\)dense and \(\frac{1}{2^nt}\)separated (such a sequence exists by Zorn’s Lemma), one can choose intermediate subsets of arbitrary (finite) cardinalities.
Combining the discussion above with Theorem 11 we obtain Theorem C as a corollary.
Corollary 17
It is possible to construct superexpanders whose graphs have arbitrary cardinality.
We now wish to show that the examples of superexpanders that we gave in the previous section are never coarsely equivalent to a Lafforgue expander. To do so, we first need to introduce some notation.
In what follows, we will denote the word length of an element of \(\gamma \in \varGamma \) by \({}\gamma {}\) and we will equip \(\varGamma \) with the right word metric, i.e. we define the distance between two elements \(\gamma ,\gamma '\) to be \({}\gamma '\gamma ^{1}{}\). To avoid confusion, we will generally use the notation \(B_{(X,d)}(x,r)\) to denote the ball of radius r centered at the point x in the metric space (X, d). An exception will be the ball \(B_{(\varGamma ,{}\cdot {})}(e,r)\), which we will simply denote by \(B_\varGamma (r)\). If Y is a subset of X, we denote by \(N_{(X,d)}(Y,r)\) its neighbourhood of radius r:
Given an action \(\varGamma \curvearrowright X\), we denote by \(B_\varGamma (r)\cdot Y\) the union of the images of Y under the elements in \(B_\varGamma (r)\):
We define the set \(\chi _\varGamma ^t(r)\subset X\) as follows:
If we consider a warped cone defined through an action \(\varGamma \curvearrowright X\) by isometries, then it is easy to verify (see also [26]) that the warped distance between two points \(x,y\in (X,{\delta ^{t}_\varGamma })\) can be expressed as
In this case, we have the following inclusion of neighbourhoods:
Now, let (M, d) be a compact Riemannian manifold and \(\rho :\varGamma \curvearrowright M\) an action by isometries. Equip the direct product \(\varGamma \times \mathbb {R}^k\) with the \(\ell ^1\)distance \({}(\gamma ,v){}:={}\gamma {}+{}v{}_2\). The following lemma characterizes balls in warped cones up to biLipschitz equivalence. Similar observations were made in [28, Lemma 3.8].
Lemma 18
Let \(L>1\) and \(r>0\) be fixed. Then there exists a \(t_0\) large enough so that for every \(t\ge t_0\) and for every \(x_0\notin \chi _\varGamma ^t(r)\), the ball \(B_{(M,{\delta ^{t}_\varGamma })}(x_0,r)\) is LbiLipschitz equivalent to the ball of radius r in the product \(\varGamma \times \mathbb {R}^{\dim (M)}\).
Proof
Fix \(t>1\) and \(x_0\notin \chi _\varGamma ^t(r)\). By definition of \(\chi _\varGamma ^t(r)\), it follows that the balls \(B_{(M,d^t)}(\gamma \cdot x_0,3r)\) with \(\gamma \in B_\varGamma (3r)\) are disjoint. Note that the image \(\gamma \cdot B_{(M,d^t)}(x_0,3r)\) coincides with the ball \(B_{(M,d^t)}(\gamma \cdot x_0,3r)\).
Since M is compact, the infimum in the equality (1) is actually a minimum. Therefore, for every two points \(x,y\in B_{(M,{\delta ^{t}_\varGamma })}(x_0,r)\), there exist \(\gamma _x,\gamma _y\in B_\varGamma (r)\) so that \({\delta ^{t}_\varGamma }(x,x_0)={}\gamma _x{}+d^t(\gamma _x \cdot x_0,x)\) and \({\delta ^{t}_\varGamma }(y,x_0)={}\gamma _y{}+d^t(\gamma _y \cdot x_0,y)\). Again by (1), there exists a \(\gamma \in \varGamma \) with \({}\gamma {}\le 2r\) so that
It follows that the point y belongs to both \(\gamma \gamma _x \cdot B_{(M,d^t)}(x_0,3r)\) and \(\gamma _y\cdot B_{(M,d^t)}(x_0,r)\) and therefore, by construction, we must have \(\gamma =\gamma _y\gamma _x^{1}\). As a consequence, it is easy to deduce that the ball of radius r centred at \(x_0\) in \((M,{\delta ^{t}_\varGamma })\) is actually isometric to the ball of radius r centred at \((x_0,e)\) in the direct product \((M,d^t)\times \varGamma \) equipped with the \(\ell ^1\)distance.
Recall that the differential \(\mathrm {d}_0\exp :T_{x}M\rightarrow T_{x}M\) of the Riemannian exponential map \(\exp :T_{x}M\rightarrow M\) at the point \(0\in T_{x}M\) is the identity. For every \(\varepsilon >0\), there exists a \(\eta (\varepsilon )\) small enough so that the restriction of \(\exp \) to \(B_{T_{x} M}(0,\eta )\) is a \((1+\varepsilon )\)biLipschitz map onto \(B_{(M,d)}(x,\eta )\) when \(0< \eta < \eta (\varepsilon )\) and, by compactness, we can assume that the same constant \(\eta (\varepsilon )\) does the job for every point \(x\in M\).
Now, since the ball \(B_{(M, d^t)}(x_0,r)\) is isometric to the ball \(B_{(M,d)}(x_0,\frac{r}{t})\) with the metric rescaled by t, we deduce that \(B_{(M, d^t)}(x_0,r)\) is \((1+\varepsilon )\)biLipschitz equivalent to \(B_{T_{x_0} M}(0,r)\) as soon as \(\frac{r}{t}<\eta (\varepsilon )\). To conclude the proof it is hence enough to set \(t_0:=r/\eta (L1)\). \(\square \)
Recall that an action on a measure space is essentially free if the set of points with nontrivial stabilizer has measure zero.
Lemma 19
Let \(\varGamma \curvearrowright M\) and \(\varLambda \curvearrowright N\) be essentially free actions by isometries on compact Riemannian manifolds and let \(L,A,r>0\) be fixed. If there exist increasing unbounded sequences \((t_k)\) and \((s_k)\), and (L, A)quasiisometries \(f_k:(M,{\delta ^{t_k}_\varGamma })\rightarrow (N,{\delta ^{s_k}_\varLambda })\), then for every k large enough, there exists a point \(x_k\in M {\setminus } \chi _\varGamma ^{t_k}(r)\) whose image \(f_k(x_k)\) is not in \(\chi _\varLambda ^{s_k}(Lr+A)\).
Proof
Without loss of generality, we renormalize the Riemannian metrics so that M and N have volume 1. Let \(Y_k\subset (M,{\delta ^{t_k}_\varGamma })\) be an \(L(A+1)\)separated \(L(A+1)\)dense subset. Note that the balls \(B_{(M,{\delta ^{t_k}_\varGamma })}\Big (y,L\frac{A+1}{2}\Big )\) with \(y\in Y_k\) are disjoint, and (in the notation of Sect. 2.4) they have volume bounded between \(v_M\Big (L\frac{A+1}{2t_k}\Big )\) and \(V_M\Big (L\frac{A+1}{2t_k}\Big ){}*{}{B_\varGamma (L\frac{A+1}{2})}\).
Let \(Z_k\subseteq Y_k\) be the subset of those points which are close to \(\chi _\varGamma ^{t_k}(r)\):
and let \(\varOmega _k:=N_{(M,{\delta ^{t_k}_\varGamma })}\big (Z_k,L(A+1)\big )\). Then \(\chi _\varGamma ^{t_k}(r)\) is contained in \(\varOmega _k\) and \(\varOmega _k\) is contained in a “small” neighbourhood of \(\chi _\varGamma ^{t_k}(r)\):
Note that the measure of the righthand side tends to 0 as k tends to infinity, because the sets \(\chi _\varGamma ^{t_k}(r)\) form a sequence of closed nested subsets that converge (in measure) to the union of the sets of fixed points of finitely many elements of \(\varGamma \).
Combining the two inequalities
with Lemma 2, we obtain that the ratios \({}Z_k{}/{}Y_k{}\) tend to 0 as k goes to infinity.
Now, since \(f_k\) is an (L, A)quasiisometry, the image \(f_k(Y_k)\) is a 1separated \((L^2(A+1)+2A)\)dense subset of \((N,{\delta ^{s_k}_\varLambda })\) and we also have
We deduce that the volume of (a neighborhood of) \(f_k(\varOmega _k)\) is bounded above by
On the other hand, 1separatedness gives us an upper bound on \({}Y_k{}\) in terms of \(v_N\):
Since \({}Z_k{}/{}Y_k{}\) tends to 0 as k tends to infinity, combining the estimates (2) and (3) and applying Lemma 2 implies that also the measure of (a neighborhood of) \(f_k(\varOmega _k)\) tends to 0. As we also have that the volume of \(\chi _\varLambda ^{s_k}(Lr+A)\subseteq N\) tends to 0, the statement of the lemma follows trivially. \(\square \)
We can now prove the quasiisometric rigidity result. The following theorem is inspired by [9, Theorem 7] and it directly implies Theorem B.
Theorem 20
Let \(\varGamma \curvearrowright (M,d)\) be an essentially free action by isometries, \((t_k)\) an increasing diverging sequence, and \(\varLambda \) a group generated by a finite set \(S'\).

(i)
If \(\varLambda \) acts essentially freely by isometries on a compact Riemannian manifold N and the sequence \(\{(M,{\delta ^{t_k}_\varGamma })\}_k\) is uniformly coarsely equivalent to \(\{(N,{\delta ^{s_k}_\varLambda })\}\) for some increasing diverging sequence \((s_k)\), then \(\varLambda \times \mathbb {Z}^{\dim (N)}\) is quasiisometric to \(\varGamma \times \mathbb {Z}^{\dim (M)}\).

(ii)
If there exists a sequence of finite index normal subgroups \(\varLambda _k\vartriangleleft \varLambda \) with \(\varLambda _{k+1}<\varLambda _k\) and \(\bigcap _{k\in \mathbb {N}}\varLambda _k=\{1\}\) and so that the sequence \(\{\mathrm{Cay}(\varLambda /\varLambda _k,\pi _k(S'))\}_k\) of the Cayley graphs of the quotients is uniformly coarsely equivalent to \(\{(M,{\delta ^{t_k}_\varGamma })\}_k\), then \(\varLambda \) is quasiisometric to \(\varGamma \times \mathbb {Z}^{\dim (M)}\).
Proof
We first prove the first assertion. Suppose that the levels \((M,{\delta ^{t_k}_\varGamma })\) and \((N,{\delta ^{s_k}_\varLambda })\) are uniformly coarsely equivalent. Then there exists a sequence of quasiisometries \(f_k:(M,{\delta ^{t_k}_\varGamma })\rightarrow (N,{\delta ^{s_k}_\varLambda })\) that are all (L, A)quasiisometries for some fixed constants L and A.
Fix an integer radius \(r\in \mathbb {N}\). By Lemma 19, for every k large enough there exists a point \(x_k\in M{\setminus } \chi _\varGamma ^{t_k}(r)\) such that \(f_k(x_k)\) is not in \(\chi _\varLambda ^{s_k}(Lr+A)\). Let \(y_k:=f_k(x_k)\). Fix \(\varepsilon >0\) small. By Lemma 18, we also have that there exists a \(k=k(r)\) large enough so that the balls \(B_{(M,{\delta ^{t_k}_\varGamma })}(x_{k(r)},r)\) and \(B_{(N,{\delta ^{s_k}_\varLambda })}(y_{k(r)},Lr+A)\) are \((1+\varepsilon )\)biLipschitz equivalent to \(B_{\varGamma \times \mathbb {R}^m}(r)\) and \(B_{\varLambda \times \mathbb {R}^n}(Lr+A)\) respectively, where \(m=\dim (M)\) and \(n=\dim (N)\).
Note that the inclusion \(\mathbb {Z}^d\hookrightarrow \mathbb {R}^d\) is a \((\sqrt{d},\sqrt{d})\)quasiisometry and that the restriction of \(f_k\) to \(B_{(M,{\delta ^{t_k}_\varGamma })}(x_k,r)\) is an (L, A)quasiisometric embedding into \(B_{(N,{\delta ^{s_k}_\varLambda })}(y_k,Lr+A)\). We then have a concatenation of quasiisometric embeddings as depicted in the following diagram:
where \({\hat{f}}_r\) is defined as the composition and the labels represent the quasiisometry constants. Then \({\hat{f}}_r\) is a \((L',A')\)quasiisometric embedding where \(L'=\sqrt{nm}L\) and \(A'=\sqrt{n}(\sqrt{m}L+A+1)\) (if the \(\varepsilon \) coming from the biLipschitz map is small enough, we can ignore it altogether because the distances in \(\varGamma \times \mathbb {Z}^m\) and \(\varLambda \times \mathbb {Z}^n\) take integer values).
We thus obtained a sequence of uniform quasiisometric embeddings \(\hat{f}_r\). Note that by construction, \(\hat{f}_r\) sends the identity element of \(\varGamma \times \mathbb {Z}^m\) to the identity element of \(\varLambda \times \mathbb {Z}^n\). It follows that for every fixed vertex \(v\in \varGamma \), the image \(\hat{f}_r(v)\) can only take finitely many values in \(\varLambda \times \mathbb {Z}^n\) and hence there exists a subsequence \(\hat{f}_{r_l}\) such that \(\hat{f}_{r_l}(v)\) is constant.
Using a diagonal argument, we can pass to a subsequence \({\hat{f}}_{r_i}\) such that for every \(i>j\) the restriction of \({\hat{f}}_{r_i}\) to the ball \(B_{\varGamma \times \mathbb {Z}^m}(j)\) coincides with \({\hat{f}}_{r_j}\). It follows that setting \(\hat{f}_{B_{\varGamma \times \mathbb {Z}^m}(i)}:=\hat{f}_{r_i}\) gives a well defined \((L',A')\)quasiisometric embedding \({\hat{f}}:\varGamma \times \mathbb {Z}^m\rightarrow \varLambda \times \mathbb {Z}^n\).
It only remains to show that \({\hat{f}}\) is coarsely surjective. This is easily done, because if g is any quasiisometry and R is any radius, then there exists an \(R'\ge R\) large enough so that the image \(g\big (B(x,R')\big )\) is coarsely dense in \(B\big (g(x),R\big )\). As \({\hat{f}}_{r}\) is defined as a composition of (restrictions of) quasiisometries, it follows that for every \(R>0\) the image of \({\hat{f}}_r\) is coarsely dense in \(B_{\varLambda \times \mathbb {Z}^n}(R)\) for every r large enough and therefore the same holds true for \({\hat{f}}\).
The proof of (ii) follows the same lines. Indeed, since the subgroups \(\varLambda _i\) are a nested sequence with trivial intersection, for every \(r\in \mathbb {N}\) there is a \(k=k(r)\) large enough so that the ball of radius \(Lr+A\) in \(\mathrm{Cay}(\varLambda /\varLambda _k, \pi _k(S'))\) and the ball of radius \(Lr+A\) in \(\mathrm{Cay}(\varLambda ,S')\) are isometric. One can hence fix some points \(x_k\in M{\setminus } \chi _\varGamma ^{t_k}(r)\) and consider the diagram
and argue as above. \(\square \)
Remark 21
One can modify the proofs of Lemma 18 and Theorem 20 in order to prove that, under the same hypotheses, if the warped cones \(\mathcal {O}_\varGamma (M) \) and \(\mathcal {O}_\varLambda (N)\) as defined in [24] are quasiisometric, then \(\varGamma \times \mathbb {Z}^{\dim (M)+1}\) is quasiisometric to \(\varLambda \times \mathbb {Z}^{\dim (N)+1}\).
It follows from the Splitting Theorem in [10] that if \(\varGamma \) and \(\varLambda \) are cocompact lattices in a semisimple algebraic group with no rankone simple factors and \(\varGamma \times \mathbb {Z}^m\) is quasiisometric to \(\varLambda \times \mathbb {Z}^n\), then \(m=n\) and \(\varGamma \) is quasiisometric to \(\varLambda \).
Corollary 22
Any two expanders \(\mathcal {G}_{t_n}(\varGamma _d\curvearrowright \mathrm {SO}(d,\mathbb {R}))\) and \(\mathcal {G}_{s_n}(\varGamma _{d'}\curvearrowright \mathrm {SO}(d',\mathbb {R}))\) as in Theorem 11 cannot be coarsely equivalent if \(d\ne d'\). Moreover, the expanders \(\mathcal {G}_{t_n}(\varGamma _d\curvearrowright \mathrm {SO}(d,\mathbb {R}))\) cannot be coarsely equivalent to \(\mathcal {G}_{s_n}(\varGamma _{d}\curvearrowright \mathbb {S}^{d1})\).
The class of cocompact lattices in a semisimple algebraic group over a nonArchimedean local field, in which every simple factor is of higher rank, is quasiisometrically rigid [10] (see also [3]). It then follows from Theorem 20 that if \(\mathcal {G}_{t_k}(\varGamma \curvearrowright M)\) is uniformly quasiisometric to a sequence \(\varLambda /\varLambda _k\), then \(\varLambda \) cannot be a cocompact lattice in such an algebraic group. Indeed, otherwise we would have that \(\varGamma \times \mathbb {Z}^d\) must be itself a lattice in such a group, but this is not the case as it does not have property (T). This implies the following theorem.
Theorem 23
If \(\varGamma \) is a group with Lafforgue strong Banach property (T) with an ergodic essentially free action by isometries on a Riemannian manifold M, then the graphs \(\mathcal {G}_{t_n}(\varGamma \curvearrowright M)\) form a superexpander that is not coarsely equivalent to a Lafforgue expander.
The above result directly implies Theorem A.
Remark 24
Theorem 20 can be used as in Corollary 22 to construct expanders that do not have coarsely equivalent subsequences, but the proof of the theorem is somehow implying that the expanders thus obtained are not even “locally” coarsely equivalent. For instance, if we assume the actions to be free we can avoid using Lemma 19 and then the proof of Theorem 20(i) works verbatim with the following (weaker) assumptions: there exist sequences of points \((x_k)\) in M and \((y_k)\) in N, increasing unbounded sequences \((t_k)\) and \((s_k)\) in \([1,\infty )\), and neighbourhoods \(A_k\subset (M,{\delta ^{t_k}_\varGamma })\) and \(B_k\subset (N,{\delta ^{s_k}_\varLambda })\) of \(x_k\) and \(y_k\), respectively, such that \(A_k\) and \(B_k\) are uniformly quasiisometric and for every \(r>0\) there exists a k large enough so that the balls \(B_{(M,{\delta ^{t_k}_\varGamma })}(x_k,r)\) and \(B_{(N,{\delta ^{s_k}_\varLambda })}(y_k,r)\) are contained in \(A_k\) and \(B_k\), respectively.
References
Borel, A.: Some finiteness properties of adele groups over number fields. Publ. Math. Inst. Hautes Études Sci. 16, 5–30 (1963)
Druţu, C., Nowak, P.: Kazhdan projections, random walks and ergodic theorems. J. Reine Angew. Math. (2017). https://doi.org/10.1515/crelle20170002
Eskin, A., Farb, B.: Quasiflats and rigidity in higher rank symmetric spaces. J. Am. Math. Soc. 10, 653–692 (1997)
Fisher, D., Nguyen, T., Van Limbeek, W.: Coarse geometry of expanders from rigidity of warped cones. Preprint (2017). arXiv:1710.03085
Gallot, S., Hulin, D., Lafontaine, J.: Riemannian Geometry. Springer, Berlin (2004)
Gromov, M.: Spaces and questions. Geom. Funct. Anal. Special Volume, Part I, pp. 118–161 (2000)
Gromov, M.: Random walk in random groups. Geom. Funct. Anal. 13, 73–146 (2003)
Hume, D.: A continuum of expanders. Fund. Math. 238, 143–152 (2017)
Khukhro, A., Valette, A.: Expanders and box spaces. Adv. Math. 314, 806–834 (2017)
Kleiner, B., Leeb, B.: Rigidity of quasiisometries for symmetric spaces and Euclidean buildings. Publ. Math. Inst. Hautes Études Sci. 86, 115–197 (1997)
de Laat, T., Mimura, M., de la Salle, M.: On strong property (T) and fixed point properties for Lie groups. Ann. Inst. Fourier 66, 1859–1893 (2016)
de Laat, T., de la Salle, M.: Strong property (T) for higherrank simple Lie groups. Proc. Lond. Math. Soc. 3(111), 936–966 (2015)
de Laat, T., de la Salle, M.: Approximation properties for noncommutative \(L^p\)spaces of high rank lattices and nonembeddability of expanders. J. Reine Angew. Math. 737, 49–69 (2018)
Lafforgue, V.: Un renforcement de la propriété (T). Duke Math. J. 143, 559–602 (2008)
Lafforgue, V.: Propriété (T) renforcée banachique et transformation de Fourier rapide. J. Topol. Anal. 1, 191–206 (2009)
Liao, B.: Strong Banach property (T) for simple algebraic groups of higher rank. J. Topol. Anal. 6, 75–105 (2014)
Margulis, G.: Some remarks on invariant means. Mon. Math. 90, 233–235 (1980)
Matoušek, J.: On embedding expanders into \(l_p\) spaces. Isr. J. Math. 102, 189–197 (1997)
Maurey, B.: Type, cotype and \(K\)convexity. In: Johnson, W.B., Lindenstrauss, J. (eds.) Handbook of the Geometry of Banach Spaces, vol. 2, pp. 1299–1332. NorthHolland, Amsterdam (2003)
Mendel, M., Naor, A.: Nonlinear spectral calculus and superexpanders. Publ. Math. Inst. Hautes Études Sci. 119, 1–95 (2014)
Nowak, P., Sawicki, D.: Warped cones and spectral gaps. Proc. Am. Math. Soc. 145, 817–823 (2017)
Oppenheim, I.: Averaged projections, angles between groups and strengthening of Banach property (T). Math. Ann. 367, 623–666 (2017)
Pisier, G.: Complex interpolation between Hilbert, Banach and operator spaces. Mem. Am. Math. Soc. 208, 978 (2010)
Roe, J.: Warped cones and property A. Geom. Topol. 9, 163–178 (2005)
de la Salle, M.: Towards strong Banach property (T) for \({{\rm SL}}(3,{\mathbb{R}})\). Isr. J. Math. 211, 105–145 (2016)
Sawicki, D.: Warped cones over profinite completions. J. Topol. Anal. (2017). https://doi.org/10.1142/S179352531850019X
Sawicki, D.: Superexpanders and warped cones. Preprint (2017). arXiv:1704.03865
Sawicki, D., Wu, J.: Straightening warped cones. Preprint (2017). arXiv:1705.06725
Vigolo, F.: Expanders and actions on measure spaces. Transfer Thesis at the University of Oxford (2015). http://people.maths.ox.ac.uk/~vigolo/ActionsExpanders5.pdf
Vigolo, F.: Measure expanding actions, expanders and warped cones. Trans. Am. Math. Soc. arXiv:1610.05837. (to appear)
Vigolo, F.: Discrete fundamental groups of warped cones and expanders. Preprint (2017). arXiv:1710.04955
Wang, Q., Wang, Z.: Warped cones and proper affine isometric actions of discrete groups on Banach spaces. Preprint (2017). arXiv:1705.08090
Acknowledgements
The authors thank PierreEmmanuel Caprace, Cornelia Druţu, Masato Mimura, Mikael de la Salle and Alain Valette for helpful suggestions and remarks. They also thank Cornelia Druţu for comments on a preliminary version and Panagiotis Papazoglou for pointing out an error in the first preprint of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge (EPSRC Grant No. EP/K032208/1), for support and hospitality during the programme “Nonpositive curvature, group actions and cohomology”, where part of the work on this article was undertaken. The firstnamed author is supported by the Deutsche Forschungsgemeinschaft (SFB 878). The secondnamed author is supported by the EPSRC Grant 1502483 and the J.T.Hamilton Scholarship
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
de Laat, T., Vigolo, F. Superexpanders from group actions on compact manifolds. Geom Dedicata 200, 287–302 (2019). https://doi.org/10.1007/s1071101803710
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s1071101803710
Keywords
 Expanders
 Warped cones
 Coarse embeddings
 Coarse equivalence
 Banach spaces
 Property (T)
 Spectral gap
Mathematics Subject Classification (2010)
 05C10
 05C12
 20F65
 46B85