COARSE MEDIANS AND PROPERTY A

arXiv:1602.06084v2 [math.MG] 24 Feb 2017

JÁN ŠPAKULA AND NICK WRIGHT
Abstract. We prove that uniformly locally finite quasigeodesic coarse median
spaces of finite rank and at most exponential growth have Property A. This
offers an alternative proof of the fact that mapping class groups have Property
A.

1. Introduction
Coarse median spaces and groups were invented by Bowditch [Bow13a, Bow13b,
Bow14] as (we are guessing here) a device offering a unified approach to hyperbolic
groups and mapping class groups.
Indeed, hyperbolic groups are precisely coarse median groups of rank 1 [Bow13a,
Theorem 2.1], and mapping class groups are instances of coarse median groups of
finite rank [Bow13a, Theorem 2.5].
Furthermore, groups that are relatively hyperbolic with respect to a collection
of coarse median groups are again coarse median [Bow13b]. This provides more
examples of coarse median groups, for instance geometrically finite Kleinian groups
and Sela’s limit groups.
Coarse median approach to these classes of groups is quite powerful: In this series
of papers, Bowditch uses it to give unified proofs of some properties, for instance
the Rapid Decay property, quadratic isoperimetric inequality and a computing the
dimension of asymptotic cones.
Intuitively, a coarse median space is a metric space endowed with a ternary
structure (a map assigning a point to every triple of points), which is metrically a
controlled amount away from being an actual median structure. (Finite) set with
an actual median structure are just (vertex sets of) CAT(0) cube complexes. Hence
one may loosely regard coarse median structures as coarse versions of (metrized)
CAT(0) cube complexes. This analogy works exactly in the “rank one” situation,
where the CAT(0) cube complexes are trees, and hyperbolic groups are “coarsely
tree-like”. For the actual definitions, see Section 2.
The main result of this piece is that quasigeodesic coarse median spaces of finite
rank, which are uniformly locally finite and have at most exponential growth,
have Yu’s Property A. For proving Property A we use a criterion which is an
adaption Brown and Ozawa’s proof [BO08] that hyperbolic groups act amenably
1991 Mathematics Subject Classification. 20F65 (30L05).
Key words and phrases. coarse median, Yu’s Property A.
1

COARSE MEDIANS AND PROPERTY A

2

on the boundary. As a side-effect, we obtain a quick proof of Property A for finite
dimensional CAT(0) cube complexes, a fact originally established in [BCG+ 09] by
a different, more combinatorial, method. Our proof for coarse median spaces is a
coarsification of this short argument.
As a consequence, we obtain an alternative proof of the result that mapping
class groups have Property A (i.e. are exact), originally proved by Hamenstädt
[Ham09] and Kida [Kid06].
Finally, we would like to mention a related notion of hierarchically hyperbolic
spaces (and groups), developed recently in [BHS14, BHS15b]. While this property
is stronger (see [BHS15b, Section 7]), and somewhat more involved than coarse
medians it is also substantially more powerful: it implies even finite asymptotic
dimension [BHS15a]. Having finite asymptotic dimension is a strictly stronger
property than Property A. We close off with a question: do coarse median groups
of finite rank have finite asymptotic dimension?
The structure of the paper is as follows: in Section 2 we recall the relevant definitions and facts. Section 3 explains Brown and Ozawa’s criterion for Property A.
In Section 4 we outline the quick proof of Property A for CAT(0) cube complexes.
In Section 5 we establish some facts about (metric) median algebras; and finally
Section 6 contains the proof of the main result.
1.1. Acknowledgements. The first author thanks Goulnara Arzhantseva for her
encouragement, continuing support, and the initial impetus for this work.
2. Preliminaries
2.1. CAT(0) cube complexes. We recall the notions related to CAT(0) cube
complexes. For details, please consult [BH99, NR98].
A cube complex is a polyhedral complex in which the cells are Euclidean cubes
of side length one, the attaching maps are isometries identifying the faces of a
given cube with cubes of lower dimension and the intersection of two cubes is a
common face of each. One-dimensional cubes are called edges; and the complex is
finite-dimensional if there is a bound on the dimension of its cubes.
Recall that we can endow a cube complex with a naturally defined geodesic
metric. Furthermore, we can endow the set of vertices of a cube complex with an
edge-path metric; in the finite-dimensional case, this metric is coarsely equivalent
to (the restriction of) the geodesic metric [BCG+ 09, Proposition 1.7].
A cube complex is a CAT(0) cube complex, if the underlying topological space
is simply connected and the complex satisfies Gromov’s link condition [Gro87]. In
the finite-dimensional case, this is equivalent to asking that the geodesic metric
satisfies the CAT(0) inequality [BH99].
A hyperplane H (or a wall ) is a geometric hyperplane, which cuts each cube
that it intersects exactly in half. Such an H divides the vertex set into two pathconnected subspaces which are referred to as half-spaces. Two hyperplanes cross,

COARSE MEDIANS AND PROPERTY A

3

