A NONAMENABLE TYPE F∞ GROUP OF PIECEWISE PROJECTIVE
HOMEOMORPHISMS.

arXiv:1408.3127v4 [math.GR] 21 May 2017

YASH LODHA

Abstract. We prove that the group of homeomorphisms of the circle introduced by the author in joint
work with Justin Moore (Groups, Geometry and Dynamics 2015) is of type F∞ . This provides the first
example of a type F∞ group which is nonamenable and does not contain non abelian free subgroups.
To prove our result we provide a certain generalisation of cube complexes, which we refer to as cluster
complexes. We also obtain a normal form, or a canonical unique choice of words for the elements of the
group.

Contents
1. Introduction

2

2. Proof Strategy

3

3. Preliminaries

4

3.1. Finiteness properties of groups.

4

3.2. Nonpositively curved cube complexes

5

3.3. Coset graphs

5

3.4. Hyperplane arrangements and the face complex

6

3.5. Binary sequences and the group F

6

3.6. The group G

7

4. Cluster complexes

11

5. Normal Forms

13

5.1. Step 1 of the procedure

14

5.2. Step 2 of the procedure

16

6. The 1-skeleton of X

18

6.1. The actions of F on Ω and X (1)

22

6.2. A detour on expansion moves and the expansion Lemmas

25

7. The complex X

28

7.1. Descriptions of graphs in H and the G-action.

29

7.2. H is closed under intersection

30

Date: January 30, 2018.
2010 Mathematics Subject Classification. Primary: 43A07; Secondary: 20F05.
Key words and phrases. finiteness properties, amenable, finitely presented, free group, piecewise, projective, Thompson’s
group, torsion free.
This research was supported in part by NSF grant DMS–1262019 at Cornell University and an EPFL-Marie Curie
postdoctoral fellowship.
1

2

YASH LODHA

7.3. Graphs in H as 1-skeletons of clusters

33

7.4. Higher dimensional cells in X

35

8. The action of G on X

36

8.1. Stabilisers of cells

36

8.2. The quotient X/G

39

9. X is simply connected.

39

10. X is aspherical

42

10.1. The parallel equivalence relation on the 1-cells of X

42

10.2. Orthogonal 1-clusters

45

10.3. Amplification of pre-clusters

46

10.4. Weakly balanced systems of pre-clusters

50

10.5. Balanced systems of clusters

54

10.6. Balanced systems and nonpositive curvature

58

10.7. Proof of asphericity

60

11. A question

60

References

61

1. Introduction
The von Neumann-Day problem asks whether every nonamenable group contains nonabelian free subgroups (see [21] and [11]). In 1980, Ol’shanskii solved the von Neumann-Day problem by producing a
counterexample [19]. Soon after, Adyan showed that certain Burnside groups are also counterexamples
[2, 3]. Ol’shanskii and Sapir constructed the first finitely presented counterexample in 2003 [20].
In [18] Monod produced a remarkable family of counterexamples. In particular he showed that the group
of piecewise PSL2 (R) homeomorphisms of RP1 that fix infinity is nonamenable and does not contain
nonabelian free subgroups. However, Monod’s examples are not finitely presentable.
In [16] we constructed a finitely presentable nonamenable subgroup of Monod’s group with 3 generators
and 9 relations. This group denoted by G is generated by a(t) = t + 1 together with the following two
homeomorphisms of R:

t
if t ≤ 0


