Superexpanders from group actions on compact manifolds

It is known that the expanders arising as increasing sequences of level sets of warped cones, as introduced by the second-named 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 non-embeddability results for warped cones by Nowak and Sawicki, which relate the non-embeddability 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 quasi-isometric rigidity result for warped cones.


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 well-known result of Gromov [6] that expanders do not coarsely embed into a Hilbert space or into p , with 1 ≤ p < ∞ (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 Γ . 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 SL (3, F), where F is a non-Archimedean 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 second-named 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 quasi-isometric 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 second-named 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 non-embeddability 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 SO d, Z[ 1 5 ] on the compact Riemannian manifold SO(d, R). It follows from the aforementioned non-embeddability 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 non-equivalent 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 quasi-isometric rigidity result for warped cones.

Theorem B Let Γ
M and Λ N be essentially free actions by isometries on Riemannian manifolds. If the associated warped cones are quasi-isometric then 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 n-th graph in the sequence has c n vertices.
After the completion of this article, Fisher et al. [4] studied the quasi-isometry types of expanders constructed from group actions on homogeneous spaces through the warped cone construction. Their approach gives rise to continua of "quasi-isometrically disjoint" superexpanders, meaning that these expanders do not have quasi-isometric subsequences. This broadly generalizes Theorem A. The profound rigidity result in [4] implying the difference of the quasi-isometry 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 second-named 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 non-embeddability 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).

Preliminaries
Throughout the paper, Γ will always denote a finitely generated group and S a finite symmetric generating set of Γ . 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 Γ 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 Γ coincides with the distance coming from the identification of Γ with its Cayley graph.

