arXiv:1705.06725v1 [math.MG] 18 May 2017

STRAIGHTENING WARPED CONES
DAMIAN SAWICKI AND JIANCHAO WU

Abstract. We provide converses to two results of J. Roe (Geom. Topol.
2005): first, the warped cone over a free action of a Haagerup group admits a
fibred coarse embedding into a Hilbert space, and second, a free action yielding
a warped cone with property A must be amenable. We construct examples
showing that in both cases the freeness assumption is necessary. The first
equivalence is obtained also for other classes of Banach spaces, e.g. for Lp spaces.

1. Introduction
Given an action of a finitely generated group on a compact metric space, J. Roe
[15] constructs an unbounded metric space – the warped cone over the action –
encoding dynamical properties of the action in its coarse structure. The outline
of the construction is as follows – first, take the space and scale its metric by a
large constant, then attach an interval of length one between every pair of points
which are mapped to each other by the action of a generator of the group. The
metric obtained after glueing these “shortcuts” is called the warped metric and the
resulting family of metric spaces (indexed by positive scaling constants) is called
the warped cone.
Dynamical and ergodic properties of the action are reflected in large-scale geometric properties of the warped cone. In particular, if the action is topologically
amenable, then the warped cone has property A [15]. Furthermore, the action has
a spectral gap if and only if levels of the warped cone are quasi-isometric to an expander graph [18], even if one considers Banach space expanders and spectral gaps
[17] (see also [12] for the first results in this direction). This yields new examples
of super-expanders.
In presence of an invariant measure, one can also deduce analytic properties of the
group from coarse invariants of the warped cone. In this case, coarse embeddability
of the warped cone implies the Haagerup property (Gromov’s a-T-menability) of
the group and property A of the cone implies amenability of the group (see [15] for
the case of subgroup actions and [16] for a generalisation).
Warped cones versus residual properties. Box space of a group is a sequence
of its finite quotients considered as metric spaces via their Cayley graphs. Box
spaces have proved to be a useful tool in geometric group theory [13], measured
group theory [9] and large scale geometry [3,4,10] and, as a source of expanders, also
in other areas of mathematics and computer science. They are also a fascinating
reasearch subject on their own [9–11] (our reference lists have no claim of being
comprehensive).
The first author was partially supported by Narodowe Centrum Nauki grant Preludium number
2015/19/N/ST1/03606.
1

2

DAMIAN SAWICKI AND JIANCHAO WU

Roe pointed out that there is a parallel between how a box space and a warped
cone is related to the group it comes from. The first author showed that for a box
space one can construct an action such that the resulting warped cone contains the
box space quasi-isometrically and retains its properties such as coarse embeddability
into a Hilbert space [16]. Hence, warped cones can be viewed as a generalisation of
box spaces.
Clearly, box spaces are best suited to residually finite groups, and warped cones
can be considered in broader generality. In particular, the abovementioned action
is a subgroup action on a profinite group, so it has many properties (free, minimal,
isometric, measure-preserving, ergodic) that we do not assume in general. It is
worth mentioning that another analogue of box spaces valid beyond the scope of
residually finite groups, namely sofic approximations, was introduced recently [1].
It can be thought that box spaces and sofic approximations represent the combinatorial (discrete) part and warped cones the dynamical or ergodic part of the same
theory.
Results. Recall that, for actions admitting an invariant measure, (fibred) coarse
embeddability of the warped cone implies the Haagerup property of the group by
[15, 16]. We give a converse to this result:
Theorem A (3.2 in text). Under appropriate assumptions, a warped cone of a
Haagerup group admits a fibred coarse embedding into the Hilbert space.
In particular, non-embeddable examples of [12] turn out to admit fibred coarse
embeddings. In fact, our result applies also to groups with property P B (proper
isometric action on a Banach space B rather that a Hilbert space), yielding warped
cones with fibred coarse embeddings into the appropriate Banach spaces, Corollary
3.10. In the other direction, we give a proof different from the one in [15, 16], which
is suitable for other Banach spaces, Theorem 5.4.
In accordance with the above viewpoint on warped cones, we obtain two results
of more dynamical flavour. As we stated before, by [15] amenability of the action
implies property A of the warped cone – we obtain the converse and also prove a
similar result for coarse embeddings.
Theorem B. For a free action:
(1) if the warped cone has property A, then the action is amenable (4.2 in
text);
(2) if the warped cone admits a coarse embedding into a Hilbert space, then
the action is a-T-menable (5.1 in text).
Our main results, Theorem A and Theorem B, assume that the considered action is free. In Section 6 we construct examples showing that this assumption is
necessary. Section 7 discusses some open problems.
2. Definitions
Let Y be a compact subset of a sphere S n ⊆ Rn+1 with a continuous action of
a group Γ coming with a finite set of generators S. We form the infinite cone over
Y : OY = {ty | t > 0, y ∈ Y } ⊆ Rn+1 and equip it with the Euclidean metric d and
with the obvious extension of the action on Y . The warped cone, denoted OΓ Y , is
the infinite cone equipped with the warped metric dΓ , which is the largest metric

STRAIGHTENING WARPED CONES

3

bounded by the initial metric d and satisfying dΓ (x, sx) ≤ 1, for any x ∈ OY and
s ∈ S.
When the metric space (Y, d) does not come with an embedding into a sphere
in a normed space, we can define the infinite cone to be Y × R+ equipped with
the metric d given by d((y, t), (y ′ , t′ )) = |t − t′ | + min(t, t′ ) · d(y, y ′ ). The above
Euclidean metric and this ℓ1 -metric are Lipschitz equivalent (in particular coarsely
equivalent) if (Y, d) happens to be a subset of a sphere.
We will also need some definitions from large scale geometry and the theory of
group actions.
The following notion was introduced by Gromov.
Definition 2.1. A function f : X → Y between metric spaces is called a coarse
embedding if there exist increasing to infinity functions ρ− , ρ+ : R+ → R such that:
ρ− ◦ dX (x, x′ ) ≤ dY (f (x), f (x′ )) ≤ ρ+ ◦ dX (x, x′ )
The existence of a coarse embedding of a space X into a well-behaved space Y ,
like a Hilbert space, is a useful regularity condition with strong consequences.
Theorem 2.2 (G. Yu, [19]). Let X be a discrete metric space with bounded geometry. If X admits a coarse embedding into Hilbert space, then the coarse Baum–
Connes conjecture holds for X.
In particular, for X being a finitely generated group, the coarse Baum–Connes
conjecture implies the strong Novikov conjecture [19].
As a generalisation of a coarse embedding, Chen, Wang and Yu [7] introduced
fibred coarse embeddings and proved the maximal coarse Baum–Connes conjecture
for spaces admitting such an embedding into a Hilbert space.
Definition 2.3. A metric space X is said to admit a fibred coarse embedding into
a normed space Z if there exists
• a field of isometricFcopies of Z over X: {Zx }x∈X ;
• a section f : X → x∈X Zx (i.e., f (x) ∈ Zx );
• two unbounded and nondecreasing functions ρ± : [0, ∞) → [0, ∞)
such that for any n ∈ N there exists a bounded subset Kn ⊆ X and a trivalisation:
G
Zy → B(x, n) × Z
txn :
y∈B(x,n)