if each of the four possible intersections of the associated half-spaces is non-empty.
We say that H separates two vertices, if every edge-path connecting them crosses
H. For two sets for vertices A and B, we shall write A|H B if H separates every
vertex in A from every vertex in B, i.e. A and B are in different half-spaces
determined by H. The interval [x, y] between two vertices x, y is the intersection
of all half-spaces containing both vertices.
Every n-dimensional cube in a CAT(0) cube complex defines n pairwise intersecting hyperplanes (whose it crosses), and conversely, a collection of n pairwise
intersecting hyperplanes define a unique n-cube (which crosses exactly these hyperplanes).
Note that the set of vertices of a CAT(0) cube complex is a median algebra in
the sense defined below — the median of three points x, y, z is the unique vertex
in the intersection [x, y] ∩ [y, z] ∩ [z, x] [Rol98]. Equivalently the median of x, y, z
is the unique point lying on a geodesic between x and y, on a geodesic between y
and z and a geodesic between z and x. Furthermore, the notions of an interval,
wall, etc. . . are the same whether defined as here, or using the median structure
(below).
In a CAT(0) cube complex, each collection of pairwise intersecting hyperplanes
determines a unique cube, and conversely, each cube (of dimension k) provides k
pairwise intersecting hyperplanes. A cube path from a vertex x to a vertex y in a
CAT(0) cube complex X is a sequence of cubes C0 , . . . , Cn , such that x is a vertex
of C0 , y is a vertex of Cn , and every two consecutive cubes intersect in exactly one
vertex. A normal cube path from x to y is a cube path from x to y, such that every
hyperplane separating x and y is crossed exactly once, with the maximal number
of hyperplanes crossed at each step [NR98]. Note that if X is finite-dimensional,
then d1 ρ(x, y) ≤ n ≤ ρ(x, y), where d is the dimension of X and ρ denotes the
edge-path distance. We also refer to the sequence of the common vertices between
the consecutive cubes on the normal cube path as the normal cube path.

2.2. Metric median algebras. We summarise the notions that we need for this
paper. For a more thorough account on median structures, we refer to [Bow14,
Bow13a]. The median algebras can be thought of an abstraction of CAT(0) cube
complexes — every finite median algebra is actually the vertex set of a finite
CAT(0) cube complex. While in one direction of this link works in general, median
algebras can be “larger” (for instance R-trees are also median algebras).
A median algebra is a set, Φ, equipped with a ternary operation, µ : Φ3 → Φ,
such that for all a, b, c, d, e ∈ Φ, we have:
(M1): µ(a, b, c) = µ(b, c, a) = µ(b, a, c),
(M2): µ(a, a, b) = a, and
(M3): µ(a, b, µ(c, d, e)) = µ(µ(a, b, c), µ(a, b, d), e).

COARSE MEDIANS AND PROPERTY A

4

While this is the formal definition, we prefer to think about finite median algebras as the vertex sets of finite CAT(0) cube complexes (with the natural median
structure).
Given a, b ∈ Φ, the interval [a, b] is defined to by [a, b] = {c ∈ Φ | µ(a, b, c) = c}.
A subset H ⊂ Φ is convex if [a, b] ⊂ H for all a, b ∈ H.
For A ⊂ Φ, define the convex hull, denoted hull(A), to be the smallest convex
subset of Φ containing A. Note that hull({a,
b}) = [a, b] for a, b ∈ Φ. Furthermore,
S
for A ⊂ Φ, define the join, J(A) = a,b∈A [a, b]. Continuing inductively, we put
J 0 (A) = J(A) and J i (A) = J(J i−1 (A)). In general, there always exists some p ∈ N
such that J p (A) = hull(A), and moreover we know that p can be taken to be no
larger than the rank of Φ [Bow13a, Lemma 5.5].
A wall, W , is a partition {H − (W ), H + (W )} of Φ into two non-empty convex
subsets. We say that two walls W, W ′ cross if each of the sets H − (W ) ∩ H − (W ′),
H − (W ) ∩ H + (W ′ ), H + (W ) ∩ H − (W ′ ) and H + (W ) ∩ H + (W ′) is non-empty.
We say that Φ has rank at most d if there is no collection of d + 1 pairwise
crossing walls of Φ.
By a topological median algebra we mean a topological space Φ endowed with
a structure of a median algebra µ : Φ3 → Φ, such that µ is continuous in the
induced topology. When the topology on Φ comes from a metric ρ, we say that Φ
is a metric median algebra.
Let Φ be a metric median algebra as above. We also recall one of the conditions
used in [Bow14] to obtain the embedding result:
(L2) : There exists K ≥ 1 such that for all a, b, c, d ∈ Φ, ρ(µ(a, b, c), µ(a, b, d)) ≤
Kρ(c, d).
Let us mention that the main embedding result of [Bow14] states that if a metric
median algebra Φ satisfies (L2), is Lipschitz path connected and is ν-colourable1,
then it bilipschitzly embeds into a product of ν R-trees.
2.3. Coarse median spaces. In this subsection, we recall the definitions and
facts related to coarse medians. For more details, we refer to [Bow14, Bow13a].
Let (X, ρ) be a metric space, and let µ : X 3 → X be a ternary operation. We
say that µ is a coarse median and that (X, ρ, µ) is a coarse median space, if the
following conditions hold:
(C1): There are constants K ≥ 1, H(0) ≥ 0, such that for all a, b, c, a′ , b′ , c′ ∈ X
we have
ρ(µ(a, b, c), µ(a′, b′ , c′ )) ≤ K(ρ(a, a′ ) + ρ(b, b′ ) + ρ(c, c′ )) + H(0).
(C2): There is a function H : N → [0, ∞) with the following property. Suppose
that A ⊆ X with 1 ≤ |A| ≤ p < ∞. Then there is a finite median algebra
1This

is a more restrictive version of rank, which is equivalent to rank for intervals.

COARSE MEDIANS AND PROPERTY A

5