Expanders and superexpanders
Let G = (V , E) be a finite connected graph. For A ⊂ V , let ∂ A be the set of edges in E joining an element of A with an element of V \A. The Cheeger constant h(G) of G is defined as The Cheeger constant is a measure of the connectivity of a graph. Let (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 (G n ) is said to be an expander if lim n→∞ |V n | = ∞ (where V n is the vertex set of G n ) and ∃C > 0 such that h(G n ) ≥ C for all n. When this is the case we also say that the graphs G n form a family of expanders.
If Λ is a cocompact lattice in an almost simple higher rank algebraic group over a non-Archimedean local field (note that in this case Λ has strong Banach property (T) by [14][15][16]), (Λ n ) is a nested sequence of finite index normal subgroups of Λ with trivial intersection and |Λ/Λ n | → ∞, and S is a generating set of Λ, then the sequence of Cayley graphs Cay(Λ/Λ n , π 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 G n = (V n , E n ), n ∈ N, such that lim n→∞ |V n | = ∞ and such that for every superreflexive Banach space X there exists a constant γ > 0 such that for all n ∈ N and f : V n → 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 D-regular).

Coarse embeddings and quasi-isometries
between metric spaces is called a coarse embedding if there are two increasing and unbounded control functions for every Equivalently, a coarse embedding f is a coarse equivalence if and only if there exists a coarse embedding g : (Y , d Y ) → (X , d X ) so that both f • g and g • f are at bounded distance from the identity function.
A family of metric spaces In this case we say that f is an (L, A)-quasi-isometry. Two spaces are quasi-isometric if there exists a quasi-isometry between them. Two families Note that two connected graphs G and G (and more generally, two geodesic spaces) are quasi-isometric if and only if they are coarsely equivalent. We will hence use the terms quasi-isometric and coarsely equivalent as synonyms.

Separated subsets of metric spaces
We say that Y is r -dense if the union of all the balls B(y, r ) with y ∈ Y covers the whole of X . Note that an r -separated set is maximal (with respect to the ordering given by the inclusion) if and only if it is also r -dense. In particular, in every metric space there exist subsets that are r -separated and r -dense.
It is easy to verify that if Y is an r -separated and R-dense subset of (X , d X ) and

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: Using the Bishop-Gunther-Gromov Volume Comparison Theorem (see e.g. [5]), we can deduce the following lemma.

Banach spectral gap
Let (X , ν) be a probability space and E a Banach space. The Bochner space We let L 2 0 (X , ν; E) be the subspace of B of functions with zero mean. Any measure preserving action ρ : Γ (X , ν) induces a unitary action on B and on L 2

Approximating graphs
Let (X , ν) be as above. Denote by P a partition of X into finitely many disjoint measurable sets (which we call regions). Given a constant Q ≥ 1, we say that P has Q-bounded measure Given an action Γ (X , ν) and a partition P, the associated approximating graph is the graph G P (Γ X ) whose vertices are the regions in P and two regions R, R ∈ P are connected by an edge if there exists an s ∈ S so that ν (s · R) ∩ R > 0.
If X is also a metric space, then the mesh of P is defined as the maximum of the diameters of the regions in P. For more details on approximating graphs, we refer to [30].

Warped cones
Warped cones were introduced by Roe [24]. We will work with a slightly different definition, which produces families of spaces that are quasi-isometric to the level sets of the original warped cones.
Let M be a compact Riemannian manifold with Riemannian metric d, and for every t ≥ 1, let d t = td denote the rescaling of the Riemannian metric. As in [30], given an action ρ : Γ (M, d) by Lipschitz homeomorphisms, we define the t-level of the warped cone as the metric space for every x ∈ M and s ∈ S. Note that the definition depends on the choice of the generating set S. Still, different generating sets produce quasi-isometric warped cones.
In [24], the warped cone was defined as the metric

Proposition 3
The t-level sets (M, δ t Γ ) are uniformly quasi-isometric to graphs G t (Γ M) with uniformly bounded degrees. The graphs G t (Γ M) are graphs approximating the action ρ with respect to some measurable partitions of mesh ≈ 1 t and uniformly Q-bounded measure ratios.

On the geometry of Banach spaces
Let (g i ) i∈N be a countable family of independent complex Gaussian N (0, 1) random variables on a probability space (Ω, P). A Banach space X is said to have type p ≥ 1 if there exists a constant T > 0 such that for every n ∈ N and x 1 , . . . , x n ∈ 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].

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 E be a class of Banach spaces. A locally compact group G has strong property (T) with respect to E, denoted by (T strong E ), if for every length function on G there exists a sequence of compactly supported symmetric Borel measures m n on G such that for every Banach space E in E there exists a constant t > 0 such that the following holds: for every strongly continuous representation π : G → B(E) satisfying π(g) B(E) ≤ Le t (g) with L ∈ R + , the sequence π(m n ) converges in the norm topology on B(E) to a projection onto the π(G)-invariant vectors in E.
Strong Banach property (T) of Lafforgue corresponds to taking 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). This result is well known to experts. It follows from the fact that strong property (T) relative to a class E implies property (T E ) uniformly for E ∈ E. By definition, the latter property implies uniform E-spectral 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].

The non-embeddability result
Let Γ be a finitely generated group with finite symmetric generating set S, let Γ (X , ν) be a measure preserving action on a probability space, and let E be a Banach space. A function f : G P (Γ X ) → E (heref is defined on the vertices of the graph) naturally induces a function f : X → E assigning to a point x ∈ X the value of the region R x ∈ P containing it.

Lemma 6
Iff is a coarse embedding with control functions ρ − and ρ + , then for every s ∈ S we have f − s · f B ≤ ρ + (1).
Proof Note that for ν-almost every x ∈ X if we let R x , R s·x ∈ P be the regions containing x and s · x, respectively, then d(R x , R s·x ) ≤ 1. Therefore, we have

Lemma 7
If P has Q-bounded measure ratios, and if the degree of G P (Γ X ) is D, and if f is a coarse embedding with control functions ρ − and ρ + , then (when the right-hand side is defined) we have For any r ≥ 0 and R ∈ P, let N r (R) ⊆ X denote the union of all the regions R ∈ P with d(R, R ) ≤ r . Then it follows from our hypotheses that In particular, if we let Choose any region R ⊆ X 2C . By construction, there must exist another region R ⊆ X 2C with d(R, R ) > r . Therefore, we have whence the required inequality. Now, let ρ n : Γ n (X n , ν n ) be a sequence of probability measure preserving actions, let P n be measurable partitions of X n , all with Q-bounded measure ratios and such that all the approximating graphs G P n (Γ n X n ) have degree at most D. Combining Lemmas 6 and 7 immediately yields the following result.