for every x ∈ X \Kn . We require that txn , when restricted to any Zy for y ∈ B(x, n),
is an isometry onto Z such that:
• for any y, y ′ ∈ B(x, n):
ρ− ◦ d(y, y ′ ) ≤ ktxn ◦ f (y) − txn ◦ f (y ′ )k ≤ ρ+ ◦ d(y, y ′ );
′

• for any two points x, x′ ∈ X\Kn such that the intersection Inx,x ..= B(x, n)∩
′
B(x′ , n) is nonempty, there exist an isometry tx,x
: Z → Z such that id ×
n
′
′
x,x′
x,x′
tx,x
:
I
×
Z
→
I
×
Z
is
equal
to
the
composition
txn ◦ (txn )−1 .
n
n
n
The equivariant (group theoretic) counterpart of the above properties is the
Haagerup property also known as a-T-menability of Gromov.
Definition 2.4. A finitely generated group Γ has property P X if it admits a proper,
affine isometric action on a Banach space X ∈ X . For X being the class of Hilbert
spaces, we say that Γ has the Haagerup property.

4

DAMIAN SAWICKI AND JIANCHAO WU

Recall that an action on a Banach space is called (metrically) proper, if for every
orbit map, inverse images of balls are finite. In other words, every (equivalently:
one) orbit map is a coarse embedding.
In Theorem 3.2 we will need the following property.
Definition 2.5. An action ΓyY is linearisable in a Banach space B if there exists
an isometric representation of Γ on B and a bi-Lipschitz equivariant embedding
Y → B.
In Section 3.1 we verify this condition for different types of actions including subgroup actions (in particular actions on profinite completions) and isometric actions
on manifolds.
3. Haagerup and P Lp groups
Recall a theorem of Roe [15] as generalised in [16].
Theorem 3.1 ([15, 16]). Assume that the action ΓyY admits an invariant probability measure and is essentially free. Then, if the warped cone OΓ Y admits a
(fibred/asymptotic) coarse embedding into a Hilbert space, then Γ has the Haagerup
property.
We will provide a converse to this result.
Theorem 3.2. Assume that an action ΓyY is free and linearisable in a Hilbert
space, and that Γ has the Haagerup property. Then OΓ Y fibred coarsely embeds
into a Hilbert space.
In fact, as it will be clear from the proof, the theorem has its counterpart for
Lp -spaces (see Corollary 3.10). Hence, we get the following interesting application.
Corollary 3.3. Let Γ be a free subgroup in a compact simple Lie group G which
acts on G with a spectral gap as established in [5]. Then, the warped cone OΓ G
admits a fibred coarse embedding into an Lp -space for all 1 ≤ p < ∞ even though
it does not embed coarsely into any Lp -space.
Proof. The embeddability part follows from Theorem 3.2 and Corollary 3.10 as
subgroup actions on compact Lie groups are linearisable by Lemma 3.15. Nonembeddability follows from the spectral gap by [12].

Example 3.4. Freeness of the action is crucial in Theorem 3.2. The action
SL2 (Z)yT2 is essentially free and SL2 (Z) has the Haagerup property, but OSL2 (Z) T2
does not fibred coarsely embed into any Lp -space for 1 ≤ p < ∞.
Proof. By the celebrated result of Selberg, SL2 (Z) has property (τ ) with respect
to congruence subgroups ker (SL2 (Z) → SL2 (Z/nZ)). As the SL2 (Z)-action on the
through SL2 (Z/nZ), the sequence of Schreier graphs
orbit of n1, 0 ∈ T2 factorises

Sch n1 , 0 , SL2 (Zn ) forms an expander. Hence, for each n there exists tn such that
Sch n1 , 0 , SL2 (Zn ) × [tn , ∞) embeds isometrically into OSL2 (Z) T2 [16, Remark
3.1], which is an obstruction for the existence of a fibred coarse embedding.

One may argue that this action is not only non-free but also non-isometric (and
it is not clear if it is linearisable), so the example is not convincing evidence that
freeness is crucial in Theorem 3.2. Such evidence will be given in Example 6.2,
which exhibits that the existence of one fixed point within an otherwise free action
is enough for the conclusion of Theorem 3.2 to fail.

STRAIGHTENING WARPED CONES

5

Remark 3.5. The above example shows that the amenable case and the a-Tmenable case differ. By [15] (see Theorem 4.1 below), under minimal assumptions
on Y and Lipshitzness of the action, the warped cone OΓ Y always has property A
for an amenable Γ. However, for fibred coarse embeddability of the warped cone
we need freeness of the action in addition to a-T-menability of the group.
This may be somehow reminiscent of the fact that amenability is inherited by
quotients and a-T-menability is not. However, see also Example 6.2, where there
are no finite quotients involved explicitly.
We will need some preparation in order to obtain Theorem 3.2.
Let (X, d) be a metric space with a continuous action of Γ. Let us consider the
product Γ × X equipped with the largest metric such that d1 ((γ, y), (sγ, y)) = 1,
where s ∈ S, and d1 ((γ, x), (γ, y)) ≤ d(γ · x, γ · y). Observe that if d is Γ-invariant,
metric d1 is just the product ℓ1 -metric of d and the right-invariant word metric.
Note that the action on (Γ × X, d1 ) given by γ · (η, y) = (ηγ −1 , γy) is isometric.
The quotient space of this action can be identified with X via the quotient map
(γ, x) 7→ γx.
Lemma 3.6. The warped metric dΓ on X is equal to the quotient metric of d1 .
Proof. We should prove that
(1)

dΓ (x, y) = inf d1 ((e, x), (γ, γ −1 y)).
γ

Let us consider the left-hand side of (1). By [15, Proposition 1.6] it is equal to
the infimum of “lengths” of sequences of the form
x − x1 − s1 x1 − x2 − s2 x2 − · · · − xn − sn xn − y,
where si ∈ S and the “length” is defined as
(2)

d(x, x1 ) + 1 + d(s1 x1 , x2 ) + 1 + · · · + 1 + d(sn xn , y)