(Π, µΠ ) and maps π : A → Π and σ : Π → X such that for all x, y, z ∈ Π
we have
ρ(σµΠ (x, y, z), µ(σx, σy, σz)) ≤ H(p)
and
ρ(a, σπa) ≤ H(p)
for all a ∈ A.
We refer to K, H as the parameters of (X, ρ, µ).
Without loss of generality, we may assume that µ satisfies the axioms (M1) and
(M2) by [Bow13a, page 22].
We say that X has rank at most d if we can always choose Π to have rank at
most d.
Let us recall the asymptotic cones from [Bow13a, Section 9] and [Bow14, Section
8]: Let (X, ρ, µ) be a coarse median space, let (rn ) be a sequence of positive reals
such that rn → ∞, (xn ) ⊂ X be a sequence of points in X, and finally fix
a non-principal ultrafilter on N. With this data, we can construct an ultralimit
(X∞ , ρ∞ , µ∞ ) of pointed coarse median spaces ((X, ρ/rn , µ), xn ). This ultralimit is
referred to as an asymptotic cone of X (with the given data), and it is a complete2
metric median algebra satisfying (L2) (with the constant K being the same as in
the definition of coarse median). Moreover if X has rank at most d, then X∞ also
has a rank at most d.
2.4. Property A. Property A is coarse geometric property of metric spaces (or
more generally coarse spaces), first defined by G. Yu [Yu00] as a criterion that (for
discrete countable groups) implies the Coarse Baum-Connes conjecture, and hence
the Novikov conjecture. The catchphrase here is “non-equivariant amenability” or
“coarse amenability”. Since its inception, many equivalent formulations were discovered, including analytic (exactness of the reduced group C*-algebra, nuclearity
of the uniform Roe algebra [GK02, Oza00]) and dynamical (admitting an amenable
action on a compact topological space [HR00]).
We shall recall one of the possible definitions (the one used in Proposition 3.1)
for completeness; we refer to [Wil09] for the whole spectrum.
Let (X, ρ) be a uniformly locally finite discrete metric space. We say that X
has Property A, if for all R, ε > 0 there exists a map ξ : X → ℓ1 (X) from X into
the Banach space ℓ1 (X), such that
• kξ(x)k1 = 1 for all x ∈ X;
• for all x, y ∈ X with ρ(x, y) ≤ R, we have kξ(x) − ξ(y)k1 ≤ ε;
• there exists S > 0, such that for each x ∈ X, ξ(x) is supported in the
closed ball B(x; S) around x with radius S.
2The

completeness here refers to the metric.

COARSE MEDIANS AND PROPERTY A

6

2.5. Geodesicity. We shall say that a metric space (X, ρ) is quasigeodesic, if there
exist constants G1 , G2 , such that there exists a (G1 , G2 )-quasigeodesic between
any pair of points in X. Note that when X is a quasigeodesic coarse median
space, all its asymptotic cones are Lipschitz path connected. This is required for
applying the embedding result of Bowditch [Bow14] (and a blanket assumption in
[Bow14, Bow13a]).
3. A criterion
We extract a criterion from a proof of Brown and Ozawa [BO08, Theorem 5.3.15]
for proving Property A. Its proof is just an excerpt from [BO08]; which is in turn
inspired by [Kai04].
Proposition 3.1. Let X be a uniformly finite, discrete metric space. Suppose that
we have an assignment of a set S(x, k, l) ⊂ X to every l ∈ N, k ∈ {1, . . . , 3l} and
x ∈ X, such that:
(i) For every l ∈ N there exists Sl > 0, such that S(x, k, l) ⊂ B(x, Sl ) for all
x ∈ X and k ∈ {1, . . . , 3l}.
(ii) For every x, y ∈ X, l ≥ ρ(x, y), k ∈ {l + 1, . . . , 2l}, we have inclusions
S(x, k−ρ(x, y), l) ⊂ S(x, k, l)∩S(y, k, l) and S(x, k, l)∪S(y, k, l) ⊂ S(x, k+
ρ(x, y), l).
(iii) There exists a function p, such that |S(x, k, l)| ≤ p(l) for every x ∈ X,
l ∈ N and k ∈ {1, . . . , 3l}, satisfying limn→∞ p(n)1/n = 1.
Then X has property A.
To have some mental picture, let us recall that Brown and Ozawa apply this
criterion to hyperbolic groups Γ, defining the sets as follows: fix a point u ∈ ∂Γ.
Given x, k, l, the set S(x, k, l) consists of points that are exactly 3l steps along a
geodesic between a point within the k-ball around x and u. With this definition,
the conditions (i) and (ii) follow from the triangle inequality, and (iii) uses the
stability of geodesics in hyperbolic spaces (in this case p can be taken to be a
linear function).
Proof. Consider the Banach space ℓ1 (X) and for A ⊂ X denote by χA ∈ ℓ1 (X)
the normalised characteristic function of A. Given n ∈ N and x ∈ X, define
ξn (x) =

2n
1 X
χS(x,k,n)
n k=n+1

Note that kξn (x)k = 1 and supp(ξn (x)) ⊂ B(x, Sn ) for all x ∈ X by (i).
To establish Property A, we use the formulation from [Wil09, Thm 1.2.4/2.],
recalled also in subsection 2.4. We need to show that for a fixed m, we have
lim

sup kξn (x) − ξn (y)k = 0.

n→∞ ρ(x,y)=m

COARSE MEDIANS AND PROPERTY A

7

First, observe that for any A, B ⊂ X, we have




|A ∩ B|
|A ∩ B|
≤2 1−
.
kχA − χB k = 2 1 −
max{|A|, |B|}
|A ∪ B|

Take x, y ∈ X with ρ(x, y) = m and assume that n ≥ 2m. Then for any k ∈
{n + 1, . . . , 2n}, applying (ii),


|S(x, k − m, n)|
.
kχS(x,k,n) − χS(y,k,n) k ≤ 2 1 −
|S(x, k + m, n)|
Consequently
2n
1 X
kξn (x) − ξn (y)k ≤
kχS(x,k,n) − χS(y,k,n) k
n
k=n+1

!
2n
1 X |S(x, k − m, n)|
≤2 1−
n k=n+1 |S(x, k + m, n)|

!1/n 
2n
Y
|S(x, k − m, n)|

≤ 2 1 −
|S(x,
k
+
m,
n)|
k=n+1

!1/n 
Qn+m
|S(x,
j,
n)|
j=n+1−m

= 2 1 − Q2n+m
|S(x,
j,
n)|
j=2n+1−m

≤ 2 1 − p(n)−2m/n .

We have used the inequality between the arithmetic and geometric mean in
middle step, magic cancellation of many terms in the penultimate step and
last step uses (iii) plus a simple estimate of the sizes of sets by 1 from below.
(iii), the last expression converges to 0 as n converges to ∞. We are done.

the
the
By