(

 t
1
2t
if
0
≤
t
≤
if 0 ≤ t ≤ 1
2
b(t) = 1−t 1
c(t) = 1+t
1

3
−
if
≤
t
≤
1
t
otherwise

t
2


t+1
if 1 ≤ t

The finiteness properties type Fn are natural topological generalisations of the properties of finite generation and finite presentability. A group is said to be of type F∞ if it is of type Fn for all n, or equivalently
if it is the fundamental group of a connected, aspherical CW complex with finitely many cells in every
dimension. The study of counterexamples to the von Neumann-Day problem has an interesting historical
connection with finiteness properties of groups. In the 1970s Thompson discovered a remarkable finitely
presented group, which is now known as Thompson’s group F . The elements a, b from above generate a
copy of F acting on the real line by piecewise projective homeomorphisms. In 1979 Geoghegan made the
following conjectures about F (See [13].)

A NONAMENABLE TYPE F∞ GROUP

(1)
(2)
(3)
(4)

3

F has type F∞ .
F has no nonabelian free subgroups.
F is nonamenable.
All homotopy groups of F at infinity are trivial.

Conjectures (1) and (4) were proved by Brown and Geoghegan [7]. Conjecture (2) was proved by Brin
and Squier [8]. The status of (3) still remains open. There is considerable interest in Conjecture (3)
especially because if F is nonamenable it would be an elegant counterexample to the von Neumann-Day
problem.
It is natural to inquire about the higher finiteness properties satisfied by the group G, especially in light
of Geoghegan’s conjectures about Thompson’s group F . In this article we establish that G is of type F∞ .
This makes the group G the first type F∞ group which is nonamenable, and does not contain nonabelian
free subgroups. More particularly, we prove the following.
Theorem 1.1. The group G acts on a connected cell complex X by cell permuting homeomorphisms such
that the following holds.
(1) X is contractible.
(2) The quotient X/G has finitely many cells in each dimension.
(3) The stabilizer of each cell is of type F∞ .
It follows that the group G is of type F∞ .
Our complex X is a special type of CW complex built out of CW subdivisions of Euclidean cubes.
Although there is no natural metric on such a complex, notions of metric and curvature shall play an
essential role in proving that the complex is contractible. Finally, we remark that it is observed in [23]
that all homotopy groups of G at infinity are trivial. So G satisfies all four statements of Geoghegan’s
conjecture for Thompson’s group F , and is the first such example.
2. Proof Strategy
In this section we provide an outline of the proof. Our complex X is a special type of CW complex, which
we call a complex of clusters. A cluster is a certain CW subdivision of a cube. An n-cluster is a CW
subdivision of an n dimensional cube [0, 1]n , which is obtained by considering the intersection pattern
with [0, 1]n ⊂ Rn of a family of hyperplanes of Rn . We give a precise definition of clusters in Section 4.
For instance, a 2-cluster can be a square, or a square with a diagonal 1-cell, and two triangular 2-cells
that fill it. The latter cluster is obtained from the intersection pattern of [0, 1]2 with the hyperplane
x = y in R2 . A sub-cluster of the latter 2-cluster is either a 0-cell, or one of the five 1-cells (including the
diagonal 1-cell).
To describe a complex of clusters, we draw an analogy with cube complexes. A cube complex is a CW
complex obtained by gluing cubes along their faces, i.e. gluing along facial “sub-cubes”. A complex of
clusters is a CW complex obtained by gluing clusters along sub-clusters. The key difference is that in
a cluster complex, sub-clusters could be placed diagonally in a cluster. For instance, we can take two
2-clusters described in the previous paragraph, and glue along the diagonal 1-cells. This way we obtain
a complex with four triangular 2-cells, or four triangles all glued along one edge.
To give the reader a more concrete idea of what our complex X looks like, we give a brief description of X.
A detailed description will appear in Sections 6 and 7. The 0-skeleton X (0) is defined as the set of right
cosets of F in G, on which G acts on the right. Two cosets F τ1 , F τ2 are connected by an edge in X (1)
if the double coset F τ1 τ2−1 F is one of four distinguished double cosets. It is then immediate from the
definition that G acts on X (1) in a way that preserves the edge relation, since F τ1 g(τ2 g)−1 F = F τ1 τ2−1 F .
In order to describe the cluster complex structure on X, we identify an infinite family H of finite, connected
subgraphs of X (1) , whose elements are in a natural way 1-skeletons of clusters. We demonstrate that H

4

YASH LODHA

is closed under finite intersections, i.e. the intersection of a finite number of graphs in H is also a graph
in H if it is non empty.
Then we “fill” the 1-skeleton of each graph in H by adding higher cells to obtain a cluster. We demonstrate
that these fillings are “compatible”, i.e. given two graphs Γ1 , Γ2 ∈ H and their respective fillings, the
filling of the intersection Γ1 ∩ Γ2 agrees with the induced fillings obtained from the restrictions of Γ1 , Γ2
respectively. Moreover, we demonstrate that this filling is G-equivariant. The union of X (1) together
with the fillings of graphs in H will define our complex of clusters X.
The structure of the paper is as follows. In Section 4 we define the notion of a cluster, and a cluster
complex. In Section 5 we construct a normal form for elements of G. This normal form will play a small
but essential role in the rest of the paper, but is of independent interest since it can be a useful tool to
study the group.
In Section 6 we define X (1) and study the action of G on X (1) . In Section 6, we shall also prove the
expansion lemmas, which shall be needed later in the paper, in particular during the proof of asphericity
of X. However, we prove these Lemmas here since their proofs shall emerge naturally from the ideas in
section 6. In Section 7, we define H and the higher cells of X
In Section 8 we prove that X/G has finitely many cells in every dimension, and that StabG (e) for each
cell e is a group of type F∞ . In fact, we demonstrate that the stabiliser of a cell is a product of HigmanThompson groups. In Section 9 we prove that X is simply connected, and in Section 10 we prove that
X is aspherical. Then we conclude that X is contractible. At the end of the article we state a question,
suggested to the author by Gromov, that could provide an interesting direction for further research.
A complex of clusters in general does not admit a natural piecewise Euclidean metric. For instance,
one cannot simply declare all the 1-cells to be isometric to [0, 1], since each 1-cell in our complex will
occur as a diagonal 1-cell of clusters of any given dimension. However, our proof that the complex is
aspherical shall involve notions of metric and curvature. More particularly, we demonstrate that every
finite subcomplex Y of X is contained in a sub complex Y of X such that Y is homeomorphic to a non
positively curved cube complex.
3. Preliminaries
In this section we will review some terminology needed later in the paper. Readers may wish to skim or
skip the material and refer back to it only as necessary. In this article, all actions shall be right actions.
However, when we make use of function notation we shall differ from this convention, i.e. for instance we
shall write x · f g = g(f (x)).
3.1. Finiteness properties of groups. The classical finiteness properties of groups are that of being
finitely generated and finitely presented. These notions were generalized by C.T.C. Wall [22]. In this
paper we are concerned with the properties type Fn . These properties are quasi-isometry invariants of
groups [1]. In order to discuss these properties first we need to define Eilenberg-Maclane complexes.
An Eilenberg-Maclane complex for a group G, or a K(G, 1), is a connected CW-complex X such that
e is contractible. It is a fact that for any group G, there is an Eilenberg-Maclane
π1 (X) = G and X
complex X which is unique up to homotopy type. A group is said to be of type Fn if it admits an
Eilenberg-Maclane complex with a finite n-skeleton. Clearly, a group is finitely generated if and only if
it is of type F1 , and finitely presented if and only if it is of type F2 . (For more details see [12].) A group
is said to be of type F∞ if it is of type Fn for all n ∈ N. Equivalently, a group is of type F∞ if it admits
a K(G, 1) with finitely many cells in each dimension.
The following is a special case of a well known result (See Proposition 1.1 in [6]. Note that the property
discussed there is type FP∞ , but since for the class of finitely presentable groups type FP∞ and type
F∞ are the same, we state this proposition in terms of type F∞ ).
Proposition 3.1. Let Γ be a finitely presentable group that acts on a cell complex X by cell permuting
homeomorphisms such that the following holds:

A NONAMENABLE TYPE F∞ GROUP

5

(1) X is contractible.
(2) The quotient X/Γ has finitely many cells in each dimension.
(3) The stabilizers of each cell are of type F∞ .
Then Γ is of type F∞ .
3.2. Nonpositively curved cube complexes. Although the complex we construct in this article is
not a cube complex, cube complexes will play an important role in the proof of contractibility of our
complex.
By a regular n-cube n we mean a cube which is isometric to the cube [0, 1]n in Rn . A cube complex is a
cell complex of regular Euclidean cubes glued along their faces by homeomorphisms. The metric on such
cube complexes is the piecewise Euclidean metric. (see [9] for details).
Given a vertex v of a regular cube n , the link Lk(v, n ) is the set of unit tangent vectors at v that
point in n . This is a subset of the unit sphere S n−1 which is homeomorphic to a simplex of dimension
n − 1. This admits a natural spherical metric, in which the dihedral angles are right angles.
Now let v be a 0-cell in a cube complex X and let
S

S = {C | C is a cube in X that contains v as a vertex }

The link Lk(v, X) = C∈S Lk(v, C). This is a complex of spherical “all right” simplices glued along their
faces by isometries. This admits a natural piecewise spherical metric. (see [9] for details).
A simplicial complex Z is called a “flag” complex if any set v1 , ..., vn of vertices of Z that are pairwise
connected by an edge span a simplex. This is also known as the “no empty triangles” condition. Now we
are ready to state the main definition.
Definition 3.2. A cube complex X is said to be nonpositively curved if the link of each vertex is a flag
complex.
For basic results concerning these spaces, we refer the reader to [9]. We shall only use the fact that
nonpositively curved cube complexes are aspherical, which is a corollary of the following theorem of
Gromov.
Theorem 3.3. (Gromov) A cube complex X is CAT(0) if and only if it is nonpositively curved and
simply connected.
This means that the universal cover of a nonpositively curved cube complex is CAT (0), and hence
contractible. So we have the following.
Corollary 3.4. Nonpositively curved cube complexes are aspherical.
3.3. Coset graphs. We shall use the notion of a coset graph. We remark that this notion may not be
familiar to a group theorist, although it is more likely familiar to a graph theorist. This is a natural
generalisation of Cayley graphs. Let G be a group and H be a subgroup of G. Let S be a finite set of
elements of G such that:
(1) S ⊆ G \ H.
(2) For each s ∈ S we have s−1 ∈ S.
(3) S ∪ H generates G.
Then we can form the so called coset graph Cos(G, H, S) as follows. The vertices of Cos(G, H, S) are the
right cosets of H in G, and two cosets Hg1 , Hg2 are connected by an edge if
[
g1 g2−1 ∈ H(S)H =
HsH
s∈S

Here

HsH = {h1 sh2 | h1 , h2 ∈ H}

6

YASH LODHA

is a double coset.
The group G acts on the graph Cos(G, H, S) on the right, and this
T action is vertex transitive. Moreover
the action of G on this graph is faithful if and only if the core g∈G g −1 Hg is trivial. By the following
theorem (see Theorem 3.8 in [17]), in fact every vertex transitive graph, i.e. a graph whose group of
automorphisms is vertex transitive, can be described in this way.
Theorem 3.5. [17] Let Ω be some vertex transitive graph. Then Ω is isomorphic to some coset graph
Cos(G, H, S).
The 1-skeleton of our complex X will emerge as a vertex transitive graph in this way.
3.4. Hyperplane arrangements and the face complex. Consider Rn endowed with the usual orthonormal basis, and with variables x1 , ..., xn representing coordinates in this basis. An affine hyperplane
is an (n − 1)-dimensional subspace comprising of solutions of an equation of the form
a1 x1 + ... + an xn = an+1
where ai ∈ R. The hyperplane itself is denoted as the set
{a1 x1 + ... + an xn = an+1 }
A finite hyperplane arrangement
A is a finite set of affine hyperplanes in Rn . A region of A is a connected
S
n
component of R \ H∈A H. Let R(A) denote the set of regions of A. It is an elementary exercise to
prove that every region is open, convex and thus homeomorphic to the interior of an n-dimensional ball.
The set of flats of the arrangement are the affine subspaces of Rn obtained by taking an intersection of
hyperplanes in A. The trivial intersection is also a flat, which equals Rn . Given a flat T , we denote the
hyperplane arrangement A ↾ T consisting of the set of hyperplanes
{T ∩ H | H ∈ A, T 6⊆ H}
in the subspace T . We define S
the regions of T in a similar way as above, i.e. R(A) ↾ T equals the set of
connected components of T \ H∈A↾T H.

The union of the sets of regions

[

R(A) ↾ T

T is a flat of A

is called
the face complex of the arrangement A. The face complex provides a cellular structure on
S
Rn ∂Rn = Bn .

3.5. Binary sequences and the group F . We will take N to include 0. Let 2N denote the collection of
all infinite binary sequences and let 2<N denote the collection of all finite binary sequences. For s ∈ 2<N ,
s(i) denotes the i’th digit of s. If i ∈ N and u is a binary sequence of length at least i, we will let u ↾ i
denote the initial part of u of length i. We denote by |s| the length of s, which is the number of digits in
s.
If s and t are finite binary sequences, then we will write s ⊆ t if s is an initial segment of t and s ⊂ t if s
is a proper initial segment of t. If neither s ⊆ t nor t ⊆ s, then we will say that s and t are independent.
A list of finite binary sequences s1 , ..., sn is said to be independent, if they are pairwise independent.
The set 2<N is equipped with an order defined by s < t if t ⊂ s or s and t are independent and s(i) < t(i)
where i is the smallest number such that s(i) 6= t(i). If u, s1 , ..., sn ∈ 2<N , we say that u dominates
s1 , ..., sn if for each 1 ≤ i ≤ n, either si , u are incompatible or si ⊂ u.
The finite binary sequences s, t are said to be consecutive if there is a binary sequence u and numbers
n1 , n2 ∈ N such that s = u01n1 and t = u10n2 . A list of finite binary sequences s1 , ..., sn is said to be
consecutive if each pair si , si+1 is consecutive for 1 ≤ i ≤ n − 1. Note that if s1 , ..., sn are consecutive
then they are automatically independent.

A NONAMENABLE TYPE F∞ GROUP

7

If ξ and η are infinite binary sequences, then we will say that ξ and η are tail equivalent if there are s, t,
and ζ such that ξ = sζ and η = tζ. We use 0∞ , 1∞ to denote the constant infinite sequences 000.... and
111... respectively. More generally, given a finite binary sequence s, s∞ denotes the sequence sss.....
We denote by T the collection of all finite rooted binary trees. A tree T in T will be denoted by a set of
finite binary sequences s1 , ..., sn which are the addresses of leaves in T . The indices are ordered so that
if i < j then si < sj . We view elements T of T as prefix sets. So we view T as a set of finite binary
sequences with the property that every infinite binary sequence has a unique initial segment in T .
A tree diagram is a pair (L, R) of elements of T with the property that |L| = |R|. A tree diagram
describes a map of infinite binary sequences as follows:
si ξ 7→ ti ξ
where si and ti are the ith elements of L and R, respectively, in the order as defined above and ξ is
any binary sequence. The collection of all such functions from 2N to 2N defined in this way, under the
operation of composition, is Thompson’s group F . The function associated to a tree diagram is also
defined on any finite binary sequence u such that u has a prefix in L. So the group F admits a partial
action on 2<N . Given f ∈ F and s ∈ 2<N , we say that f acts on s if f (s) is defined. Similarly, given
s1 , ..., sn ∈ 2<N we say that f acts on s1 , ..., sn if f (s1 ), ..., f (sn ) are all defined.
We direct the reader to the standard reference [4] for the definition and properties of Thompson’s group
F ; additional information can be found in [10]. We shall mostly follow the notation and conventions of
[16].
3.6. The group G. To prove that the group G is of type F∞ , the action of the group on the real line by
piecewise projective homeomorphisms does not appear to be useful. In [16] we describe a combinatorial
model for G by means of a faithful action of G by homeomorphisms of the cantor set 2N . This model
was used to prove that G is finitely presentable. This combinatorial model will be used throughout this
paper, and we shall not refer to the functions a, b, c : R → R which were defined in the introduction.
We recall the combinatorial description.


if ξ
0η
x(ξ) = 10η if ξ


11η if ξ

We start with the following two primitive functions:


= 00η
if ξ = 00η
0y(η)
y(ξ) = 10y −1 (η) if ξ = 01η
= 01η


= 1η
11y(η)
if ξ = 1η

From these functions, we define families of functions xs (s ∈ 2<N ) and ys (s ∈ 2<N ) which act just as x
and y, but localised to those binary sequences which extend s.
(
(
sx(η) if ξ = sη
sy(η) if ξ = sη
xs (ξ) =
ys (ξ) =
ξ
otherwise
ξ
otherwise
If s is the empty-string, it will be omitted as a subscript. Let
S = {xt , ys | s, t ∈ 2<N , s 6= 0k , s 6= 1k , s 6= ∅}
Our group is generated by functions in the set S. In fact, G is generated by x, x1 , y10 which correspond
respectively to the functions a, b, c that were defined in the introduction. The infinite generating set S is
much more desirable for the purpose of our proofs and will be used throughout this article. We now list
an infinite set of relations R satisfied by the generators in S.
(1)
(2)
(3)
(4)
(5)

If xs (t) is defined, then xt xs = xs xxs (t)
x2s = xs0 xs xs1 .
If xs (t) is defined, then yt xs = xs yxs (t) .
if s and t are independent, then ys yt = yt ys .
−1
ys = xs ys0 ys10
ys11 .

Note that in the above there is no occurrence of the functions ys± where s = 1k , s = ∅ or s = 0k . We
proved in [16] that:

8

YASH LODHA

Theorem 3.6. The group G ∼
= hS | Ri is finitely presented, nonamenable, and does not contain nonabelian free subgroups.
The generators {xs | s ∈ 2<N } together with the relations
(1) If xs (t) is defined, then xt xs = xs xxs (t) .
(2) x2s = xs0 xs xs1
describe an infinite presentation for Thompson’s group F .
Recall that in [10]
−1
−1
{x−1 , x−1
1 , x11 , x111 , ...} ⊆ X

is used as the infinite generating set for F . We now recall the normal form for Thompson’s group F
in this generating set (See Corollary-Definition 2.7 in [10]). We rephrase the normal form to suit our
conventions, which differ from those used in [10]. We shall refer to this normal form as the F -normal
form.
Theorem 3.7. Every non-trivial element of F can be expressed in unique normal form:
−bn an
a1 a0
1 −b2
x−b0 x−b
1 x12 ...x1n x1n ...x1 x

such that:
(1) a0 , ..., an and b0 , ..., bn are nonnegative numbers.
(2) Exactly one of an , bn is nonzero.
(3) If for some 0 ≤ k ≤ n − 1 it is true that ak , bk > 0, then ak+1 > 0 or bk+1 > 0.
Furthermore, every such normal form word is nontrivial in F .
Now we recall from [16] the following definitions.
Definition 3.8. An X-word is a word in the letters
{xts | s ∈ 2<N , t ∈ Z}
A Y -word is a word in the letters
{yst | s ∈ 2<N , s 6= 0k , s 6= 1k , s 6= ∅, t ∈ Z}
An S-word is a word in the generators
{yst , xvu | s, u ∈ 2<N , s 6= 0k , s 6= 1k , s 6= ∅, and t, v ∈ Z}
The elements of the set
{yst | s ∈ 2<N , s 6= 0k , s 6= 1k , s 6= ∅, t ∈ Z}
are called percolating elements.
Definition 3.9. An S-word f yst11 ...ystnn is in standard form if it is the concatenation of an X-word f
followed by a Y -word yst11 ...ystnn with the property that si < sj if i < j. We will write standard form to
mean an S-word in standard form.
It is convenient to denote a standard form as f λ, where f is an X-word and λ is a Y -word in standard
form. We will mostly use the convention of denoting X-words by letters f, g, h, often with subscripts,
and Y -words in standard form with either greek letters, or explicitly as yst11 ...ystnn .
The depth of f yst11 ...ystnn equals inf {|si | | 1 ≤ i ≤ n}. We use the convention that standard forms that are
X-words have infinite depth.
The following Lemma was proved in [16].
Lemma 3.10. If Ω is any S-word and l ∈ N, then Ω can be converted into a standard form f λ using the
relations, so that f λ has depth at least l.

A NONAMENABLE TYPE F∞ GROUP

9

We also define a slightly weaker notion than a standard form, which will be useful in phrasing our
arguments.
Definition 3.11. An S-word f yst11 ...ystnn is in standard form upto commutation if it is the concatenation
of an X-word f followed by a Y -word yst11 ...ystnn with the property that if sj ⊂ si then i < j.
Note that this notion is slightly weaker than the standard form. For instance y100 y101 is in standard form
but not y101 y100 , although the latter is in standard form upto commutation.
The definition implies the following elementary fact.
Lemma 3.12. A standard form upto commutation can be converted into a standard form by the application of a finite sequence of commuting relations, which are relations (4) of R.
Definition 3.13. Associated with a standard form (or a standard form up to commutation) f yst11 ...ystnn
and a sequence σ ∈ 2ω is the notion of a calculation. This is an infinite string in letters y, y −1 , 0, 1. The
evaluation of f yst11 ...ystnn on σ comprises of a prefix replacement that is determined by the transformation
f ∈ F followed by an infinite sequence of applications of the transformations described by the percolating
elements. The latter is encoded as an infinite string with letters y, y −1 , 0, 1 and denoted as the calculation
of yst11 ...ystnn on f (σ). The calculation is equipped with the following substitutions:
y00 → 0y
−1

−1

y01 → 10y −1

y1 → 11y

−1

y 0 → 00y
y 10 → 01y
y −1 11 → 1y −1
−1
For example, for the word y100 y10 and the binary sequence 1001111... the calculation string is 10y0y −11111....
The output of the evaluation of the word on the binary string is the limit of the strings obtained from
performing these substitutions. In this way, we define the calculation of a standard form (up to commutation) yst11 ...ystnn on an infinite binary sequence σ. The calculation of a standard form (up to commutation)
f yst11 ...ystnn on an infinite binary sequence σ is defined to be the calculation of yst11 ...ystnn on f (σ).
The set of all such strings will be denoted as {0, 1, y, y −1}N . A calculation is an element of this set with
the property that there are only finitely many occurrences of y ± .
A calculation has a potential cancellation if upon performing a finite set of substitutions we encounter
a substring of the form yy −1 or y −1 y. When a calculation has no potential cancellations, we say that
it has exponent n if n is the number of occurrences of the symbols y ± . Note that there is no potential
cancellation in the example above, and the exponent is 2.
The following was proved in [16]. (Lemma 5.9.)
Lemma 3.14. Suppose that Λ is in {0, 1, y, y −1}N and contains no potential cancellations. Then advancing any occurrence of a y ± results in a word with no potential cancellations.
It is also natural to consider finite strings in letters y, y −1 , 0, 1, equipped with the same substitutions
as above. Of course, for such strings one may not be able to advance the rightmost occurrence of y ±1 .
However, such strings will be useful to consider in the following context. Let f yst11 ...ystnn be a standard
form and let u be a finite binary sequence such that f acts on u and f (u) dominates s1 , ..., sn . Given
any infinite binary sequence ψ, we know that f (uψ) = f (u)ψ. Also, the calculation of f yst11 ...ystnn on uψ,
which equals the calculation of yst11 ...ystnn on f (u)ψ, contains a tail ψ. Upon deleting this tail from this
calculation, we obtain a calculation of f yst11 ...ystnn on u. Note that the choice of the sequence ψ does not
affect the definition of this calculation. We denote the set of all such strings as {0, 1, y, y −1}<N . The
following lemma was proved in [16] (Lemma 5.10.)
Lemma 3.15. Suppose that Λ is in {0, 1, y, y −1}<N and contains no potential cancellations, and contains
n occurrences of y ± . Then there is a finite binary sequence u such that the following holds. We can
perform a sequence of substitutions on the calculation Λu to obtain a calculation of the form vy n , where
v is a finite binary sequence.
We now describe a family of basic operations involving standard forms. Notice that each of these substitutions corresponds either to a relation in R or to a group-theoretic identity.

10

YASH LODHA

Definition 3.16. We will say that an S-word Ω1 is derived from an S-word Ω0 , written symbolically as
Ω0 → Ω1 , if it is the result of applying moves of the following forms:
±1 i
<N
(1) (Rearranging) yti x±1
are such that t.xs is defined.
s → xs yx±1 (t) where s, t ∈ 2
s

(2)
(3)
(4)
(5)
(6)

−1
−1
−1
<N
(Expansion) ys → xs ys0 ys10
ys11 and ys−1 → x−1
.
s ys00 ys01 ys1 where s ∈ 2
N
(Commuting) yu yv ↔ yv yu where u, v ∈ 2 and u, v are independent.
xi+j ↔ xi xj
y i+j ↔ y i y j
(Cancellation) Delete an occurrence of y i y −i

−1
The percolating elements ys0 , ys10
, ys11 obtained upon performing the expansion move on ys are called
−1
−1
offsprings of ys . Similarly, the elements ys00
, ys01 , ys1
obtained upon performing an expansion move
−1
−1
on ys are offsprings of ys . If we perform a sequence of such moves, we will also refer to offsprings
−1
of offsprings are offsprings themselves. For instance, consider the move ys → xs ys0 ys10
ys11 produces
−1
−1
offsprings ys0 , ys10 , ys11 of ys . Now upon performing a subsequent expansion move on ys10 , we obtain
−1
−1
−1
−1
−1
xs ys0 x−1
s10 ys1000 ys1001 ys101 ys11 = xs xs10 ys0 ys1000 ys1001 ys101 ys11
−1
−1
So we say that ys0, ys1000
, ys1001 , ys101
, ys11 are offsprings of ys . In our arguments is shall be useful to
keep track of the offsprings of percolating elements under expansion.

An important combination of moves that will be used frequently in our arguments is expansion followed
by rearrangement. For example, let f (yst11 ....ystnn )yu be an S-word such that xu acts on each sequence in
the set {s1 , ..., sn }. We can perform an expansion move on the word to obtain
−1
yu11 )
f (yst11 ....ystnn )(xu yu0 yu10

followed by rearranging moves to obtain
−1
f xu (yst1′ ....ystn′n )(yu0 yu10
yu11 )
1

s′i

where = xu (si ). It is easy to check that if our original word was a standard form, then the resulting
word is also a standard form. This combination of moves shall be used frequently in the proofs in the
paper. We now extend the notion of potential cancellation for a calculation to an analogous notion for
standard forms.
Definition 3.17. (Potential cancellation) A standard form f yst11 ...ystnn is said to have a potential cancellation if there is an infinite binary sequence τ such that the calculation of yst11 ...ystnn on τ contains a potential
cancellation.
Lemma 3.18. Let f λ1 be a standard form which does not have a potential cancellation. Let gλ2 be a
standard form obtained by performing a sequence of expansion followed by rearranging moves on f λ1 .
Then gλ2 does not have a potential cancellation.
Proof. Let λ1 = yst11 ...ystnn , such that ti ∈ {1, −1}. Note that this is for notational convenience, i.e. for
instance we write y 2 as yy. Since the existence of potential cancellations in f yst11 ...ystnn is not affected by
f ∈ F , we assume that this is the empty word.
Assume that xsi acts on each s1 , ..., si−1 , and that ti = 1. The case when ti = −1 is completely analogous.
Applying expansion followed by rearrangement, we obtain
...ystnn )
y
)(ysti+1
)(xsi ysi 0 ys−1
(yst11 ...ysti−1
i+1
i−1
i 10 si 11
t

...ystnn )
= (xsi )(yst1′ ...ysi−1
y
)(ysti+1
)(ysi 0 ys−1
′
i+1
i 10 si 11
i−1

1

where s′j = xsi (sj ) for 1 ≤ j ≤ i − 1.
Now assume that we have introduced a potential cancellation after performing this move. Let τ be an
infinite binary sequence for which the associated calculation of
t

...ystnn )
(xsi )(yst1′ ...ysi−1
y
)(ysti+1
)(ysi 0 ys−1
′
i+1
i 10 si 11
1

i−1

A NONAMENABLE TYPE F∞ GROUP

11

denoted by Λ contains a potential cancellation. It must be the case that τ contains as a prefix a sequence
which equals either si 0, si 10, or si 11.
Now let Λ′ be the calculation produced by the evaluation of yst11 ...ystnn on x−1
si (τ ). The calculation Λ is in
fact obtained from Λ′ by advancing a symbol y. By our hypothesis, there is no potential cancellation in
Λ′ . So by Lemma 3.14 there cannot be a potential cancellation in Λ. Hence we obtain a contradiction.
Therefore, upon performing a sequence of expansion followed by rearrangement moves, we obtain a
standard form with no potential cancellations.

We end this subsection with a discussion about the action of standard forms and tail equivalence. The
action of F on infinite binary sequences preserves tail equivalence, yet the elements ysn do not. This
is a fundamental and important distinction between the groups F and G. The advantage of standard
forms without potential cancellations is that we can identify precisely where the relation is not preserved.
Recall that the support of a homeomorphism φ is the set of elements in the domain that are moved by
the homeomorphism. We denote this as Supp(φ).
Lemma 3.19. Let f yst11 ...ystnn be a standard form that does not contain potential cancellations. Let U ⊂ 2N
be the support of yst11 ...ystnn .
(1) f yst11 ...ystnn does not preserve tail equivalence on a dense subset of f −1 (U ). More particularly, given
an open set U ′ in f −1 (U ), there is an infinite binary sequence τ ∈ U ′ such that f yst11 ...ystnn (τ ) and
τ are not tail equivalent.
(2) f yst11 ...ystnn preserves tail equivalence on 2N \ f −1 (U ).
Proof. It suffices to prove the statement in the case when f is trivial, since f maps f −1 (U ) to the support
of the Y -word yst11 ...ystnn , and outside f −1 (U ) the word f yst11 ...ystnn acts like an element of F , and hence
preserves tail equivalence.
Let U ′ be an open subset of U . Let τ be an finite binary sequence such that the following holds:
(1) [τ 0∞ , τ 1∞ ] ⊂ U ′
(2) τ dominates s1 , ..., sn .
The associated calculation Λ of yst11 ...ystnn on τ does not contain potential cancellations, by our hypothesis.
By Lemma 3.15, there is a finite binary sequence u such that one can perform substitutions on Λu to
obtain vy m where v is a finite binary sequence and m 6= 0. We assume that m > 0, the other case is
m
m
analogous. It follows that the associated calculation of yst11 ...ystnn on τ u02 102 1... equals
m

m

m

m

vy m 02 102 1...
This calculation produces the output
v012 012 ...
which is not tail equivalent to the input.



4. Cluster complexes
We consider Rn with variables x1 , ..., xn that represent coordinates in the usual orthonormal basis. In
particular, we fix an order on the set of coordinates, described by the indices, i.e. xi < xj if i < j. In
this section, we shall use the concepts concerning hyperplane arrangements described in Subsection 3.4
from the Preliminaries.
We consider two types of affine hyperplanes in Rn .
(1) An affine hyperplane of Rn is said to be of type 1 if it is of the form {xi = 0} or {xi = 1} for
some 1 ≤ i ≤ n.
(2) A hyperplane of Rn is said to be of type 2 if it is of the form {xi = xi+1 } for some 1 ≤ i ≤ n − 1.

12

YASH LODHA

Let A be a hyperplane arrangement in Rn . We say that A is admissible if the following holds.
(1) Each hyperplane in A is of type 1 or of type 2.
(2) A contains all the hyperplanes of type 1.
Now we define the notion of an n-cluster. Recall the notion of the face complex of a finite hyperplane
arrangement from subsection 3.4.
Definition 4.1. An n-cluster is a CW subdivision of [0, 1]n obtained by restricting the face complex of
an admissible hyperplane arrangement to [0, 1]n .
Let A be an admissible hyperplane arrangement in Rn . We denote by C(A) as the restriction of the face
complex of A to [0, 1]n , which is a subcomplex. In particular, we say that C(A) is the n-cluster (or simply
cluster) associated with A.
Hence we have a correspondence:
{admissible hyperplane arrangements in Rn } ↔ {n-clusters}
In this correspondence, the admissible arrangement A given by the set of all type 1 hyperplanes corresponds to the standard CW structure of the regular Euclidean cube [0, 1]n . If A consists of all type 1
hyperplanes of R2 and the type 2 hyperplane {x1 = x2 }, then the resulting 2-cluster is a square with a
diagonal connecting (0, 0) and (1, 1). This has four 0-cells, five 1-cells, and two triangular 2-cells.
Our next step is to define the notion of a subcluster of a cluster. First we shall define a codimension 1
subcluster, and then subsequently define lower dimensional clusters.
Definition 4.2. Let A be an admissible hyperplane arrangement, and let C(A) ⊂ Rn be the associated
n-cluster. A codimension 1 subcluster of C(A) is obtained by taking the intersection of a hyperplane H
in A with C(A).
A codimension 1 subcluster automatically inherits a definition in terms of an admissible hyperplane
arrangement in Rn−1 . To see this, let H ∈ A be a hyperplane. Now H is of one of the following forms
{xk = xk+1 }

{xk = 1}

{xk = 0}

In each respective case, we endow H with a set of coordinates y1 , ..., yn−1 where yj = xj if j < k and
yj = xj+1 if k ≤ j ≤ n − 1. The restriction A ↾ H provides an admissible hyperplane arrangement for
H∼
= Rn−1 .
This generalises to the following notion of subclusters.
Definition 4.3. A subcluster of C(A) is a subcomplex obtained by an intersection of C(A) with a flat T
in A.
We categorize subclusters of a given cluster as facial and diagonal. This is done
T by separating the flats
of A into two types. We say that a flat T of A is of type 1, if it is of the form H∈A H, where A ⊆ A is
a collection of type 1 hyperplanes.
T
We say that a flat T of A is of type 2, if is of the form H∈A H, where A ⊆ A has the following property.
A contains at least one hyperplane of the form {xk = xk+1 } so that T is not contained in any of the
following hyperplanes:
{xk = 0}

{xk = 1}

{xk+1 = 0}

{xk+1 = 1}

Definition 4.4. Consider a subcluster obtained by taking an intersection of the cluster with a flat T .
If T is a type 1 flat, then the subcluster is said to be a facial subcluster. If T is a type 2 flat, then the
subcluster is said to be a diagonal subcluster.
The following Lemma is a corollary to a similar statement concerning the face complex.

A NONAMENABLE TYPE F∞ GROUP

13

Lemma 4.5. Each cell e of a cluster is the interior of a convex polytope. The set of 0-cells incident to
e is convex independent, i.e. no one element lies in the convex span of the others. Moreover, the closure
of e equals the convex span of the 0-cells incident to e.
The notion of a nonpositvely curved cube complex admits a natural generalisation in this setting, despite
the absence of a natural metric. One may view this notion as a combinatorial criterion that guarantees
asphericity.
Definition 4.6. Let C be a complex of clusters. We say that C is nonpositively curved if for every finite
subcomplex Y of C, there is a nonpositively curved cube complex Z, and continuous maps f : Y → Z, g :
Z → C so that the following diagram commutes:
Z
f

Y

g

C

The following is an immediate consequence of the definition.
Proposition 4.7. If C is a nonpositively curved cluster complex, then C is apsherical.
We shall demonstrate that the complex X we construct in this article is nonpositively curved in this
sense.
5. Normal Forms
For our group presentation G = hS, Ri, we shall describe a unique, canonical choice of word for each
group element. We shall describe a procedure that converts a given word into such a word. The normal
form described in this section (or slightly weaker variants of it) will be used throughout the paper, in
particular in the proof that the complex X is contractible. However, aside from the goals of this paper,
this normal form is a useful tool to study the group and is therefore of independent interest. The reader
is encouraged to develop a technical familiarity of the moves described in 3.16, before reading the proofs
in this section.
To help phrase the arguments, it is useful to imagine a Y -standard form yst11 ...ystnn as a set of decorations
on the infinite rooted binary tree. This is done by means of adding integer labels ti on the nodes si . The
two central notions in this section are potential cancellation and potential contraction. In particular, our
normal form will be a standard form f yst11 ...ystnn such that f is in the usual normal form for Thompson’s
group F , and yst11 ...ystnn does not contain any potential cancellations or potential contractions.
We have already defined the notion of potential cancellations. We shall now provide a reformulation of
the definition that will be useful in the proofs in this section.
t

Definition 5.1. For a standard form f yst11 ...ystnn , we say that the pair ysjj , ystii is adjacent if si ⊂ sj and
for each sequence u satisfying si ⊂ u ⊂ sj , u does not equal sk for any 1 ≤ k ≤ n. This means that if we
walk along the geodesic in the tree connecting si and sj , we do not encounter any labels besides those at
the first and the last nodes.
Such an adjacent pair is said to be a potential cancellation if the associated calculation of the subword
t
ysjj ystii on some (or any) infinite binary sequence that extends sj contains a potential cancellation.
Lemma 5.2. A standard form contains a potential cancellation if and only if it contains an adjacent
pair that is a potential cancellation.
Proof. A standard form f yst11 ...ystnn contains a potential cancellation if there is an infinite binary sequence
σ such that the associated calculation Ω of yst11 ...ystnn on σ contains a potential cancellation. This means
that Ω contains a substring of the form y ti uy tj , where u ∈ 2<N and so that advancing an occurrence of

14

YASH LODHA

y ±1 from y ti to y tj along u produces a cancellation. Conversely, the same cancellation is witnessed when
t
t
processing the calculation of the subword ystii ysjj on σ, where ystii , ysjj is an adjacent pair in yst11 ...ystnn with
a potential cancellation.

Definition 5.3. A standard form is said to contain a potential contraction if either of the following holds.
−1
±
(1) It contains an occurrence of a subword of the form ys0 ys10
ys11 but no occurrences of ys1
.
−1
−1
±
(2) It contains an occurrence of a subword of the form ys00 ys01 ys1 but no occurrences of ys0
.
−1
If a standard form f yst11 ...ystnn contains a potential contraction of the form ys0 ys10
ys11 (in particular, no
±
−1
v
occurrences of ys1 ), we can replace the subword ys0 ys10 ys11 with the word x−1
y
.
s If yu is a percolating
s
element occurring to the left of x−1
in
the
resulting
word,
then
either
u,
s
are
independent
or s ⊂ u. Since
s
±
there are no occurrences of ys1
, the element x−1
must
act
on
u.
So
we
apply
rearranging
substitutions
s
to move the x−1
to
the
left
of
all
percolating
elements.
The
resulting
word
is
a
standard
form.
We call
s
−1
−1
this a contraction move. The contraction move for the other case, i.e. subwords of the form ys00
ys01 ys1
±
(but no occurrences of ys0 ), is defined in a similar way.

The procedure for converting a standard form f yst11 ...ystnn into a normal form using moves involves three
steps:
that does
(1) Step 1: Using a sequence of moves, convert f yst11 ...ystnn into a standard form f ′ yuv11 ...yuvm
m
not contain potential cancellations.
(2) Step 2: Using a sequence of contraction moves, convert f ′ yuv11 ...yuvm
into a standard form
m
f ′′ yrq11 ...yrqkk which does not contain potential contractions. Moreover, the moves performed do
not introduce any potential cancellations.
(3) Step 3 Convert f ′′ into a word g which is in F -normal form as described in Theorem 3.7.
Output: A standard form gyrq11 ...yrqkk such that g is in F -normal form as in 3.7, and yrq11 ...yrqkk does not
contain any potential cancellations or potential contractions. This word shall be the unique normal form
as stated in the main theorem below.
Theorem 5.4. For each element in G, there is a unique word f yst11 ...ystnn such that
(1) f yst11 ...ystnn is a standard form with no potential contractions or potential cancellations.
(2) f ∈ F is an X-word in F -normal form in the sense of 3.7.
Moreover, given any word that represents this element in G, we can convert it into the word f yst11 ...ystnn
using a sequence of moves from 3.16.
The goal of the rest of this section is to describe Steps 1, 2 of the procedure and then prove the main
theorem. For Step 3 we refer the reader to [10].
5.1. Step 1 of the procedure. First we make a fundamental observation concerning potential cancellations in standard forms. This will provide a part of the reduction in Step 1.
Lemma 5.5. Let (yst11 ...ystnn )yst be a standard form such that the following holds.
(1) t1 , ..., tn , t ∈ {1, −1}.
(2) The sequences s1 , ..., sn are independent.
(3) Each pair ystii , yst is an adjacent pair that is a potential cancellation.
Then we can perform a sequence of expansion, rearrangement and cancellation moves on this word to
produce a standard form f yuv11 ...yuvm
such that u1 , ..., um are independent and v1 , ..., vm ∈ {1, −1}.
m
Proof. We assume that t = 1, the other case is completely analogous. Performing an expansion move on
−1
ys produces a word xs ys0 ys10
ys11 . We claim that xs acts on each sequence si for 1 ≤ i ≤ n, unless s = si
−ti
and ys = ysi .

A NONAMENABLE TYPE F∞ GROUP

15

Let Λ be the associated calculation of the action of (yst11 ...ystnn )ys on the sequence si u for any choice of
infinite binary sequence u. (The choice of such a sequence does not affect the argument.) There are only
two occurrences of y ±1 in Λ. The first corresponds to ys and the other to ystii . Advancing the symbol
y in Λ that corresponds to ys involves acting by x on the suffix of sys in Λ. Since there is a potential
i
. Therefore, xs acts on each
cancellation in Λ, we can advance this symbol, unless s = si and ys = ys−t
i
i
si , unless s = si and ys = ys−t
.
i
Applying the rearrangement move, we obtain
−1
xs (yst1′ ...ystn′n )(ys0 ys10
ys11 )
1

where

s′i

= xs (si ).

Now each sequence s′i contains as an initial segment exactly one of the three sequences s0, s10, s11,
and is independent from the remaining two. Also, note that the distance in the tree between s′i and
the prefix of s′i in {s0, s10, s11} is smaller than the distance between si and s. In this way, we can
−1
continue to apply expansion followed by rearrangement moves on ys0 , ys10
, ys11 and their offsprings, until
this distance is 0 for each such pair. Then we can perform the required cancellations. At this stage, any
remaining percolating elements yuv11 , ..., yuvnn are offsprings of ys and hence have the property that u1 , ..., un
are pairwise independent.

Now we describe the final part of the first step.
Lemma 5.6. Any standard form can be converted to a standard form with no potential cancellations
using the relations.
Proof. We prove this by induction on the number of percolating elements in the standard form. The base
case is trivial. Let this be true for n − 1. Let f yst11 ...ystnn be a standard form such that ti ∈ {1, −1}. We
remark that the condition for ti ’s is a matter of convenient notation, i.e. for example we write ys2 as ys ys .
t

By the inductive hypothesis it follows that we can convert f yst11 ...ysn−1
n−1 into a standard form with no
potential cancellations using the relations. Moreover, from applying Lemmas 3.10 and 3.18 it follows that
with no potential cancellations and depth
this can further be converted into a standard form hypq11 ...ypqm
m
tn
is
a
standard
form up to commutation, since none
y
strictly larger than |sn |. It follows that hypq11 ...ypqm
m sn
of the sequences pi are initial segments of sn .
Let τ be an infinite binary sequence for which the associated calculation Λ is a potential cancellation.
The potential cancellation in this calculation must occur between the first two occurrences of y ± in τ ,
since hypq11 ...ypqm
does not have any potential cancellation. Such an occurrence of y ± corresponds to a
m
potential cancellation of an adjacent pair of the form ypqii , ystnn for some 1 ≤ i ≤ m.
y tn into
Now we make a record of all such adjacent pairs. Using commuting moves we convert hypq11 ...ypqm
m sn
k1
kl
v1
vo tn
a word h(yr1 ...yrl )(yu1 ...yuo )ysn such that
(1)
(2)
(3)
(4)

The word h(yrk11 ...yrkll )(yuv11 ...yuvoo )ystnn is a standard form up to commutation.
v1 , ..., vo ∈ {1, −1}.
v
Each pair yujj , ystnn is an adjacent pair that is a potential cancellation.
v
No adjacent pair of the form yrkii , ystnn or yrkii , yujj is a potential cancellation.

Now we apply a sequence of expansion and rearranging moves to convert the standard form hyrk11 ...yrkll
into a standard form h′ λ1 so that:
(1) h′ ∈ F , λ1 is a Y -word.
(2) h′ λ1 is a standard form of depth at least max{|u1 |, ..., |uo |} + 3.
Upon substitution, we obtain the word
h′ λ1 (yuv11 ...yuvoo )ystnn

16

YASH LODHA

Conditions (1) − (4) still hold for this new word, with λ1 replacing (yrk11 ...yrkll ) in the respective parts.
By Lemma 5.5, we can perform a sequence of expansion, rearranging and cancelling substitutions on the
word (yuv11 ...yuvoo )ystnn to obtain a standard form gλ2 so that g ∈ F , λ2 is a Y -word and gλ2 has no potential
cancellations. The proof of Lemma 5.5 guarantees the following:
(1) Any percolating element yst that occurs in λ2 satisfies that |s| ≤ max{|u1 |, ..., |uo |} + 1.
(2) For any percolating element yst that occurs in λ1 , g acts on the sequence s.
Upon substitution, we obtain a word h′ λ1 gλ2 . Let λ3 be the standard form obtained by replacing each
t
percolating element yst of λ1 by yg(s)
. We obtain
h′ λ1 gλ2 = h′ gλ3 λ2
Thanks to the condition on the depths of λ1 and λ2 , the word (h′ g)λ3 λ2 is a standard form up to
commutation. Thanks to condition (4) above and Lemma 3.14, this word does not contain an adjacent
pair that is a potential cancellation. The conditions ensure that this is also a standard form up to
commutation. After applying a sequence of commutation moves, we obtain a standard form with no
potential cancellations.

5.2. Step 2 of the procedure.
Lemma 5.7. Any standard form can be converted into a standard form with no potential contractions
and no potential cancellations.
Proof. By Lemma 5.6 we can convert our standard form into a standard form with no potential cancellations. On the resulting standard form, we perform contraction moves (defined in 5.3), one by one, until
no contraction moves can be performed. This process terminates, since upon performing a contraction
substitution we obtain a standard form which has fewer occurrences of y ± . Moreover, thanks to Lemma
3.14 we do not introduce any potential cancellations in this process.

Before we proceed to prove the main theorem, we shall make a fundamental observation concerning
exponents of calculations. (Recall the Definition of exponents of calculations from 3.13.) This provides
an invariant that distinguishes different standard forms.
Lemma 5.8. Let f yst11 ...ystnn and gypq11 ...ypqm
be standard forms that represent the same group element. Let
m
u be a finite binary sequence such that:
(1) f (u), g(u) are defined and dominate s1 , ..., sn and p1 , ..., pm respectively.
(2) Let Θ and Λ be calculations of yst11 ...ystnn on f (u) and ypq11 ...ypqm
on g(u) respectively, such that Θ
m
and Λ do not admit potential cancellations.
Then the exponents of Θ and Λ are the same.
Proof. Assume without loss of generality that the exponent of Λ is greater than that of Θ. Assume that
k > 0 is the exponent of Λ. (Recall that the exponent is always nonnegative.) By Lemma 3.15, there is a
finite binary sequence v such that we can perform moves on Λv to obtain a calculation of the form wy k ,
where w is a finite binary sequence.
k

k

k

k

k

Now consider the sequence uv02 102 102 1.... We know that
k

k

k

k

(uv02 102 102 1...)
f yst11 ...ystnn (uv02 102 102 1...) = gypq11 ...ypqm
m
In particular, we know that the calculations
k

k

k

Θv02 102 102 1...
and

k

k

k

k

k

k

k

k

k

Λv02 102 102 1... = wy k 02 102 102 1... = w012 012 012 ...
produce the same output.

A NONAMENABLE TYPE F∞ GROUP
k

k

17

k

The calculation Θv02 102 102 1... has fewer than k occurrences of y ± . It is a pleasant visual exercise for
the reader that this calculation cannot produce an output that is tail equivalent to a sequence of the form
k
k
k
w012 012 012 .... This means that our assumption that the exponents are different must be false.

Proof of Theorem 5.4
Proof. From Lemmas 5.6 and 5.7, it follows that for any given group element we can find a word satisfying
the hypothesis of the theorem. It remains to show that this is unique. By way of contradiction assume
that
gypq11 ...ypqm
f yst11 ...ystnn
m
are two distinct standard forms that satisfy conditions (1) and (2) of the Theorem, and represent the
same element of G. Assume without loss of generality that pm ≤ sn and that qm > 0.
There are three cases:
(1) sn = pm and either tn , qm < 0 or tn , qm > 0.
(2) sn = pm and either tn < 0 < qm or qm < 0 < tn .
(3) sn > pm .
Case (1): We can perform a cancellation on both sides of the equality, until we land in one of the remaining
cases.
Now we shall demonstrate that in both case (2) and (3), the following holds.
Claim: There is a finite binary sequence u such that:
a. pm ⊆ u and u dominates s1 , ..., sn .
b. The associated calculation Λ of (yst11 ...ystnn )yp−1
on u does not contain a potential cancellation.
m
Note that if u is a sequence that satisfies the above, then any sequence that extends u also satisfies the
above.
does not
Proof of the claim for case (2): In this case it is obvious that the standard form (yst11 ...ystnn )yp−1
m
admit any potential cancellations. This means that any finite binary sequence u satisfying condition a in
the claim also satisfies condition b in the claim.
Proof of the claim for case (3): Let us assume that for each binary sequence u that satisfies condition a
of the claim, condition b fails. Since yst11 ...ystnn does not contain any potential cancellations, the associated
on u must contain a potential cancellation that corresponds to an adjacent
calculation of (yst11 ...ystnn )yp−1
m
−1
ti
pair of the form ysi , ypm .
This means that there is a set of indices k1 , ..., kl ∈ {1, ..., n} such that:
(1) sk1 , ..., skl are leaves of a finite binary tree rooted at pm .
tk
(2) Each pair yskii , yp−1
that is a potential cancellation.
is an adjacent pair in (yst11 ...ystnn )yp−1
m
m
t

tk

In this situation, one can perform a sequence of contraction moves on the subword yskk11 ...yskll of yst11 ...ystnn
to obtain the subword ypm . This means that the standard form yst11 ...ystnn admits a potential contraction,
contradicting our hypothesis. So the claim holds in case (3).
Now extend the finite binary sequence u, if necessary, so that the following also holds. f −1 (u) and
g(f −1 (u)) are defined, and g(f −1 (u)) dominates p1 , ..., pm . (This is merely a matter of choosing a
sufficiently long sequence that extends u.)
Let σ = f −1 (u). Recall from the above the following.
on f (σ).
(1) Λ is the calculation of (yst11 ...ystnn )yp−1
m
We consider the following additional calculations:

18

YASH LODHA
−1
on g(σ).
(2) Θ is the calculation of ypq11 ...ypqm
m
′
t1
tn
(3) Λ is the calculation of ys1 ...ysn on f (σ).
(4) Θ′ is the calculation of ypq11 ...ypqm
on g(σ).
m

According to our assumptions, the calculations Λ, Λ′ , Θ, Θ′ do not contain any potential cancellations.
First observe that:
(1) The exponent of Λ is the same as that of Θ.
(2) The exponent of Λ′ is the same as that of Θ′ .
This follows from Lemma 5.8 since
−1
(σ)
(σ) = gypq11 ...ypqm
f (yst11 ...ystnn )yp−1
m
m

and
(σ)
f yst11 ...ystnn (σ) = gypq11 ...ypqm
m
However, it also holds that:
(1) The exponent of Λ is greater than that of Λ′ .
(2) The exponent of Θ is less than or equal to that of Θ′ .
This is a contradiction. Therefore, the words
yst11 ...ystnn

ypq11 ...ypqm
m

must be equal. Upon cancellation, we obtain that f = g, and since these words are in the normal form
for F , they must also be equal. Therefore, the words
f yst11 ...ystnn

gypq11 ...ypqm
m

are equal.



The following is an immediate consequence, and provides a normal form representative for right cosets
of F in G. We leave the proof as an elementary exercise for the reader.
is also Y -word in normal form
Corollary 5.9. Let yst11 ...ystnn be a Y -word in normal form. If yuv11 ...yuvm
m
such that
∈ F (yst11 ...ystnn )
yuv11 ...yuvm
m
tn
t1
vm
v1
then yu1 ...yum and ys1 ...ysn are the same words.
6. The 1-skeleton of X
In this section, we describe and study the nodes and edges of X (1) .
Definition 6.1. The 0-skeleton X (0) is defined to be the set of right cosets of F in G. The action of G
on X (0) is the usual right action on right cosets.
We observe that this action is faithful.
Lemma 6.2. The action of G on the right cosets of F in G is faithful.
T
Proof. The kernel of the action is the normal core g∈G g −1 F g. Let f be a nontrivial element of the
T
normal core. This necessarily must be an element of F , since g∈G g −1 F g ⊂ F . Since f is a non trivial
element of F , there is a non-constant finite binary sequence s such that s and f (s) are independent.
Now from our assumption it follows that f ∈ ys−1 F ys . So there is an element h ∈ F such that ys f ys−1 = h.
After applying a rearrangement move, we obtain h = f yf (s) ys−1 . Since s, f (s) are independent, the
element f yf (s) ys−1 cannot be an element of F . In particular, because yf (s) ys−1 does not preserve the tail
equivalence relation on the sequence s011011011..... This means that our assumption must be false, and
hence the normal core is trivial.


A NONAMENABLE TYPE F∞ GROUP

19

To define the edge relation, it will be useful to consider certain types of standard forms, which we shall
call special forms.
Definition 6.3. A standard form yst11 ...ystnn is called a special form, if the following holds.
(1) s1 , ..., sn are consecutive.
(2) t1 , ..., tn ∈ {−1, 1} and ti+1 = −ti .
The definition implies that each pair of percolating elements in the special form commute. Moreover,
there is a finite rooted binary tree T such that s1 , ..., sn are consecutive leaves in T .
−1
Given a percolating element ys , if we apply an expansion move, we obtain xs ys0 ys10
ys11 . The word
−1
ys0 ys10 ys11 is a special form. Now we apply an expansion move
−1
−1
−1
ys10
→ x−1
s10 ys1000 ys1001 ys101

to obtain the word
−1
−1
xs ys0 (x−1
s10 ys1000 ys1001 ys101 )ys11
Applying rearrangement moves, we obtain
−1
−1
xs x−1
s10 (ys0 ys1000 ys1001 ys101 ys11 )

The Y -word
−1
−1
ys0 ys1000
ys1001 ys101
ys11
is also a special form. This generalises to the following in a straightforward manner.

Lemma 6.4. Let s ∈ 2<N such that s 6= 0k , 1k , ∅. If we apply a sequence of expansion and rearrangement
moves on ys±1 , to obtain a standard form f yst11 ...ystnn , then the Y -word yst11 ...ystnn is a special form. Moreover,
the support of f ∈ F lies in the interval [s0∞ , s1∞ ].
Another basic observation about special forms is the following.
Lemma 6.5. Let yst11 ...ystnn be a special form, and let f ∈ F be an element such that f acts on each
sequence in the set {s1 , ..., sn }. It follows that yft1(s1 ) ...yftn(sn ) is also a special form.
Proof. The proof is elementary, and uses the fact that tree diagrams for elements of F map consecutive
pairs of sequences, upon which they act, to consecutive pairs.

Now we are ready to define the edges in X (1) .
Definition 6.6. The following equivalent conditions determine the edge relation in X (1) .
(1) (E1) F τ1 , F τ2 ∈ X (0) are connected by an edge if the double coset F τ1 τ2−1 F equals one of the
following double cosets.
−1
F y10 F
F y10
F
−1
F y100
y101 F

−1
F y100 y101
F

(2) (E2) F τ1 , F τ2 ∈ X (0) are connected by an edge if the element τ1 τ2−1 admits a standard form
f yst11 ...ystn1 such that yst11 ...ystn1 is a special form.
The advantage of the formulation in (E1) is that it provides a succint definition of the 1-skeleton. However,
in practise, (E2) will be more useful.
Lemma 6.7. The two conditions (E1) and (E2) in Definition 6.6 are equivalent.
Proof. First we will show that (E1) =⇒ (E2). Assume that F τ1 , F τ2 satisfy (E1). We show that (E2)
holds in the following cases:
(1) F τ1 τ2−1 F = F y10 F
−1
(2) F τ1 τ2−1 F = F y100
y101 F .

20

YASH LODHA

The proof for the remaining cases is symmetric.
Case 1: It follows that τ1 τ2−1 = f1 y10 f2 for some f1 , f2 ∈ F . We apply a sequence of expansion and
rearrangement substitutions on y10 to obtain a standard form f3 yst11 ...ystnn such that f2 acts on s1 , ..., sn .
By Lemma 6.4, yst11 ...ystnn must be a special form.
So
τ1 τ2−1 = (f1 f3 )(yst11 ...ystnn )f2
Applying a rearrangement move, we obtain
τ1 τ2−1 = (f1 f3 f2 )(yut11 ...yutnn )
where ui = f2 (si ). By Lemma 6.5 yut11 ...yutnn is also a special form, so we are done.
−1
Case 2: There are elements f1 , f2 ∈ F such that τ1 τ2−1 = f1 (y100
y101 )f2 . We apply a sequence of
−1
expansion and rearrangement substitutions on y100
and y101 to obtain standard forms f3 yst11 ...ystnn and
f4 yuv11 ...yuvm
respectively, so that f2 acts on each ui , sj . By Lemma 6.4,
m

Supp(f4 ) ⊂ [1010∞, 1011∞]
So f4 commutes with each percolating element ystii since
Supp(ystii ) ⊂ [1000∞, 1001∞ ]
Now
−1
)
y100
y101 = f3 (yst11 ...ystnn )f4 (yuv11 ...yuvm
m

)
= f3 f4 (yst11 ...ystnn )(yuv11 ...yuvm
m
so that
yst11 ...ystnn yuv11 ...yuvm
m
is a special form.
This way we obtain
τ1 τ2−1 = (f1 f3 f4 f2 )(yst1′ ...ystn′n yuv1′ ...yuvm
′ )
m
1

1

where s′i = f2 (si ) and u′i = f2 (ui ). By Lemma 6.5,
yst1′ ...ystn′n yuv1′ ...yuvm
′
m
1

1

is a special form, and we are done.
Next we show that if a pair F τ1 , F τ2 ∈ X (0) satisfies (E2), then it also satisfies (E1). By our assumption,
there is a special form yst11 ...ystnn and f ∈ F such that τ1 τ2−1 = f yst11 ...ystnn . By definition, the double coset
F τ1 τ2−1 F satisfies (E1) if and only if the double coset F τ2 τ1−1 F also satisfies this property. So we can
assume without loss of generality that t1 = 1. We consider two cases.
Case (1): n is odd. Each time we apply an expansion move on a percolating element ys±1 , the percolating
element is deleted and three new percolating elements appear. This means that the number of percolating
elements in the new word increases by 2.
So upon applying a sequence of n−1
2 expansion (followed by rearrangement) moves to y10 , we can obtain a
standard form of the type hyuv11 ...yuvnn . By Lemma 6.4, yuv11 ...yuunn is a special form. Also, by our assumption
on t1 , it follows that ti = vi for each 1 ≤ i ≤ n.
Now we construct a pair of finite rooted binary trees T1 , T2 such that:
(1)
(2)
(3)
(4)

T1 , T2 has the same number of leaves.
s1 , ..., sn are consecutive leaves of T1 .
u1 , ..., un are consecutive leaves of T2 .
The tree diagram (T1 , T2 ) maps si to ui for each 1 ≤ i ≤ n.

The construction of such a tree pair is an elementary exercise in the group F . The main idea is the
following. Start with trees T3 , T4 such that s1 , ..., sn are leaves in T3 , and u1 , ..., un are leaves in T4 . Now
add carets to leaves of T3 , T4 to obtain trees T1 , T2 so that:

A NONAMENABLE TYPE F∞ GROUP

21

(1) s1 , ..., sn are leaves in T1 and u1 , ..., un are leaves in T2 .
(2) The number of leaves to the left of s1 in T1 is the same as the number of leaves to the left of u1
in T2 .
(3) The number of leaves to the right of sn in T1 is the same as the number of leaves to the right of
un in T2 .
Let g = (T1 , T2 ) ∈ F . It follows that
τ1 τ2−1 g = hyst11 ...ystnn g = hgyut11 ...yutnn
= hgyuv11 ...yuvnn
Therefore,

F τ1 τ2−1 F = F yuv11 ...yuvnn F = F y10 F

Case 2: n is even. First we apply a sequence of expansion and rearranging moves to the percolating
−1
elements of y100 y101
, and their offsprings, to obtain hyuv11 ...yuvnn where yuv11 ...yuvnn is a special form. Once
again, at each step the expansion move increases the number of percolating elements by a factor of 2. So
we need to apply expansion moves n−2
times. Now just as in case (1) we construct an element g ∈ F
2
such that g(si ) = ui . And we obtain
τ1 τ2−1 g = hyst11 ...ystnn g = hgyuv11 ...yuvnn
−1
It follows that F τ1 τ2−1 F = F yuv11 ...yuvnn F = F y100 y101
F.



1
n
is not a special form. However
...ys−t
Remark 6.8. If λ = yst11 ...ystnn is a special form, then λ−1 = ys−t
1
n
−t
j
−1
i
commute
in
G,
the
group
element
described
by
λ
can
be represented by the special
,
y
since ys−t
sj
i
−t1
−tn
t1
tn
form ys1 ...ysn . Throughout this article, given a special form λ = ys1 ...ysn , we shall refer to the special
n
1
.
...ys−t
form λ−1 as the special form ys−t
n
1

are equivalent if they belong to
Definition 6.9. We say that two special forms yst11 ....ystnn and yuv11 ...yuvm
m
the same right coset of F in G.
Our analysis of X shall involve studying special forms upto equivalence. Hence it is natural to specialise
basic manipulations of standard forms to special forms up to equivalence.
Definition 6.10. Given a special form λ = yst11 ...ystnn , an expansion move at ystii entails one of the following:
(1) Replacing ystii by ysi 0 ys−1
y
if ti = 1.
i 10 si 11
−1
(2) Replacing ystii by ys−1
y
y
if
ti = −1.
s
01
i
si 1
i 00
A contraction move in λ entails one of the following:
−1
(1) Replacing a subword ys0 ys10
ys11 by ys .
−1
−1
(2) Replacing a subword ys00 ys01 ys1
by ys−1

When we use the phrase expansion move or contraction move, it will be clear from the context whether
we mean this in the sense of Definition 3.16 or Definition 6.10.
Lemma 6.11. The following conditions hold for special forms.
(1) Performing contraction and expansion moves in the sense of 6.10 on a special form produces
special forms that are equivalent.
(2) Given any pair of equivalent special forms, one can be obtained from the other by performing a
sequence of expansion and contraction moves in the sense of 6.10.
Proof. Let yst11 ...ystnn be a special form. If a substitution
−1
ys → xs ys0 ys10
ys11

or

−1
−1
ys−1 = x−1
s ys00 ys01 ys1

22

YASH LODHA

is performed, then xs (or x−1
s ) commutes with every percolating element that occurs on the left. This
means that xs (or x−1
)
can
be deleted from the word to obtain a special form that lies in the same coset.
s
Consider two special forms that lie in the same coset. Special forms cannot have potential cancellations,
by definition. So we apply a sequence of potential contractions to both, until we obtain normal forms
yst11 ...ystnn

ypq11 ...ypqm
m

Since both these special, normal forms lie in the same coset, by Theorem 5.4 they must in fact be the
same words.

Remark 6.12. Let yst11 ...ystnn be a special form. Then we can obtain a special normal form yuv11 ...yuvm
m
by applying a sequence of contraction moves in the sense of 6.10 to yst11 ...ystnn . Special normal forms
are characterised by the property that they are special forms upon which no contraction move can be
performed. Given a special normal form, any equivalent special form can be obtained by performing a
sequence of expansion moves.
Definition 6.13. We define Ω to be the set of right cosets of F in G which admit a coset representative
which is a special form.
Remark 6.14. Let yst11 ...ystnn be a special form and let f ∈ F . We can apply a sequence expansion moves
with the property that f
in the sense of 6.10 to yst11 ...ystnn to obtain an equivalent special form yuv11 ...yuvm
m
acts on u1 , ..., um . This means that
) · f = F yfv1(u1 ) ...yfvm
(F yst11 ...ystnn ) · f = (F yuv11 ...yuvm
(um )
m
Clearly, F yfv1(u)1 ...yfvm
(u)m ∈ Ω. Therefore, it makes sense to consider the right action of F on Ω.
6.1. The actions of F on Ω and X (1) . Our main goal for the remainder of the section is to understand
the action of G on X (1) and demonstrate that this is cocompact and the stabilisers are of type F∞ .
Any 1-cell contains in its G-orbit a 1-cell of the form F, F yst11 ...ystnn where yst11 ...ystnn is a special form. To
understand the stabiliser of this cell, an important step is to understand the stabiliser of F yst11 ...ystnn under
the action of F . Indeed it turns out that the two stabilisers are the same. For this reason, it is crucial to
study the action of F on Ω in more detail. We do this below.
Lemma 6.15. Consider elements
∈Ω
F yst11 ...ystnn , F yuv11 ...yuvm
m
are special forms. These elements are in the same F -orbit if and only if
where yst11 ...ystnn and yuv11 ...yuvm
m
both conditions below hold:
(1) n, m have the same parity.
(2) t1 = v1 .
In particular, the right action of F on Ω has precisely four orbits.
Proof. If yuv11 ...yuvm
is a special form and f ∈ F , then by performing expansion moves in the sense of
m
6.10 we obtain an equivalent special form yst11 ...ystnn on which f acts. Since f (s1 ), ..., f (sn ) are consecutive,
yft1(s1 ) ...yftn(sn ) is also special form. Observe that both the parity of the number of percolating elements,
as well as the sign of the exponent of the leftmost percolating element, are preserved under this action
of F .
Now let
yst11 ...ystm
m

ypq11 ...ypqnn

be two special forms such that n, m have the same parity and t1 = q1 . Upon performing expansion moves
we can assume that n = m. We construct an f ∈ F such that f (si ) = pi for 1 ≤ i ≤ n, to obtain:
F (yst11 ...ystnn ) · f = F (ypq11 ...ypqnn )
This is done in precisely the same manner as in the proof of Lemma 6.7.



A NONAMENABLE TYPE F∞ GROUP

23

Recall the Higman-Thompson groups F3 , and F3,r for r ∈ N>0 . For an introduction to these groups, we
refer the reader to [6]. It has been shown in [6] that these are of type F∞ .
We now state the main Proposition concerning the action of G on X (1) . In particular, we show that this
is cocompact and the stabilizers of cells are of type F∞ .
Proposition 6.16. The action of G on the set of 1-cells of X (1) satisfies the following:
(1) There are precisely two orbits of 1-cells.
(2) For each 1-cell e in X (1) , StabG (e) is isomorphic to F3 × F × F .
Proof of part (1):
Further, observe that the 1-cells
F, F yst11 ...ystnn

n
1
...ys−t
F, F ys−t
n
1

are in the same G-orbit. So we conclude that any 1-cell contains in its G-orbit a 1-cell of the form
F, F yst11 ...ystnn where t1 = 1.
Consider two 1-cells
e2 = F, F yuv11 ...yuvm
e1 = F, F yst11 ...ystnn
m
such that t1 = v1 = 1. First we claim that any element of G that maps e1 to e2 must be an element of F .
Indeed, this would follow if any element that maps e1 to e2 maps the trivial coset F to itself. Assume by
way of contradiction that there is an element g ∈ G such that:
F (yst11 ...ystnn ) · g = F

F · g = F yuv11 ...yuvm
m

In standard form, such an element must be of the form g = f yuv11 ...yuvm
for some f ∈ F .
m
It follows that
=F
F yst11 ...ystnn · f yuv11 ...yuvm
m
be a special form obtained from yst11 ...ystnn by expansion moves so that f acts on p1 , ..., pk
Now let
and each f (pi ) dominates u1 , ..., um . Note that for such a special form it must also hold that q1 = 1.
ypq11 ...ypqkk

It follows that

= F yfq1(p1 ) ...yfqk(pk ) yuv11 ...yuvm
F yst11 ...ystnn · f yuv11 ...yuvm
m
m
=F

In order for this to hold, it must be true that the adjacent pair yfq1(p1 ) , yuv11 is a potential cancellation, and
that f (p1 ) = u1 0l for some l ∈ N. This is impossible, since v1 = q1 = 1 and since advancing a y along a
sequence of 0’s does not change the sign of y in a calculation.
. By Lemma 6.15, such an element exists if and
It follows that g ∈ F and maps F yst11 ...ystnn to F yuv11 ...yuvm
m
only if the parity of n, m is the same. It follows that the action of G on the 1-cells has precisely two
orbits.
Proof of Part (2):
Now we observe that the statement about the stabilisers reduces to Proposition 6.17, which is stated
below. As in the proof of part (1), since G acts transitively on X (0) , it follows that each 1-cell contains in
its G-orbit a 1-cell of the form F, F yst11 ...ystnn where yst11 ...ystnn is a special form. By the above, it suffices to
understand the stabiliser of a 1-cell F, F yst11 ...ystnn where yst11 ...ystnn is a special form and t1 = 1. Moreover,
also from the proof of part (1), any element g ∈ G that maps the 1-cell F, F yst11 ...ystnn onto itself must map
F to F and F yst11 ...ystnn to F yst11 ...ystnn . It follows that
StabG (F, F yst11 ...ystnn ) = StabF (F yst11 ...ystnn )
This reduces the proof of part (2) to Proposition 6.17.
Proposition 6.17. Let yst11 ...ystnn be a special form. Then
StabF (F yst11 ...ystnn ) ∼
= F3 × F × F

24

YASH LODHA

Before we proceed to the proof of the above, we define some concepts that will be used in the proof. The
key idea is to provide a precise connection between tree diagrams for the group F3 and the stabiliser
above.
Let s1 , ..., sn be consecutive finite binary sequences. We consider the set of finite sub-forests of the infinite
rooted binary tree, with roots s1 , ..., sn . Such a forest is determined by its leaves, which is a set of finite
binary sequences u1 , ..., um satisfying:
(1) For each ui there is an sj such that sj ⊂ ui .
(2) Let ν be an infinite binary sequence which contains an element of {s1 , ..., sn } as a prefix. Then
there is a unique element of the set {u1 , ..., um } which is a prefix of ν.
In other words, s1 , ..., sn are the roots and u1 , ..., um are the leaves of the forest. We also consider labels
on the set of leaves of such a forest with elements of the set {−1, 1}, so that any pair of leaves that are
consecutive binary sequences have distinct labels. The set of all such forests with labeled leaves and roots
s1 , ..., sn will be denoted by F (s1 , ..., sn ).
determines an element
Consider a special normal form yst11 ...ystnn . Each equivalent special form yuv11 ...yuvm
m
of F (s1 , ..., sn ), which has leaves u1 , ..., um labeled respectively by t1 , ..., tm . We shall now characterise
precisely which elements of F (s1 , ..., sn ) correspond to special forms equivalent to yst11 ...ystnn . Let C1 and C2
be finite binary trees rooted at the empty string, and with leaves {00, 01, 0} and {0, 10, 11} respectively.
The forest T in F (s1 , ..., sn ) corresponding to the special form yst11 ...ystnn is simply the forest with n roots
labelled by t1 , ..., tn , and no edges.
If ti = 1, then performing an expansion move at ystii in yst11 ...ystnn produces
)(ysi 0 ys−1
...ystnn )
y
)(ysti+1
(yst11 ...ysti−1
i−1
i+1
i 10 si 11
The forest corresponding to this special form is obtained by gluing the root of C2 at si in T , deleting the
label on si , and labelling si 0, si 10, si 11 by 1, −1, 1 respectively.
If ti = −1, then performing an expansion move at ystii in yst11 ...ystnn produces
)(ys−1
y
y −1 )(ysti+1
...ystnn )
(yst11 ...ysti−1
i−1
i+1
i 00 si 01 si 1
The forest corresponding to this special form is obtained by gluing the root of C1 at si in T , deleting the
label on si , and labelling si 00, si 01, si 1 by −1, 1, −1 respectively.
So each expansion move corresponds to attaching exactly one of C1 or C2 to the leaf where the expansion
move is performed, ans relabelling. This is determined by the exponent of the percolating element upon
which it is performed. We make this precise below. In this context it makes sense to assume that the
special form we begin with is a special normal form. (Recall the discussion in 6.12.)
Lemma 6.18. Let yst11 ...ystnn be a special normal form. The elements of F (s1 , ..., sn ) that correspond to
equivalent special forms are determined recursively by the following:
(1) (The base case) The forest T with no edges, and n roots s1 , ..., sn labelled with t1 , ..., tn respectively.
(2) (Expansion) Let T1 be an element of F (s1 , ..., sn ) that corresponds to a special form equivalent to
yst11 ...ystnn .
(a) Let s be a leaf of T1 labeled by 1. We obtain an element T2 ∈ F (s1 , ..., sn ) by gluing the
root of C2 at s, deleting the label at s, and labelling s0, s10, s11 by 1, −1, 1 respectively. T2
corresponds to a special form equivalent to yst11 ...ystnn .
(b) Let s be a leaf of T1 labeled by −1. We obtain an element T2 ∈ F (s1 , ..., sn ) by gluing the
root of C1 at s, deleting the label at s, and labelling s00, s01, s1 by −1, 1, −1 respectively. T2
corresponds to a special form equivalent to yst11 ...ystnn .
Every element of F (s1 , ..., sn ) that corresponds to a special form equivalent to yst11 ...ystnn can be obtained
by applying a sequence of expansions described in (2) to the forest T described in the base case (1).

A NONAMENABLE TYPE F∞ GROUP

25

We denote the set of 3-branching forests with n roots by F3,n . The set of forests obtained in Lemma
6.18 are in natural bijective correspondence with F3,n . We leave this a straightforward exercise for the
reader. The main idea is that both trees C1 , C2 can be associated with a single ternary caret, i.e. a tree
with a root connected with three leaves. Since each addition of C1 or C2 is determined by the label, this
determines the correspondence.
Now consider two elements T1 , T2 of F (s1 , ..., sn ) such that T1 , T2 have the same number of leaves. The
forest pair (T1 , T2 ) determines a prefix replacement homeomorphism of the rational interval [s1 0∞ , sn 1∞ ].
The set of all such forest pairs is closed under composition and inverses, and hence forms a group of
homeomorphisms of [s1 0∞ , sn 1∞ ]. In fact, the following holds.
Lemma 6.19. Consider forest pairs (T1 , T2 ) ∈ Homeo+ ([s1 0∞ , sn 1∞ ]) such that:
(1) T1 , T2 are forests in F (s1 , ..., sn ) corresponding to special forms equivalent to yst11 ...ystnn .
(2) T1 , T2 have the same number of leaves.
The set of all such pairs forms a group under composition. This group is isomorphic to F3,n . The isomorphism is described by the aforementioned bijection between forests pairs in F (s1 , ..., sn ) that correspond
to equivalent special forms and forests diagrams for F3,n .
Proof. The idea behind the proof is to mimic the tree diagrams for F3,n for this group while replacing
the role of the ternary caret with C1 and C2 . The reader familiar with tree diagrams for F3,n will find
this elementary.

Recall that the groups F3,n for n ∈ N>0 , are all isomorphic to the group F3,1 = F3 (see [6]). With this is
mind, we proceed to the proof of our proposition.
Proof of Proposition 6.17:
Proof. Let yst11 ...ystnn be a special normal form. Consider f ∈ StabF (F yst11 ...ystnn ). If f does not act on
s1 , ..., sn , we perform a sequence of expansion moves to obtain a special form yuv11 ...yuvm
such that f acts
m
on u1 , ..., um . By our assumption,
· f = F yfv1(u1 ) ...yfvm
F yuv11 ...yuvm
m
(um )
= F yst11 ...ystnn
tn
t1
It follows that we can perform a sequence of contraction moves on yfv1(u1 ) ...yfvm
(um ) to obtain ys1 ...ysn .

We observe that the following holds for the element f :
(1) f stabilises the intervals [0∞ , s1 0∞ ], [s1 0∞ , sn 1∞ ] and [sn 1∞ , 1∞ ].
(2) The restriction of f to [s1 0∞ , sn 1∞ ] admits a forest diagram (T1 , T2 ), where T1 , T2 are forests in
F (s1 , ..., sn ) that correspond to special forms yuv11 ...yuvm
and yfv1(u1 ) ...yfvm
(um ) respectively.
m
This defines a monomorphism of StabF (F yst11 ...ystnn ) into F × F3,n × F . Thanks to Lemma 6.19 the
projection to F3,n is surjective. Observe that we also have an epimorphism, since if we modify the
restrictions to [0∞ , s1 0∞ ] and [sn 1∞ , 1∞ ] to any element of the copies of F supported on these respective

intervals, the new element is also in StabF (F yst11 ...ystnn ). Therefore, this is an isomorphism.
6.2. A detour on expansion moves and the expansion Lemmas. We now take a detour to prove
two Lemmas concerning this notion of expansion moves which we shall make crucial use of in subsequent
parts of the paper. We prove it here since this is the most natural place to prove it, even though we shall
only make use of it later in the paper in Subsection 7.2 and also in the final Section. In particular, the
reader will benefit from the intuition and some notation from the previous subsection while reading these
proofs.

26

YASH LODHA

In this section we use both notions of expansion coming from Definitions 6.10 and 3.16. The two notions
are closely related, and we explore this relationship in some depth in this subsection. The notion of
expansion moves as defined for special forms in 6.10 can be defined for any word yst11 ...ystnn with the
property that s1 , ..., sn are independent and ti ∈ {−1, 1}. And the contents of the Lemma 6.11 also hold
for such words with the same convention that equivalence for such words means that they lie in the same
coset.
Now expansion moves in the sense of 6.10 on percolating elements of yst11 ...ystnn correspond to a subset
of elements of F (s1 , ..., sn ) as in the discussion above. Similar ideas as above apply in the situation
where yst11 ...ystnn is not a special form, but satisfies that s1 , ..., sn are independent and ti ∈ {−1, 1}. In
particular, the set of equivalent Y -words obtained by applying such expansion moves on yst11 ...ystnn is in
natural bijective correspondence with finite 3-ary trees with n roots.
Before we proceed, we state the elementary relationship between the two notions of expansion.
Lemma 6.20. Consider a word yst11 ...ystnn with the property that s1 , ..., sn are independent and ti ∈ {−1, 1}.
be obtained from performing expansion moves on yst11 ...ystnn in the sense of Definition 6.10.
Let yuv11 ...yuvm
m
Then there is an f ∈ F such that f yuv11 ...yuvm
can be obtained from performing expansion (followed by
m
rearrangement) moves on yst11 ...ystnn in the sense of Definition 3.16. Moreover, Supp(f ) ⊆ Supp(yst11 ...ystnn )
and f −1 acts on u1 , ..., un .
Proof. This follows immediately from the definitions.



Now we state and prove the weak expansion Lemma.
Lemma 6.21. (Weak expansion Lemma) Let yst11 ...ystnn and yuv11 ...yuvm
be words satisfying that:
m
(1) s1 , ..., sn are independent and t1 , ..., tn ∈ {1, −1}.
(2) u1 , ..., um are independent and v1 , ..., vm ∈ {1, −1}.
(3) F yst11 ...ystnn = F yuv11 ...yuvm
m
Then we can perform expansion moves (in the sense of 6.10) on both words to obtain the same word
ypq11 ...ypqll such that p1 , ..., pl are independent and q1 , ..., ql ∈ {1, −1}.
Proof. Performing a sequence of contraction moves on both words produces the same Y -word yrj11 ...yrjkk in
normal form, thanks to Corollary 5.9.
The set of Y -words obtained by applying a sequence of expansion moves on yrj11 ...yrjkk corresponds to finite
3-ary forests with k roots. (Recall the discussion in the previous subsection.) Two such forests correspond
to yst11 ...ystnn and yuv11 ...yuvm
. By adding ternary carets to both these forests, we produce the same forest,
m
which corresponds to a Y -word ypq11 ...ypqll with the desired properties.

The Strong expansion Lemma will provide the core technical step in the proof of asphericity in the last
section. Before we state and prove the Lemma, we consider additional elementary feature of expansions.
The reader familiar with the arguments in [16] will already be aware of this, but for the sake of
completeness we discuss first the following feature. As a motivating example, consider the expansion
−1
−1
−1 −1
ys = xs ys0 ys10
ys11 . Now taking inverses, we obtain ys−1 = ys11
ys10 ys0
xs . Now
x−1
s (s11) = s1

x−1
s (s10) = s01

x−1
s (s0) = s00

So upon applying a rearrangement move, followed by commutation moves we get
−1
−1 −1
−1
−1
−1
−1 −1
ys11
ys10 ys0
xs = x−1
s ys1 ys01 ys00 = xs ys00 ys01 ys1
−1
−1
And xs−1 ys00
ys01 ys1
is precisely the result of applying an expansion move (in the sense of 3.16) to ys−1 .
Using an elementary inductive argument this generalises to the following:

A NONAMENABLE TYPE F∞ GROUP

27

Lemma 6.22. Let yst be such that t ∈ {1, −1}. Let f yst11 ...ystnn be a standard form obtained from applying
expansion moves (in the sense of 3.16) to yst . Then f −1 acts on s1 , ..., sn and
f −1 yft1−1 (s1 ) ...yftn−1 (sn )
can be obtained from applying expansion moves (in the sense of 3.16) to ys−t .
Definition 6.23. Let yst and yuv be a pair of percolating elements such that t, v ∈ {1, −1}. Then the
pair is said to contain no common offsprings if the following holds: For any pair yst11 ...ystnn and yuv11 ...yuvm
m
obtained from performing expansion moves (in the sense of 6.10) on yst and yuv respectively, each pair
v
ystii , yujj is distinct.
For the negation of the above, we say that the pair yst and yuv contains common offsprings. That is, yst and
yuv contain common offsprings if there are yst11 ...ystnn and yuv11 ...yuvm
obtained from performing expansion
m
v
moves on yst and yuv respectively (in the sense of 6.10) such that ystii = yujj for some 1 ≤ i ≤ n, 1 ≤ j ≤ m.
Note that for a pair yst and yuv , if s, u are independent, then the pair contains no common offsprings.
However, the case where u ⊆ s is more subtle. The following criterion is useful in detecting if such a pair
does not have common offsprings.
Lemma 6.24. Let yst and yuv be such that t, v ∈ {1, −1} and u ⊆ s. If yst and yuv have common offsprings
then the standard form yst yu−v contains a potential cancellation.
Proof. Assume that yst and yuv have common offsprings. Then we can apply expansion moves in the sense
v
of 6.10 to obtain words yst11 ...ystnn and yuv11 ...yuvm
such that ystii = yujj for some pair i, j. Now there are
m
elements f, g ∈ F such that f yst11 ...ystnn and gyuv11 ...yuvm
can be obtained from yst and yuv respectively using
m
expansions in the sense of 3.16.
By Lemma 6.22 we know that g −1 acts on u1 , ..., um . Note that g −1 acts on si since si = uj . We also
ensure that g −1 acts on elements of the set s1 , ..., sn by performing expansion moves (in the sense of 3.16)
to percolating elements
, ...ystnn
, ysti+1
yst11 , ..., ysti−1
i+1
i−1
in the word f yst11 ...ystnn if necessary. Note that the resulting word also witnesses the common offspring
since it contains the percolating element ystii . For notational convenience we also denote the resulting
word by f yst11 ...ystnn .
−vm
−v
1
using expansions
By Lemma 6.22, we know that the word g −1 yg−v
−1 (u ) ...yg −1 (u ) can be obtained from yu
1
m
in the sense of 3.16. So we get
−vm
1
yst yu−v = (f yst11 ...ystnn )g −1 yg−v
−1 (u ) ...yg −1 (u )
1
m
−vm
1
= f g −1 (ygt1−1 (s1 ) ...ygtn−1 (sn ) )yg−v
−1 (u ) ...yg −1 (u )
1
m
v

j
t −v
Now since ygti−1 (si ) = yg−1
(uj ) we can see that there is a potential cancellation in ys yu .



The Strong expansion Lemma, which we state and prove below, shall be play a role in of the proof of
asphericity of X in the final section.
Lemma 6.25. (Strong expansion Lemma) Let yst11 ...ystnn and yuv11 ...yuvm
be words such that s1 , ..., sn and
m
u1 , ..., um are independent, and each ti , vj ∈ {1, −1}. Then there are words ypq11 ...ypqll and yrw11 ...yrwkk such
that:
(1) ypq11 ...ypqll is obtained from yst11 ...ystnn by applying expansion moves as in 6.10.
(2) yrw11 ...yrwkk is obtained from yuv11 ...yuvm
by applying expansion moves as in 6.10.
m
w
w
w
(3) For each pair ypqii , yrjj it holds that either ypqii = yrjj or ypqii , yrjj contains no common offsprings.
as the words
Proof. We show this by induction on n. For the base case, we consider yst and yuv11 ...yuvm
m
such that u1 , ..., um are independent, and each t, vj ∈ {1, −1}. We apply expansion moves to yuv11 ...yuvm
m

28

YASH LODHA

to obtain a special form yrw11 ...yrwkk with depth greater than |s|. It follows that the word (yrw11 ...yrwkk )ys−t is
a standard form up to commutation.
Now using Step 1 in the proof of Theorem 5.4, we reduce the word (yrw11 ...yrwkk )ys−t to a word with no
potential cancellations. In this process, we obtain
1
k
...yfw(r
)(ypq11 ...ypqll )
(yrw11 ...yrwkk )f (ypq11 ...ypqll ) = f (yfw(r
1)
k)

such that:
(1) f (ypq11 ...ypqll ) is obtained from performing a sequence of expansion moves (in the sense of 3.16) on
ys−t .
q
q
i
i
ypjj does
, ypjj satisfies that either f (ri ) = pj , wi = −qj or the standard form yfw(r
(2) Each pair yfw(r
i)
i)
not contain a potential cancellation.
We claim that the words
yrw11 ...yrwkk

−ql
1
yf−q
−1 (p ) ...yf −1 (p )
1
l

witness the statement of the Lemma. First, thanks to Lemma 6.22 note that
−ql
1
f −1 yf−q
−1 (p ) ...yf −1 (p )
1
l

is obtained by yst using expansion moves (in the sense of 3.16). In particular,
−ql
1
yf−q
−1 (p ) ...yf −1 (p )
1
l

is obtained by yst using expansion moves (in the sense of 6.10).
−q

Next, if there is a pair yrwii , yf −1j (pj ) which is not equal and have a common offspring, then by Lemma
q
6.24 the word yrwii yfj−1 (pj ) has a potential cancellation. Since f acts on both ri and f −1 (pj ), we get
q

i
y qj
yrwii yfj−1 (pj ) · f = f yfw(r
i ) pj

q

i
ypjj has a potential cancellation. This contraSince f is merely a prefix replacement map, the word yfw(r
i)
dicts conclusion (2) from the above.

Now the inductive step is essentially the same as the base case. Given yst11 ...ystnn and yuv11 ...yuvm
, we
m
t
v1
vm
tn
and
y
...y
,
and
then
for
y
perform the process for yst11 ...ysn−1
and
the
resulting
Y
-word
obtained
n−1
u1
um
sn
by expansions. In the latter step, only the part of the word whose support intersects
from yuv11 ...yuvm
m
that of ystnn is expanded, and so the resulting offsprings from those expansions have disjoint support with
t

yst11 ...ysn−1
n−1 .
7. The complex X
The goal of this section is to define the complex X by adding higher dimensional cells to the 1-skeleton
X (1) defined in the previous section. We define a class of finite subgraphs in X (1) that shall be the 1skeletons of clusters in X. The set of all such graphs will be denoted throughout the paper as H. Higher
cells will be then added to graphs in H, and hence to X (1) in a well defined and G-equivariant manner.
Before we state the main definition of H, we state a few preliminary definitions. This language will be
useful in describing elements of H.
are said to be independent if each pair si , pj is
Definition 7.1. Special forms yst11 ...ystnn and ypq11 ...ypqm
m
independent. A list of special forms τ1 , ..., τn is said to be independent if the special forms are pairwise
independent.
A list τ1 , ..., τn is said to be sorted if it satisfies the following:
(1) τ1 , ..., τn are independent.
(2) For each i < j, the pair τi , τj satisfies that if yst and yuv are percolating elements that appear in
τi and τj respectively, then s < u.

A NONAMENABLE TYPE F∞ GROUP

29

Informally, the second condition here means that τ1 , ..., τn appear in the order left to right as visualised
in the infinite rooted binary tree.
The following is a basic observation that will be useful throughout the paper. The proof of this is an
elementary exercise concerning expansion moves in the sense of 6.10, and the partial action of elements
of F on the set of finite binary sequences.
Lemma 7.2. Let τ1 , ..., τn be a sorted list of special forms. The following holds.
(1) If τ1′ , ..., τn′ are special forms such that τi , τi′ are equivalent, then τ1′ , ..., τn′ is also a sorted list.
(2) Let f ∈ F be such that for each percolating element yst in any τi , f acts on s. Let τi′ be the special
form obtained from replacing each yst in τi with yft (s) . Then τ1′ , ..., τn′ is a sorted list.
Throughout the paper,
we fix the
Q
Q following convention for a sorted list τ1 , ..., τn . Given X ⊆ {1, ..., n},
we denote τX = i∈X τi . Here i∈X τi denotes a formal word obtained by concatenation of the τi for
i ∈ X in the increasing order of indices. So for instance, if X = {1, 3, 4}, then τX = τ1 τ3 τ4 .
Definition 7.3. An element C of H is a subgraph of X (1) which is determined by the following:
(1) A sorted list of special forms τ1 , ..., τn .
(2) A coset F τ .
Then C is the induced subgraph of the vertex set
{F τX τ | X ⊆ {1, ..., n}}
(1)

in X . The above information is said to be a description of C. We say that C is described by the base
F τ and parameters τ1 , ..., τn . It will be often convenient to choose τ above as a Y -word, and later in the
paper we shall make this a convention for certain definitions.
Observe that each closed 1-cell in X (1) is an element of H. To see this, recall that each 1-cell F τ1 , F τ2
satisfies that
F τ2 τ1−1 = F ν
where ν is a special form. It follows that F τ2 = F ντ1 , and so the 1-cell admits a description with base
F τ1 and parameter ν.
7.1. Descriptions of graphs in H and the G-action. A graph in H can be described in many different
ways. For example, the closed 1-cell F y10 , F can be described with base F and parameter y10 , or with
−1
base F y10 and parameter y10
. Since graphs in H shall emerge as 1-skeletons of clusters in X, we shall
describe clusters in X by describing their 1-skeleton in H. Therefore, it shall be useful to understand
different kinds of descriptions of graphs in H. Much of the technical difficulty in this article arises from
dealing with non-uniqueness of the descriptions of clusters.
Given a graph in H, we can find a description with any given node of the graph as base. This follows
immediately from the definitions and is captured in the following Lemma.
Lemma 7.4. Let C ∈ H be described with base F τ and parameters τ1 , ..., τn . Then for any X ⊆ {1, ..., n},
C admits a description with base F τX τ , and parameters τ1s1 , ..., τnsn , where si = −1 if i ∈ X and si = 1
otherwise.
Next, we observe that replacing parameters by equivalent special forms describe the same graph.
Lemma 7.5. Let C ∈ H be described with base coset F τ and parameters τ1 , ..., τn . Let τ1′ , ..., τn′ be
special forms such that τi′ is equivalent to τi . Then C also admits the description with base coset F τ and
parameters τ1′ , ..., τn′ .
Proof. Since they are equivalent, it follows that τi′ can be obtained from τi by a sequence of expansion
and contraction moves in the sense of 6.10. In particular, from Lemma 6.20 we know that there are
fi ∈ F such that:

30

YASH LODHA

(1) τi = fi τi′ for 1 ≤ i ≤ n.
(2) The support of fi is contained in the support of τi , which equals the support of τi′ .
This means that fi , τj′ commute if i 6= j. It follows that for each X ⊆ {1, ..., n}, we have F τX τ =
′
F τX
τ.

A nice consequence of the above is that when describing the graph C, we can conveniently choose parameters with desired features. For instance, in some cases it may be useful to choose parameters with
sufficiently large depth.
We end this section with the following useful remark about the choice of base coset.
Remark 7.6. Let C be a cluster described with base F τ and parameters τ1 , ..., τn . The word τ may not
be a Y -word, but we can find a different description for C whose base coset representative is a Y -word.
This is done as follows.
First we convert the word τ into a standard form f ν1 , where f ∈ F and ν1 is a Y -word. Let τi′ be a
special form obtained by applying expansion moves on τi such that for each yst that occurs in τi′ , f acts
on s. Let τi′′ be the special form obtained by replacing each percolating element yst in τi′ by yft (s) . It
follows from Lemma 7.2 that τ1′′ , ..., τn′′ is a sorted list.
So for each X ⊆ {1, ..., n}
′′
F τX τ = F τX f ν1 = F τX
ν1

We conclude that C admits a description with base at F ν1 and with parameters τ1′′ , ..., τn′′ .
Lemma 7.7. Let C ∈ H. For an element ν ∈ G, C · ν is also an element of H.
Proof. Let C be described with base F τ and parameters τ1 , ..., τn . Then C · ν is a cluster that admits a
description with base F (τ ν) and parameters τ1 , ..., τn .

Lemma 7.7 is a simple observation, but has useful consequences. For instance, while formulating our
arguments we shall often assume that a given cluster is based at the trivial coset, using transitivity of
the G-action on X (0) .
7.2. H is closed under intersection. Our goal now is to show the following.
Proposition 7.8. Let C1 , C2 ∈ H. If C1 ∩ C2 is nonempty, then it is an element of H.
First we observe the following. If F τ is a node in C1 ∩ C2 , acting upon this by τ −1 , we obtain
(C1 ∩ C2 ) · τ −1 = (C1 · τ −1 ) ∩ (C2 · τ −1 )
Thanks to Lemma 7.7, C1 ∩C2 ∈ H if and only if (C1 ·τ −1 )∩(C2 ·τ −1 ) ∈ H. The advantage of considering
the latter is that the node given by the trivial coset F lies in (C1 · τ −1 ) ∩ (C2 · τ −1 ).
Before we supply a full proof of Proposition 7.8, we need to achieve a preliminary understanding of the
situation. In this subsection we describe conceptual ingredients that are needed in the proof.
Definition 7.9. Let τ1 , ..., τn and λ1 , ..., λm be sorted lists. Such a pair of sorted lists is said to be
compatible if the following holds. For each X ⊆ {1, ..., n}, Y ⊆ {1, ..., m} if τX , λY are equivalent, then
τX and λY are equal as words.
Lemma 7.10. Let τ1 , ..., τn and λ1 , ..., λm be sorted lists. Then there is a compatible pair of sorted lists
τ1′ , ..., τn′ and λ′1 , ..., λ′m such that τi , τi′ and λi , λ′i are equivalent for each 1 ≤ i ≤ n.
Proof. This follows from an application of Lemma 6.21 on the words τ{1,...,n} , λ{1,...,m} .



A NONAMENABLE TYPE F∞ GROUP

31

Definition 7.11. Let τ1 = yst11 ...ystnn and τ2 = yuv11 ...yuvm
be special forms. τ1 , τ2 are said to be consecutive,
m
if sn , u1 are consecutive. τ1 , τ2 are said to be alternating if they are consecutive, and also satisfy that
v1 = −tn . It follows from the definition that τ1 , τ2 are alternating if and only if the product word τ1 τ2 is
a special form. A list τ1 , ..., τn of special forms is said to be alternating if each pair τi , τi+1 is alternating
for 1 ≤ i ≤ n − 1. It follows that τ1 , ..., τn is alternating if and only if the word τ1 ...τn is a special form.
Consider C ∈ H described at base F and with parameters τ1 , ..., τn . Observe that for a nonempty set
X ⊆ {1, ..., n}, there is an edge connecting F and F τX if and only if X = {i, i + 1, i + 2, ..., j} so that
τi , τi+1 , ..., τj are alternating. This motivates the following.
Definition 7.12. Let τ1 , ..., τn be as above. A subset
{τi , τi+1 , τi+2 , ..., τj } ⊆ {τ1 , ..., τn }
is said to be an alternating block if τi , τi+1 , τi+2 , ..., τj are alternating. We abuse notation and also refer
to the subset of indices {i, i + 1, ..., j} ⊆ {1, ..., n} as an alternating block. This special usage will be clear
from the context.
Given the sorted list above, a block decomposition is given by the sets
{1, ..., l1 }, {l1 + 1, l1 + 2, ..., l2 }, ..., {lk + 1, ..., n}
where each set is an alternating block and 1 ≤ l1 < ... < lk < n. Clearly, any sorted list admits a unique
partition into maximal alternating blocks. This is called the maximal block decomposition of the sorted
list.
−1
−1
Example 7.13. Consider the sorted list y010 , y011
, y10
, y110 . The maximal block decomposition of this
is
−1
−1
{y010 , y011
}, {y10
, y110 }
−1
−1
Note that y011
, y10
are consecutive (since 011, 10 are consecutive binary sequences), but they are not
alternating.

Lemma 7.14. Let τ1 , ..., τn and λ1 , ..., λm be sorted lists of special normal forms such that τ{1,...,n} and
λ{1,...,m} are equal as words. Then for each maximal alternating block U ⊆ {1, ..., n} of the former, there
is a maximal alternating block V ⊆ {1, ..., m} of the latter such that τU = λV . In other words, there is a
natural bijection between the maximal block decompositions of τ1 , ..., τn and λ1 , ..., λm .
Proof. We read both words from left to right and partition them as we go along.



By definition, the set of nodes of a graph in H naturally forms a boolean algebra in the sense of an
algebra of subsets of a given finite set. We recall the analogous notion for a collection of subsets.
Definition 7.15. Let X be a collection of subsets of the set {1, ..., n}. We say that X is boolean, if there
are elements X1 , ..., Xk ∈ X such that:
(1) X1 , ...,S
Xk are pairwise disjoint.
(2) X = { i∈Z Xi | Z ⊆ {1, ..., k}}.

Under the partial ordering of inclusion, the sets X1 , ..., Xk are the minimal elements of X. The minimal elements of a boolean collection will be referred to as the atoms of the boolean collection. Any subcollection
X ⊆ 2{1,...,n} that is closed under taking unions and set difference is a boolean subcollection.
Lemma 7.16. Let τ1 , ..., τn and λ1 , ..., λm be a compatible pair of sorted lists. Let
X = {X ⊆ {1, ..., n} | τX = λY for some Y ⊆ {1, ..., m}}
Y = {Y ⊆ {1, ..., m} | τX = λY for some X ⊆ {1, ..., n}}
Then both X, Y are boolean sub collections.

32

YASH LODHA

Proof. We show this for X, the proof for Y is the same. In what follows below equality denotes equality
as words. Let X1 , X2 ⊆ X. Then there are Y1 , Y2 ∈ Y such that τX1 = λY1 and τX2 = λY2 . It follows
that τX1 ∪X2 = λX1 ∪X2 and τX1 \X2 = λX1 \X2 . Since X is closed under unions and set difference, we are
done.

Next we demonstrate that subgraphs of C ∈ H that are elements of H correspond precisely to certain
boolean subcollections.
Lemma 7.17. Let C ∈ H and let C ′ ⊂ C be an element of H. Then C admits a description with bases
at F τ and parameters τ1 , ..., τn such that the following holds. There is a boolean collection X ⊂ 2{1,...,n}
such that C ′ admits the following description.
(1) Base at F τ .
(2) The elements of the set
{τX | X is an atom of X}
are all special forms that are the parameters.
Proof. By the G-action, we can assume that the trivial coset F lies in C ∩ C ′ . We find a compatible pair
of sorted lists τ1 , ..., τn and ν1 , ..., νm that are parameters for descriptions of C, C ′ respectively with both
bases at F . Let
X = {X ⊆ {1, ..., n} | F τX = F λY for some Y ⊆ {1, ..., m}}
Since the sorted lists are compatible,
X = {X ⊆ {1, ..., n} | τX = λY for some Y ⊆ {1, ..., m}}
Thanks to Lemma 7.16, X is a boolean subcollection. In particular,
{τX | X is an atom of X}
are all special forms that are the parameters of C ′ with base F .



Remark 7.18. The following converse of the above Lemma follows immediately from the definitions.
Let C be the cluster described with base F τ and parameters τ1 , ..., τn . Consider a boolean collection
X ⊂ 2{1,...,n} which satisfies that the elements of
{τX | X is an atom of X}
are all special forms. Then there is a subgraph C ′ ⊂ C which lies in H, and is described with base F τ
and parameters in the set above.
Proof of Proposition 7.8
Proof. Let C1 , C2 be our clusters in H. Thanks to Lemmas 7.5 and 7.10, we can assume that C1 , C2
are both described with base at the trivial coset F and parametrised by a compatible pair of sorted lists
τ1 , ..., τn and ν1 , ..., νm respectively. Let
X = {X ⊆ {1, ..., n} | F τX ∈ C1 ∩ C2 }
= {X ⊆ {1, ..., n} | F τX = F λY for some Y ⊆ {1, ..., m}}
= {X ⊆ {1, ..., n} | τX = λY for some Y ⊆ {1, ..., m}}
Thanks to Lemma 7.16, X is a boolean subcollection.
We will show that each atom U of X satisfies that U is an alternating block, i.e. τU is a special form. Let
V ⊆ {1, ..., m} be such that τU = νV . Let U = {u1 , ..., uk } and V = {v1 , ..., vl } be the elements listed in
increasing order. Applying Lemma 7.14 to the sorted lists (of normal special forms)
τu1 , τu2 ..., τuk

νv1 , νv2 , ..., νvl

we conclude that any maximal alternating block U1 ⊆ U corresponds to a maximal alternating block
V1 ⊆ V satisfying equality of words τU1 = νV1 . But this means that F τU1 = F νV1 and so F τU1 ∈ C1 ∩ C2 .
Therefore U1 ∈ X. By minimality of U it follows that U1 = U and so U is an alternating block.

A NONAMENABLE TYPE F∞ GROUP

33

This means that C1 ∩ C2 is described with base F and parameters in the set
{τU | U is an atom of X}
and hence is an element of H as desired.



7.3. Graphs in H as 1-skeletons of clusters. We demonstrate that an element C ∈ H is the 1-skeleton
of a cluster in the sense of Definition 4.1. This identification emerges in a natural way by considering
descriptions of graphs in H that we call proper descriptions. A proper description for C involves a certain
elementary condition on the parameters which we describe below.
Definition 7.19. Let τ1 , ..., τn be a sorted list of special forms. We say that the sorted list is proper, if
whenever a pair τi , τi+1 is consecutive, then it is also alternating.
Observe that given any pair of consecutive special forms τ1 , τ2 , exactly one of τ1 , τ2−1 or τ1 , τ2 is alternating.
(Recall the discussion in Remark 6.8 concerning the notation τ2−1 .) Indeed, given any sorted list of special
forms τ1 , ..., τn , there are numbers s1 , ..., sn ∈ {1, −1} such that τ1s1 , ..., τnsn is proper. (To see this, perform
an elementary induction on n.)
Lemma 7.20. Any element C ∈ H admits a description where the parameters are proper. Moreover, we
can also arrange it so that the parameters are all normal forms.
Proof. Let C be described with base F τ where τ is a Y -word, and parameters τ1 , ..., τn . Let s1 , ..., sn ∈
{1, −1} be such that τ1s1 , ..., τnsn is proper. Then C admits the following description:
(1) Base F τX τ , where X = {i ∈ {1, ..., n} | si = −1}.
(2) Parameters τ1s1 , ..., τnsn .
Finally, by applying a sequence of contraction moves to τ1s1 , ..., τnsn , we obtain a proper list of special
normal forms. To see this, one simply checks the following. If ν1′ , ν2′ are obtained from ν1 , ν2 respectively
by applying contraction and/or expansion moves, then ν1′ , ν2′ are alternating if and only if ν1 , ν2 are
alternating.

Definition 7.21. We call a description of C ∈ H with proper parameters as a proper description.
The advantage of a proper description for C is that the edge relation between nodes of C is easier to
characterise.
Lemma 7.22. Let C ∈ H be described with base F τ where τ is a Y -word, and proper parameters τ1 , ..., τn .
Then the nodes F τX τ, F τY τ for X, Y ⊆ {1, ..., n} form an edge if and only if one of the following holds:
(1) X ⊂ Y and τY \X is a special form.
(2) Y ⊂ X and τX\Y is a special form.
Proof. If F τX τ, F τY τ form an edge, this means that
Y
Y
τj−1
τi
τX τY−1 =
i∈X\Y

j∈Y \X

is a special form. If both X \ Y and Y \ X are nonempty, then there must be an alternating pair of the
−1
form τi , τi+1
or τi−1 , τi+1 . In either case, this contradicts the assumption that the parameters are proper.
The converse follows immediately from the definition of the edge relation in X (1) .

Now we are ready to provide the identification between elements of H and 1-skeletons of clusters.
Proposition 7.23. Let C ∈ H be described by base F τ where τ is a Y -word, and proper parameters
τ1 , ..., τn . Then C is isomorphic to the 1-skeleton of an n-cluster in the sense of Definition 4.1.

34

YASH LODHA

Proof. Without loss of generality (thanks to Lemma 7.7) we can assume that C is based at the trivial
coset. Define
Y = {i ∈ {1, ..., n − 1} | τi τi+1 is a special form}
Now define the hyperplane arrangement A in Rn consisting of the following hyperplanes:
(1) xi = 0, xi = 1, 1 ≤ i ≤ n.
(2) xi = xi+1 for i ∈ Y.
Clearly, A is admissible. We claim that the 1-skeleton of C(A) is isomorphic to C.
The 0-cells of C(A) are naturally in bijection with subsets of {1, ..., n} as follows. A subset X ⊆ {1, ..., n}
corresponds to the 0-cell given by the coordinates (y1 , ..., yn ) where yi = 0 if i ∈
/ X and yi = 1 if i ∈ X.
Observe that the 1-cells of C(A) are in a natural bijection with partitions of {1, ..., n} into three sets
X1 , X2 , X3 such that:
(1) X1 , X2 , X3 are pairwise disjoint and X1 ∪ X2 ∪ X3 = {1, ..., n}.
(2) X3 = {j, j + 1, ..., k} ⊂ {1, ..., n} such that for each j ≤ i ≤ k − 1, i ∈ Y.
The 1-cell corresponding to such a pair is the affine line segment connecting the 0-cells (y1 , ..., yn ) and
(z1 , ..., zn ) given by the following coordinates:
(y1 , ..., yn )

yi = 0 if i ∈ X1 ∪ X3 and yi = 1 if i ∈ X2

(z1 , ..., zn )
zi = 0 if i ∈ X1 and yi = 1 if i ∈ X2 ∪ X3
This is precisely the intersection of the following collection of hyperplanes with [0, 1]n :
{{xi = 1} | i ∈ X1 } ∪ {{xi = 0} | i ∈ X2 } ∪ {{xi = xj } | i, j ∈ X3 }
(1)

We now define the graph isomorphism between C(A)
and C. First, we identify the 0-cell given by
X ⊆ {1, ..., n} in C(A) with the 0-cell F τX of C. Then we identify the 1-cell of C(A) given by a pair
X1 , X2 (satisfying the above) with the 1-cell connecting the pair F τX1 , F τX1 ∪X2 . This identification
(1)
provides the isomorphism between C(A) and C.

We now show that the identification above is independent of the choice of proper description.
Lemma 7.24. Let C ∈ H and let C(A) be the cluster identified with a proper description of C in
Proposition 7.23. Then this identification is the same for any other choice of proper parameters describing
C.
Proof. By G-equivariance, we can assume the the base of the given description is the trivial coset,
with proper parameters τ1 , ..., τn . Let A1 , ..., Ak ⊆ {1, ..., n} be the maximal block decomposition for
{τ1 , ..., τn }.
With Lemmas 7.4 and 7.5 in mind, observe that any proper description of C (upto replacing equivalent
special forms as parameters) is determined by a set of numbers s1 , ..., sn ∈ {1, −1} such that:
(1) si = sj whenever i, j ∈ Al for some 1 ≤ l ≤ k.
(2) The base coset is F τX where X = {1 ≤ i ≤ n | si = −1}.
(3) The parameters are τ1s1 , ..., τnsn .
Let A1 be the hyperplane arrangement in Rn given by:
(1) {xi = 0}, {xi = 1}, 1 ≤ i ≤ n.
(2) {xi = xi+1 } for i ∈ {1 ≤ j ≤ n − 1 | τj τj+1 is a special form}.
Let A2 be the hyperplane arrangement in Rn given by:
(1) {xi = 0}, {xi = 1}, 1 ≤ i ≤ n.
s sj+1
is a special form}.
(2) {xi = xi+1 } for i ∈ {1 ≤ j ≤ n − 1 | τj j τj+1

A NONAMENABLE TYPE F∞ GROUP

35

It follows that both arrangements are the same and hence describe the same cluster. By symmetries of
this n-cluster, we are done.

7.4. Higher dimensional cells in X. Proposition 7.23 provides an identification of an element C ∈ H
with the 1-skeleton of an n-cluster C(A).
Definition 7.25. Given C ∈ H, let C(A) be the n-cluster whose 1-skeleton is identified with C in
Proposition 7.23. A filling C of C is obtained by adding the higher cells of C(A) to C in X (1) . The
complex X is obtained from X (1) by “filling” each graph in H. In other words,
[
X=
C
C∈H

We show that the fillings are well defined and indeed produce a CW complex X upon which G acts.
Lemma 7.26. The fillings of H are G-equivariant. In other words, for each C ∈ H, ν ∈ G, if C1 = C · ν
then C · ν = C1 In particular, the G-action on X (1) naturally extends to the G-action on X.
Proof. Let C be described with base F τ , where τ is Y -word, and proper parameters τ1 , ..., τn . Let ν ∈ G.
Then C · ν admits a description with base F (τ ν) and proper parameters τ1 , ..., τn . The hyperplane
arrangements A1 for C and A2 for C · ν as described in the proof of Proposition 7.23 are both:
(1) {xi = 0}, {xi = 1}, 1 ≤ i ≤ n.
(2) {xi = xi+1 } for i ∈ {1 ≤ j ≤ n − 1 | τj τj+1 is a special form}.
Therefore, the group action preserves the identification.



We end the section by demonstrating that X is indeed a CW complex. This follows immediately once we
combine Proposition 7.8 with the following.
Proposition 7.27. Let C1 , C2 ∈ H such that C1 ⊂ C2 . Then C1 agrees with the subcomplex of C2
determined by C1 ⊂ C2 .
Proof. By considering the G-action, we assume without loss of generality that C1 , C2 both contain the
trivial coset as a node. Let C2 be described with base F and parameters τ1 , ..., τn . By Lemma 7.17, there
is a boolean collection X ⊂ 2{1,...,n} such that C1 admits the following description.
(1) Base at F .
(2) The elements of the set {τX | X is an atom of X} are all special forms that are the parameters.
Let X1 , ..., Xk ⊂ {1, ..., n} be the minimal elements of this boolean collection appearing in increasing
order. If i, i + 1 ∈ Xj for some 1 ≤ j ≤ k, then τi , τi+1 are alternating. Using this fact, it is easy to find
numbers s1 , ..., sn such that:
(1) τ1s1 , ..., τnsn is proper.
(2) si = si+1 if i, i + 1 ∈ Xj for some 1 ≤ j ≤ k.
tk
t1
In particular, the list τX
, ..., τX
is proper, where tj equals sl for any l ∈ Xj . This provides proper
1
k
descriptions of C1 , C2 with base F τY where Y = {i ∈ {1, ..., n} | si = −1}, and proper parameters
tk
t1
τ1s1 , ..., τnsn and τX
, ..., τX
respectively.
1
k

Let A1 be the arrangement of hyperplanes:
(1) {xi = 0}, {xi = 1}, 1 ≤ i ≤ n.
(2) {xi = xi+1 } whenever τi τi+1 is a special form.
Now define a k-dimensional flat U of A1 as the intersection of the following hyperplanes.
S
(1) {xi = 0} for i ∈
/ 1≤i≤k Xk .

36

YASH LODHA

(2) {xi = xi+1 } with i for which there is a 1 ≤ j ≤ k such that i, i + 1 ∈ Xj .
Let A2 be the arrangement of hyperplanes obtained from restricting the arrangement A1 to the flat U .
It is an elementary exercise in hyperplane arrangements to show that A2 is naturally isomorphic to the
arrangement in Rk given by:
(1) {xi = 0}, {xi = 1}, 1 ≤ i ≤ k.
(2) {xi = xi+1 } for i such that τXi τXi+1 is a special form.
This proves that the restriction of C2 to C1 is indeed equal to C1 .



8. The action of G on X
For the rest of the article, we shall identify elements of H with their fillings, and denote these as clusters.
So given C ∈ H, we shall simply use C to denote the filled cluster. In this section we study the action of
G on X. We prove the following:
Proposition 8.1. The stabiliser StabG (e) of any cell e of X is a group of type F∞ . More particularly,
it is a finite product of copies of the groups F3 and F .
Proposition 8.2. The quotient X/G has finitely many cells in each dimension.
8.1. Stabilisers of cells. Given any n-cell e in X, by the construction of X there is an n-cluster C ∈ H
that contains e. Let C be described with base F τ , where τ is a Y -word and proper parameters τ1 , ..., τn .
Then the cluster C1 = C · τ −1 admits a description with base F and the same parameters τ1 , ..., τn as C.
It follows that there is an n-cell e′ of C1 such that e′ = e · τ −1 , and hence StabG (e) ∼
= StabG (e′ ). So it
suffices to understand the stabiliser of e′ . For the rest of this subsection we fix the description of C1 and
e′ . First, we make an elementary observation.
Lemma 8.3. The closure of e′ contains F and F τ{1,...,n} .
Proof. The cluster C1 ∈ H is isomorphic to the cluster (in the sense of definition 4.1) described by the
following hyperplanes in Rn .
(1) {xi = 1}, {xi = 0}, 1 ≤ i ≤ n.
(2) {xi = xi+1 } for i such that τi τi+1 is a special form.
The closure of an n-cell is an intersection of certain half spaces of the form
{xi ≥ 0}

{xi ≤ 1}

{xi ≤ xi+1 }

{xi ≥ xi+1 }

All these half-spaces contain the points (0, ..., 0) and (1, ..., 1), which correspond to the nodes F and
F τ{1,...,n} of C1 .

An important step in understanding the stabiliser StabG (e′ ) is to demonstrate that StabF (e′ ) = StabG (e′ ).
The stabiliser StabF (e′ ) is much easier to understand, since we already have developed a theory of the
action of F on Ω. In order to show that StabF (e′ ) = StabG (e′ ), we first need to prove the following
generalisation of Proposition 6.17.
Lemma 8.4. Let τ1 , ..., τn be a proper list of special forms as above, and let X1 , ..., Xk ⊂ {1, ..., n} be
pairwise disjoint sets. Then
\
StabF (F τXi )
1≤i≤k

is a finite direct product of copies of F and F3 .

Proof. For a given X ⊂ {1, ..., n}, let Y1 , ..., Yl be the maximal block decomposition of X. First we claim
that
\
StabF (F τXi ) =
StabF (F τYj )
1≤j≤l

A NONAMENABLE TYPE F∞ GROUP

37

It is clear that the latter is a subset of the former. So we need to show that if f ∈ StabF (F τX ), then
f ∈ StabF (F τYi ) for each 1 ≤ i ≤ l.
We show this for the case l = 2. The general case follows from a straightforward induction that uses the
same idea as in the base case. For notational simplicity, we denote τY1 = ψ1 and τY2 = ψ2 . Let ψ1′ , ψ2′ be
special forms obtained by applying expansion moves on ψ1 , ψ2 such that for each percolating element yst
of ψ1 or ψ2 , f acts on s. Let ψ1′′ , ψ2′′ be special forms obtained by replacing each percolating element yst
by yft (s) . Since
F ψ1 ψ2 · f = F ψ1′′ ψ2′′ = F ψ1 ψ2
we can apply a sequence of contraction and expansion moves on ψ1′′ ψ2′′ to obtain ψ1 ψ2 .
Now since Y1 , Y2 were assumed to be maximal alternating blocks, we know that ψ1 , ψ2 are not alternating.
Therefore, it must be the case that we can apply a sequence of contraction and expansion moves to ψ1′′
to obtain ψ1 and a sequence of contraction and expansion moves on ψ2′′ to obtain ψ2 . It follows that
f ∈ StabF (F ψ1 ) ∩ StabF (F ψ2 )
So our claim holds.
Now we apply the above claim to each Xi in the sets X1 , ..., Xk from the statement of the Lemma.
Reasoning along the lines of Proposition 6.17, we obtain that the restriction of the element f on the
support of each maximal alternating block of each Xi must be a tree diagram in natural correspondence
with a tree diagram of an element of F3 . (We do not recall the notation and details of this here, as they
have been spelled out in subsection 6.1.) In this way, we obtain the required direct product decomposition.

For our cell e′ , we define
Y = {Y ⊆ {1, ..., m} | F τY lies in the closure of e′ }
Let X be the boolean subcollection obtained by taking the closure of Y in 2{1,...,m} under unions and
set difference. Further, let X1 , ..., Xk be the atoms of X. For the remainder of this subsection, we fix e′ ,
Y, X and X1 , ..., Xk as above.
Lemma 8.5.

\

StabF (F τY ) =

Y ∈Y

In particular,

\

StabF (F τXi )

1≤i≤k

\

StabF (F τY )

Y ∈Y

is a finite product of copies of F and F3 , and is of type F∞ .
Proof. Let U, V ⊆ {1, ..., m}. We claim that
StabF (F τU ) ∩ StabF (F τV )
= StabF (F τU\V ) ∩ StabF (F τV \U ) ∩ StabF (F τU∩V )
It is obvious that the latter is contained in the former. It suffices to show that if
f ∈ StabF (F τU ) ∩ StabF (F τV )
then
f ∈ StabF (F τU\V ) ∩ StabF (F τV \U ) ∩ StabF (F τU∩V )
Let τi′ be a special form obtained by performing expansion moves on τi such that for each percolating
element yst of τi′ , f acts on s. Now let τi′′ denote special form obtained by replacing each percolating
element yst of τi′ with yft (s) . It follows from Lemma 7.2 that τ1′′ , ..., τn′′ is a sorted list of special forms.
It follows from our assumption that
F τU · f = F τU′′

F τV · f = F τV′′

38

YASH LODHA

By our assumption the word τU′′ , τV′′ are both products of independent special forms, and are equivalent
to τU , τV respectively. This means that we can perform a sequence of contraction and expansion moves
on τU′′ , τV′′ to obtain τU , τV respectively. So indeed upon performing contraction and expansion moves on
′′
′′
the subwords τU∩V
, τU\V
, τV′′ \U we must obtain τU∩V , τU\V , τV \U respectively. In particular, it follows
that f fixes the cosets F τU∩V , F τU\V , F τV \U . This proves our assertion.
Using this idea, we conclude the proof of the main assertion
\
\
StabF (F τX ) =
StabF (F τXi )
1≤i≤k

X∈X

using a standard induction argument of the boolean algebra of sets X obtained from Y by taking the
closure under unions and set difference.

Lemma 8.6. Given ν ∈ StabG (e′ ), for each X ∈ X it holds that
ν(Supp(τX )) = Supp(τX )
Proof. Given ν ∈ StabG (e′ ), ν induces a permutation of the 0-cells {F τY | Y ∈ Y}. In particular, a
power ν k fixes each 0-cell in this set. In particular, ν k ∈ F since it fixes the trivial coset.
Since ν k lies in

\

StabF (F τY )

\

StabF (F τX )

Y ∈Y

by Lemma 8.5 it also lies in

X∈X

This implies that for each X ∈ X,

ν k (Supp(τX )) = Supp(τX )
Since ν is a k-th root of ν in Homeo+ (2N ), it follows that
ν(Supp(τX )) = Supp(τX )

′

′

Lemma 8.7. StabG (e ) = StabF (e ) =

T

1≤i≤k

StabF (F τXi )

Proof. Let ν ∈ StabG (e′ ). Since ν permutes the 0-cells incident to e′ , it follows that F · ν = F τX for
some X ∈ Y. In particular, it holds that there is an f ∈ F such that ν = f τX . Now assume by way of
contradiction that X is nonempty.
By Lemma 8.6 ν(Supp(τX )) = Supp(τX ). It follows that f (Supp(τX )) = Supp(τX ).
be a special form obtained by applying expansion moves on yst11 ...ystnn
Now let τX = yst11 ...ystnn . Let yuv11 ...yuvm
m
such that:
(1) f acts on each ui for 1 ≤ i ≤ m.
(2) |f (ui )| > |sj | for each 1 ≤ i ≤ m, 1 ≤ j ≤ n.
Since the interval Supp(τX ) is invariant under the action of f , it follows that f (u1 ) = s1 1l for some l ∈ N.
Also, note that v1 = t1 .
So we obtain that
F τX · (f τX ) = F (yst11 ...ystnn )(f yst11 ...ystnn )
)(f yst11 ...ystnn )
= F (yuv11 ...yuvm
m
tn
t1
= F (yfv1(u1 ) ...yfvm
(um ) )(ys1 ...ysn )

Since f (Supp(τX )) = Supp(τX ), for the infinite binary sequence s1 1∞ the associated calculation Λ of the
standard form
tn
t1
(yfv1(u1 ) ...yfvm
(um ) )(ys1 ...ysn )

A NONAMENABLE TYPE F∞ GROUP

39

contains two occurrences of y t1 = y v1 . In particular, there is no potential cancellation and the exponent
of this calculation equals 2. Since F τX · (f τX ) is equal to a coset of the form F τU for some U ∈ Y, this
is a contradiction. Therefore, X must be the empty set, and so ν ∈ F .
To finish the proof, we must show the second equality in the statement of our Lemma. We already know
from Lemma 8.6 that ν(Supp(τX )) = Supp(τX ) for each X ∈ X.
For any Y ∈ Y, F τY · ν = F τY ′ where Y ′ ∈ Y. Now Y is a union of minimal elements of X. Since ν
fixes the support of each τX for such a minimal X, it must be the case that F τX · ν = F τX and hence
F τY · ν = F τY . This means that ν fixes each 0-cell in the closure of e′ . We conclude by applying Lemma
8.5 to obtain
\
\
StabF (F τY ) =
StabF (F τXi )
Y ∈Y

1≤i≤k



Proof of Proposition 8.1 From the discussion at the beginning of this subsection, it suffices to consider
a cell of the form e′ described there. We denote by Y, X and X1 , ..., Xk the same sets as above.
By Lemma 8.7 we know that
StabG (e′ ) =

\

StabF (F τXi )

1≤i≤k

T
Moreover, by Lemma 8.4 it follows that 1≤i≤k StabF (F τXi ) is a finite product of copies of F and F3 .
These groups are of type F∞ , which is a property closed under taking finite products.
8.2. The quotient X/G. Now we show that the quotient X/G has finitely many cells in each dimension.
Proof of Proposition 8.2
We show this for a given dimension n ∈ N. Any n-cell is a maximal dimensional cell of an n-cluster by
construction. Given an n-cluster, it contains in its G-orbit an n-cluster described with base the trivial
coset F and proper parameters. So it suffices to show that there are finitely many G-orbits of n-clusters
described with base F and proper parameters.
Let C1 , C2 be n-clusters described with base F and proper parameters τ1 , ..., τn and ν1 , ..., νn respectively.
Assume the following holds for each 1 ≤ i ≤ n.
(1) The parity of the number of percolating elements in νi and τi is the same.
(2) τi , τi+1 are consecutive if and only if νi , νi+1 are consecutive. (For 1 ≤ i ≤ n − 1.)
(3) If yst , yuv are the leftmost percolating elements occurring in λi , νi respectively, then t = u.
Then we can apply expansion moves to the respective special forms to obtain proper parameters τ1′ , ..., τn′
and ν1′ , ..., νn′ such that in addition to the above, the following holds.
(4) For each 1 ≤ i ≤ n, the word length of τi′ , λ′i is the same.
Let
′
yst11 ...ystkk = τ{1,...,n}

′
yuv11 ...yuukk = ν{1,...,n}

Given these conditions, it is an elementary exercise in the group F to construct an element f ∈ F such
that f (si ) = ui for each 1 ≤ i ≤ k. It follows that C1 · f = C2 . Since the number of combinatorial
conditions in (1) − (3) above is finite, we are done.
9. X is simply connected.
In this section we will show that X is simply connected. This is shown by providing an explicit homotopy
for a given loop to a trivial loop. Recall that in [16], we provide a procedure that takes as input a
word that represents the identity, and using the moves described in the preliminaries in Definition 3.16,

40

YASH LODHA

converts it into the empty word. A direct consequence of the result is that we can use the same procedure
to do the following. If we input a word in the infinite generating set
{yv , xu | u, v ∈ 2<N , v 6= 0k , 1k , ∅}
of G that represents an element of the subgroup F , then using the moves we can convert it into a word
in the generators
{xu | u ∈ 2<N }
In what follows the reader is not expected to have the knowledge of this procedure, but needs to assume
that indeed it is possible to do the above using the combinatorial moves described in the preliminaries.
We provide a visual interpretation of the combinatorial moves inside the complex. We will show that
each move provides a homotopy between two paths, and combine this with the existence of the procedure
to demonstrate that X is simply connected.
Given a loop l in X, (up to homotopy) we can assume that l is a path along the 1-skeleton that is
described as a path along a sequence of nodes
F τ, F (νk τ ), F (νk−1 νk τ ), ..., F (ν1 ...νk τ ), F τ
where
(1) τ is a Y -word.
(2) ν1 , ..., νk are special forms.
(3) F (νk ...ν1 ) = F ψ for a special form ψ.
Note that in general, the special forms ν1 , ..., νk are completely arbitrary. The product word ν1 ...νk
(viewed as a word obtained by concatenating ν1 , ..., νk ) may not be a special form, and pairs νi , νj are
not necessarily independent. However, since the last two nodes in the sequence are connected by an edge
we deduce that F ν1 ...νk = F ψ where ψ is a special form.
Let l1 be the loop l · τ −1 . By construction of X, l is homotopic to the trivial loop if and only if l1 has
this property. l1 is described as a path along a sequence of nodes:
F, F (νk ), F (νk−1 νk ), ..., F (ν1 ...νk ), F
where as above:
(1) ν1 , ..., νk are special forms.
(2) F (νk ...ν1 ) = F ψ for a special form ψ.
We describe a list of homotopies that correspond to moves in the analysis of standard forms. We list
them below. In what follows, τ ∈ G is an arbitrary element.
−1
(1) The expansion move yσ → xσ yσ0 yσ10
yσ11 corresponds to a homotopy between the paths F τ, F (yσ τ )
and
−1
−1
F τ, F (yσ11 τ ), F (yσ10
yσ11 τ ), F (yσ0 yσ10
yσ11 τ )
−1
−1
Similarly the expansion move yσ−1 → x−1
σ yσ00 yσ01 yσ1 corresponds to a homotopy between paths
−1
F τ, F (yσ τ ) and
−1
−1
−1
−1
F τ, F (yσ1
τ ), F (yσ01 yσ1
τ ), F (yσ00
yσ01 yσ1
τ)

These paths are homotopic in X because they are homotopic in a 3-cluster of X. For instance,
−1
the first homotopy is performed in the cluster with base F τ and parameters yσ0 , yσ10
, yσ11 .
t
(2) Consider an edge of the form F τ, F (ys f τ ). This is an edge since it satisfies (E2) of Definition
6.6, which can be seen by performing an expansion followed by rearrangement move on yst f .
Performing expansion moves on yst we obtain a special form yst11 ...ystnn equivalent to yst such that
f acts on s1 , ..., sn . The single edge path F τ, F (yst f τ ) is homotopic to the path described by the
sequence
y tn f τ ), ..., F (yst11 ...ystnn f τ )
F τ, F (ystnn f τ ), F (ystn−1
n−1 sn

A NONAMENABLE TYPE F∞ GROUP

41

in the n-cluster described with base F τ and parameters yst11 , ..., ystnn . Applying the rearranging
move
yst11 ...ystnn f = f yft1(s1 ) ...yftn(sn ) = yrt11 ...yrtnn
produces a new description of this path as
y tn τ ), ..., F (yrt11 ...yrtnn τ )
F, F (yrtnn τ ), F (yrtn−1
n−1 rn
(3) A commuting move yst ypq = ypq yst for t, q ∈ {−1, 1} and s, p independent, corresponds to a homotopy between paths of the form
F τ, F (yst τ ), F (ypq yst τ )
and
F τ, F (ypq τ ), F (yst ypq τ )
This can be performed in the complex since these paths are homotopic in the 2-cluster described
with base F τ and parameters yst , ypq .
(4) A cancellation move ys±1 ys∓1 → ∅ corresponds to shrinking a path of the form
F τ, F (ys±1 τ ), F (ys∓1 ys±1 τ )
to a trivial path. This is possible since the path is obtained by traversing the edge F τ, F (ys±1 τ )
forwards and then backwards.
Now we observe the following.
Lemma 9.1. Consider a loop l described by the path
F, F (λn ), F (λn−1 λn ), ..., F (λ1 ...λn ), F
where λ1 , ..., λn are special forms. It is homotopic to a loop described by a path of the form
), F
y tm ), ..., F (yst11 ...ystm
), F (ystm−1
F, F (ystm
m
m−1 sm
m
Proof. We show this by induction on n. For n = 1, let λ1 = ypq11 ...ypqkk . Now the 1-cell {F τ, F (λ1 τ )} is the
cross diagonal 1-cell of the k-cluster at τ parametrized by the special forms ypq11 , ..., ypqkk . It follows that
this 1-cell is homotopic to the path
F τ, F (ypqkk τ ), F (ypqk−1
y qk τ ), ..., F (ypq11 ...ypqkk τ )
k−1 pk
The inductive step is essentially the same as the base case, since by the inductive hypothesis we replace
the path
F τ, F (λn τ ), F (λn−1 λn τ ), ..., F (λ2 ...λn τ ), F (λ1 ...λn τ )
by a path
F τ, F (yuvll τ ), F (yuvl−1
y vl τ ), ..., F (λ1 yuv11 ...yuvll τ )
l−1 ul
and then argue the last edge
F (yuv11 ...yuvll τ ), F (λ1 yuv11 ...yuvll τ )
traversed in the path is homotopic to path of a suitable sequence of edges as in the base case.

Proposition 9.2. The complex X is simply connected.
Proof. Let L be a loop described as a path in X (1) . By considering the group action we can assume that
the loop L begins and ends at F . By the previous Lemma this loop is homotopic to a loop of the form
y tn ), ..., F (yst11 ...ystnn ) = F
F, F (ystnn ), F (ystn−1
n−1 sn
Since the 0-cells F = F (yst11 ...ystnn ) it follows that the word yst11 ...ystnn represents an element of F . From [16]
we know that this word can be reduced to an X-word by applying a sequence of expansion, commuting,
cancellation and rearranging substitutions. Since an application of each substitution produces a loop
homotopic to L, we observe that this process provides an explicit homotopy between L and the trivial
loop.


42

YASH LODHA

10. X is aspherical
In this section, we shall demonstrate that the complex X is a nonpositively curved cluster complex in
the sense of Definition 4.6, and hence is aspherical. In particular, we will show the following. For each
finite subcomplex Y of X which is a union of clusters, there is a subcomplex Y of X such that:
(1) Y ⊂ Y.
(2) Y is homeomorphic to a non positively curved cube complex.
We describe a process that takes as an input Y as produces as an output Y. There are two main structural
concepts defined and used in this section. These are the notions parallel 1-clusters and orthogonal 1clusters. A key algorithmic ingredient is what we refer to as amplification of clusters. An amplification
takes as an input a cluster, and produces as an output a larger cluster that contains the input as a
subcluster.
In this section whenever we refer to a description of a 1-cluster with base F τ , it shall be assumed that τ
is a Y -word (possibly empty) (unless specified otherwise). We shall write F τ, F ντ to denote a 1-cluster
with base F τ and parameter ν. It is important that the reader keeps this in mind, since this will be
crucial to formulate the definitions in this section.
10.1. The parallel equivalence relation on the 1-cells of X. Consider the regular Euclidean cube
[0, 1]n ⊂ Rn . Two 1-dimensional faces, i.e. edges of the cube are parallel if they are segments of parallel
lines in Rn . Now consider an n-cluster C, viewed as a CW subdivision of [0, 1]n . The facial 1-subclusters
of C are in natural correspondence with the closed edges of [0, 1]n . So we may view a pair of facial
1-subclusters of C as parallel if the corresponding closed edges of [0, 1]n are parallel. More concretely, let
C be described with base F τ and parameters τ1 , ..., τn . The set of facial 1-subclusters of C consists of:
{F τX τ, F τi τX τ | X ∪ {i} ⊆ {1, ..., n}, i ∈
/ X}
We say that two facial 1-subclusters of C are parallel, if they are of the form:
F τX τ, F τi (τX τ )

F τY τ, F τi (τY τ )

where X, Y ⊆ {1, ..., i − 1, i + 1, ..., n}.
We would like to extend this notion of parallel 1-clusters to pairs that are not necessarily facial 1subclusters of the same cluster. As a motivating example, consider the situation below.
Let C be as above, but for simplicity of notation, let us assume that τ is the empty word, and hence C
is described with base as the trivial coset and parameters τ1 , ..., τn . Let
e1 = F τX , F τi τX

e2 = F τY , F τi τY

be parallel, facial 1-subclusters of C.
Now consider a cluster D described with base F τY and parameters ν1 , ..., νm such that νj = τi for some
1 ≤ j ≤ m. Consider a 1-cell
e3 = F (νZ τY ), F νj (νZ τY )
of D such that Z ⊆ {1, ..., j − 1, j + 1, ..., m}. Note that in this description of D
e2 = F τY , F νj τY
It follows that e2 , e3 are parallel, facial 1-subclusters of the cluster D. It is natural to view e1 , e3 above as
in a certain sense, parallel. Indeed, there is a natural notion of parallel 1-clusters in X. This is precisely
the transitive closure of the relation obtained by declaring 1-clusters e1 , e2 as parallel if they are parallel,
facial 1-subclusters of a cluster.
We provide a more useful, concrete formulation of this definition below. In this formulation, it is not
immediately apparent that the resulting relation is an equivalence relation. This will be shown in a
subsequent Lemma.

A NONAMENABLE TYPE F∞ GROUP

43

Definition 10.1. Two 1-clusters e1 , e2 in X are said to be parallel if they admit descriptions
e1 = F τ1 , F ντ1

e2 = F τ2 , F ντ2

so that there is a sequence of special forms ν1 , ..., νn satisfying:
(1) νi , ν are independent for each 1 ≤ i ≤ n.
(2) ν1 ...νn = τ2 τ1−1 .
Remark 10.2. In the above definition, it is not required that ν1 , ..., νn are independent, sorted etc. In
fact in most cases they shall not be independent.
Note that the definition is symmetric. The special forms ν1−1 , ..., νn−1 satisfy that νi−1 , ν are independent
and νn−1 ...ν1−1 = τ1 τ2−1 . Also, note that the definition is G-invariant. That is, if e1 , e2 are parallel then
it follows from the definition that e1 · g, e2 · g are parallel for any g ∈ G.
Finally, note that if the descriptions
e1 = F τ1 , F ντ1

e2 = F τ2 , F ντ2

satisfy Definition 10.1, then so do the descriptions
e1 = F (ντ1 ), F ν −1 (ντ1 )

e2 = F (ντ2 ), F ν −1 (ντ2 )

In fact, the same ν1 , ..., νn as above witness the conditions of the Definition. Indeed it holds that νi , ν −1
are independent for each 1 ≤ i ≤ n. And also,
ν1 ...νn = νν −1 (ν1 ...νn ) = ν(ν1 ...νn )ν −1 = ν(τ2 τ1−1 )ν −1 = (ντ2 )(ντ1 )−1
Before we show that the parallel relation is an equivalence relation, we show that the definition is independent of the choice of description.
Lemma 10.3. Let e1 , e2 be parallel 1-clusters in X. Let e1 = F τ1 , F ντ1 be any choice of description.
Then there is a description e2 = F τ2 , F ντ2 , so that these descriptions satisfy Definition 10.1.
Proof. We shall find a Y -word τ2 such that e2 admits a description e2 = F τ2 , F ντ2 satisfying the required
property. Since e1 , e2 are parallel, by definition there are descriptions
e1 = F ψ1 , F ηψ1

e2 = F ψ2 , F ηψ2

and special forms η1 , ..., ηn satisfying that ηi , η are independent and η1 ...ηn ψ1 = ψ2 . Thanks to the last
paragraph of Remark 10.2, we can also find the above descriptions keeping the same base coset, so that
F ψ1 = F τ1 .
There is an f ∈ F such that f ψ1 = τ1 . Let η ′ , η1′ , ..., ηn′ be special forms obtained by applying expansion
moves on η, η1 , ..., ηn respectively such that for each percolating element yst that occurs, f −1 acts on s.
Let η ′′ , η1′′ , ..., ηn′′ be special forms obtained by replacing each percolating element yst of η ′ , η1′ , ..., ηn′ by
yft −1 (s) .
It follows that
F ηψ1 = F η ′ (f −1 f )ψ1 = F η ′′ τ1
and hence e1 = F τ1 , F η τ1 . Moreover,
′′

ψ2 = η1 ...ηn ψ1 = η1 ...ηn (f −1 f )ψ1 = f −1 η1′′ ...ηn′′ τ1
and hence
η1′′ ...ηn′′ τ1
We define τ2 = f ψ2 . It follows that τ2 =
So in particular τ2 is expressible as a Y -word, which
we fix and refer to as τ2 for the remainder of the proof.
f ψ2 =
η1′′ ...ηn′′ τ1 .

Now F η ′′ τ1 = F ντ1 and so F η ′′ = F ν. Since ν, η ′′ are special forms that lie in the same F -coset, ν can
be obtained from η ′′ by a sequence of expansion and contraction moves and hence has the same support.
In particular, it follows that the pairs ηi′′ , ν are independent. Therefore, the descriptions
F τ1 , F ντ1

F τ2 , F ντ2

44

YASH LODHA

satisfy the condition of Definition 10.1 with the special forms η1′′ , ..., ηn′′ witnessing the conditions.



Lemma 10.4. The parallel 1-cluster relation is an equivalence relation. The relation is precisely the
transitive closure of the relation obtained by declaring 1-clusters e1 , e2 as parallel if they are parallel,
facial 1-subclusters of a cluster.
Proof. In remark 10.2 we discussed why Definition 10.1 is symmetric. Therefore, it suffices to show that
this is transitive, i.e. given 1-cells e1 , e2 , e3 such that e1 , e2 and e2 , e3 are parallel, then e1 , e3 are parallel.
Fix a description F τ1 , F ντ1 of e1 . By two applications of Lemma 10.3, first on e1 , e2 and then on e2 , e3
we find descriptions
e1 = F τ1 , F ντ1
e2 = F τ2 , F ντ2
e3 = F τ3 , F ντ3
that satisfy the following conditions of Definition 10.1:
(1) There are special forms η1 , ..., ηn such that each pair ν, ηi is independent and η1 ...ηn = τ1 τ2−1 .
(2) There are special forms ψ1 , ..., ψm such that each pair ν, ψi is independent and ψ1 ...ψm = τ2 τ3−1 .
It follows that e1 , e3 are parallel since each pair ν, ηi and ν, ψi is independent and
η1 ...ηn ψ1 ...ψm = τ1 τ2−1 τ2 τ3−1 = τ1 τ3−1
This finishes the proof that our relation is an equivalence relation.
We leave the claim concerning the transitive closure as a pleasant exercise for the reader. This requires
translating the definition into a sequence of clusters witnessing the transitive closure. This statement will
not be used in the rest of the article, and is stated to provide motivation for the concept.

Lemma 10.5. The set of facial 1-subclusters of an n-cluster comprise of exactly n parallel equivalence
classes. A set of representatives for these equivalence classes is given by the set of facial 1-subclusters
incident to any given 0-cell in the cluster.
Proof. Consider an n-cluster C described with base at F τ and parameters ν1 , ..., νn . By G-invariance of
Definition 10.1, we can assume that τ is the empty word. First note that each facial 1-subcluster in C is
parallel to a facial 1-subcluster of the form F, F νi for some 1 ≤ i ≤ n. We will show that a pair
e1 = F, F νi

e2 = F, F νj

is not parallel if i 6= j. Assume by way of contradiction that e1 , e2 are parallel. By Lemma 10.3 there is
a description e2 = F ψ, F νi ψ, where ψ is a Y -word, such that the descriptions
F, F νi

F ψ, F νi ψ

satisfy Definition 10.1. So there are special forms η1 , ..., ηm such that ηk , νi are independent for each
1 ≤ k ≤ m, and η1 ...ηm = ψ.
Since we are considering two different descriptions of e2 :
e2 = F, F νj

e2 = F ψ, F νi ψ

we have to consider two possibilities:
(1) F = F ψ and F νj = F νi ψ.
(2) F = F νi ψ and F νj = F ψ.
Before we analyse each case separately, we observe the following. Since η1 ...ηm = ψ, and for each
1 ≤ j ≤ m, ηj , νi are independent, it follows that:
F νi ψ = F νi (η1 ....ηn ) = F (η1 ...ηn )νi = F ψνi
Case 1: Since F = F ψ, we conclude that ψ ∈ F (even though ψ is formally a Y -word, it is an element of
F ). It follows that
F νi ψ = F ψνi = F νi
But this means that F νj = F νi . This leads to a contradiction since νi , νj are independent special forms
and so the element νj νi−1 ∈
/ F.

A NONAMENABLE TYPE F∞ GROUP

45

Case 2: In this case, observe that:
F = F νi ψ = F ψνi = F νj νi
This means that F = F νj νi , which is a contradiction since νi , νj are independent special forms, so the
element νj νi ∈
/ F.
This means that our assumption that e1 , e2 are parallel must be false, and hence we conclude that the
set of facial 1-subclusters incident to the trivial coset F in C are pairwise non-parallel.

While working with finite sets of (parallel) 1-clusters, it will often be useful to consider descriptions that
share the same parameter.
Definition 10.6. (Common description) Consider the descriptions:
e1 = F τ1 , F ντ1

e2 = F τ2 , F ντ2

...

en = F τn , F ντn

This shall be denoted as a common description for the 1-cells e1 , ..., en , and ν is denoted as a common
parameter.
Remark 10.7. If a set of 1-clusters e1 , ..., en are pairwise parallel, then by repeated application of Lemma
10.3, as in the proof of Lemma 10.4, we can find a common description for these 1-clusters satisfying
Definition 10.1.
10.2. Orthogonal 1-clusters. As discussed before, our proof of asphericity involves finding a subcomplex which is homeomorphic to a nonpositively curved cube complex. The idea behind proving nonpositive
curvature is Gromov’s link condition, and we shall establish the link condition by means of the following
notion of orthogonality of 1-clusters.
Definition 10.8. (Orthogonal 1-clusters) Let e1 , e2 be 1-clusters that are both incident to a 0-cell u.
They are said to be orthogonal if they admit descriptions:
e1 = F τ, F ν1 τ

e2 = F τ, F ν2 τ

such that F τ = u and ν1 , ν2 are independent special forms. This is equivalent to requiring that there is
a 2-cluster C which contains e1 , e2 as facial 1-subclusters incident to u.
A list e1 , ..., en of 1-clusters that are all incident to a 0-cell u are said to be orthogonal if they are pairwise
orthogonal.
Remark 10.9. The notion of orthogonality is clearly G-invariant, i.e. e1 , e2 are orthogonal if and only if
e1 · g, e2 · g are orthogonal for any g ∈ G. We leave it as an elementary exercise for the reader to check
that the notion does not depend on the choice of descriptions, as long as the base is the same. In this
case, the parameters shall automatically be independent.
Lemma 10.10. Let e1 , ..., en be 1-clusters that are all incident to a 0-cell u. If they are orthogonal, then
there is an n-cluster that contains e1 , ..., en as facial 1-cells.
Proof. By G-invariance of the notion of orthogonality, we can assume without loss of generality that u is
the trivial coset F . Now we find descriptions for our 1-clusters with base F :
e1 = F, F τ1

....

en = F, F τn

for special forms τ1 , ..., τn . Since e1 , ..., en are pairwise orthogonal, it follows that τ1 , ..., τn are pairwise
independent. So the cluster C can be described with base F and parameters τ1 , ..., τn .

The above Lemma provides a bijective correspondence between the set of n-clusters incident to a given
0-cell u, and the set of n-tuples of pairwise orthogonal 1-clusters incident to u.
{ n-clusters incident to u} ↔ {n-tuples of orthogonal 1-clusters incident to u}
This discussion motivates the following definition.

46

YASH LODHA

Definition 10.11. A pre-cluster C consists of 1-clusters e1 , ..., en that are all incident to a 0-cell u, and
are orthogonal. The 0-cell u is said to be the base of the pre-cluster C.
Pre-clusters admit descriptions just like clusters. For instance, a pre-cluster C described with base F τ ,
and parameters τ1 , ..., τn consists of the 1-clusters:
F τ, F τ1 τ

...

F τ, F τn τ

with base the 0-cell given by F τ . The list of parameters τ1 , ..., τn is always assumed to be a sorted list
for convenience.
The closure C̄ of the n-pre-cluster C is the cluster described with base F τ and parameters τ1 , ..., τn .
Clearly, the 1-clusters in C are all facial 1-subclusters of C̄, and provide a set of representatives of the
parallel equivalence classes of the facial 1-subclusters of C̄.
Note that in the above definition we assume that a 1-cluster is also a 1-pre-cluster, whose closure is itself.
10.3. Amplification of pre-clusters. An amplifying move is an operation that takes as an input a
pre-cluster C1 and produces as an output a “larger” pre-cluster C2 such that C̄1 is a subcluster of C̄2 .
The idea behind the amplifying move is elementary, yet technical difficulties in explaining and implementing the move on a given pre-cluster arise from the fact that we need to choose a description. We will show
that in a certain precise sense, the concept is independent of the choice of description. We first provide
an elementary example to illustrate the motivation behind this concept.
Example 10.12. Consider the 1-cluster F, F y10 . We can apply an expansion move on the special form
−1
y10 to obtain the special form y100 y1010
y1011 . Consider the pre-cluster C1 consisting of the 1-clusters
F, F y100

−1
F, F y1010

F, F y1011

−1
The closure is a 3-cluster C̄1 described with base F and parameters y100 , y1010
, y1011 . This cluster contains
the 1-cluster F, F y10 as a cross diagonal.
−1
Now consider the expansion move y100 → y1000 y10010
y10011 . Consider the 5-pre-cluster C2 comprising of
−1
−1
{F, F τ | τ ∈ {y1000 , y10010
, y10011 , y1010
, y1011 }}

Then C̄2 is described with base F and parameters
−1
−1
y1000 , y10010
, y10011 , y1010
, y1011

and contains C̄1 as a diagonal subcluster, and also the 1-cluster F, F y10 as a cross diagonal. Continuing in
this fashion, we can produce arbitrarily large (pre)-clusters, each new cluster (in the closure) containing
the previous ones as subclusters.
Definition 10.13. (Amplifying a 1-cluster) Consider a 1-cluster C1 = F τ, F ντ with base u = F τ . Each
sorted list of special forms ν1 , ..., νn satisfying F ν = F ν1 ...νn , determines an amplification of C1 at u,
which produces a pre-cluster C2 consisting of:
F τ, F ν1 τ

F τ, F ν2 τ

...

F τ, F νn τ

Such an amplification is informally denoted as C1 → C2 . The 1-clusters of C2 shall be referred to as the
offsprings of the 1-cluster C1 .
Remark 10.14. Note that the definition is G-invariant in the following sense. Let C1 , C2 be as above. For
any g ∈ G, the pre-cluster C2 · g consisting of
F (τ g), F ν1 (τ g)

F (τ g), F ν2 (τ g)

...

F (τ g), F νn (τ g)

is produced by an amplification of C1 · g = F (τ g), F ν(τ g) given by F ν = F ν1 ...νn .
Now we show that the same amplifying move can be obtained from any description of a given 1-cluster,
with the same base coset. In this sense, the notion is independent of the choice of description.

A NONAMENABLE TYPE F∞ GROUP

47

Lemma 10.15. Let C1 be a 1-cluster F τ, F ντ . Let C2 be the amplification consisting of
e1 = F τ, F ν1 τ

...

en = F τ, F νn τ

where ν1 , ..., νn is a sorted list of special forms such that F ν = F ν1 ...νn .
Consider a different description C1 = F ψ, F ηψ, so that F ψ = F τ and η is a special form. Then there is
a sorted list of special forms η1 , ..., ηn such that:
(1) F η = F η1 ...ηn .
(2) ei = F ψ, F ηi ψ for each 1 ≤ i ≤ n.
Proof. Since F ψ = F τ , there is an f ∈ F such that ψ = f τ . Let νi′ be a special form obtained by
applying expansion moves on νi such that for each percolating element yst of νi′ , f −1 acts on s. Let νi′′
be the special form obtained by replacing each percolating element yst of νi′ with yft −1 (s) .
It follows that
F ν1 ...νn τ = F ν1′ ...νn′ τ = F ν1′ ...νn′ f −1 (f τ )
= F ν1′′ ...νn′′ (f τ ) = F ν1′′ ...νn′′ ψ
In particular F ν1′′ ...νn′′ = F η. By Lemma 7.2 we know that ν1′′ , ..., νn′′ is a sorted list of special forms.
Since
ei = F τ, F νi τ = F ψ, F νi′′ ψ
we conclude the statement of the Lemma with ηi = νi′′ .



We obtain the following corollary.
Corollary 10.16. Given a 1-cluster, and a base 0-cell incident to it, the set of pre-clusters obtained
by amplifying moves on a given description (with the given 0-cell as base) is the same as the set of
pre-clusters obtained by amplifying moves on any other description (with the given 0-cell as base).
To conclude our discussion, we show that the set of clusters obtained from taking closures of amplifications
of a 1-cluster are the same regardless of the choice of base 0-cell and description.
Lemma 10.17. Let C1 be a 1-cluster with incident 0-cells u, v. If C2 is a precluster obtained by performing an amplification of C1 at u, then there is a precluster C3 obtained by performing an amplification of
C1 at v such that C¯3 = C¯2 .
Proof. Let C1 be a 1-cluster F τ, F ντ . Let C2 be the amplification consisting of
F τ, F ν1 τ

...

F τ, F νn τ

where ν1 , ..., νn is a sorted list of special forms such that F ν = F ν1 ...νn . The closure C¯2 is the cluster
described with base F τ and parameters ν1 , ..., νn .
Now consider the description C1 = F ν −1 (ντ ), F (ντ ) with base coset F (ντ ) and parameter ν −1 . Since ν
is equivalent to ν1 ν2 ...νn , it follows from applying Lemma 6.22 that ν −1 is equivalent to ν1−1 ν2−1 ...νn−1 .
Now consider the amplification C3 given by
F (ντ ), F ν1−1 (ντ )

...

F (ντ ), F νn−1 (ντ )

The closure C¯3 is the cluster described with base F (ντ ) and parameters ν1−1 , ..., νn−1 .
Clearly, C¯2 = C¯3 since the above descriptions are different descriptions for the same cluster.



Now we define the amplifying move for an n-pre-cluster for n > 1. An amplifying move, or an amplification
of a pre-cluster produces another pre-cluster.

48

YASH LODHA

Definition 10.18. (Amplifying an n-pre-cluster) Consider a pre-cluster C1 with base u. Let E ⊆ C1 be
a set of 1-clusters E = {e1 , ..., ek }. An amplification C1 → C2 along E is given by replacing e1 , ..., ek in
C1 by amplifications D1 , ..., Dk of e1 , ..., ek respectively, at u.
More concretely
C2 = (C1 \ {e1 , ..., ek })

[

D1 ∪ ... ∪ Dk

We say that C2 is obtained from amplifying C1 along e1 , ..., ek . The output is also a pre-cluster with the
same base.
Let us consider a concrete example.
Example 10.19. Let C1 be a pre-cluster described as
e1 = F τ, F τ1 τ

...

en = F τ, F τn τ

Fix j, k ∈ {1, ..., n}, j 6= k. Let ν1 , ..., νl and ψ1 , ..., ψm be a sorted lists such that
F τj = F ν1 ...νl

F τk = F ψ1 ...ψm

Given this data, we now describe a (n + l + m − 2)-pre-cluster C2 which is an amplification of C1 along
{ej , ek }. This pre-cluster C2 is the following union:
[
[
({e1 , ..., en } \ {ej , ek }) {F τ, F νi τ | 1 ≤ i ≤ l} {F τ, F ψi τ | 1 ≤ i ≤ m}

Note that Definition 10.18 is G-invariant in the same sense as Definition 10.13. Also, this is independent
of the choice of description just as in 10.13. The above discussion combined with an analogue of Lemma
10.15 provides the following.
Lemma 10.20. Let C be a pre-cluster endowed with two different descriptions. Then the set of preclusters obtained from performing amplifying moves using one description is the same as the set of clusters
obtained from performing amplifying moves using the other description.
Proof. This proof is almost verbatum the same as the proof of Lemma 10.15.



Remark 10.21. Let C2 be an amplification of a pre-cluster C1 , and let C3 be an amplification of C2 . Then
C3 can be obtained from a single amplification of C1 .
We now extend the notion of amplification of a 1-cluster to a set of pairwise parallel 1-clusters.
Definition 10.22. (Common amplification for parallel 1-clusters) Let e1 , e2 be parallel 1-clusters. Let
e1 = F τ1 , F ντ1

e2 = F τ2 , F ντ2

be two descriptions satisfying the conditions of Definition 10.1. Let ν1 , ..., νn be a sorted list of special
forms such that F ν = F ν1 ...νn .
Now consider the amplification of e1 , e2 to obtain preclusters C1 , C2 respectively, as:
(1) C1 consists of
F τ1 , F ν1 τ1

F τ1 , F ν2 τ1

...

F τ1 , F νn τ1

F τ2 , F ν1 τ2

F τ2 , F ν2 τ2

...

F τ2 , F νn τ2

(2) C2 consists of
Such an amplification of parallel 1-clusters is said to be a common amplification.
A second variant of this definition is considered for the description e2 = F ντ, F ν −1 (ντ ). First, note that
since F ν = F ν1 ...νn , it follows from applying Lemma 6.22 that F ν −1 = F ν1−1 ...νn−1 . Now consider the
amplification C1 of e1 with base F τ1 as before. The corresponding common amplification of e2 with base
F (ντ2 ) is C2′ which consists of:
F (ντ2 ), F ν1−1 (ντ2 )
Note that C¯2 = C¯2′ .

F (ντ2 ), F ν2−1 (ντ2 )

...

F (ντ2 ), F νn−1 (ντ2 )

A NONAMENABLE TYPE F∞ GROUP

49

Remark 10.23. Note that in the above definition, for each 1 ≤ i ≤ n, the 1-clusters
F τ1 , F νi τ1

F τ2 , F νi τ2

are parallel. In the second variant of the definition the 1-clusters
F τ1 , F νi τ1

F (ντ2 ), F νi−1 (ντ2 )

are parallel
The above definition can be extended to any finite number of 1-clusters that are pairwise equivalent. This
is done by first finding common descriptions that satisfy the conditions of Definition 10.1, using Lemma
10.3. And then we perform common amplifications as above.
Definition 10.22 has a natural extension to pre-clusters.
Definition 10.24. (Common amplification of pre-clusters along parallel subsets) Let C1 , C2 be preclusters based at u, v respectively. Let E1 ⊆ C1 , E2 ⊆ C2 be sets of 1-clusters such that:
(1) E1 = {e1 , ..., ek } and E2 = {e′1 , ..., e′k }.
(2) ei , e′i are parallel for each 1 ≤ i ≤ k.
Fix an amplification C1 → C1′ along E1 by
e1 → D1

...

ek → Dk

at v.
We define a common amplification C2 → C2′ using the amplifications
e′1 → D1′

...

e′k → Dk′

at u where e′i → Di′ and ei → Di are common amplifications for each 1 ≤ i ≤ k.
We denote such a common amplification as:
C1 → C1′

C2 → C2′

along E1 , E2

Now we define a notion that is in a certain strong sense the opposite of the notion of parallel.
Definition 10.25. A pair of 1-clusters e1 , e2 is said to be disparate if the following holds:
(1) e1 , e2 are not parallel.
(2) Any pair of amplifications
e1 → C1
e2 → C2
satisfy that for each pair e′1 ∈ C1 , e′2 ∈ C2 , e′1 , e′2 are not parallel.
As a simple example of disparate 1-clusters, consider any pair of orthogonal 1-clusters incident to a
common 0-cell. We now demonstrate that being disparate is a property of parallel equivalence classes of
1-clusters.
Lemma 10.26. Given 1-clusters e1 , e2 , e3 such that e1 , e2 are parallel, and e1 , e3 are disparate, it also
holds that e2 , e3 are disparate.
Proof. To see this, observe that if e2 , e3 were not disparate, then we can perform amplifications to obtain
pre-clusters C2 , C3 such that there is a pair e′2 ∈ C2 , e′3 ∈ C3 such that they are parallel. However,
performing the common amplification for e1 , as for e2 , we obtain a pre-cluster C1 with e′1 ∈ C1 which is
parallel to e′2 and hence e′3 . This means that e1 , e3 were not disparate to begin with.

Lemma 10.27. Let e1 , e2 be disparate, and let C be an amplification of e1 . Then for each e3 ∈ C, e2 , e3
are disparate.
Proof. This follows immediately from the definitions.
Lemma 10.28. Let C be a cluster. Any pair of facial 1-cells of C is either parallel or disparate.



50

YASH LODHA

Proof. Let C be a cluster described with base at F τ , and parameters τ1 , ..., τn . Thanks to Lemma 10.5
and Remark 10.26 it suffices to show that any pair of 1-clusters
e1 = F τ, F τi τ

e2 = F τ, F τj τ

is disparate if i 6= j. From Lemma 10.5 we know that they are not parallel. Now if C1 , C2 are preclusters obtained from amplifications of e1 , e2 respectively (performed at the base F τ ), then for each
e ∈ C1 , e′ ∈ C2 the pair e, e′ is orthogonal. It follows again from Lemma 10.5 that e, e′ are not parallel. 
10.4. Weakly balanced systems of pre-clusters.
Definition 10.29. Consider a pair e, u comprising of a 1-cluster e and a 0-cell u. e, u are said to be
disparate if for any e′ incident to u, the 1-clusters e, e′ are disparate. e, u are said to be compatible, if
there is a 1-cluster e′ incident to u such that e, e′ are parallel.
Note that this definition is G-invariant. So if e, u is compatible or disparate, then for each g ∈ G, e · g, u · g
also satisfies the same. This follows from the fact that the definition of parallel and disparate 1-clusters
is G-invariant.
The following elementary observation follows immediately from the definitions and Lemma 10.27.
Lemma 10.30. Let e be a 1-cluster and u be a 0-cell. Then the following holds:
(1) Let e, u be disparate (or compatible) and let e, e′ be parallel 1-clusters. Then e′ , u are disparate
(respectively, compatible).
(2) Let e, u be disparate (or compatible) and let C be a pre-cluster obtained from performing an
amplification of e. Then for each e′ ∈ C, e′ , u are disparate (respectively, compatible).
Definition 10.31. Let C1 , ..., Cn be pre-clusters with bases u1 , ..., un respectively. We say that this is a
weakly balanced system if for any pair
[
e∈
Ci
uj ∈ {u1 , ..., un }
1≤i≤n

e, uj are either disparate or compatible.

Lemma 10.32. Let C1 , ..., Cn be a weakly balanced system with bases u1 , ..., un . Let
C1 , ..., Cn → C1′ , ..., Cn′
be any amplification. Then the system C1′ , ..., Cn′ is also weakly balanced
Proof. Consider a pair e, uj where 1 ≤ j ≤ n and e ∈ Ci′ for some 1 ≤ i ≤ n. Then e is an offspring of a
1-cluster e′ ∈ Ci . Note that e′ , uj are compatible or disparate by our hypothesis. Since both properties
are inherited for the offspring e, thanks to Lemma 10.30, we are done.

Our goal in this subsection is to prove the following Proposition.
Proposition 10.33. (Weakly balancing procedure) Let C1 , ..., Cn be a system of clusters. There is an
amplification
C1 , ..., Cn → C1′ , ..., Cn′
′
′
such that C1 , ..., Cn is a weakly balanced system.
The technical core of the proof of this Proposition is the following Proposition and the more general
corollary.
Proposition 10.34. Let e be a 1-cluster and let u be a 0-cell. Then there is an amplification of e that
produces a pre-cluster C such that the following holds. For each e′ ∈ C, the pair e′ , u is either disparate
or compatible.
Corollary 10.35. Let e be a 1-cluster incident to a 0-cell u and let u1 , ..., un be 0-cells. Then there is
an amplification of e that produces a pre-cluster C such that the following holds. For each e′ ∈ C and
each 1 ≤ i ≤ n, the pair e′ , ui is disparate or compatible.

A NONAMENABLE TYPE F∞ GROUP

51

Before we provide proofs of the above, we study the notions of disparate and compatible for a pair e, u
in depth. Given suitable descriptions of e, we would like to detect whether e, u are disparate, or whether
there is a 1-cluster e′ incident to u such that e, e′ are parallel. To describe such situations we require
certain restrictions on descriptions of e. As a consequence of the G-invariance of Definition 10.29, we can
assume that u is the trivial coset in our arguments below.
Definition 10.36. Let F τ, F ντ be the description of a 1-cluster. We say that such a description is tame,
if τ is a Y -word in standard form with no potential cancellations and ντ is in standard form.
Remark 10.37. It is straightforward to produce tame descriptions for any given 1-cluster. For instance,
choose a normal form representative for the base coset, and choose the parameter to have sufficiently
large depth (by performing expansion moves).
Consider such a tame description F τ, F ντ . We know that τ is a standard form with no potential
cancellations, however ντ is a standard form that may admit potential cancellations. Any such potential
cancellation must occur between a pair of occurrences of y ± , one of which lies in ν and the other in τ .
Lemma 10.38. Let u be the trivial coset F . Suppose that a 1-cluster e admits a tame description F τ, F ντ
that satisfies either one of the following:
(1) ν, τ have disjoint supports.
(2) The restriction of ντ on Supp(ν) equals the restriction of an element of F on Supp(ν).
Then there is a 1-cluster e′ incident to u such that e, e′ are parallel.
Proof. Assume that (1) holds. Let
τ −1 = yst11 ...ystnn
where equality denotes equality as words. We know that
Supp(τ −1 ) ∩ Supp(ν) = ∅
Since the given description of e is tame, τ is a standard form with no potential cancellations. So
Supp(ystii ) ⊂ Supp(τ )
for each 1 ≤ i ≤ n. In particular,
Supp(ystii ) ∩ Supp(ν) = ∅
for each 1 ≤ i ≤ n.
It follows that the 1-clusters
F, F ν
F τ, F ντ
t1
are parallel with the sequence of special forms ys1 , ..., ystnn witnessing the conditions of Definition 10.1.
Now we consider the case when (2) holds. We shall produce another tame description of e which will land
us in case (1). We first convert ντ into a normal form f ψ where f ∈ F and ψ is a Y -word. Recall from
Lemma 3.19 that f ψ does not preserve tail equivalence on f −1 (Supp(ψ)) and preserves tail equivalence
on the complement of this set.
Since ντ = f ψ and since ντ preserves tail equivalence on Supp(ν), it follows that
Supp(ν) ∩ f −1 (Supp(ψ)) = ∅
This means that
f (Supp(ν)) ∩ Supp(ψ) = ∅
Now consider the description of e
F (ντ ), F ν −1 (ντ )
Now let η1 be a special form obtained by performing expansion moves on ν −1 such that for each percolating
element yst of η1 , f acts on s. Let η2 be the special form obtained by replacing each yst in η1 by yft (s) .
Moreover, by further expansions on η1 we may guarantee that η2 has sufficiently large depth so that η2 ψ
is a standard form.

52

YASH LODHA

It follows that
F ν −1 (f ψ) = F η1 (f ψ) = F η2 ψ
So we get a new tame description of our 1-cluster e
F ψ, F η2 ψ
Since
Supp(η2 ) = f (Supp(η1 )) = f (Supp(ν −1 )) = f (Supp(ν))
from the above it follows that
Supp(η2 ) ∩ Supp(ψ) = ∅
Using this new description we land in Case (1) above and therefore conclude that there is a 1-cluster e′
incident to u such that e, e′ are parallel.

Lemma 10.39. Let u be the trivial coset F . Suppose that a 1-cluster e admits a tame description F τ, F ντ
satisfying that:
(1) Supp(ν) ⊆ Supp(τ ).
(2) ντ restricted to Supp(ν) does not preserve tail equivalence on a dense subset of Supp(ν).
Then e, u are disparate.
Proof. Thanks to Lemma 10.17 it suffices to consider amplifications of e with a preferred choice of base,
which will be F τ . Now assume by way of contradiction that there is an amplification C of e with base
F τ given by
F τ, F ν1 τ
...
F τ, F νn τ
(with F ν = F ν1 ...νn ) so that for some 1 ≤ l ≤ n, the pair
e′ = F τ, F νl τ

u=F

is compatible. We can also assume that νl τ is a standard form (by replacing νl with an equivalent special
form, if necessary).
In other words, there is a 1-cell e′′ incident to F such that e′ , e′′ are parallel. By Lemma 10.3, there is a
description
e′′ = F η, F νl η
for a Y -word η, and a sequence of special forms ψ1 , ..., ψm such that:
(1) ψi , νl have disjoint supports for each 1 ≤ i ≤ m.
(2) (ψ1 ...ψm )τ = η.
Now since the trivial coset F is incident to u, we have two possible cases:
Case (1) F η = F .
Case (2) F νl η = F .
Proof for Case (1): Recall from the above that (ψ1 ...ψm )τ = η. In this case it follows that F (ψ1 ...ψm )τ =
F η = F and so (ψ1 ...ψm )τ ∈ F . Since τ is a Y -word with no potential cancellations, by Lemma 3.19 it
does not preserve tail equivalence on a dense subset of its support. Since Supp(ν) ⊆ Supp(τ ), this implies
that the action of τ on Supp(ν) does not preserve tail equivalence on a dense subset. In particular, the
action of τ on Supp(νl ) ⊂ Supp(ν) does not preserve tail equivalence on a dense subset.
Since ψi , νl have disjoint supports, the action of (ψ1 ...ψm )τ restricted to Supp(νl ) equals that of τ , and
hence does not preserve tail equivalence. So this cannot act as an element of F , and we get a contradiction.
Proof for Case (2): Recall from the above that (ψ1 ...ψm )τ = η and hence
νl η = νl (ψ1 ...ψm )τ = (ψ1 ...ψm )νl τ

A NONAMENABLE TYPE F∞ GROUP

53

This means that
F (ψ1 ...ψm )(νl τ ) = F νl η = F
and so (ψ1 ...ψm )(νl τ ) ∈ F . Since ψi , νl have disjoint supports, the action of (ψ1 ...ψm )(νl τ ) restricted to
Supp(νl ) equals the action of νl τ on Supp(νl ). If we show that the action of νl τ does not preserve tail
equivalence on Supp(νl ) we shall obtain the desired contradiction.
Recall from the above that ντ does not preserve tail equivalence on a dense subset of Supp(ν) and
hence on a dense subset of Supp(νl ). Since (ν1 ...νn ) and ν are equivalent special forms, this means that
(ν1 ...νn )τ does not preserve tail equivalence on a dense subset of Supp(νl ).
Now note that the actions of (ν1 ...νn )τ and νl τ agree on Supp(νl ) since ν1 , ..., νn are independent and
have disjoint supports. Hence νl τ does not preserve tail equivalence on Supp(νl ).

Proof of Proposition 10.34
Proof. Since the notion of parallel 1-clusters is invariant under the G action, we can assume that u is the
trivial coset F for the sake of this proof. We fix a tame description e = F τ, F ντ .
We perform a sequence of expansion moves on percolating elements of ν to obtain an equivalent special
form yst11 ...ystnn such that for each 1 ≤ i ≤ n, either Supp(ystii ) ⊂ Supp(τ ) or Supp(ystii ) ∩ Supp(τ ) = ∅. We
use this data for an amplification of e to obtain the pre-cluster:
e1 = F τ, F yst11 τ

...

en = F τ, F ystnn τ

If Supp(ystii ) ∩ Supp(τ ) = ∅, then by Lemma 10.38 ei , u are compatible.
We claim that for any given 1 ≤ i ≤ n, if Supp(ystii ) ⊂ Supp(τ ), then exactly one of the following holds:
(1) ystii τ does not preserve tail equivalence on a dense subset of Supp(ystii ).
(2) ystii τ acts like an element of F on Supp(ystii ).
It is clear that the above are mutually exclusive. We show that if (2) do not hold then (1) holds.
Since the description of e is tame, we know that τ is a standard form with no potential cancellations, and
that ντ is a standard form. Furthermore, since ystii is an offspring of a percolating element of ν, ystii τ is a
standard form.
For any infinite binary sequence of the form si σ, the associated calculation of ystii τ (after performing
cancellations in the calculation if necessary) has the same exponent. So if ystii τ does not act like F on
Supp(ystii ), then it does not preserve tail equivalence some sequence in this set. It follows that all such
calculations have exponent greater than 0. And hence it does not preserve tail equivalence on a dense
subset of Supp(ystii ) = [si 0∞ , si 1∞ ].
By applications of Lemmas 10.38 and 10.39, we conclude that in case (1) the pair ei , u is disparate and
in case (2) the pair is compatible.

Proof of Corollary 10.35
Proof. We proceed by induction on n. The base case is precisely Proposition 10.34.
Now assume that we have a pre-cluster C from an amplification e → C such that the statement holds for
C and u1 , ..., un−1 . Now apply Proposition 10.34 to each pair e ∈ C, un to obtain amplifications e → Ce
such that for each e′ ∈ Ce the pair e′ , un is disparate or compatible. Note that it is possible that e → Ce
is the trivial amplification and e = Ce .
Now consider
the amplification C → C ′ which is given by replacing each e ∈ C by Ce . In particular,
S
′
C = e∈C Ce . The pre-cluster C ′ satisfies the desired property. Since iterated amplifications of a
1-cluster can be viewed as a single amplification of the 1-cluster, we are done.


54

YASH LODHA

Proof of Proposition 10.33.
S
Proof. For each 1-cluster e ∈ 1≤i≤n Ci , using Corollary 10.35 we find an amplification e → Ce (at the
same base) such that for each ui and each e′ ∈ Ce , the pair , ui is compatible or disparate. (Note that
this could possibly be the trivial amplification, i.e. it could be that Ce = e.)
Our amplification
Ci → Ci′ is then the amplification obtained by replacing each e ∈ Ci with Ce , i.e.
S

Ci′ = e∈Ci Ce .

10.5. Balanced systems of clusters.

Definition 10.40.
We say that a weakly balanced system C1 , ..., Cn is a balanced system if any pair of
S
1-clusters in 1≤i≤n Ci is either parallel or disparate.

In this subsection we will provide a procedure that takes input a weakly balanced system of pre-clusters
C1 , ..., Cn and produces a balanced system of pre-clusters C1′ , ..., Cn′ such that each Ci′ is obtained by a
sequence of amplifications of Ci . Hence automatically, it follows that C̄i is a subcluster of C̄i′ for each
1 ≤ i ≤ n. Our goal now is to prove the following.
Proposition 10.41. (Balancing procedure) Let C1 , ..., Cn be a weakly balanced system of clusters in X.
We can perform a sequence of amplifications on Ci to obtain pre-clusters Ci′ such that C1′ , ..., Cn′ is a
balanced system.
Balanced systems are not as well behaved as weakly balanced systems. Performing ad hoc amplifications
of a balanced system will in general not produce a balanced system. In particular, the analog of Lemma
10.32 fails. However if we perform an amplification of a balanced system C1 , ..., Cn carefully enough, this
produces another balanced system.
Definition 10.42. (Common amplification for a balanced system) Let C1 , ..., Cn be a balanced system,
and let Ej be a set of 1-clusters in Cj for some 1 ≤ j ≤ n. Fix an amplification
Cj → Cj′

along Ej

We define amplifications
C1 → C1′

...

Cn → Cn′

as follows. For each 1 ≤ i ≤ n, i 6= j, define
Ei = {e ∈ Ci | ∃e′ ∈ Ej such that e, e′ are parallel }
Then Ci → Ci′ is defined as follows.
Let Ei = {e1 , ..., ek } and for each 1 ≤ l ≤ k let e′l ∈ Ej be the 1-cluster such that el , e′l are parallel.
Consider the amplification e′l → Dl′ which is the restriction of Cj → Cj′ to e′l . Let el → Dl be the
corresponding common amplification.
Then we define
Ci′ = (Ci \ {e1 , ..., ek })

[

Dl

1≤l≤k

The resulting amplification is denoted as
C1 , ..., Cn → C1′ , ..., Cn′

along Ej

and is said to be a common amplification for a balanced system.
Lemma 10.43. Let C1′ , ..., Cn′ be a system obtained from a common amplification of a balanced system
C1 , ..., Cn along Ej ⊆ Cj for some 1 ≤ j ≤ n. Then C1′ , ..., Cn′ is a balanced system.

A NONAMENABLE TYPE F∞ GROUP

55

Proof. First observe that by Lemma 10.32, C1′ , ..., Cn′ is weakly balanced. Now we show that it it balanced.
Consider 1-clusters
e′i ∈ Ci′ , e′l ∈ Cl′
for some 1 ≤ i, l ≤ n. Let
be 1-clusters such that

e′i , e′l

ei ∈ Ci , el ∈ Cl
are offsprings of ei , el in the amplifications
Ci → Ci′ , Cl → Cl′

respectively. (Note that it is possible that ei = e′i or el = e′l , in the case when these 1-clusters are
unchanged in the amplification.)
By our hypothesis, ei , el are either parallel or disparate. If they are disparate, then so are e′i , e′l thanks
to Lemma 10.27.
If ei , el are parallel, and e′i = ei and e′l = e′l , then e′l , e′i are parallel. If one of ei , el is amplified in the above
amplification, then there is a parallel 1-cluster ej ∈ Ej such that ei , el , ej are pairwise parallel. Following
Definition 10.42, in this case both ei , el are amplified as parallel 1-clusters in the sense of Definition 10.22.
So the union of their sets of offsprings must satisfy that each pair is parallel or disparate. In particular,
e′i , e′l are either parallel or disparate.

We now prove the balancing lemma which is an important technical step in the proof of Proposition 10.41.
Lemma 10.44. (Balancing Lemma) Let C1 , C2 be pre-clusters with a common base u. The we can
perform amplifications C1 → D1 and C2 → D2 such that D1 , D2 is a balanced system.
Proof. Note that since both clusters share the same base u, the system is trivially weakly balanced.
In this proof we shall use the word offspring for percolating elements obtained from expansion moves on
special forms, as well as elements of pre-clusters obtained from amplifying a pre-cluster. The usage will
be clear from the context.
Let u = F τ . Let C1 comprise of 1-clusters
F τ, F τ1 τ

...

F τ, F τo1 τ

F τ, F ψ1 τ

...

F τ, F ψo2 τ

and let C2 comprise of
Further, let
ψ{1,...,o2} = yuv11 ...yuvm
τ{1,...,o1 } = yst11 ...ystnn
m
where equality denotes equality of words. Note that since τ1 , ..., τo2 are independent and ψ1 , ..., ψo2 are
independent, it follows that s1 , ..., sn and u1 , ..., um are independent, and each ti , vj ∈ {1, −1}.
By the Strong expansion Lemma 6.25, there are words ypq11 ...ypqll and yrw11 ...yrwkk such that:
(1) ypq11 ...ypqll is obtained from yst11 ...ystnn by applying expansion moves as in 6.10.
by applying expansion moves as in 6.10.
(2) yrw11 ...yrwkk is obtained from yuv11 ...yuvm
m
w
w
w
(3) For each pair ypqii , yrjj it holds that either ypqii = yrjj or ypqii , yrjj contains no common offsprings.
Let D1 be given by the amplification of C1 consisting of the 1-clusters
F τ, F ypq11 τ

...

F τ, F ypqll τ

and D2 be the amplification of C2 consisting of the 1-clusters
F τ, F yrw11 τ

...

F τ, F yrwkk τ

It remains to check that the 1-clusters in each pair
F τ, F yrwii τ

F τ, F yrwjj τ

56

YASH LODHA

are either equal (hence parallel) or disparate.
w

If 1-clusters in such a pair are not equal and also not disparate, we claim that yrwii , yrjj have a common
offspring. (To see this, observe that there are amplifications of such a pair of 1-clusters using the descriptions above that have a common offspring in the sense of 10.13. Moreover, the parameters of the two
descriptions of the common offspring are equal.) This contradicts condition (3) above.

For the rest of this subsection, we fix a weakly balanced system C1 , ..., Cn . Thanks to Lemma 10.32 since
performing any amplifications on a weakly balanced system produces a weakly balanced system, we shall
omit the usage of the phrase “weakly balanced” in the remainder of the proof. It shall be evident that
all systems under consideration are weakly balanced.
Our goal will now be to perform amplifications on this system to obtain a balanced system. The proof is
an inductive argument, where the induction is performed on the number n of pre-clusters in the system
C1 , ..., Cn . Note that the base case is trivial, since 1-clusters in a pre-cluster are pairwise disparate, and
hence the system is balanced.
Inductive hypothesis A system of weakly balanced pre-clusters C1 , ..., Cn such that C1 , ..., Cn−1 is
balanced.
Inductive Step The inductive step will be done in n stages. First, declare
(0)

C1

(0)

= C1

C2

= C2

...

Cn(0) = Cn

Stage i, for 1 ≤ i ≤ n involves performing the following:
(i−1)

(i)

(1) An amplification of Cn
to obtain Cn .
(2) A common amplification of the balanced system
(i−1)

C1
(i)

(i−1)

(i)

(i)

, ..., Cn−1 → C1 , ..., Cn−1

(i)

Output at stage i: A system C1 , ..., Cn such that:
(i)

(i)

(1) C1 , ..., Cn−1 is a balanced system.
(i)
(i)
(i)
(2) C1 , ..., Ci , Cn is a balanced system.
(n)

(n)

Output at stage n: A balanced system C1 , ..., Cn .
Stage i
(i−1)

Let E = {e1 , ..., ek } be the set of 1-clusters in Cn
such that for each 1 ≤ j ≤ k, the pair ej , ui is
compatible. For each 1 ≤ j ≤ k, let e′j be a 1-cluster incident to ui such that ej , e′j are parallel. Let D1
(i−1)

be the pre-cluster with base ui that consists of the 1-clusters e′1 , ..., e′k . Note that by definition Cn
forms a balanced system.
(i−1)

Using the balancing Lemma 10.44, there are sets Ei ⊆ Ci
(i−1)

Ci

→ J1

, L ⊆ D1 and amplifications

D1 → J2 along Ei , L

such that J1 , J2 is a balanced system. Let
En = {e ∈ Cn(i−1) | ∃e′ ∈ L such that e, e′ are parallel}
We perform the common amplification
Cn(i−1) → J3
to obtain a balanced system J3 , J2 .
Lemma 10.45. J1 , J3 is a balanced system.

D1 → J2

along En , L

, D1

A NONAMENABLE TYPE F∞ GROUP
(i−1)

Proof. Since Cn

(i−1)

, Ci

57

is weakly balanced, it follows that J1 , J3 is weakly balanced.

Now for any e ∈ J3 , either one of the following holds.
(i−1)

(1) e ∈ Cn
\ En .
(2) e is an offspring of a 1-cluster e′ ∈ En .
Now given any e1 ∈ J2 we claim that e, e1 are parallel or disparate.
(i−1)

If e ∈ Cn
\ En , then e, ui are disparate, and hence e, e1 are disparate. If e is an offspring of a 1-cluster
e′ ∈ En , then there is an e′′ ∈ J2 such that e, e′′ are parallel. Now recall from the above that J2 , J3
is a balanced system. This means that either e′′ = e′ or e′′ , e′ are disparate. As a consequence e, e′ are
parallel or disparate.

Let Ei be as above, and for 1 ≤ j ≤ n − 1, j 6= i let
(i−1)

Ej = {e ∈ Cj

| ∃e′ ∈ Ei such that e, e′ are parallel }

Finally, we perform the common amplification of the system
(i−1)

C1

(i−1)

(i)

(i)

, ..., Cn−1 → C1 , ..., Cn−1

along Ei

in the sense of Definition 10.42. Note that in particular,
(i)

Ci

= J1

We set
Cn(i) = J3
To finish the proof of Proposition 10.41, it suffices to show the following:
Lemma 10.46. The system
(i)

(i)

C1 , ..., Ci , Cn(i)
is balanced.
Proof. The system
(i)

(i)

C1 , ..., Cn−1
is balanced, thanks to Lemma 10.43, since it was obtained from performing a common amplification of a
(i)
(i)
balanced system. Moreover, Ci , Cn is a balanced system thanks to Lemma 10.45 since we have
(i)

Ci

Cn(i) = J3

= J1

Consider a pair
(i)

e2 ∈ Cn(i)
e1 ∈ Cj
for some 1 ≤ j ≤ i − 1. We will show that e1 , e2 are parallel or disparate. This will finish the proof of
the Lemma.
There are two possibilities for e1 :
(i−1)

(a1) e1 ∈ Cj

\ Ej .
(i−1)

(a2) e1 is an offspring of some e′1 ∈ Cj

in the amplification

(i−1)

Cj

(i)

→ Cj

along Ej

There are two possibilities for e2 :
(i−1)

(b1) e2 ∈ Cn
\ En .
(b2) e2 is an offspring of some e′2 ∈ En in the amplification
(i−1)

Ci

(i)

→ Ci

along En

58

YASH LODHA

Case a1, b1 Our claim follows by the hypothesis at the end of Step i − 1 that the system
(i−1)

C1

(i−1)

, ..., Ci−1 , Cn(i−1)

is balanced.
Cases a2, b1 and a2, b2 In both the cases, e′1 ∈ Ej and there is a e3 ∈ Ei such that e′1 , e3 are parallel.
Recall that the amplification
(i−1)

Ci

→ J1 along Ei

D1 → J2 along L

is done using Lemma 10.44. So in particular, there is an e4 ∈ L such that e3 , e4 are neither parallel nor
disparate. It follows that e4 , e′1 are neither parallel, nor disparate.
(i−1)

(i−1)

(i−1)

are
, e′1 ∈ Cj
such that e4 , e′4 are parallel. This means that e′4 ∈ Cn
There is a e′4 ∈ En ⊆ Cn
neither parallel nor disparate. This contradicts the hypothesis at the end of Step i − 1 that the system
(i−1)

C1

(i−1)

, ..., Ci−1 , Cn(i−1)

is balanced.
Case a1, b2 By the hypothesis at the end of Step i − 1, e′2 , e1 are either parallel or disparate. If they are
disparate, so are e1 , e2 . We assume that e′2 , e1 are parallel. Also in this case, it is true that there is a
e3 ∈ L ⊆ D1 such that e′2 , e3 are parallel. In particular, e1 , e3 are parallel.
Following the amplification
(i−1)

Ci

→ J1 along Ei

D1 → J2 along L
(i−1)

such that e3 , e4 are neither parallel
done using Lemma 10.44, we observe that there is an e4 ∈ Ei ⊂ Ci
nor disparate. Since e1 , e3 are parallel, it follows that e1 , e4 are neither parallel nor disparate.
This contradicts the hypothesis that the system
(i−1)

C1

(i−1)

, ..., Cn−1

is balanced.



10.6. Balanced systems and nonpositive curvature. In this subsection we show that given a balanced system C1 , ..., Cn , there is a subcomplex C of X such that the following holds:
S
(1) 1≤i≤n C̄i is a subcomplex of C.
(2) C is homeomorphic to a nonpositively curved cube complex. In this step, we provide an explicit
such structure on C.
The main idea behind this is the following.
Definition 10.47. (Parallel closure) Let C1 , ..., Cn be a balanced system
S of pre-clusters in X. Let E be
the set of 1-clusters in X such that for each e ∈ E, there is an e′ ∈ 1≤i≤n Ci such that e and e′ are
parallel. Denote by C as the union of the following set of clusters in X:
{C is a cluster in X | Each facial 1-subcluster of C is an element of E}
We call C the parallel closure of C1 , ..., Cn .
Proposition 10.48. Let C be the parallel closure of a balanced system C1 , ..., Cn . Then the following
holds:
S
(1) 1≤i≤n C̄i ⊂ C.
(2) C is homeomorphic to a non positively curved cube complex.
Proof. Each facial 1-subcluster of C̄i is parallel to a 1-cluster in Ci . So the first claim follows immediately
from the definition of C.

A NONAMENABLE TYPE F∞ GROUP

59

We shall prove the second claim in two parts. First we demonstrate that C is homeomorphic to a cube
complex, which is locally finite and finite dimensional. Then we shall demonstrate that this is non
positively curved in the sense of Gromov. In the first part, we show that the intersection of each pair of
clusters in C is a facial subcluster of both.
First observe that if e1 and e2 are facial 1-subclusters of clusters C1 and C2 , respectively, in C, then e1 , e2
are parallel or disparate. This follows immediately from the definition of C.
Assume by way of contradiction that there are two clusters D1 , D2 in C such that D1 ∩ D2 is a diagonal
subcluster of D1 .
Now we find descriptions satisfying:
(1) D1 is described with base F τ and parameters ψ1 , ..., ψn .
(2) D2 is described with base F τ and parameters η1 , ..., ηm .
(3) There is a facial 1-subcluster e of D1 ∩ D2 , incident to F τ , which is a diagonal subcluster of D1 .
By (3) above there are sets
X ⊆ {1, ..., n}, |X| > 1

Y ⊆ {1, ..., m}

satisfying:
e = F τ, F ψX τ = F τ, F ηY τ
We claim that each pair of 1-clusters
F τ, F ψi τ

F τ, F ηj τ

is distinct for any i ∈ X, j ∈ Y . By way of contradiction, assume that
e′ = F τ, F ψi τ = F τ, F ηj τ
for some i ∈ X, j ∈ Y . This implies that e′ is a facial 1-subcluster of D1 ∩D2 since it is a facial 1-subcluster
of both D1 and D2 . This contradicts our hypothesis that e is a facial 1-subcluster of the intersection
D1 ∩ D2 since e, e′ cannot be orthogonal. (In particular, they are not disparate.)
Since F ψX = F ηY , and since both ψX , ηY are products of independent special forms, there is a Y -word
yst11 ...ystnn which can be obtained from both ηY , ψX using expansion moves. This means that there are
j ∈ X, k ∈ Y such that we can perform expansion moves on ψj , ηk respectively to obtain special forms
ψj′ , ηk′ satisfying that some ystii occurs in both ψj′ , ηk′ .
It follows that we can perform an amplification of the 1-clusters
e1 = F τ, F ψj τ

e2 = F τ, F ηk τ

to obtain pre-clusters that both contain the 1-cluster F τ, F ystii τ . This means that e1 , e2 are not disparate.
Since they are distinct 1-clusters incident to the same 0-cell, F τ, F ψj τ and F τ, F ηk τ cannot be parallel.
But since they are both facial 1-clusters of clusters in C, they must then be disparate. This is a contradiction. Therefore, our original assumption must be false, and it must be the case that D1 ∩ D2 is a facial
subcluster of both D1 and D2 .
Note that C is naturally homeomorphic to a cube complex. We shall abuse notation and also refer to C
as a cube complex itself. For the rest of the proof, each n-cluster in C is assumed to be replaced by a
regular Euclidean n-cube, facial subclusters are declared as subcubes, and the facial intersections provide
the gluing maps.
We now observe that C is locally finite and finite dimensional. Consider a 0-cell u in C. Let E be the set
of closed 1-cells incident to u in C. S
Each closed 1-cell in E, by definition, corresponds to a 1-cluster in
X which is parallel to a 1-cluster in 1≤i≤n Ci . We abuse notation and also denote this set of 1-clusters
as E.

60

YASH LODHA

Since
S any two 1-clusters in E are incident to the same 0-cell in X, they cannot be parallel. Since the
set 1≤i≤n Ci is finite, the number of 1-clusters incident to u in X that are parallel to a 1-cluster in
S
1≤i≤n Cn is finite. It follows that E is finite.

This observation implies that the cube
P complex C is locally finite, and the largest dimension of a cube in
C is bounded above by the quantity 1≤i≤n |Ci |.

Next, we demonstrate that C is nonpositively curved. It is easy to see that the link of each 0-cell in C
is a simplicial complex. We will show that the link of each 0-cell in C does not contain empty simplices,
and hence is a flag simplicial complex. To see this, let e1 , ..., en be closed 1-cells in C incident to a 0-cell
u with the property that each pair ei , ej are 1-faces of a square incident to u.

The closed 1-cells e1 , ..., en correspond to 1-clusters e′1 , ..., e′n in X with the property that each pair e′i , e′j
are facial 1-subclusters of a 2-cluster. In particular, e′1 , ..., e′n are pairwise orthogonal, and hence by
Lemma 10.10 there is an n-cluster D in X which contains e′1 , ..., e′n as facial 1-subclusters.
S
Each 1-cluster e′1 , ..., e′n is parallel to some 1-cluster in 1≤i≤n Ci , And each facial 1-subcluster of D is
parallel to some e′i . So it follows that D corresponds to a cube D′ in C, so that the 1-faces of D′ incident
to u are precisely e1 , ..., en . Therefore, the link at the vertex u in C contains an n-simplex whose vertices
correspond to e1 , ..., en .

Now we conclude the proof of asphericity.
10.7. Proof of asphericity. Any image of a sphere S n in X under a continuous map is contained in
some finite subcomplex Y . Since X is defined as a union of clusters, Y itself is contained
S in a finite union
of clusters. In particular, we find a finite list of pre-clusters C1 , ..., Cn such that Y ⊂ 1≤i≤n C̄i . Using
Propositions 10.33 and 10.41, we obtain a balanced system C1′ , ..., Cn′ such that
[
[
C̄i ⊆
C̄i′
1≤i≤n

1≤i≤n

Using Proposition 10.48, we conclude that the parallel closure C of C1′ , ..., Cn′ satisfies that:
S
S
(1) Y ⊆ 1≤i≤n C̄i ⊆ 1≤i≤n C̄i′ ⊆ C.
(2) C is homeomorphic to a nonpositively curved cube complex, hence is aspherical.

It follows that the image of the sphere is nullhomotopic in C and hence in X. Therefore, X is apsherical.
11. A question
The following question, suggested to the author by Mikhael Gromov, could provide an interesting direction
for future research.
Question 11.1. Is there a group G satisfying the following?
(1) G is of type F.
(2) G is nonamenable.
(3) G does not contain non abelian free subgroups.
Recall that a group is of type F if it admits a finite Eilenberg-Mclane complex. Examples of such groups
include finitely generated free abelian groups, torsion free hyperbolic groups (including finitely generated
free groups), torsion free subgroups of finite index in finitely generated Coxeter groups, torsion free
subgroups of finite index in arithmetic groups, and torsion free subgroups of finite index in the outer
automorphism group of a finitely generated free group. (See [12] for further details.) None of the above
examples can be sources of such a group.
The group studied in this article is not of type F, since it contains subgroups isomorphic to Z∞ . Interesting
subgroups of the group of piecewise projective homeomorphisms of the real line seem to always contain

A NONAMENABLE TYPE F∞ GROUP

61

Z∞ subgroups, hence may not provide such an example. This includes the case of Thompson’s group
F , for instance. Containing torsion elements is also an obstruction for type F. Hence nonamenable
Burnside groups, torsion Tarski monsters, Golod-Shafarevich groups as well as the finitely presentable
nonamenable group of Olshanskii-Sapir cannot provide a source of such a group.
References
[1] J. Alonso, “Finiteness conditions on Groups and Quasi-isometries.”, Journal of Pure and Applied Algebra 95 (1994)
121-129
[2] S.I. Adyan. The Burnside Problem and Identities in Groups. volume 95 of Ergebnisse der Mathematik und ihrer
Grenzgebiete. Springer, Berlin, 1979.
[3] S.I. Adyan. Random walks on free periodic groups. Izv. Akad. Nauk SSSR Ser. Mat. 46(6):1139–1149, 1982.
[4] J. Belk. Thompson’s group F . Ph.D. Thesis, Cornell University, 2004. arXiv:0708.3609.
[5] M. Bestvina and N. Brady, ‘ Morse theory and finiteness properties of groups Invent Math. 129 (1997) 445-40.
[6] K. Brown. Finiteness properties of groups. J. Pure Appl. Algebra 44 (1987), no. 1-3, 4575.
[7] K.S. Brown, and R. Geoghegan, An infinite-dimensional torsion-free F P∞ group. Invent Math. 77 (1984): 367-382.
[8] M.G. Brin, C.C. Squier. Groups of piecewise linear homeomorphisms of the real line. Invent. Math., 79(3):485–498,
1985.
[9] M.R. Bridson and A. Haefliger. Metric spaces of non-positive curvature Springer-Verlag, Berlin, 1999.
[10] J.W. Cannon, W.J. Floyd, W.R. Parry. Introductory notes on Richard Thompson’s groups. Enseign. Math. (2), 42(34):215–256, 1996.
[11] M.M. Day. Means for the bounded functions and ergodicity of the bounded representations of semi-groups. Trans.
Amer. Math. Soc., 69:276–291, 1950.
[12] R. Geoghegan Topological Methods in Group Theory Graduate Texts in Mathematics (Volume 243, Springer 2008)
[13] Gersten, S. M. Selected problems. Combinatorial group theory and topology (Alta, Utah, 1984), 545–551, Ann. of
Math. Stud., 111, Princeton Univ. Press, Princeton, NJ, 1987.
[14] M. Gromov, Hyperbolic groups. Essays in group theory. Mathematical Sciences Research Institute Publications 8(ed)
S.M. Gersten, Spriger, New York, 1987.
[15] S.V. Ivanov. Embedding free Burnside groups in finitely presented groups. Geometriae dedicata, 111:87–105, 2005.
[16] Y. Lodha, J.T. Moore, A nonamenable finitely presented group of piecewise projective homeomorphisms. Groups,
Geometry and Dynamics. Volume 10, Issue 1, 2016, pp. 177-200
[17] J. Lauri, R Scapellato Topics in Graph Automorphisms and Reconstruction. London Mathematical Society Student
texts 54.
[18] N. Monod. Groups of piecewise projective homeomorphisms. Proc. Natl. Acad. Sci., 110(12):4524–4527, 2013
[19] A.Y. Ol’shanskii. On the question of the existence of an invariant mean on a group. Uspekhi Mat. Nauk, 35(4):199–200,
1980.
[20] A.Y. Ol’shanskii, M.V. Sapir. Non-amenable finitely presented torsion-by-cyclic groups. Publ. Math. Inst. Hautes
Études Sci., 96:43–169, 2003.
[21] J. von Neumann. Zur allgemeinen Theorie des Maßes. Fund. Math., 13:73–116, 1929.
[22] C.T.C. Wall, “Finiteness Conditions for C.W. Complexes”, The Annals of Mathematics, 2nd Ser., Vol 81, No. 1. (Jan.,
1965), 56-69.
[23] M. Zaremsky. HNN decompositions of the Lodha-Moore groups, and topological applications J. Topol. Anal, Vol. 8,
No. 4, 627-653, 2016
Institute of Mathematics, EPFL, SB MATHGEOM EGG, Station 8, MA B3 514, Lausanne, CH-1015, Switzerland
E-mail address: yl763@cornell.edu