(the “length” is defined in accordance with the conditions dΓ ≤ d and dΓ (x, sx) ≤ 1
in the definition of the warped metric).
The right-hand side of (1) is the infimum of the distance d1 ((e, x), (γ, γ −1 y)) over
γ ∈ Γ. Similarly as above, this distance is the infimum of the lengths of sequences
of the form
−1
(e, x) − (e, x1 ) − (s1 , x1 ) − (s1 , s−1
1 x2 ) − (s2 s1 , s1 x2 ) − · · ·
−1
−1
−1
− (sn−1 . . . s1 , s−1
1 . . . sn−1 xn ) − (sn sn−1 . . . s1 , s1 . . . sn−1 xn )−
−1
−1
(sn . . . s1 , s−1
y),
1 . . . sn y) = (γ, γ

where the length of such a sequence equals
(3) d(x, x1 ) + 1 + d(s1 · x1 , s1 · s−1
1 x2 ) + 1 + · · ·
−1
−1
−1
+ 1 + d((sn . . . s1 ) · s−1
1 . . . sn−1 xn , (sn . . . s1 ) · s1 . . . sn y)

(again, the definition comes from the two conditions defining d1 ).
It happens that the values in lines (2) and (3) are the same, which ends the
proof.

We will need one more lemma and a definition.

6

DAMIAN SAWICKI AND JIANCHAO WU

Definition 3.7. For a free, proper and isometric action ΓyX, the quotient map
q : X → X/Γ is said to be asymptotically faithful if for every r < ∞ there is a
subset A ⊆ X/Γ with a bounded complement such that q restricted to q −1 (A) is
an isometry on every r-ball.
Lemma 3.8. The quotient map (Γ × OY, d1 ) → OΓ Y is asymptotically faithful if
and only if the action ΓyY is free.
Proof. The “only if” part is straightforward – if there is γ 6= e and y ∈ Y such that
γy = y, then points (e, t, y) and (γ, t, y) are mapped to the same point (t, y), even
though their distance is |γ|, which contradicts asymptotic faithfulness.
For the “if part”, we will first show that for any n ∈ N there exists a subset
An ⊆ OY with a bounded complement such that the quotient map restricted to
Γ × An is injective on n-balls. Since the quotient map respects the factorisations
Γ × OY = Γ × R+ × Y and OΓ Y = R+ × Y , we will work with a single copy Γ × Y
and Y at a time. We can do so because the warped metric dt coming from metric
t · d on Y equals the restriction of the warped metric dΓ to {t} × Y ≃ Y [16, Lemma
1.6] and the same can be said for the d1 metric.
Since the action ΓyΓ × {t} × Y is isometric, it suffices to consider balls centred
at points of the form (e, t, y). Let us skip t from notation. An m-ball centred at
such a point (e, y) contains all points (γ, γ −1 x) such that there is a sequence
−1
(e, y) = (e, y0 ) − (e, y1 ) − (s1 , y1 ) − (s1 , s−1
1 y2 ) − (s2 s1 , s1 y2 ) − · · ·
−1
−1
− (sn−1 . . . s1 , s1−1 . . . s−1
n−1 yn ) − (sn sn−1 . . . s1 , s1 . . . sn−1 yn )−
−1
−1
(sn . . . s1 , s−1
x)
1 . . . sn yn+1 ) = (γ, γ

of length at most m. Recall that this length is td(y, y1 ) + 1 + td(s1 · y1 , y2 ) + 1 +
· · · + 1 + td(sn yn , x) or, more shortly,
n
X

td(si yi , yi+1 ) + n.

i=1

Let us consider another sequence joining the two points
(e, y) = (e, y0 ) − (e, y1 ) − (e, s−1 y2 ) − · · ·
−1
−1
− (e, s−1
x) − (s1 , γ −1 x) − (s2 s1 , γ −1 x) − · · ·
1 . . . sn−1 yn ) − (e, γ

− (sn−1 . . . s1 , γ −1 x) − (γ, γ −1 x)
and γi =
(4)

Q

j∈{i,i−1,...,1} si .
n
X
i=0

Pn

Then, the length of the above sequence is

−1
td(γi−1
yi , γi−1 yi+1 ) + n =

n
X

td(γi−1 si yi , γi−1 yi+1 ) + n.

i=0

P
Since i=1 td(si yi , yi+1 ) + n ≤ m, we have that ni=1 d(si yi , yi+1 ) ≤ m/t and
we can make that value as small as we want by increasing t. Hence, by uniform
continuity of the actions of elements of the ball B(e,
Pn m) (note that γi ∈ B(e, i) ⊆
B(e, n) ⊆ B(e, m)), we can also make the sum i=0 td(γi−1 si yi , γi−1 yi+1 ) (from
formula (4)) smaller than any prescribed ε > 0. In particular, d(y, γ −1 x) < ε.
What we have just proved is that for t sufficiently large, the d1 -ball of radius m
in Γ × {t} × Y centred at (e, y) is contained in the product of the m-ball in Γ at

STRAIGHTENING WARPED CONES

7

e and ε-ball in Y at y. Freeness of the action guarantees that the quotient map
restricted to such a product is injective when ε = ε(m) is small enough.
Now, we want to prove that the quotient map is locally isometric. Let (γ1 , y1 )
and (γ2 , y2 ) be two points in the m-ball at (e, y). They are mapped to points γ1 y1
and γ2 y2 in the quotient, whose distance is M = minγ d1 ((γ1 , y1 ), (γ2 γ, γ −1 y2 )).
We need to check that this equals O = d1 ((γ1 , y1 ), (γ2 , y2 )). Clearly, M ≤ O ≤ 2m.
Hence, by the triangle inequality we get that for the optimal γ yielding the minimum
we have d1 ((e, y), (γ2 γ, γ −1 y2 ) ≤ 3m. Thus, if we take t large enough so that the
quotient map is injective on 3m-balls, we get that γ must be the identity, which
ends the proof.

To conclude we will need the following result.
Theorem 3.9 ([7, Theorem 2.2]). Let Z be a metric space with an asymptotically
faithful action of Γ such that Z admits an equivariant coarse embedding into a
normed space X with some isometric action. Then, Z/Γ admits a fibred coarse
embedding into X.
Proof of Theorem 3.2. By Lemma 3.8 the quotient map Γ × OY → OΓ Y is asymptotically faithful. As Γ is assumed to have the Haagerup property, there exists a
Hilbert space H ′ with an isometric action of Γ and an equivariant coarse embedding Γ → H ′ . Similarly, the equivariant bi-Lipschitz embedding Y → H can be
extended to an equivariant bi-Lipschitz embedding OY → R ⊕ H (where the action
on R is trivial). Hence, the product Γ × OY admits a coarse equivariant map to
H ′ ⊕ R ⊕ H. The claim follows from Theorem 3.9.

By the same argument one can obtain similar results for any Banach spaces.
Corollary 3.10. Assume that an action ΓyY is free and linearisable in a Banach
space X1 , and that Γ has property P X2 for some Banach space X2 . Then OΓ Y
fibred coarsely embeds into R ⊕ X1 ⊕ X2 .
By combining the theorem of Roe (including its Lp -version, Theorem 5.4, which
we prove in Section 5) with the above results, we get the following.
Corollary 3.11. Let ΓyY be a free action linearisable in a Hilbert (respectively
Lp ) space and admitting an invariant measure. Then the warped cone OΓ Y admits
a fibred coarse embedding into a Hilbert (respectively Lp ) space if and only if Γ has
the Haagerup (respectively P Lp ) property.
Proof. The “only if” part follows from Theorem 5.4 by the assumption of the existence of an invariant measure (and of the essential freeness).
The “if” part follows from Theorem 3.2 and Corollary 3.10 and here the assumption of linearisability (and freeness) is used.

Remark 3.12. The above Corollary 3.11 holds also for more general classes of
Banach spaces. The tools used in the proofs are Bochner spaces Lp (Y, µ; X) with
coefficients in some Banach space X (where 1 ≤ p ≤ ∞ can be chosen freely) and
their ultrapowers (for Theorem 5.4), and finite direct sums (for Theorem 3.2), so
one can consider any classes of Banach spaces closed under these operations.

8

DAMIAN SAWICKI AND JIANCHAO WU

3.1. Linearisable actions. In Theorem 3.2 and Corollary 3.10 we assume that
our Γ-space Y admits an equivariant bi-Lipschitz embedding into a Hilbert or Lp space. In this section we will verify this condition for some actions, including the
most prominent cases of profinite completions and manifolds.
We will start from the most general result, which guarantees existence of another (equivalent) metric that makes the action linearisable. Next, we will show
linearisability with the original metric.
Lemma 3.13. Let ΓyY admit a finite invariant measure µ of full support and an
invariant metric d. Then, there exists an equivalent metric d′p such that the action
on (Y, d′p ) is linearisable in an Lp -space.
Proof. Let f : Y → Lp (Y, µ) be the Kuratowski embedding (f (y))(x) = d(x, y).
Checking the continuity and injectivity is a standard exercise. Because Y is compact, f is a homeomorphism. By the triangle inequality it also follows that f is a
Lipschitz embedding, but its inverse need not be Lipschitz in general. Hence, we
define d′p to be the metric induced from Lp (Y, µ).
Finally, f is equivariant:
(f (γy))(x) = d(γy, x) = d(y, γ −1 x) = (f (y))(γ −1 x) = (γf (y))(x).



For example, the above construction does not give a Lipschitz-equivalent metric
for a profinite completion (more generally, for ultrametric spaces). Recall that given
a group Γ and a decreasing sequence of its finite index normal subgroups Γn , we
can consider the inverse system of finite quotients Gn = Γ/Γn and its limit lim Gn .
←−
The inverse limit (also known as the boundary of the coset tree of (Gn ) or the
profinite completionQ
with respect to (Γn )) can be seen as the following set inside
the product {(gn ) ∈ n Gn | q(gn+1 ) = gn ∀n}, where q is the obvious quotient map
Gn+1 → Gn . Consequently, it inherits the product metric d((gn ), (hn )) = aj , where
j is the smallest index such that gj 6= hj and aj > 0 is some sequence decreasing
to 0. We will assume that the sequence aj converges at least geometrically.
Lemma 3.14. The action Γy lim Gn is linearisable in an Lp -space for any 1 ≤
←−
p < ∞.
L
Proof. Let our Lp -space be defined as L =
n ℓp (Gn ). The action of Γ permutes
the
coordinates
by
left
translation.
We
define
the embedding by f ((gn )) =
P −1/p
.
For
two
sequences
(g
),
(h
)
as
above
we have:
2
·
a
·
δ
n
n
n
gn
n
1/p

∞
X
api 
kf ((gn )) − f ((hn ))k = 
≃ aj = d((gn ), (hn )),
i=j

where the approximate equality follows from the assumption of geometric convergence.

Let us now show that the general construction of Lemma 3.13 gives a bi-Lipschitz
embedding in the most important case of manifolds.
Lemma 3.15. If Y n is a Riemannian manifold, then metric d′p from Lemma 3.13
is Lipschiz equivalent to metric d with Lipschitz constants not depending on p.
Proof. As the distance function is 1-Lipschitz, we also get Lipschitzness of the
Kuratowski embedding: d′ ≤ µ(Y )1/p · d, where µ is the Riemannian volume on Y .

STRAIGHTENING WARPED CONES

9

In the other direction, we will consider two cases d(x, y) ≤ r/2 and d(x, y) > r/2
separately, where r > 0 is such that for every point on the manifold x ∈ Y the
exponential map φ : Tx Y ⊇ B(0, r) → B(x, r) ⊆ Y is a diffeomorphism. We can
also assume that φ is an isometry when restricted to any line segment containing
0 and it also approximately preserves measure: C −1 µ(φ(A)) ≤ λ(A) ≤ Cµ(φ(A)),
for some C > 1, where A is any measurable subset of B(0, r) and λ is the Lebesgue
measure on Tx Y .
Using carefully the Taylor expansion, one can prove a version of the law of cosines
on a Riemannian manifold [8, Lemma 3.2] for v, w ∈ B(0, r):
|d(φ(v), φ(w))2 − kvk2 − kwk2 + 2hv, wi| ≤ K · kvk2 · kwk2 ,
where K < ∞ is some constant depending only on Y and r. Let now x, y ∈ Y
be such that d(x, y) ≤ r/2 and let v ∈ Tx Y satisfy φ(v) = y. Consider now any
w ∈ B(0, r) ⊆ Tx Y such that cos (∡(v, w)) ≤ −1/2 and assume for simplicity
kwk ≥ r/2. We have:
d(y, φ(w))2 − d(x, φ(w))2 = d(φ(v), φ(w))2 − kwk2
≥ kvk2 − 2hv, wi − Kkvk2 kwk2
≥ kvkkwk − Kkvk2 · kwk2
≥ kvk(r/2 − Kr4 /4) ≥ r/4 · kvk = r/4 · d(x, y)
(if we shrink r so that r3 < K −1 ), and consequently
d(y, φ(w)) − d(x, φ(w)) ≥

r/4 · d(x, y)
d(x, y)
r/4 · d(x, y)
≥
=
.
d(y, φ(w)) + d(x, φ(w))
1.5r + r
10

Clearly, the set W ⊆ B(0, r) of w as above has a positive measure λ(W ) (note that
this value does not depend on x or y), and hence µ(φ(W )) ≥ C −1 λ(W ). Thus we
get:
Z
Z
′
p
p
dp (x, y) =
|d(x, w) − d(y, w)| dµ(w) ≥
|d(x, w) − d(y, w)|p dµ(w)
Y

φ(W )

d(x, y)p
10p
.
The remaining estimate is straightforward. If d(x, y) .= d > r/2, we obtain:
 p
Z
d
p
′
,
|d(x, w) − d(y, w)| dµ(w) ≥ µ(B(x, d/3)) ·
dp (x, y) ≥
3
B(x,d/3)
≥ C −1 λ(W ) ·

and we know that µ(B(x, d/3)) ≥ µ(B(x, r/6) ≥ C −1 λ(B(0, r/6)).



The assumptions on linearisability of actions in Theorem 3.2 and Corollary 3.10
may seem restrictive with our very general definition of a warped cone. However,
in practise we are interested in nice spaces and actions, in particular the original
formulation of Theorem 3.1 considered only actions of dense subgroups on ambient
Lie groups [15]. The above Lemma 3.15 shows, in particular, that such actions are
linearisable.
In fact, for any compact group we have the following argument. (Note that
instead of assuming a bi-Lipschitz embedding of Y , one can assume a coarse embedding of OY and obtain a coarse equivariant embedding of OY , which suffices
for Theorem 3.2 and Corollary 3.10 as a replacement of linearisability.)

10

DAMIAN SAWICKI AND JIANCHAO WU

Lemma 3.16. Let Y be a compact group with a left-invariant metric and a rightinvariant Haar measure µ, and a bi-Lipschitz embedding into an Lp -space L. Then
its left translation action on itself is linearisable in an Lp -space.
Proof. Let c : Y → L be the embedding. Consider Lp (Y, µ; L) with a representation of Y by right translations: (πs v)(g) = v(gs). Then, the embedding e : Y →
Lp (Y, µ; L) given by (e(y))(g) = c(gy) is equivariant and bi-Lipschitz.

4. Warped cones with property A
Recall the following result of Roe.
Theorem 4.1 ([15]). Let ΓyY be a Lipschitz amenable action, where Y is a
manifold or a finite simplicial complex. Then OΓ Y has property A.
In fact, it follows from the proof that instead of assuming that Y is a manifold or
simplicial complex, it is enough to assume that the infinite cone OY has property
A (which holds for all examples considered in the literature so far, in particular for
profinite completions).
In this section, we want to obtain the converse implication.
Theorem 4.2. Let ΓyY be a free continuous action and assume that OΓ Y has
property A. Then the action ΓyY is amenable.
Note that one needs to assume freeness of the action. In Example 6.4 and 6.5
we construct warped cones with property A over non-amenable and even non-a-Tmenable actions.
Let us recall the definitions.
Definition 4.3. A metric space X has property A, if there is a sequence of maps
An : X → Prob(X) and a function N : N → N such that supp An (x) ⊆ B(x, N (n))
and for d(x, x′ ) ≤ n we have kAn (x) − An (x′ )k ≤ 1/n.
Property A was introduced by Yu [19] as a property that implies coarse embeddability into a Hilbert space, but is stronger and consequently easier to work
with. While coarse embeddability is a non-equivariant version of the Haagerup
property of groups, property A should be thought of as a non-equivariant version
of amenability.
Definition 4.4. An action ΓyY is amenable if there is a sequence of continuous
maps Y ∋ y 7→ Bny ∈ Prob(Γ), which are asymptotically equivariant:
lim kBny γ −1 − Bnγy k = 0,

n→∞

for all γ ∈ Γ, where the action on Prob(Γ) is defined by (µγ)(A) = µ(Aγ −1 ) for
µ ∈ Prob(Γ) and A ⊆ Γ.
Note that a group has property A if and only if it admits an amenable action
on a compact Hausdorff space and it is amenable if and only if all of its actions are
amenable.
Proof of Theorem 4.2. Assume that the warped cone OΓ Y has property A, i.e.,
there is a sequence of maps An : OΓ Y → Prob(OΓ Y ) and a function N : N → N as
in Definition 4.3. Without changing the notation, we will assume that An|tY : tY →
Prob(tY ) and all the measures are discrete.

STRAIGHTENING WARPED CONES

11

Recall that we proved in Lemma 3.8 that under our assumptions the quotient
map is asymptotically faithful. More precisely, we obtained that for any N ∈ N
there exists ε = ε(N ) > 0 such that the quotient map Γ × Y → Y is injective on
B(γ, N ) × Bd (y, ε) and, for any such ε > 0, there exists t = t(N, ε) > 0 such that
this product contains the ball Bd1 ((e, ty), N ) and the quotient map is an isometry
between Bd1 ((e, ty), N ) and BdΓ (ty, N ).
Fix n ∈ N and let N = N (n) and ε = ε(N + 2). By uniform continuity, there
exists 0 < δ < ε such that sB(y, δ) ⊆ B(sy, ε) for any point y ∈ Y and any
generator s ∈ S. Let t = t(N + 2, δ). We define
X
An (ty)(γtx),
Bny (γ) =
x∈B(y,δ)

Bny (γ)

where γ ∈ B(1, N + 2) (note that
= 0 for |γ| > N though) and Bny (γ) = 0 for
|γ| > N + 2. By injectivity of the quotient map, this gives us a probability measure
on Γ, which depends in a continuous way on y.
For γ ∈ B(e, N + 1), we can perform the following change of variables:
X
X
An (tsy)(tγsx)
An (tsy)(tγz) =
Bnsy (γ) =
x∈B(y,ε)

z∈B(sy,δ)

Formally, the second sum should be over s−1 B(sy, δ), but under our assumption
this set is contained in B(y, ε), so we the right hand side is at least the left hand
side. However, the right hand side (viewed as a function of γ ∈ B(e, N + 1)) has
mass at most 1 by the injectivity assumption, so it cannot be greater than the
probability measure from the left hand side.
We finish by checking that Bn is a n1 -equivariant map:
X
|Bny (γs) − Bnsy (γ)|
kBny s−1 − Bnsy k =
γ∈B(1,N +1)

=

X

X

An (ty)(tγsx) − An (tsy)(tγsx)

X

X

|An (ty)(tγsx) − An (tsy)(tγsx)|

γ∈B(1,N +1) x∈B(y,ε)

≤

γ∈B(1,N +1) x∈B(y,ε)

≤ kAn (ty) − An (tsy)k ≤ 1/n. 
Hence, combining Theorem 4.1 and Theorem 4.2, we obtain the following.
Corollary 4.5. Let ΓyY be a Lipschitz and free action and assume that the infinite
cone OY has property A (e.g., Y is a manifold, simplicial complex or profinite
completion). Then, the action is amenable if and only if the warped cone OΓ Y has
property A.
5. Embeddable warped cones
The following result is an analogue of Theorem 4.2 for warped cones which do
not have property A but admit a coarse embedding into the Hilbert space.
Proposition 5.1. Assume that the action ΓyY is free. If the warped cone OΓ Y
admits a coarse embedding into a Hilbert space, then the action is a-T-menable.

12

DAMIAN SAWICKI AND JIANCHAO WU

The necessity of the freeness assumption follows from Example 6.5. Note also
that our conclusion about the action cannot be strenghtened to a conclusion about
the group – the warped cone over an amenable action has property A, hence admits
a coarse embedding and there are plenty such actions of non-a-T-menable groups.
However, if an action is both a-T-menable and admits an invariant probability
measure, then the group must be a-T-menable, so in this case we retrieve Theorem
3.1.
Let us recall the definition of a-T-menability of an action.
Definition 5.2. An action ΓyY is a-T-menable if there exists a continuous function h : Γ × Y → [0, ∞) which is:
• symmetric, that is, h(γ, x) = h(γ −1 , γx);
• normalised, that is, h(e, x) = 0;
• proper; and
• (conditionally) negative-definite, that is, for any vector (λγ ) ∈ RΓ with
finite support and zero sum, the following holds
X
(5)
λγ λγ ′ h(γ ′ γ −1 , γy) ≤ 0.
γ,γ ′ ∈Γ

Proof of Proposition 5.1. Let f be the coarse embedding and let k : OΓ Y × OΓ Y →
R+ defined as k(x, x′ ) = kf (x) − f (x′ )k2 be the proper negative-type kernel satisfying
ρ− ◦ dΓ (x, x′ ) ≤ k(x, x′ ) ≤ ρ+ ◦ dΓ (x, x′ )
for some non-decreasing functions ρ− , ρ+ : R+ → R+ with limr→∞ ρ± (r) = ∞.
If y, y ′ ∈ Y and γ is the shortest element of Γ such that γy = y ′ , then for t large
enough we have dΓ (ty, ty ′ ) = |γ| [16, Remark 3.1]. Hence, since the action is free,
for any y there is t so large that dΓ (ty, tγy) = |γ| and by compactness of Y there
exists tγ valid for all y.
Let rn be such an increasing sequence of integers that ρ−2(rn n ) ≥ n and tn =
max{tγ | γ ∈ B(1Γ , rn+1 )}. We define
X 1
h(γ, y) =
· k(tn y, tn γy).
2n
n
Since the kernel k is negative-definite, the same is true for h, in the sense that it
satisfies inequality (5). We have 0 ≤ k(tn y, tn γy) ≤ ρ+ ◦ dΓ (tn y, tn γy) ≤ ρ+ (|γ|), so
the series above indeed converges and the map y 7→ h(γ, y) is bounded by ρ+ (|γ|)
and it is continuous as a uniform limit of continuous functions. Finally, for any n,
if γ is long enough, that is, rn ≤ |γ|, and, say, rm ≤ |γ| ≤ rm+1 , we obtain
ρ− ◦ dΓ (tm y, tm γy)
ρ− (|γ|)
ρ− (rm )
k(tm y, tm γy)
≥
=
≥
≥ m ≥ n,
2m
2m
2m
2m
so function h is proper.

h(y, γ) ≥

We can give a similar proof in the presence of an invariant measure, but using
affine actions rather than negative-type kernels. This way, we obtain a version of
Theorem 3.1 which applies to any Lp -spaces.
Proposition 5.3. Assume that the action ΓyY admits an invariant probability
measure µ and is essentially free. Then, if the warped cone OΓ Y admits a coarse
embedding into an Lp -space, then Γ has property P Lp .

STRAIGHTENING WARPED CONES

13

Proof. Let f be the coarse embedding OΓ Y to some Lp space L and let ρ± be the
control functions. By standard partition-of-unity-arguments we can assume that f
is continuous, in particular measurable. Let rn , similarly to the previous proof, be
such an increasing sequence of integers that ρ− (rn )p ≥ 2n · n. Recall that for any y
in a free orbit, the distance d(ty, tγy) and equals |γ| for t large enough [16]. Hence,
we can find tn so large that
µ({y ∈ Y | ∀γ ∈ Γ(rn ≤ |γ| < rn+1 =⇒ d(tn y, tn γy) = |γ|)}) > 1/2,
and let us denote the above set by Yn .
Let m be the measure on the set N = {tn | n ∈ N} such that m({tn }) = 2−n
and let ν denote the product measure µ × m on Y × N = X. We form a Bochner
space K = Lp (X, ν; L), which comes with an isometric Γ-action: (γ · v)(y, tn ) =
v(γ −1 y, tn ). Note that K is an Lp space. The cocycle for the action is given by
b(γ) = γf − f .
Let us check that the cocycle is correctly defined:
Z
X
kb(γ)kpK = kγf − f kpK =
2−n
kf (tn γy) − f (tn y)kpL
n

≤

X

Y

2−n ρ+ (|γ|)p = ρ+ (|γ|)p .

n

To verify properness of the action, we take k such that rk ≤ γ < rk+1 and calculate:
Z
Z
X
kb(γ)kpK =
2−n
kf (tn γy) − f (tn y)kpL ≥ 2−k
kf (tk γy) − f (tk y)kpL
Y

n

≥ 2−k

Z

Y

k · 2k ≥ k/2.



Yk

In fact, using the ultraproduct machinery developed by S. Arnt [2] for box spaces,
we can strengthen Proposition 5.3 to the following.
Theorem 5.4. Assume that the action ΓyY admits an invariant probability measure µ and is essentially free. Then, if the warped cone OΓ Y admits a fibred coarse
embedding into an Lp -space, then Γ has property P Lp .
F
Proof. Let f : OΓ Y → x∈OΓ Y L be the fibred coarse embedding, let sn < ∞ be
such that Kn ∩ Y × [sn , ∞) = ∅, and let us denote the restriction of f to the set
{sn } × Y by fn . We can assume measurability of the map (x, y) 7→ txn ◦ fn (y).
We define local cocycles cn : B(e, n) → Lp (Y, µ; L) similarly as in the previous
proof:
cn (γ)(y) = tyn ◦ fn (γ −1 y) − tyn ◦ fn (y)
(we use here the fact that dΓ (x, γ −1 x) ≤ |γ −1 | ≤ n, so fn (γ −1 y) lies in the domain
of tyn ). We also need to correct our representation, which also will be defined only
for γ ∈ B(e, n):
(γ −1 v)(y) = Tny,γy v(γy),
where Tny,γy is the linear part of the affine isometry ty,γy
: L → L from Definition
n
2.3.
Let us check that we have defined a local homomorphism:
(η −1 (γ −1 v))(y) = Tny,ηy (γ −1 v)(ηy) = Tny,ηy Tnηy,γηy v(γηy)
= Tny,γηy v(γηy) = (η −1 γ −1 v)(y),

14

DAMIAN SAWICKI AND JIANCHAO WU

where we used the equality Tny,ηy Tnηy,γηy = Tny,γηy , which follows from the equality
of the respective affine isometries:
−1
γηy −1
−1
ty,ηy
◦ tηy,γηy
= tyn ◦ (tηy
◦ tηy
= tyn ◦ (tγηy
= ty,γηy
n
n
n )
n ◦ (tn )
n )
n
′

y,y
y
(we
F slightly abuse notation here, since tn is a map L → L, while tn is a map
B(y,n) L → B(y, n) × L). Now, we can check that cn is indeed a cocycle with
respect to the above representation. First, we observe that:
γy
(γ −1 cn (η −1 ))(y) = Tny,γy cn (η −1 )(γy) = Tny,γy (tγy
n ◦ fn (γy) − tn ◦ fn (ηγy))
y
y
γy
(tγy
ty,γy
n ◦ fn (γy) − tn ◦ fn (ηγy)) = tn ◦ fn (γy) − tn ◦ fn (ηγy),
n

and hence we get the cocycle condition:
(γ −1 cn (η −1 ))(y)+ cn (γ −1 )(y) = tyn ◦ fn (γy)− tyn ◦ fn (ηγy)+ tyn ◦ fn (y)− tyn ◦ fn (γy)
= tyn ◦ fn (ηγy) − tyn ◦ fn (y) = cn (γ −1 η −1 )(y)
Recall that dΓ (ny, nγy) is always bounded by |γ|, so we have kcn (γ)(y)kL =
ktyn ◦ fn (γ −1 y) − tyn ◦ fn (y)kL ≤ ρ+ (|γ|) and also dΓ (ny, nγy) equals |γ| for almost
every y and n large enough, and then we get kcn (γ)(y)kL ≥ ρ− (|γ|), in particular
limn kcn (γ)k ≥ ρ− (|γ|).
Consider now the space ℓ∞ (N; Lp (Y, µ; L)), a non-principal ultrafilter U and the
p
quotient space L = ℓ∞ (N; Lp (Y, µ; L))/cU
0 (N; L (Y, µ; L)), called an ultraproduct,
where
p
∞
p
cU
0 (N; L (Y, µ; L)) = {(ln ) ∈ ℓ (N; L (Y, µ; L)) | lim kln kLp = 0}.
U

The norm on L is given by the ultralimit k(ln )kL = limU kln kLp .
We can extend our local isometric representations B(e, n) → Iso(Lp (Y, µ; L)) to
maps Γ → Iso(Lp (Y, µ; L)) by the identity outside B(e, n) and consider the product
map Γ → Iso(ℓ∞ (N, Lp (Y, µ; L))) and similarly extend the cocycles bn : B(e, n) →
Lp (Y, µ; L) by zero outside B(e, n) and consider the product map into the space
ℓ∞ (N, Lp (Y, µ; L)) (we use the uniform bound kbn k ≤ ρ+ (|γ|)). It is easy to check
that, after passing to the quotient space L, the first map becomes an isometric
representation on L, and the second is a cocycle with respect to it (see [2, Lemma
3.3]). We also have:
ρ− (|γ|) ≤ k(bn )kL ≤ ρ+ (|γ|),
so the obtained affine isometric action is indeed proper. The claim follows from the
fact that an ultraproduct of Lp -spaces is again an Lp -space.

6. Importance of freeness
In this section we will provide examples (Example 6.2 and 6.4) showing why
we need the freeness assumption in Theorem 3.2 (and Corollary 3.10) and in Theorem 4.2 (and Proposition 5.1). It turns out that there exist counterexamples
with only one fixed point, where the action is free on its complement (and all the
other assumptions of the respective theorems are satisfied). Interestingly, these two
theorems provide implications in “opposite directions” (in the former we deduce a
property of the warped cone from a property of the group and in the latter we
deduce a property of the action from a property of the warped cone). It is also
worth observing that for the converse implications (respectively Theorem 5.4 and
Theorem 4.1) freeness is not required.

STRAIGHTENING WARPED CONES

15

Let CY = Y × [0, 1]/Y × {0} be the compact cone over Y equipped with the
metric d((y, θ), (y ′ , θ′ )) = |θ − θ′ | + min(θ, θ′ ) · d(y, y ′ ) (where we denote the metric
on Y and CY with the same letter d).
Proposition 6.1. Let ΓyY . The following conditions are equivalent:
(1) OΓ CY fibred coarsely embeds into a Hilbert space (respectively: Banach
space X);
(2) OΓ CY embeds coarsely into a Hilbert space (respectively: Banach space X);
(3) OΓ Y embeds coarsely into a Hilbert space (respectively: Banach space X),
where the Banach space version requires that Y is a geodesic space (up to biLipschitz equivalence) and X contains an isomorphic copy of X ⊕ X .
Proof. Let dt denote the warped metric coming from the metric td on Y or CY . It
was proved in [16, Lemma 4.1] that the warped cone OΓ Y embeds coarsely into a
Hilbert space if and only if the family of metric spaces ((Y, dt ))t>0 embeds coarsely
into a Hilbert space in a uniform way. If (Y, d) is a geodesic space, then the same
holds for Banach spaces as above [16, Corollary 4.2] (this result is stated for Lp
spaces, but essentially the same proof works under our assumption).
When the considered Γ-space is itself a cone CY , we can apply the argument
twice: embeddability of OΓ CY is equivalent to embeddability of {(CY, ds )) | s > 0},
which is equivalent to embeddability of
(6)

{(Y, dθ·s ) | s > 0, θ ∈ (0, 1]} = {(Y, dt ) | t > 0}.

The last equality immediately proves the equivalence of conditions (2) and (3).
Now, assuming (1), there are nondecreasing and unbounded functions ρ± : [0, ∞) →
[0, ∞), a locally defined maps Fnz : B(z, n) → X satisfying
ρ− ◦ dΓ (x, x′ ) ≤ kFnz (x) − Fnz (x′ )k ≤ ρ+ ◦ dΓ (x, x′ ),
where z ∈ OΓ CY can be taken from a complement of a bounded set Kn ⊆ OΓ CY .
There exists some ln such that Kn ⊆ [1, ln ] × CY .
We will prove coarse embeddability of the family {(Y, dt ) | t > 0} with uniform
estimates by ρ± , which is equivalent to (3). Given t > 0, let p = max(l⌈diam Y ·t⌉ , t)
and θ = pt . Then, (Y, dt ) embeds isometrically into (CY, dp ) as Y × {θ} (consult
z0
[16, Lemma 1.6]), and F⌈diam
Y ·t⌉ yields a coarse embedding for any z0 ∈ Y × {θ} ⊆
(CY, dp ).

Example 6.2. Let Γ be a free subgroup of SU(2) ≃ S3 ⊆ C2 such that the action
ΓyS3 has a spectral gap as established by [6] and let B denote the unit ball in C2 .
Then the warped cone OΓ B does not fibred coarsely embed into any Lp -space for
1 ≤ p < ∞ even though ΓyB is a linearisable action of a Haagerup group which
is free after removing one fixed point.
Proof. We know that OΓ S3 does not embed coarsely into any Lp -space by [12] and
the spectral gap property. By Proposition 6.1 this implies that OΓ CS3 ≃ OΓ B
does not fibred coarsely embed into these spaces.
Linearisability of the action is obvious for the Hilbert space case and follows
from Lemma 3.15 applied to the action on S3 for p 6= 2.

Clearly, the same can be said for any subgroup action on the ambient Lie group
if the action has a spectral gap and the subgroup has the Haagerup property as in
[5].

16

DAMIAN SAWICKI AND JIANCHAO WU

Similarly, one can obtain the following.
Proposition 6.3. Let ΓyY . The following conditions are equivalent:
(1) OΓ CY has property A;
(2) OΓ Y has property A;
(3) OΓ Y + has property A, where Y + = Y ⊔ {∗}.
Proof. The equivalence of (1) and (2) follows from the fact that property A of a
warped cone OΓ Y is equivalent to uniform property A of its sections {(Y, dt ) | t >
0}, [16, Proposition 5.2], and equality (6).
Similarly, the equivalence of (2) and (3) follows from an easy exercise that the
family {(Y, dt ) | t > 0} has property A in a uniform way if and only if the family
{(Y + , dt ) | t > 0} does.

Example 6.4. Let ΓyY be a free, Lipschitz, and amenable action of a nonamenable group on Y ⊆ Rn . Then, the warped cone OΓ CY has property A even
though the action ΓyCY is not amenable, and similarly for the warped cone OΓ Y +
and the action ΓyY + .
Proof. Property A of OΓ Y follows from Theorem 4.1 [15]. By the above Proposition
6.3, it implies also property A of OΓ CY and OΓ Y + . However, CY and Y + contain
a fixed point for the action of Γ and the action on a point is amenable if and only
if the group is amenable.

If we require Γ to be non-Haagerup, we can obtain a stronger version of Example
6.4.
Example 6.5. There exist warped cones with property A over actions which are
not even a-T-menable.
7. Open problems
..
In the proof of Proposition 5.1 one may consider
P hn the ultralimit of kernels hn (γ, y) =
k(tn y, tn γy) rather then their average h =
2n . The limit kernel is still proper
and negative definite (in the sense of (5)), even if we assume that the warped
cone admits only an asymptotic coarse embedding instead of a coarse embedding.
However, we cannot see any reason, why it would be continuous, which leaves the
following question open.

Question 7.1. If OΓ Y admits an asymptotic coarse embedding into a Hilbert space,
then the free action ΓyY must be a-T-menable.
It is also tempting to ask about the converse, since it is true (Theorem 3.2)
for actions admitting an invariant measure (a-T-menability of the action is then
equivalent to a-T-menability of the group) and its analogue, Theorem 4.1, is valid
for amenable actions and warped cones with property A.
Question 7.2. Does a-T-menability of a free action ΓyY imply fibred or asymptotic coarse embeddability of OΓ Y into a Hilbert space? (Assuming that OY itself
is embeddable.)
If we assume that the above action is isometric, then it typically also admits
some invariant Hausdorff measure, and we are back in the case of a Haagerup
group. Hence, if one wants to give a positive answer to the above, one should first
study the following question.

STRAIGHTENING WARPED CONES

17

Question 7.3. Does a warped cone over a free Lipschitz action of a Haagerup
group admit an asymptotic coarse embedding? And fibred coarse embedding?
References
[1] V. Alekseev and M. Finn-Sell, Sofic boundaries of groups and coarse geometry of sofic approximations (2016), available at arXiv:1608.02242.
[2] S. Arnt, Fibred coarse embeddability of box spaces and proper isometric affine actions on Lp
spaces, Bull. Belg. Math. Soc. Simon Stevin 23 (2016), no. 1, 21–32.
[3] G. Arzhantseva, E. Guentner, and J. Špakula, Coarse non-amenability and coarse embeddings, Geom. Funct. Anal. 22 (2012), 22–36, DOI 10.1007/s00039-012-0145-z.
[4] G. Arzhantseva and R. Tessera, Relative expanders, Geom. Funct. Anal. 25 (2015), no. 2,
317–341, DOI 10.1007/s00039-015-0316-9.
[5] Y. Benoist and N. de Saxcé, A spectral gap theorem in simple Lie groups, Invent. Math. 205
(2016), no. 2, 337–361, DOI 10.1007/s00222-015-0636-2. MR3529116
[6] J. Bourgain and A. Gamburd, On the spectral gap for finitely-generated subgroups of SU(2),
Invent. Math. 171 (2008), no. 1, 83–121.
[7] X. Chen, Q. Wang, and G. Yu, The maximal coarse Baum-Connes conjecture for spaces
which admit a fibred coarse embedding into Hilbert space, Adv. Math. 249 (2013), 88–130,
DOI 10.1016/j.aim.2013.09.003.
[8] A. Daniilidis, R. Deville, E. Durand-Cartagena, and L. Rifford, Self-contracted curves
in Riemannian manifolds. Available on author’s websites: http://math.unice.fr/˜rifford/,
http://www.dim.uchile.cl/˜arisd (visited on 10th December 2016).
[9] K. Das, From the geometry of box spaces to the geometry and measured couplings of groups,
J. Topol. Anal. (to appear), DOI 10.1142/S1793525318500127.
[10] T. Delabie and A. Khukhro, Box spaces of the free group that neither contain expanders nor
embed into a Hilbert space (2016), available at arXiv:1611.08451.
[11] A. Khukhro and A. Valette, Expanders and box spaces (2015), available at arXiv:1509.01394.
[12] P. W. Nowak and D. Sawicki, Warped cones and spectral gaps, Proc. Amer. Math. Soc. 145
(2017), no. 2, 817–823, DOI 10.1090/proc/13258.
[13] D. Osajda, Small cancellation labellings of some infinite graphs and applications (2014),
available at arXiv:1406.5015.
[14] J. Roe, Lectures on coarse geometry, University Lecture Series, vol. 31, American Mathematical Society, Providence, R. I., 2003.
[15] J. Roe, Warped cones and property A, Geom. Topol. 9 (2005), 163–178.
[16] D. Sawicki, Warped cones over profinite completions, J. Topol. Anal. (to appear), DOI
10.1142/S179352531850019X.
[17] D. Sawicki, Super-expanders and warped cones (2017), available at arXiv:1704.03865.
[18] F. Vigolo, Measure expanding actions, expanders and warped cones (2016), available at
arXiv:1610.05837.
[19] G. Yu, The coarse Baum–Connes conjecture for spaces which admit a uniform embedding
into Hilbert space, Invent. math. 139 (2000), 201–240, DOI 10.1007/s002229900032.
Institute of Mathematics of the Polish Academy of Sciences
Śniadeckich 8, 00-656 Warszawa, Poland
Department of Mathematics, Penn State University, University Park PA 16802