Remark 3.2. In the condition (iii), we ask for a bound in terms of l. However, it is
apparent from the proof that a bound in terms of k with analogous property also
suffices.
Remark 3.3. It is clear from the proof of the Proposition that we only need to define
the sets S(x, k, l) only for an infinite sequence of indices l (and the corresponding
k ∈ {1, . . . , 3l}), not necessarily for all l ∈ N.
4. CAT(0) cube complexes
Proposition 3.1 allows us to quickly prove that finite dimensional CAT(0) cube
complexes have property A. This was first proved by Brodzki et. al. [BCG+ 09]
using a more combinatorial approach.
Proposition 4.1. Let X be a finite dimensional CAT(0) cube complex. Then X
has property A.

COARSE MEDIANS AND PROPERTY A

8

Proof. Fix a base vertex x0 ∈ X. Given a vertex x ∈ X, l ∈ N and k ∈ {1, . . . , 3l},
consider the normal cube path from y to x0 , where ρ(y, x) ≤ k. We define the
set S(x, k, l) to contain the 3l-th vertex on such a normal cube path (or x0 if we
run out of space). Note that the conditions (i) and (ii) from Proposition 3.1 are
automatically satisfied, courtesy of the triangle inequality. To be more precise, if
z ∈ S(x, k, l), then ρ(x, z) ≤ 6ld, where d = dim(X).
To prove the condition (iii) of Proposition 3.1, we shall argue that if z ∈
S(x, k, l), then z ∈ [x, x0 ]. Or, equivalently:
Claim: Every half-space containing both x and x0 contains also z.
Each hyperplane that we need to consider (i.e. such that one of the associated
half-spaces contains both x and x0 ) either separates x, x0 from y or it does not. In
the latter case, the same half-space also clearly contains z, so it remains to deal
with the former case.
Denote by C0 , C1 , . . . , Cm the normal cube path from y to x0 , and denote by
y = v0 , v1 , . . . , vm = x0 the vertices on this cube path. We shall argue that
any hyperplane separating y from x, x0 is “used” within the first ρ(x, y) steps on
the cube path. Suppose that the cube Ci does not cross any hyperplane H with
{y}|H {x, x0 }. Hence every hyperplane K crossing Ci satisfies {y, x}|K {x0 , vi+1 }. If
there was a hyperplane L with {y}|L{x, x0 } which was not “used” before Ci on the
cube path, then necessarily {y, vi+1}|L {x, x0 }, hence L crosses all the hyperplanes
K crossing Ci . This contradicts the maximality of this step on the normal cube
path. Thus there is no such L, and so all the hyperplanes H with {y}|H {x, x0 }
must be crossed within the first ρ(x, y) steps (as there is at most ρ(x, y) of such
hyperplanes).
Since z is the 3l-th vertex on the cube path and ρ(x, y) ≤ k ≤ 3l, all the
hyperplanes H with {y}|H {x, x0 } must have been crossed before z. Thus any such
H actually also satisfies {y}|H {x, x0 , z}. We have proved our claim.
Coming back to showing the condition (iii) of Proposition 3.1, observe that the
interval [x, x0 ] embeds isometrically into the cube complex Rd [BCG+ 09, Theorem
1.14], hence it has polynomial growth. This means that as S(x, k, l) ⊂ [x, x0 ] ∩
B(x, 6ld), its cardinality is bounded by a polynomial in l (of degree d). This
finishes the proof.

For the record, we note that dropping the finite dimensionality assumption renders the statement false, namely infinite dimensional CAT(0) cube complexes do
not have Property A; this follows from [Now07], as they contain isometric copies
of (Z/2Z)n for arbitrarily large n.
5. Median algebras
Definition 5.1. Let Φ be a median algebra. Let n ≥ 2 and x1 , . . . , xn , b ∈ Φ.
Define
µ(x1 ; b) := x1

COARSE MEDIANS AND PROPERTY A

9

and inductively for 1 ≤ k < n − 1
µ(x1 , . . . , xk+1 ; b) := µ(µ(x1 , . . . , xk ; b), xk+1 , b).
Note that this definition “agrees” with the original median map µ, since µ(x1 , x2 ; b) =
µ(x1 , x2 , b).
Intuitively, µ(x1 , . . . , xn ; b) should be thought of as a projection of b onto the
hull{x1 , . . . , xn }, just as µ(x1 , x2 , b) is the projection of b onto [x1 , x2 ]. However,
we do not prove this in this note (but see Lemma 5.3).
Lemma 5.2. The µ symbol from Definition 5.1 is symmetric in x1 , . . . , xn .
Proof. Recalling that interchanging the points in µ(·, ·, ·) is one of the axioms of
a median algebra, it is clearly sufficient to prove that for n = 3, we can switch x2
with x3 . However, applying axioms of median algebras, we have that
µ(x1 , x2 , x3 ; b) = µ(µ(x1 , x2 , b), x3 , b)
= µ(µ(x3 , b, x1 ), µ(x3 , b, b), x2 )
= µ(µ(x1 , x3 , b), x2 , b)
= µ(x1 , x3 , x2 ; b).
We are done.



In fact, it isTeasy to see that [x1 , b] ∩ [x2 , b] = [µ(x1 , x2 , b), b)] and then by
induction that nk=1 [xk , b] = [µ(x1 , . . . , xn ; b), b].