Proposition 8
If the actions ρ n : Γ n (X n , ν n ) all have E-spectral gap with a uniform constant ε > 0, then the approximating graphs G P n (Γ n 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 well-known fact that Lafforgue expanders do not coarsely embed into any Banach space with non-trivial type.

Actions with spectral gap
Let M be a compact Riemannian manifold, ρ : Γ M an action by Lipschitz homeomorphisms that preserve the Riemannian metric, and (t n ) an increasing diverging sequence in [1, ∞). It was proved in [30] that the graphs G t n (Γ M) quasi-isometric to the t n -level sets (M, δ t n Γ ) form a family of expanders if and only if ρ has R-spectral gap. Proposition 8 directly implies the following strengthening.

Theorem 10 If the action ρ : Γ M has E-spectral gap, then for every increasing diverging sequence (t n ) in [1, ∞), the graphs G t n (Γ M) 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 ≥ 5, let Γ d consist of matrices in SO(d, R) whose entries are elements of Z[ 1 5 ] (the subring of Q generated by the element 1 5 ). Consider the diagonal embedding of Γ d into G d = SO(d, Q 5 ) × SO(d, R). Then Γ d is a cocompact lattice in G d [1].
Since SO(d, Q 5 ) is an almost simple algebraic group of higher rank (whenever d ≥ 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 SO(d, R) is a compact group. Lafforgue proved that strong Banach property (T) passes to cocompact lattices [14], which implies that Γ d has strong Banach property (T).
The compact Lie group SO(d, R) can be made into a compact Riemannian manifold of dimension d(d−1) 2 by choosing any left-invariant Riemannian metric on it. The group Γ d is in fact a dense subgroup of SO(d, R) (recall that we consider the diagonal embedding of Γ d into G d ), so Γ d acts ergodically and by isometries on SO(d, R) by left multiplication. This observation directly implies the following result.

Theorem 11
Let d ≥ 5 be fixed, and let (t n ) be an increasing diverging sequence. Then the graphs G t n (Γ d SO(d, R)) approximating the t n -levels of the warped cone of Γ d SO(d, 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 SO(d, R)
S d−1 ⊂ R d by isometries on the unit sphere restricts to an ergodic action of Γ d , we can also deduce that for d ≥ 5 fixed and (t n ) an increasing diverging sequence, the graphs G t n (Γ d S d−1 ) approximating the t n -levels of the warped cone of Γ d S d−1 form an expander that does not coarsely embed into any Banach space with nontrivial type. In particular, they form a superexpander.

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 (G n ) is given, one can construct a continuum of non-coarsely equivalent expanders by carefully choosing subsequences of it. Similar arguments are used in [8,Theorem 2.8] and [9,Proposition 2].

Proposition 13
Let (G n ) be a family of finite graphs with uniformly bounded degree and |G n | → ∞. Then there exists a continuum I of subsets I a ⊂ N such that for every pair I a = I b in I, the subsequences (G n ) n∈I a and (G n ) n∈I b are not uniformly coarsely equivalent.
Proof Choosing a subsequence if necessary, we can assume that |G n+1 | > n|G n | for every n ∈ N. We claim that for every choice of control functions ρ − and ρ + there is an n 0 large enough so that for all n > m > n 0 , the graphs G n and G m cannot be coarsely equivalent with control functions ρ − and ρ + . Indeed, suppose that there exists such a coarse equivalence f : G n → G m , and let r > 0 be large enough, so that ρ − (r ) ≥ 1. Then the pre-image f −1 (v) of any vertex v ∈ 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|G m | < |G n | ≤ D r +1 |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 N so that I \J is infinite, then the sequences (G n ) n∈I and (G n ) n∈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 ⊂ N so that I a \I b is infinite for every a = b.

Remark 14
One can effectively use Proposition 13 to produce a continuum of non-coarsely equivalent expanders. Moreover, with extra care it is also possible to find a continuum of infinite subsets I a ⊂ N such that I a ∩ I b is finite for every a = 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 non-Lafforgue 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 ρ : Γ 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 ∈ N there exists a t ∈ R for which
Proof The graphs G t (Γ M) are constructed in [30] using a one-to-one correspondence between the vertices of G t (Γ M) and a 1 t -dense, 1 t -separated subset Y ⊂ 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 := d √ N yields the result.

Remark 16
By a more careful argument, one can show that for every N ∈ N it is possible to construct an approximating graph G t (Γ M) so that |G t (Γ M)| = N . A straightforward way to prove this is to note that one can construct expanders where the vertex set of G t (Γ M) is in correspondence with an arbitrary 1 t -dense, 1 2t -separated subset Y ⊂ M (see the proof of [30,Theorem 5.5]). Moreover, if Y 1 is 1 t -dense and 1 t -separated and Y 2 ⊃ Y 1 is 1 2t -dense and 1 2t -separated then every intermediate subset be a nested sequence of subsets where the n-th set is 1 2 n t -dense and 1 2 n t -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 γ ∈ Γ by |γ | and we will equip Γ with the right word metric, i.e. we define the distance between two elements γ, γ to be |γ γ −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 (Γ ,|·|) (e, r ), which we will simply denote by B Γ (r ). If Y is a subset of X , we denote by N (X ,d) (Y , r ) its neighbourhood of radius r : Given an action Γ X , we denote by B Γ (r ) · Y the union of the images of Y under the elements in B Γ (r ): We define the set χ t Γ (r ) ⊂ X as follows: If we consider a warped cone defined through an action Γ X by isometries, then it is easy to verify (see also [26]) that the warped distance between two points x, y ∈ (X , δ t Γ ) can be expressed as In this case, we have the following inclusion of neighbourhoods: Now, let (M, d) be a compact Riemannian manifold and ρ : Γ M an action by isometries. Equip the direct product Γ × R k with the 1 -distance |(γ , v)| := |γ | + v 2 . The following lemma characterizes balls in warped cones up to bi-Lipschitz 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 ≥ t 0 and for every x 0 / ∈ χ t Γ (r ), the ball B (M,δ t Γ ) (x 0 , r ) is L-bi-Lipschitz equivalent to the ball of radius r in the product Γ × R dim(M) .
Since M is compact, the infimum in the equality (1) is actually a minimum. Therefore, for every two points (1), there exists a γ ∈ Γ with |γ | ≤ 2r so that It follows that the point y belongs to both γ γ x · B (M,d t ) (x 0 , 3r ) and γ y · B (M,d t ) (x 0 , r ) and therefore, by construction, we must have γ = γ y γ −1 x . As a consequence, it is easy to deduce that the ball of radius r centred at x 0 in (M, δ t Γ ) is actually isometric to the ball of radius r centred at (x 0 , e) in the direct product (M, d t ) × Γ equipped with the 1 -distance.
Recall that the differential d Recall that an action on a measure space is essentially free if the set of points with nontrivial stabilizer has measure zero. . Let Z k ⊆ Y k be the subset of those points which are close to χ t k Γ (r ): and let Ω k := N (M,δ t k Γ ) Z k , L(A + 1) . Then χ t k Γ (r ) is contained in Ω k and Ω k is contained in a "small" neighbourhood of χ t k Γ (r ): Note that the measure of the right-hand side tends to 0 as k tends to infinity, because the sets χ 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 Γ .
Combining the two inequalities with Lemma 2, we obtain that the ratios |Z k |/|Y k | tend to 0 as k goes to infinity.
and we also have We deduce that the volume of (a neighborhood of) f k (Ω k ) is bounded above by On the other hand, 1-separatedness 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 (Ω k ) tends to 0. As we also have that the volume of χ s k Λ (Lr + A) ⊆ N tends to 0, the statement of the lemma follows trivially.
We can now prove the quasi-isometric rigidity result. The following theorem is inspired by [ Fix an integer radius r ∈ N. By Lemma 19, for every k large enough there exists a point x k ∈ M\χ t k Γ (r ) such that f k (x k ) is not in χ s k Λ (Lr + A). Let y k := f k (x k ). Fix ε > 0 small. By Lemma 18, we also have that there exists a k = k(r ) large enough so that the balls B (M,δ t k Γ ) (x k(r ) , r ) and B (N ,δ s k Λ ) (y k(r ) , Lr + A) are (1 + ε)-bi-Lipschitz equivalent to B Γ ×R m (r ) and B Λ×R n (Lr + A) respectively, where m = dim(M) and n = dim(N ).
Note that the inclusion Lr + A). We then have a concatenation of quasi-isometric embeddings as depicted in the following diagram: wheref r is defined as the composition and the labels represent the quasi-isometry constants. Thenf r is a (L , A )-quasi-isometric embedding where L = √ nm L and A = √ n( √ m L + A +1) (if the ε coming from the bi-Lipschitz map is small enough, we can ignore it altogether because the distances in Γ × Z m and Λ × Z n take integer values).
We thus obtained a sequence of uniform quasi-isometric embeddingsf r . Note that by construction,f r sends the identity element of Γ × Z m to the identity element of Λ × Z n . It follows that for every fixed vertex v ∈ Γ , the imagef r (v) can only take finitely many values in Λ × Z n and hence there exists a subsequencef r l such thatf r l (v) is constant.
Using a diagonal argument, we can pass to a subsequencef r i such that for every i > j the restriction off r i to the ball B Γ ×Z m ( j) coincides withf r j . It follows that settingf | B Γ ×Z m (i) := f r i gives a well defined (L , A )-quasi-isometric embeddingf : It only remains to show thatf is coarsely surjective. This is easily done, because if g is any quasi-isometry and R is any radius, then there exists an R ≥ R large enough so that the image g B(x, R ) is coarsely dense in B g(x), R . Asf r is defined as a composition of (restrictions of) quasi-isometries, it follows that for every R > 0 the image off r is coarsely dense in B Λ×Z n (R) for every r large enough and therefore the same holds true forf .
The proof of (ii) follows the same lines. Indeed, since the subgroups Λ i are a nested sequence with trivial intersection, for every r ∈ N there is a k = k(r ) large enough so that the ball of radius Lr + A in Cay(Λ/Λ k , π k (S )) and the ball of radius Lr + A in Cay(Λ, S ) are isometric. One can hence fix some points x k ∈ M\χ t k Γ (r ) and consider the diagram f k(r ) f r and argue as above.

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 O Γ (M) and O Λ (N ) as defined in [24] are quasi-isometric, then Γ × Z dim(M)+1 is quasi-isometric to Λ × Z dim(N )+1 .
It follows from the Splitting Theorem in [10] that if Γ and Λ are cocompact lattices in a semisimple algebraic group with no rank-one simple factors and Γ × Z m is quasi-isometric to Λ × Z n , then m = n and Γ is quasi-isometric to Λ. SO(d, R)) and G s n (Γ d SO(d , R)) as in Theorem 11 cannot be coarsely equivalent if d = d . Moreover, the expanders G t n (Γ d SO(d, R)) cannot be coarsely equivalent to G s n (Γ d S d−1 ).

Corollary 22 Any two expanders G t n (Γ d
The class of cocompact lattices in a semisimple algebraic group over a non-Archimedean local field, in which every simple factor is of higher rank, is quasi-isometrically rigid [10] (see also [3]). It then follows from Theorem 20 that if G t k (Γ M) is uniformly quasi-isometric to a sequence Λ/Λ k , then Λ cannot be a cocompact lattice in such an algebraic group. Indeed, otherwise we would have that Γ × 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 Γ 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 G t n (Γ 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, ∞), and neighbourhoods A k ⊂ (M, δ t k Γ ) and B k ⊂ (N , δ s k Λ ) of x k and y k , respectively, such that A k and B k are uniformly quasi-isometric and for every r > 0 there exists a k large enough so that the balls B (M,δ t k Γ ) (x k , r ) and B (N ,δ s k Λ ) (y k , r ) are contained in A k and B k , respectively.