Lemma 5.3. Let Φ be a median algebra. Let x1 , . . . , xn , b ∈ Φ.
(i) A wall separates b and x1 , . . . , xn if and only if it separates b and µ(x1 , . . . , xn ; b).
(ii) If µ(x1 , . . . , xn−1 ; b) 6= µ(x1 , . . . , xn ; b) then there exists a wall separating
x1 , . . . , xn−1 from xn , b.
(iii) If, in addition, Φ has rank at most d, then there exists a subset {y1 , . . . , yk } ⊆
{x1 , . . . , xn } with k ≤ d, such that µ(y1 , . . . , yk ; b) = µ(x1 , . . . , xn ; b).
(iv) Assume that a ∈ Φ and x1 , . . . , xn ∈ [a, b]. Then {x1 , . . . , xn } ⊂ [a, µ(x1 , . . . , xn ; b)].
Proof. Since µ(x, y, b) ∈ [x, y] = J({x, y}), we can easily prove by induction that
µ(x1 , . . . , xn ; b) ∈ J n−1 ({x1 , . . . , xn }) ⊂ hull{x1 , . . . , xn }. The statement “=⇒” in
(i) follows. For the converse, assume for contradiction that there exists a wall
W that separates b and µ(x1 , . . . , xn ; b) but does not separate b from (say, using
Lemma 5.2) xn . As half-spaces are convex, the whole interval [b, xn ] is in the same
half-space than b. But as µ(·, xn , b) ∈ [b, xn ], this contradicts the assumption that
b separates µ(x1 , . . . , xn ; b) = µ(µ(x1 , . . . , xn−1 ; b), xn , b).
For (ii), denote c = µ(x1 , . . . , xn−1 ; b) and note that µ(x1 , . . . , xn ; b) = µ(c, xn , b).
Hence c 6= µ(x1 , . . . , xn ; b) implies c 6∈ [xn , b]. As {c} and [xn , b] are convex, this
implies, by [Bow13a, Lemma 6.1], that there is a wall separating c and xn , b. By
(i), this wall separates x1 , . . . , xn−1 and xn , b.

COARSE MEDIANS AND PROPERTY A

10

For (iii), we proceed by contradiction. Assume that there are at least d + 1
points in {x1 , . . . , xn } which cannot be removed from the expression µ(x1 , . . . , xn ; b)
without changing the result. The previous part of the lemma, together with Lemma
5.2, implies that there exist at least d + 1 different walls which all intersect (for
instance, if one wall separates x1 , . . . , xn−1 and xn , b, and another one separates
x1 , . . . , xn−2 , xn and xn−1 , b, they clearly intersect). This contradicts the rank
assumption (see [Bow13a, Proposition 6.2]).
The part (iv) follows by induction from the following statement: if x, y ∈ [a, b],
then x, y ∈ [a, µ(x, y, b)] (so in particular [a, x] ⊂ [a, µ(x, y, b)]). It is of course
sufficient to prove that x ∈ [a, µ(x, y, b)], which is done using median axioms as
follows:
µ(a, x, µ(x, y, b)) = µ(µ(a, x, x), µ(a, x, b), y) = µ(x, x, y) = x.
We are done.



Lemma 5.4. Let Φ be a median algebra and let a, b, x, y ∈ Φ satisfy x, y ∈ [a, b].
Then y ∈ [a, x] implies x ∈ [y, b].
Proof. Using the median axioms and lemma’s assumptions, we have
µ(y, b, x) = µ(µ(a, x, y), b, x) = µ(µ(b, x, a), µ(b, x, x), y) = µ(x, x, y) = x.

Proposition 5.5. Let Φ be a topological median algebra of rank at most d. Given
an interval [a, b] ⊂ Φ and a compact set C ⊂ [a, b], there exists h1 , . . . , hd ∈ C,
such that C ⊂ [a, µ(h1 , . . . , hd ; b)].
If Φ is moreover a metric median algebra satisfying the condition (L2), then we
have ρ(a, µ(h1 , . . . , hd ; b)) ≤ 3d K d max1≤i≤d ρ(a, hi ) ≤ 3d K d suph∈C ρ(a, h).
Proof. Consider the compact space C d . Given a tuple ξ ∈ C d , write µ(ξ; b) for the
short. Given ξ ∈ C d , define


Aξ = η ∈ C d | µ(η; b) ∈ [µ(ξ; b), b] = η ∈ C d | [a, µ(ξ; b)] ⊂ [a, µ(η; b)] .

Note that the two conditions are equivalent: if µ(η; b) ∈ [µ(ξ; b), b], then by Lemma
5.4 µ(ξ; b) ∈ [a, µ(η; b)], hence [a, µ(ξ; b)] ⊂ [a, µ(η; b)]. Conversely, the last inclusion implies µ(ξ; b) ∈ [a, µ(η; b)], so again by Lemma 5.4 we have µ(η; b) ∈
[µ(ξ; b), b].
Observe that each set Aξ is closed: In fact it is exactly the inverse image of the
closed3 set [µ(ξ; b), b] ⊂ Φ under the continuous map µ(·; b) : C d → Φ.
Finally, the collection {Aξ | ξ ∈ C d } of subsets of C d has the finite intersection
property. Given ξ, η ∈ C d , by Lemma 5.3 (iii), there is ω ∈ C d , such that µ(ω; b) =
µ(ξ ∪ η; b). However, from the definition of µ and Lemma 5.2, we know that
µ(ξ ∪ η; b) belongs to both [µ(ξ; b), b] and [µ(η; b), b]. In other words, ω ∈ Aξ ∩ Aη .
3Intervals

are closed in topological median algebras; this just uses continuity of µ.

COARSE MEDIANS AND PROPERTY A

11

T
Now, as C d is compact, there exists ζ ∈ ξ∈C d Aξ . This means that [a, µ(ξ; b)] ⊂
[a, µ(ζ; b)] for all ξ ∈ C d . In particular, by Lemma 5.3 (iv), ξ ⊂ [a, µ(ξ; b)] ⊂
[a, µ(ζ; b)] for all ξ ∈ C d , so [a, µ(ζ; b)] contains all the points of C. Now just
enumerate ζ as h1 , . . . , hd .
For the second part of the proposition, we do inductive estimates using (L2).
Denote T = max1≤i≤d ρ(a, hi ). Then, as the first step, ρ(a, µ(h1 ; b)) = ρ(a, h1 ) ≤
T . We show inductively that ρ(a, µ(h1 , . . . , hi ; b)) ≤ 3i−1 K i−1 T . Assuming this
inequality for i, denoting µ(h1 , . . . , hi ; b) = gi we estimate
ρ(a, µ(h1 , . . . , hi+1 ; b)) = ρ(a, µ(gi , hi+1 ; b))
≤ ρ(a, gi ) + ρ(µ(gi , gi , b), µ(gi , hi+1 , b))
≤ 3i−1 K i−1 T + Kρ(gi , hi+1 )

We are done.


≤ 3i−1 K i−1 T + K 3i−1 K i−1 T + T

= T 3i−1 K i + 3i−1 K i−1 + K ≤ 3i K i T.



6. Coarse medians
We shall adapt the idea of ‘moving deep into the interval’ from the CAT(0) cube
complex setting to the more general coarse median spaces.
To explain the idea, consider two points a, b and the context–appropriate notion
of the interval [a, b]. In the CAT(0) cube complex case, we have moved deep into
this interval by stepping sufficiently far along the cube path from a to b. In the
coarse median case we shall be, roughly speaking, looking for ‘the other end’ of the
convex hull of B(a, l) ∩ [a, b] (cf. the second bullet in Corollary 6.3). Following the
suit of [Bow14], this is done by going to the asymptotic cone (where the results of
Section 5 can be applied).
We begin by fixing a fair amount of notation.
For the rest of this section, when we say that X is a coarse median space, we
mean that X is a coarse median space, with metric denoted ρ, the median function
denoted µ, with parameters K and H. These will be fixed throughout.
When convenient, we shall be using the notation x ∼s y for ρ(x, y) ≤ s.
Given τ ≥ 0 and a, b ∈ X, we shall denote by [a, b]τ the coarse interval between
a and b, i.e. [a, b]τ := {x ∈ X | µ(a, b, x) ∼τ x}.
We will denote by λ ≥ 0 a constant (depending only on K and H), such that
for all x, y, z ∈ X we have µ(x, y, z) ∈ [x, y]λ ; its existence is proved in [Bow14,
Lemma 9.2].
Recall that since the median axiom (M3) holds exactly in median algebras, it
does hold in coarse median spaces up to a constant γ ≥ 0, depending only on the
parameters K, H of the coarse median structure (actually γ = 3K(3K + 2)H(5) +

COARSE MEDIANS AND PROPERTY A

12

(3K+2)H(0)). By this we mean that µ(x, y, µ(z, v, w)) ∼γ µ(µ(x, y, z), µ(x, y, v), w)
for all x, y, z, v, w ∈ X. We shall be using γ and this fact throughout this section.
Fixing some more notation, given r, t ≥ 0, denote
L1 (r) = (K + 1)r + Kλ + γ + 2H(0),
L2 (r) = (K + 2)r + H(0), and
L3 (r, t) = 3d K d rt + r.
The point is that L1 and L2 are linear functions of r, and L3 is linear in r with t
fixed, and bounded by a linear function of rt (for t ≥ 1).
Lemma 6.1. Let X be a coarse median space, r ≥ 0, and let a, b ∈ X, x ∈ [a, b]λ .
Then [a, x]r ⊂ [a, b]L1 (r) .
Proof. Let z ∈ [a, x]r . Thus µ(a, x, z) ∼r z and by assumption also µ(a, b, x) ∼λ x.
Hence
µ(a, b, z) ∼Kr+H(0) µ(a, b, µ(a, x, z))
∼γ µ(µ(a, b, a), µ(a, b, x), z)
∼Kλ+H(0) µ(a, x, z) ∼r z.
Thus ρ(µ(a, b, z), z) ≤ (K + 1)r + Kλ + γ + 2H(0) = L1 (r), which means by
definition that z ∈ [a, b]L1 (r) .

In what follows, r can be thought of ‘a scale’ and t of ‘a distance’. In other
words, the statements can read as ‘given a distance (t) at which we want the space
to behave, there exists a scale (rt ), such that on all larger scales (r ≥ rt ) it behaves
as a median space, with an error proportional to r’.
Proposition 6.2. Let X be a quasigeodesic coarse median space of rank at most
d. For every κ > 0 and t > 0, there exists rt > 0, such that for all r ≥ rt , a, b ∈ X
and A ⊂ B(a, rt) ∩ [a, b]κ with sep(A) ≥ r, there exists h ∈ [a, b]L1 (r) , such that
• ρ(a, h) ≤ L3 (r, t) and
• A ⊂ [a, h]r .
Corollary 6.3. Let X be a quasigeodesic coarse median space of rank at most d.
For every κ > 0 and t > 0, there exists rt > 0, such that for all r ≥ rt , a, b ∈ X
there exists h ∈ [a, b]L1 (r) , such that
• ρ(a, h) ≤ L3 (r, t) and
• B(a, rt) ∩ [a, b]κ ⊂ [a, h]L2 (r) .
Proof of Corollary 6.3. This readily follows from Proposition 6.2, by observing
that we may choose A to be a maximal r-separated subset of B(a, rt) ∩ [a, b]κ .
Then any point x ∈ B(a, rt) ∩ [a, b]κ is at most r-far from a point ax ∈ A, hence
the condition A ⊂ [a, h]r implies that
µ(a, h, x) ∼Kr+H(0) µ(a, h, ax ) ∼r ax ∼r x.

COARSE MEDIANS AND PROPERTY A

Since we denoted Kr + H(0) + r + r = L2 (r), the above reads x ∈ [a, h]L2 (r) .

13



Proof of Proposition 6.2. We proceed by contradiction: suppose that for some κ
and t the statement is not true, i.e. there exists a sequence 0 < r1 < r2 < · · · ∈ R
and for each n ∈ N there exist an , bn ∈ X and An ⊂ [an , bn ]κ ∩ B(an , rn t) with
sep(An ) ≥ rn , such that for all h ∈ [an , bn ]L1 (rn ) with ρ(an , h) ≤ L3 (rn , t) there
exists x ∈ An with ρ(x, µ(an , h, x)) > rn .
It follows from [Bow14, Lemma 9.7] that we can assume that the cardinalities
|An | are uniformly bounded by a constant p depending on K, H, d, κ, t.
The next step is to argue that we can arrange that the distances from an to bn
are linear in rn .
Claim. There exist constants δ1 , δ2 , κ1 ≥ 0 (depending only on K, H, κ, t and
p) and points b′n ∈ [an , bn ]λ , such that ρ(an , b′n ) ≤ δ1 rn + δ2 and An ⊂ [an , b′n ]κ1 .
The Claim follows from [Bow14, Lemma 9.6], which says that in our situation
there are constants ζ, ξ, κ′ (depending only on K, H, κ, t and p), and points cn , dn ∈
X, such that An ⊂ [cn , dn ]κ′ and diam(An ∪{cn , dn }) ≤ ζ diam(An )+ξ ≤ 2ζrn t+ξ.
Since An ⊂ B(an , rn t), by the proof of that Lemma we can assume that cn = an
for every n. Finally, we define b′n = µ(an , bn , dn ) ∈ [an , bn ]λ and check that
b′n = µ(an , bn , dn ) ∼K(2ζrn t+ξ)+H(0) µ(dn , bn , dn ) = dn ∼2ζrn t+ξ an ,
and for every x ∈ An (so that µ(an , bn , x) ∼κ x and µ(an , dn , x) ∼κ′ x)
µ(an , b′n , x) = µ(an , µ(an , bn , dn ), x)
∼γ µ(µ(an , x, bn ), µ(an , x, dn ), an )
∼K(κ+κ′)+H(0) µ(x, x, an ) = x.
So altogether, we put κ1 = K(κ + κ′ ) + H(0) + γ, δ1 = 2(K + 1)ζt and δ2 =
(K + 1)ξ + H(0) and the Claim is proved.
We have now set up the situation so that we can conclude the proof by going
to the asymptotic cone.
Let (X∞ , ρ∞ , µ∞ ) be an asymptotic cone of X, with the sequence of scales (rn ),
basepoints (an ) and any non-principal ultrafilter on N.
The sequences (an ) and (b′n ) determine points a, b ∈ X∞ (with ρ∞ (a, b) ≤ δ1 ),
and the intervals [an , b′n ]κ1 converge to the interval [a, b] in X∞ . Also the sets An
converge to a (finite, 1-separated) set A ⊂ [a, b] ∩ B(a, t).
By Proposition 5.5, there exists h ∈ [a, b], such that A ⊂ B(a, t) ∩ [a, b] ⊂ [a, h]
and ρ∞ (a, h) ≤ 3d K d t. This implies that we have a sequence of points hn ∈
X, eventually in [an , b′n ]rn 4, such that lim ρ(an , hn )/rn ≤ 3d K d t, thus eventually
ρ(an , hn ) ≤ 3d K d rn t + rn = L3 (rn , t).
Since b′n ∈ [an , bn ]λ , and hn ∈ [an , b′n ]rn , by Lemma 6.1 we have that hn ∈
[an , bn ]L1 (rn ) . Hence, by our original assumption, there (eventually) exist points
xn ∈ An with ρ(xn , µ(an , hn , xn )) > rn . The sequence of xn yields a point x ∈ A,
4Since

µ(a, b, h) = h, we have ρ(hn , µ(an , b′n , hn ))/rn → 0, hence the claim.

COARSE MEDIANS AND PROPERTY A

14

such that ρ∞ (x, µ∞ (a, h, x)) ≥ 1. This point witnesses that A 6⊂ [a, h], which is a
contradiction.

Lemma 6.4. Let X be a coarse median space. There exist constants α, β ≥ 0
(depending only on the parameters of the coarse median structure), such that the
following holds: let a, b, h, m ∈ X and r ≥ 0 satisfy m ∈ [a, h]L2 (r) , h ∈ [a, b]L1 (r) .
Then p = µ(m, b, h) satisfies ρ(h, p) ≤ αr + β.
Proof. Note that the assumptions say that m ∼L2 (r) µ(a, h, m) and h ∼L1 (r)
µ(a, b, h). We estimate
p = µ(m, b, h) ∼KL2 (r)+H(0) µ(µ(a, h, m), b, h)
∼γ µ(µ(b, h, h), µ(b, h, a), m)
∼KL1 (r)+H(0) µ(h, h, m) = h.
Altogether, ρ(h, p) ≤ K(L1 (r) + L2 (r)) + 2H(0) + γ, which is a linear function of
r.

Theorem 6.5. Let X be a uniformly locally finite, quasigeodesic, at most exponential growth, coarse median space of finite rank. Then X has property A.
Proof. The proof follows the idea of our proof for CAT(0) cube complexes, which
relies on Proposition 3.1. We shall verify its assumptions. Let α, β > 0 be the
constants from Lemma 6.4 and fix a basepoint x0 ∈ X.
We now apply Corollary 6.3 for κ = λ and all t ∈ N to obtain a sequence rt ∈ N,
so that the conclusion of the Corollary holds. Furthermore, we can choose the rt
inductively to arrange that the sequence N ∋ t 7→ lt = trt −H(0)
is increasing.
3K
For a moment, fix x ∈ X, t ∈ N and k ∈ {1, . . . , 3lt }. For every y ∈ B(x, k),
Corollary 6.3 applied for a = y, b = x0 and r = rt produces for us a point
hy ∈ [y, x0 ]L1 (rt ) . We collect these points into the set
S(x, k, lt ) = {hy ∈ X | y ∈ B(x, k)} .
Loosely speaking, the set S(x, k, lt ) contains one point associated to each y ∈
B(x, k), which should be thought of as being “trt -deep” inside the interval [y, x0 ]λ .
Defined like this, the condition (ii) of Proposition 3.1 is automatic, (i) follows
from the first bullet of Corollary 6.3, and finally (iii) requires some checking:
Take y ∈ B(x, k), with the notation as above. Denote my = µ(x, y, x0). Then
my ∈ [y, x0]λ and
ρ(y, my ) ≤ Kρ(x, y) + H(0) ≤ K · 3lt + H(0) = trt .
Thus the second bullet of Corollary 6.3 implies that my ∈ [y, hy ]L2 (rt ) . Since we
also know that hy ∈ [y, x0 ]L1 (rt ) , Lemma 6.4 now implies that the point py =
µ(my , x0 , hy ) ∈ [my , x0 ]λ satisfies ρ(hy , py ) ≤ αrt + β. As my = µ(x, y, x0 ) ∈
[x, x0 ]λ , Lemma 6.1 implies py ∈ [x, x0 ]L1 (λ) .

COARSE MEDIANS AND PROPERTY A

15

To summarise, for each hy ∈ S(x, k, lt ) we can associate a point py ∈ [x, x0 ]L1 (λ)
satisfying ρ(hy , py ) ≤ αrt + β, and consequently also
ρ(x, py ) ≤ ρ(x, y) + ρ(y, hy ) + ρ(hy , py ) ≤ 3lt + 3d K d trt + rt + αrt + β,
which is clearly depends linearly on lt . Hence, by [Bow14, Proposition 9.8], the
number of the possible points py is bounded by P (lt ) for some polynomial P
(depending only on H, K, d, and uniform local finiteness of X). Since we assume
at most exponential growth of X, it follows that the cardinality of S(x, k, lt ) is at
most P (lt )c′ crt for some constants c, c′ ≥ 1. Finally, as lt → ∞ means by definition
also t → ∞, it is easy to see that also rt /lt → 0, thus (P (lt )c′ crt )1/lt → 1. This
finishes proving the condition (iii) of Proposition 3.1 and we are done.

References
[BCG+ 09] Jacek Brodzki, Sarah J. Campbell, Erik Guentner, Graham A. Niblo, and Nick J.
Wright. Property A and CAT(0) cube complexes. J. Funct. Anal., 256(5):1408–1431,
2009.
[BH99]
Martin Bridson and André Haefliger. Metric Spaces of Non-postive Curvature, volume
319 of Grundlehren der Mathematischen Wissenschaften. Springer, 1999.
[BHS14] Jason Behrstock, Mark F. Hagen, and Alessandro Sisto. Hierarchically hyperbolic
spaces i: curve complexes for cubical groups. 12 2014.
[BHS15a] Jason Behrstock, Mark F. Hagen, and Alessandro Sisto. Asymptotic dimension and
small-cancellation for hierarchically hyperbolic spaces and groups. 12 2015.
[BHS15b] Jason Behrstock, Mark F. Hagen, and Alessandro Sisto. Hierarchically hyperbolic
spaces ii: Combination theorems and the distance formula. 09 2015.
[BO08]
Nathanial Brown and Narutaka Ozawa. C ∗ -Algebras and Finite-Dimensional Approximations, volume 88 of Graduate Studies in Mathematics. American Mathematical
Society, 2008.
[Bow13a] Brian H. Bowditch. Coarse median spaces and groups. Pacific J. Math., 261(1):53–93,
2013.
[Bow13b] Brian H. Bowditch. Invariance of coarse median spaces under relative hyperbolicity.
Math. Proc. Cambridge Philos. Soc., 154(1):85–95, 2013.
[Bow14] Brian H. Bowditch. Embedding median algebras in products of trees. Geom. Dedicata,
170:157–176, 2014.
[GK02]
Erik Guentner and Jerome Kaminker. Exactness and the Novikov conjecture. Topology, 41(2):411–418, 2002.
[Gro87]
Mikhael Gromov. Hyperbolic groups. In S. M. Gertsen, editor, Essays in group theory,
number 8 in M.S.R.I. Publications, pages 75–263. Springer, 1987.
[Ham09] Ursula Hamenstädt. Geometry of the mapping class groups. I. Boundary amenability.
Invent. Math., 175(3):545–609, 2009.
[HR00]
Nigel Higson and John Roe. Amenable group actions and the Novikov conjecture. J.
Reine Angew. Math., 519:143–153, 2000.
[Kai04]
Vadim A. Kaimanovich. Boundary amenability of hyperbolic spaces. In Discrete geometric analysis, volume 347 of Contemp. Math., pages 83–111. Amer. Math. Soc.,
Providence, RI, 2004.
[Kid06]
Yoshikata Kida. Classification of the mapping class groups up to measure equivalence.
Proc. Japan Acad. Ser. A Math. Sci., 82(1):4–7, 2006.

COARSE MEDIANS AND PROPERTY A

[Now07]
[NR98]
[Oza00]
[Rol98]
[Wil09]

[Yu00]

16

Piotr W. Nowak. Coarsely embeddable metric spaces without Property A. J. Funct.
Anal., 252(1):126–136, 2007.
Graham A. Niblo and Lawrence D. Reeves. The geometry of cube complexes and the
complexity of their fundamental groups. Topology, 37(3):621–633, 1998.
Narutaka Ozawa. Amenable actions and exactness for discrete groups. C. R. Acad.
Sci. Paris Sér. I Math., 330:691–695, 2000.
Martin A. Roller. Poc sets, median algebras and group actions. preprint, An extended
study of Dunwoody’s construction and Sageev’s theorem, 1998.
Rufus Willett. Some notes on property A. In Goulnara Arzhantseva and Alain Valette,
editors, Limits of Graphs in Group Theory and Computer Science, pages 191–281.
EPFL press, 2009.
Guoliang Yu. The coarse Baum-Connes conjecture for spaces which admit a uniform
embedding into Hilbert space. Invent. Math., 139(1):201–240, 2000.

Mathematical Sciences, University of Southampton, SO17 1BJ, United Kingdom
E-mail address: jan.spakula@soton.ac.uk
E-mail address: n.j.wright@soton.ac.uk

