COMMENSURABILITY FOR CERTAIN RIGHT-ANGLED COXETER
GROUPS AND GEOMETRIC AMALGAMS OF FREE GROUPS

arXiv:1610.06245v2 [math.GR] 5 Oct 2017

PALLAVI DANI, EMILY STARK AND ANNE THOMAS

Abstract. We give explicit necessary and sufficient conditions for the abstract commensurability
of certain families of 1-ended, hyperbolic groups, namely right-angled Coxeter groups defined by
generalized Θ-graphs and cycles of generalized Θ-graphs, and geometric amalgams of free groups
whose JSJ graphs are trees of diameter ≤ 4. We also show that if a geometric amalgam of free groups
has JSJ graph a tree, then it is commensurable to a right-angled Coxeter group, and give an example
of a geometric amalgam of free groups which is not quasi-isometric (hence not commensurable)
to any group which is finitely generated by torsion elements. Our proofs involve a new geometric
realization of the right-angled Coxeter groups we consider, such that covers corresponding to torsionfree, finite-index subgroups are surface amalgams.

1. Introduction
Two groups G and H are (abstractly) commensurable if they contain finite-index subgroups
G0 < G and H 0 < H so that G0 and H 0 are abstractly isomorphic. There are related but stronger
notions of commensurability for subgroups of a given group. Commensurability in the sense we
consider is an equivalence relation on abstract groups which implies quasi-isometric equivalence
(for finitely generated groups). In this paper, we give explicit necessary and sufficient conditions
for commensurability within certain families of Coxeter groups and amalgams of free groups.
Let Γ be a finite simplicial graph with vertex set S. The right-angled Coxeter group WΓ with
defining graph Γ has generating set S and relations s2 = 1 for all s ∈ S, and st = ts whenever
s, t ∈ S are adjacent vertices. We assume throughout that WΓ is infinite, or equivalently, that Γ is
not a complete graph. The graph Γ is 3-convex if every path between a pair of vertices of valence
at least three in Γ has at least three edges. For each induced subgraph Λ of Γ, with vertex set A,
the corresponding special subgroup of WΓ is the right-angled Coxeter group WΛ = WA = hAi. See
Section 2.1 for additional terminology for graphs, and Figure 1.1 for some examples of 3-convex
defining graphs.

Γ

Γ0

Γ00

X

X0

Figure 1.1. The graphs Γ, Γ0 , and Γ00 are examples of 3-convex defining graphs, and the
spaces X and X 0 are examples of surface amalgams.

1

Geometric amalgams of free groups were introduced by Lafont in [16]. These are fundamental
groups of spaces called surface amalgams, which, roughly speaking, consist of surfaces with boundary glued together along their boundary curves. See Section 2.3 for details, and Figure 1.1 for some
examples.
We now outline our main results and the ideas of their proofs, including some new constructions
which may be of independent interest, and discuss previous work on related questions. We defer
precise definitions and theorem statements to Section 1.1.
In Theorems 1.8 and 1.12, we give explicit necessary and sufficient conditions for commensurability of right-angled Coxeter groups defined by two families of graphs. Theorem 1.8 classifies those
defined by 3-convex generalized Θ-graphs (see Definition 1.6 and the graph Γ in Figure 1.1), and
Theorem 1.12 classifies those defined by 3-convex cycles of generalized Θ-graphs (see Definition 1.10
and the graphs Γ0 and Γ00 in Figure 1.1). We prove Theorem 1.8 in Section 5, and the necessary
and sufficient conditions of Theorem 1.12 in Sections 6 and 7, respectively. Our commensurability
criteria are families of equations involving the Euler characteristics of certain special subgroups,
and we express these criteria using commensurability of vectors with entries determined by these
Euler characteristics.
In [6], Crisp and Paoluzzi classified up to commensurability the right-angled Coxeter groups
defined by a certain family of three-branch generalized Θ-graphs, and in Remark 1.9 we recover
their result using Theorem 1.8. If Γ is a 3-convex generalized Θ-graph and Γ0 a 3-convex cycle of
generalized Θ-graphs, we can also determine the commensurability of WΓ and WΓ0 , as explained in
Remark 1.14.
The results described in the previous two paragraphs fit into a larger program of classifying
1-ended, hyperbolic right-angled Coxeter groups up to commensurability. Since groups that are
commensurable are quasi-isometric, a step in this program is provided by Dani and Thomas [7],
who considered Bowditch’s JSJ tree [3], a quasi-isometry invariant for 1-ended hyperbolic groups
which are not cocompact Fuchsian. If G is such a group then G acts cocompactly on its Bowditch
JSJ tree TG with edge stabilizers maximal 2-ended subgroups over which G splits. The quotient
graph for the action of G on TG is called the JSJ graph of G, and the induced graph of groups is
the JSJ decomposition for G. In Section 2.2, we recall results from [7] that give an explicit “visual”
construction of the JSJ decomposition for right-angled Coxeter groups WΓ satisfying the following.
Assumption 1.1. The graph Γ has no triangles (WΓ is 2-dimensional); Γ is connected and no
vertex or (closed) edge separates Γ into two or more components (WΓ is 1-ended); Γ has no squares
(WΓ is hyperbolic); Γ is not a cycle of length ≥ 5 (WΓ is not cocompact Fuchsian); and Γ has a
cut pair of vertices {a, b} (WΓ splits over a 2-ended subgroup).
Moreover, Theorem 1.3 of [7] says that Bowditch’s tree is a complete quasi-isometry invariant for
the family of groups satisfying, in addition,
Assumption 1.2. Γ has no induced subgraph which is a subdivided copy of K4 , the complete
graph on four vertices.
We denote by G the family of graphs satisfying Assumptions 1.1 and 1.2. Generalized Θ-graphs
and cycles of generalized Θ-graphs are two infinite families of graphs in G. Thus Theorems 1.8
and 1.12 and Remarks 1.9 and 1.14 provide a finer classification (up to commensurability) within
some quasi-isometry classes determined by graphs in G. In Section 9 we discuss the obstructions
to extending our results to other families of graphs in G.
Our proofs of the necessary conditions in Theorems 1.8 and 1.12 follow the same general strategy
used by Crisp–Paoluzzi [6] and Stark [23] on commensurability of certain geometric amalgams of
2

free groups (discussed further below). Given two groups which are commensurable, the first step
in both these papers is to consider covers corresponding to isomorphic (torsion-free) finite-index
subgroups. In both cases such covers are surface amalgams, and a crucial ingredient is Lafont’s
topological rigidity result from [16], which says that any isomorphism between a pair of geometric
amalgams of free groups is induced by a homeomorphism of the corresponding surface amalgams.
This homeomorphism between the covers is then analyzed to obtain the necessary conditions.
The natural spaces to apply this strategy to in our setting are quotients ΣΓ /G where ΣΓ is
the Davis complex for WΓ , and G is a torsion-free, finite-index subgroup of WΓ . However, Stark
proves in [22] that topological rigidity fails for such quotients, by constructing an example where
G and G0 are isomorphic torsion-free, finite-index subgroups of WΓ , but ΣΓ /G and ΣΓ /G0 are not
homeomorphic. The graph Γ in this example is a 3-convex cycle of generalized Θ-graphs.
In light of the result of [22], in Section 3 we introduce a new geometric realization for right-angled
Coxeter groups WΓ with 3-convex Γ ∈ G, by constructing a piecewise hyperbolic orbicomplex OΓ
with fundamental group WΓ . The orbicomplex OΓ has underlying space obtained by gluing together
right-angled hyperbolic polygons, and each edge of OΓ which is contained in only one such polygon
is a reflection edge. It follows that any cover of OΓ corresponding to a torsion-free, finite-index
subgroup of WΓ is a surface amalgam (tiled by right-angled polygons). Thus we can apply Lafont’s
result to these spaces. With a view to generalizing the commensurability classification, we give the
construction of the orbicomplex OΓ for all 3-convex graphs in G, not just for generalized Θ-graphs
and cycles of generalized Θ-graphs.
Our construction of OΓ makes heavy use of the JSJ decomposition from [7]. We restrict to
3-convex defining graphs in this paper so that the correspondence between Γ and the JSJ decomposition of WΓ is more straightforward than the general case in [7]. A reference for orbifolds is
Kapovich [15]; we view orbicomplexes as complexes of groups, and use the theory of these from
Bridson–Haefliger [4].
The proofs of the necessary conditions in Theorems 1.8 and 1.12 then involve a careful analysis
of the homeomorphic finite covers guaranteed by topological rigidity. For generalized Θ-graphs,
we adapt Stark’s proof in [23] to the setting where the orbicomplexes considered do not have
the same Euler characteristic. The proof of the necessary conditions for cycles of generalized Θgraphs is considerably more difficult. Here, the groups WΓ and WΓ0 are fundamental groups of
orbicomplexes OΓ and OΓ0 with “central” orbifolds A and A0 that have many branching edges
along which other orbifolds are attached (see the lower right of Figure 4.4). A key ingredient in the
proof of Theorem 1.12 is a careful argument to show that the homeomorphism f : X → X 0 between
finite covers π : X → OΓ and π 0 : X 0 → OΓ0 guaranteed by Lafont’s topological rigidity result can
be modified so that either f (π −1 (A)) = π 0−1 (A0 ), or f (π −1 (A)) has no surfaces in common with
π 0−1 (A0 ).
To prove the sufficient conditions in Theorem 1.8 and 1.12, given any pair of groups WΓ and
WΓ0 which satisfy the putative sufficient conditions, we construct finite-sheeted covers of OΓ and
OΓ0 with isomorphic fundamental groups. It follows that WΓ and WΓ0 have isomorphic finite-index
subgroups. In the case of generalized Θ-graphs, these finite-sheeted covers are orbicomplexes whose
construction is an immediate generalization of Crisp and Paoluzzi’s. The finite covers in the case
of cycles of generalized Θ-graphs are homeomorphic surface amalgams, and their construction is
quite delicate.
In order to explain our constructions of surface amalgams covering OΓ , we introduce the notion
of a half-covering of graphs (see Section 4.1). The idea is that if a surface amalgam Y is a finitesheeted cover of another surface amalgam X , or of an orbicomplex OΓ , then the induced map of
JSJ graphs is a half-covering. For the proofs of the sufficient conditions in Theorem 1.12, we first
3

construct the JSJ graphs for the homeomorphic finite-sheeted covers, together with the associated
half-coverings. We then construct suitable surfaces and glue them together along their boundaries,
guided by adjacencies in the JSJ graphs, to obtain a surface amalgam covering OΓ .
One construction in our proof of sufficient conditions for Theorem 1.12 may be of independent
interest. In Section 4, given any orbicomplex OΓ (with Γ ∈ G and Γ being 3-convex), we construct a
particularly nice degree 16 cover X which is a surface amalgam. Hence WΓ has an index 16 subgroup
which is a geometric amalgam of free groups (this result is stated below as Theorem 1.15). Our
construction of X uses tilings of surfaces similar to those in Futer and Thomas [10, Section 6.1].
Given two groups WΓ and WΓ0 which satisfy the sufficient conditions from Theorem 1.12, we first
pass to our degree 16 covers X and X 0 of OΓ and OΓ0 , then construct homeomorphic finite-sheeted
covers of X and X 0 .
Theorem 1.16, proved in Section 8, says that for all geometric amalgams of free groups G, if the
JSJ graph of G is a tree, then G is commensurable to some WΓ (with Γ ∈ G). In Section 8 we also
give an example of a geometric amalgam of free groups which is not quasi-isometric (and hence not
commensurable) to any WΓ , or indeed to any group finitely generated by torsion elements. This
leads to the question:
Question 1.3. Which geometric amalgams of free groups are commensurable to right-angled Coxeter groups (with defining graphs in G)?
The proof of Theorem 1.16 uses the torsion-free degree 16 cover of the orbicomplex OΓ that we
construct in Section 4. We show that any surface amalgam whose JSJ graph is a tree admits a
finite-sheeted cover which “looks like” our torsion-free cover. Then we follow our construction in
Section 4 backwards to obtain an orbicomplex OΓ as a finite quotient, with fundamental group the
right-angled Coxeter group WΓ .
As a corollary to Theorems 1.8, 1.12, and 1.16, we obtain the commensurability classification
of geometric amalgams of free groups whose JSJ graph is a tree with diameter at most 4 (see
Corollary 1.17). This recovers part of Theorem 3.31 of Stark [23], which gives the commensurability
classification of fundamental groups of surface amalgams obtained by identifying two closed surfaces
along an essential simple closed curve in each. We remark that Malone [18] provides a complete
quasi-isometry classification within the class of geometric amalgams of free groups; in particular,
he proves that the isomorphism type of Bowditch’s JSJ tree for such a group is a complete quasiisometry invariant, and supplies an algorithm to compute this tree.
We conclude this part of the introduction by mentioning some earlier work on commensurability
and on the relationship between commensurability and quasi-isometry for groups closely related to
the ones we study. We refer to the surveys by Paoluzzi [21] and Walsh [24] for more comprehensive
accounts. In [14] and [11], the related notion of wide commensurability is studied for Coxeter
groups generated by reflections in the faces of polytopes in n-dimensional real hyperbolic space.
Apart from these two papers and [6], we do not know of any other work on commensurability for
(infinite non-affine) Coxeter groups.
In [5], Crisp investigated commensurability in certain 2-dimensional Artin groups, while Huang
has studied quasi-isometry and commensurability in right-angled Artin groups with finite outer
automorphism groups in [13] and [12]. Huang’s combined results show that within a class of
right-angled Artin groups defined by a few additional conditions on the defining graph, the quasiisometry, commensurability and isomorphism classes are the same. We note that none of the groups
we consider is quasi-isometric to a right-angled Artin group, since the groups we consider are all
1-ended and hyperbolic, and a right-angled Artin group is hyperbolic if and only if it is free.
4

The above results of Huang are in contrast to our settings of right-angled Coxeter groups and
geometric amalgams of free groups: Theorems 1.8, 1.12, and 1.16 above, together with the descriptions of Bowditch’s JSJ tree from [7] and [18], show that each quasi-isometry class containing one
of the groups considered in our theorems contains infinitely many commensurability classes. For
geometric amalgams of free groups, Malone [18] and Stark [23] had both given examples to show
that commensurability and quasi-isometry are different.
1.1. Definitions and statements of results. We now give precise definitions and statements for
our main results.
First, we recall the definition of the Euler characteristic of a Coxeter group in the case we will
need. A reference for the general definition is pp. 309–310 of [8].
Definition 1.4 (Euler characteristic of WΓ ). Let WΓ be a right-angled Coxeter group with defining
graph Γ having vertex set V (Γ) and edge set E(Γ). Assume that Γ is triangle-free. Then the Euler
characteristic of WΓ is the rational number χ(WΓ ) given by:
card V (Γ) card E(Γ)
+
.
2
4
We remark that χ(WΓ ) is equal to the Euler characteristic of the orbicomplex induced by the action
of WΓ on its Davis complex (we will not need this interpretation).
To each group we consider, we associate a collection of vectors involving the Euler characteristics
of certain special subgroups. We will use the following notions concerning commensurability of
vectors.
χ(WΓ ) = 1 −

Definition 1.5 (Commensurability of vectors). Let k, ` ≥ 1. Vectors v ∈ Qk and w ∈ Q` are
commensurable if k = ` and there exist non-zero integers K and L so that Kv = Lw. Given
a nontrivial commensurability class V of vectors in Qk , the minimal integral element of V is the
unique vector v0 ∈ V ∩ Zk so that the entries of v0 have greatest common divisor 1 and the first
nonzero entry of v0 is a positive integer. Then for each v ∈ V, there is a unique rational R = R(v)
so that v = Rv0 .
Our first main result, Theorem 1.8, classifies the commensurability classes among right-angled
Coxeter groups with defining graphs generalized Θ-graphs, defined as follows.
Definition 1.6 (Generalized Θ-graph). For k ≥ 1, let Ψk be the graph with two vertices a and b,
each of valence k, and k edges e1 , . . . , ek connecting a and b. For integers 0 ≤ n1 ≤ · · · ≤ nk , the
generalized Θ-graph Θ(n1 , n2 , . . . , nk ) is obtained by subdividing the edge ei of Ψk into ni + 1 edges
by inserting ni new vertices along ei , for 1 ≤ i ≤ k.
For example, the graph Γ in Figure 1.1 is Θ(2, 2, 3, 4). We write βi for the induced subgraph of
Θ = Θ(n1 , n2 , . . . , nk ) which was obtained by subdividing the edge ei of Ψk , and call βi the ith
branch of Θ. A generalized Θ-graph is 3-convex if and only if ni ≥ 2 for all i, equivalently n1 ≥ 2.
Note that if Θ is 3-convex and has at least 3 branches then Θ satisfies Assumptions 1.1 and 1.2.
To each generalized Θ-graph, we associate the following Euler characteristic vector.
Definition 1.7 (Euler characteristic vector for generalized Θ-graphs). Let WΘ be the right-angled
Coxeter group with defining graph Θ = Θ(n1 , . . . , nk ). The Euler characteristic vector of WΘ is
v = (χ(Wβ1 ), . . . , χ(Wβk )).
Note that, by definition, χ(Wβ1 ) ≥ . . . ≥ χ(Wβk ). For example, if Γ = Θ(2, 2, 3, 4) as in Figure 1.1,
then the Euler characteristic vector of WΓ is v = (− 41 , − 14 , − 12 , − 43 ).
The commensurability classification for the corresponding right-angled Coxeter groups is then
as follows.
5

Theorem 1.8. Let Θ and Θ0 be 3-convex generalized Θ-graphs with at least 3 branches, and let v
and v 0 be the Euler characteristic vectors of the right-angled Coxeter groups WΘ and WΘ0 , respectively. Then WΘ and WΘ0 are abstractly commensurable if and only if v and v 0 are commensurable.
Remark 1.9. We now explain how Theorem 1.8 can be used to classify all right-angled Coxeter
groups defined by generalized Θ-graphs satisfying Assumptions 1.1 (so that the corresponding
groups are 1-ended and hyperbolic), with Θ not required to be 3-convex.
If Θ = Θ(n1 , . . . , nk ) satisfies every condition in Assumptions 1.1, it is easy to check that k ≥ 3,
n1 ≥ 1, and ni ≥ 2 for all i ≥ 2. Theorem 1.8 covers the case n1 ≥ 2, so we just need to discuss
the case n1 = 1.
Let c be the unique vertex of valence 2 on the first branch of Θ. Then we may form the double of Θ
over c, defined by Dc (Θ) = Θ(n2 , n2 , n3 , n3 , . . . , nk , nk ). This is a 3-convex generalized Θ-graph
with 2(k − 1) ≥ 4 branches, obtained from Θ by deleting the open star of c, and then identifying
two copies of the resulting graph along a and b. The group WDc (Θ) is isomorphic to the kernel of
the map WΘ → Z/2Z which sends c to 1 and all other generators to 0. In particular, WDc (Θ) is
commensurable to WΘ . This, together with Theorem 1.8, can be used to extend our classification
result above to all generalized Θ-graphs satisfying Assumptions 1.1. In this way we recover Crisp
and Paoluzzi’s result from [6], as they considered the family of graphs Θ(1, m + 1, n + 1) with
m, n ≥ 1.
Next, in Theorem 1.12 we consider groups WΓ where Γ is a cycle of generalized Θ-graphs, defined
as follows.
Definition 1.10 (Cycle of generalized Θ-graphs). Let N ≥ 3 and let r1 , . . . , rN be positive integers
so that for each i, at most one of ri and ri+1 (mod N ) is equal to 1. Now for 1 ≤ i ≤ N , let Ψri
be the graph from Definition 1.6, with ri edges between ai and bi . Let Ψ be the graph obtained by
identifying bi with ai+1 for all i (mod N ). A cycle of N generalized Θ-graphs is a graph obtained
from Ψ by (possibly) subdividing edges of Ψ.
For example, the graph Γ0 (respectively, Γ00 ) in Figure 1.1 is a cycle of three (respectively, four)
generalized Θ-graphs. If Γ is a cycle of generalized Θ-graphs, we denote by Θi the ith generalized
Θ-graph of Γ, that is, the subdivided copy of Ψri inside Γ, and we say that Θi is nontrivial if ri > 1.
Observe that the condition on the ri guarantees that if Θi is trivial, then Θi−1 and Θi+1 are not,
hence the vertices a1 , . . . , aN have valence at least three in Γ. It follows that a cycle of generalized
Θ-graphs Γ is 3-convex if and only if each edge of Ψ is subdivided into at least three edges, by
inserting at least two vertices.
We now use this notation to define Euler characteristic vectors associated to cycles of generalized
Θ-graphs.
Definition 1.11. [Euler characteristic vectors for cycles of generalized Θ-graphs] Let Γ be a 3convex cycle of N generalized Θ-graphs and let I ⊂ {1, . . . , N } be the set of indices with ri > 1
(so I records the indices i for which Θi is nontrivial).
(1) For each i ∈ I, we define the vector vi ∈ Qri to be the Euler characteristic vector of WΘi
(from Definition 1.7). Thus if Θi has branches βi1 , . . . , βiri , with ri > 1, then
vi = (χ(Wβi1 ), . . . , χ(Wβiri )) =: (χi1 , . . . , χiri ).
(2) If there is some r ≥ 2 so that each nontrivial Θi has exactly r branches, we define another
vector w associated to Γ as follows. Let A be the union of {a1 , . . . , aN } with the vertex sets
of all trivial Θi . Recall from the beginning of this section that WA is the special subgroup
6

of WΓ defined by the subgraph of Γ induced by A. Then w ∈ Qr+1 is the reordering of the
vector
!
X
X
X
χi1 ,
χi2 , . . . ,
χir , χ(WA )
i∈I

i∈I

i∈I

obtained by putting its entries in non-increasing order.
For example, the graph Γ0 in Figure 1.1 has I = {1, 2, 3}, with say v1 = v2 = (− 41 , − 21 ) and
v3 = (− 41 , − 14 , − 21 ). If Γ00 is as in Figure 1.1, then r = 2, we can choose I = {1, 2, 3}, and then
v1 = v2 = (− 14 , − 21 ), v3 = (− 34 , − 32 ), χ(WA ) = − 54 , and w = (− 54 , − 54 , − 52 ).
We can now state the commensurability classification of right-angled Coxeter groups defined by
3-convex cycles of generalized Θ-graphs.
Theorem 1.12. Let Γ and Γ0 be 3-convex cycles of N and N 0 generalized Θ-graphs, respectively
(with N, N 0 ≥ 3). Let ri be the number of branches of the ith generalized Θ-graph Θi in Γ, and
let I be the set of indices with ri > 1. Let {vi | i ∈ I} and w be the vectors from Definition 1.11,
and let WA be the special subgroup from Definition 1.11(2). Here, {vi | i ∈ I} denotes a multiset
of vectors (since the vi may not all be distinct). Let rk0 , Θ0k , I 0 , {vk0 | k ∈ I 0 }, w0 , and WA0 be the
corresponding objects for Γ0 .
The right-angled Coxeter groups W = WΓ and W 0 = WΓ0 are abstractly commensurable if and
only if at least one of (1) or (2) below holds.
(1) (a) The set of commensurability classes of the vectors {vi | i ∈ I} coincides with the set of
commensurability classes of the vectors {vk0 | k ∈ I 0 }; and
(b) given a commensurability class of vectors V, if IV ⊂ I is the set of indices of the vectors
in {vi | i ∈ I} ∩ V, and IV0 ⊂ I 0 is the set of indices of the vectors in {vk0 | k ∈ I 0 } ∩ V,
then




X
X
χ(WΘ0k ) .
χ(WA0 ) · 
χ(WΘi ) = χ(WA ) · 
0
k∈IV

i∈IV

(2) There exists r ≥ 2 such that each nontrivial generalized Θ-graph in Γ and in Γ0 has r
branches, and:
(a) the vectors vi for i ∈ I are contained in a single commensurability class; likewise, the
vectors vk0 for k ∈ I 0 are contained in a single commensurability class; and
(b) the vectors w and w0 are commensurable.
Remark 1.13. For a pair of graphs Γ and Γ0 as in the statement of Theorem 1.12, with WΓ and
WΓ0 abstractly commensurable, it is possible that (1) holds but not (2), that (2) holds but not (1),
or that both (1) and (2) hold. See Figure 1.2 for examples of this.
Remark 1.14. If Γ is a generalized Θ-graph as in the statement of Theorem 1.8, then the result
of doubling Γ along a vertex of valence 2 which is adjacent to a vertex of valence at least 3 is a
cycle of three generalized Θ-graphs, and by doubling again if necessary, we can obtain a 3-convex
cycle of generalized Θ-graphs Γ0 such that the groups WΓ and WΓ0 are commensurable (compare
Remark 1.9). Hence we can determine which groups from Theorems 1.8 and 1.12 are commensurable
to each other.
We then turn our attention to the relationship between right-angled Coxeter groups and geometric amalgams of free groups. We prove the following two theorems. Recall that G is the class
of graphs satisfying Assumptions 1.1 and 1.2.
7

Γ1

Γ01

a

u

u

b

4u

c
v

a0

Γ02

Γ2
2v u

β0

u

v

2u

Γ03

Γ3
2v

u

u 3u

3u

u

Figure 1.2. We illustrate Remark 1.13. Let u = (− 14 , − 14 , − 12 ) and v = (− 14 , − 12 , − 12 ).
By Definition 1.4, the Euler characteristic vectors associated to the nontrivial generalized
Θ-subgraphs of the graphs above are the multiples of u and v depicted. Consider first the
pair Γ1 , Γ01 . Condition (1a) in Theorem 1.12 clearly holds. Now WA = ha, b, ci < WΓ1
satisfies χ(WA ) = − 12 , and WA0 < WΓ01 is the group defined by the branch β 0 together with
the vertex a0 , so χ(WA0 ) = −1. It is easy to check that for the commensurability class
of u, both sides of the equation in (1b) are 2 and for that of v, both sides of the equation
in (1b) are 54 . Thus condition (1) is satisfied for Γ1 , Γ01 . However, since u and v are not
commensurable, (2a) fails for this pair. Now consider the graphs Γ2 , Γ02 . It is clear that
condition (2a) holds, but since u and v are not commensurable, (1a) fails. For this pair,
we have w = (− 21 , −1, −1, −2) and w0 = (− 34 , − 23 , − 32 , −3), so (2b) holds as well. Thus
condition (2) but not condition (1) is satisfied for Γ2 , Γ02 . Finally, we leave it to the reader
to check that both (1) and (2) hold for the pair Γ3 , Γ03 .

Theorem 1.15. If Γ ∈ G and Γ is 3-convex, then WΓ has an index 16 subgroup which is a geometric
amalgam of free groups.
Theorem 1.16. If a geometric amalgam of free groups has JSJ graph which is a tree, then it is
abstractly commensurable to a right-angled Coxeter group (with defining graph in G).
In addition, we show that if the diameter of the JSJ graph of the geometric amalgam of free
groups is at most 4, then the defining graph of the corresponding right-angled Coxeter group
guaranteed by Theorem 1.16 is either a generalized Θ-graph or a cycle of generalized Θ-graphs.
Thus we have the following corollary.
Corollary 1.17. Geometric amalgams of free groups whose JSJ graphs are trees of diameter at
most 4 can be classified up to abstract commensurability.
Acknowledgements. We thank the Forschungsinstitut für Mathematik at ETH Zürich, for hosting Thomas in Spring Semester 2016 and supporting a visit by Dani in June 2016, during which
part of this research was carried out. This research was also supported by the National Science
Foundation under Grant No. DMS-1440140 while Dani and Thomas were in residence at the Mathematical Sciences Research Institute (MSRI) in Berkeley, California during the Fall 2016 semester.
We also thank MSRI for supporting a visit by Stark in Fall 2016. Dani was partially supported by
NSF Grant No. DMS-1207868 and this work was supported by a grant from the Simons Foundation
(#426932, Pallavi Dani). Thomas was partially supported by an Australian Postdoctoral Fellowship
and this research was supported in part by Australian Research Council Grant No. DP110100440.
Finally, we thank the anonymous referee for careful and swift reading, which included spotting a
mistake in the proof of Theorem 1.16 in an earlier version, and numerous other helpful suggestions.
2. Preliminaries
We recall relevant graph theory in Section 2.1. Section 2.2 states the results on JSJ decompositions from [7] that we will need, and establishes some technical lemmas. In Section 2.3 we
recall from [16] the definitions of geometric amalgams of free groups and surface amalgams, and
8

state Lafont’s topological rigidity result. Section 2.4 contains some well-known results on coverings of surfaces with boundary, and Section 2.5 recalls the definition of Euler characteristic for
orbicomplexes.
2.1. Graph theory. In this paper, we work with several different kinds of graphs. We now recall
some graph-theoretic terminology and establish notation.
We will mostly consider unoriented graphs, and so refer to these as just graphs. As in [1],
a graph Λ consists of a vertex set V (Λ), an edge set E(Λ), and a map  : E(Λ) → V (Λ)2 /C2
from the edge set to the set of unordered pairs of elements of V (Λ). For an edge e, we write
(e) = [x, y] = [y, x], where x, y ∈ V (Λ). An edge e is a loop if (e) = [x, x] for some x ∈ V (Λ).
If (e) = [x, y] we say that e is incident to x and y, and when x 6= y, that x and y are adjacent
vertices. The valence of a vertex x is the number of edges incident to x, counting 2 for each loop e
with (e) = [x, x]. A vertex is essential if it has valence at least 3.
Identifying Λ with its realization as a 1-dimensional cell complex, a cut pair in Λ is a pair of
vertices {x, y} so that Λ \ {x, y} has at least two components, where a component by definition
contains at least one vertex. A cut pair {x, y} is essential if x and y are both essential vertices.
A reduced path in Λ is a path which does not self-intersect. A branch of Λ is a subgraph of Λ
consisting of a (closed) reduced path between a pair of essential vertices, which does not contain
any essential vertices in its interior.
A graph Λ is bipartite if V (Λ) is the disjoint union of two nonempty subsets V1 (Λ) and V2 (Λ),
such that every edge of Λ is incident to exactly one element of V1 (Λ) and exactly one element of
V2 (Λ). In this case, we sometimes refer to the vertices in V1 (Λ) as the Type 1 vertices and those in
V2 (Λ) as the Type 2 vertices.
An oriented graph Λ consists of a vertex set V (Λ), an edge set E(Λ), and maps i : E(Λ) → V (Λ)
and t : E(Λ) → V (Λ). For each edge e ∈ E(Λ), we refer to i(e) as the initial vertex of e and t(e)
as the terminal vertex of e. Other definitions are similar to the unoriented case.
Throughout this paper, we reserve the notation Γ and Γ0 for defining graphs of right-angled
Coxeter groups, and we assume throughout that Γ and Γ0 are finite, simplicial graphs in G, that is,
they satisfy Assumptions 1.1 and 1.2. (A graph Γ is simplicial if it has no loops and the map  is
injective, that is, Γ does not have any multiple edges.)
2.2. JSJ decomposition of right-angled Coxeter groups. In this section we recall the results
we will need from [7]. We also establish some technical lemmas needed for our constructions in
Section 3, which use similar arguments to those in [7].
2.2.1. JSJ decomposition. Let W = WΓ . The main result of [7] gives an explicit description of the
W -orbits in Bowditch’s JSJ tree T = TWΓ and the stabilizers for this action. From this, we can
obtain an explicit description of the canonical graph of groups induced by the action of W on T .
Recall from the introduction that the quotient graph Λ = W \T is the JSJ graph of W and the
canonical graph of groups over Λ is the JSJ decomposition of W . The JSJ graph Λ is in fact a
tree, since W is not an HNN extension (like any Coxeter group, W is generated by torsion elements
hence does not surject to Z). The next result follows from Theorem 3.36 of [7], and is illustrated
by the examples in Figure 2.1.
Corollary 2.1. Let Γ be a finite, simplicial graph satisfying Assumptions 1.1 and 1.2, so that Γ is
3-convex. The JSJ decomposition for W = WΓ is as follows:
(1) For each pair of essential vertices {a, b} of Γ such that Γ \ {a, b} has k ≥ 3 components, the
JSJ graph Λ has a vertex of valence k, with local group ha, bi.
(2) For each set A of vertices of Γ satisfying the following conditions:
9

a
s1

Γ=
s2

ha, b, si i

v1
t1 u1
u2
t 2 u3

a1

v2
v3
v4

b

ha, b, ui i

Γ0

ha, bi
ha, b, ti i

a2

a6
= a
5

hai i
a4

ha, b, vi i

ha1 , a2 i

ha2 , a3 i
a3

Figure 2.1. Examples of JSJ decompositions given by Corollary 2.1. From left to right,

we have a defining graph Γ, the JSJ decomposition of WΓ , a defining graph Γ0 , and the
JSJ decomposition of WΓ0 . In the JSJ decompositions, the Type 1 vertices are white, all
unlabelled Type 2 vertex groups are the special subgroups corresponding to the branches
indicated by color, and all edge groups are equal to the groups on the adjacent Type 1
vertices.

(α1 ) elements of A pairwise separate the geometric realization |Γ| of Γ, that is, given a, b ∈ A
with a 6= b, the space |Γ| \ {a, b} has at least two components;
(α2 ) the set A is maximal among all sets satisfying (α1 ); and
(α3 ) hAi is infinite but not 2-ended;
the JSJ graph Λ has a vertex of valence ` where ` ≥ 1 is the number of distinct pairs of
essential vertices in A which are as in (1). The local group at this vertex is hAi.
(3) Every edge of Λ connects some vertex as in (1) above to some vertex as in (2) above.
Moreover, a vertex v1 as in (1) and a vertex v2 as in (2) are adjacent if and only if their
local groups intersect, with this intersection necessarily ha, bi where {a, b} are as in (1).
There will then be an edge with local group ha, bi between these vertices. All maps from edge
groups to vertex groups are inclusions.
For i = 1, 2, we refer to the vertices of the JSJ graph Λ as in part (i) of Corollary 2.1 as the
Type i vertices, and denote these by Vi (Λ). The JSJ graph Λ is a bipartite graph, with vertex set
V (Λ) = V1 (Λ) t V2 (Λ).
2.2.2. Technical lemmas. We will use in Section 3 the following technical lemmas related to the
JSJ decomposition, where Γ is as in the statement of Corollary 2.1.
Lemma 2.2. Suppose a Type 2 vertex in the JSJ decomposition of WΓ has stabilizer hAi. Let
L = LA be the number of essential vertices in A. Then L ≥ 2, and L = 2 if and only if A is equal
to the set of vertices of a branch of Γ (including its end vertices).
Proof. The fact that L ≥ 2 follows from the vertex v having valence ` ≥ 1, and the description
given in Corollary 2.1 of the vertices adjacent to v.
If A equals the set of vertices of a branch of Γ, then it is clear that L = 2. Conversely, if L = 2
let the two essential vertices of A be a and b. Since hAi is not 2-ended by (α3 ), the set A must also
contain a non-essential vertex, say a0 . Let β be the branch of Γ containing a0 . Using Lemma 3.20
of [7], we obtain that A contains all vertices of β, including its end vertices. Since L = 2, these
end vertices must be a and b. If A contains a vertex c of Γ which is not in the branch β, then
since L = 2, the vertex c must be non-essential and lie on another branch, say β 0 , between a and b.
Now the graph Γ is not a cycle, so the pair {a0 , c} cannot separate |Γ|. This contradicts (α1 ). So
if L = 2, the set A is equal to the set of vertices of a branch β in Γ.

Lemma 2.3. Suppose a Type 2 vertex in the JSJ decomposition of WΓ has stabilizer hAi. Assume A
contains the set of vertices of a branch β of Γ, including its end vertices b and b0 . Let k be the
10

number of components of Γ \ {b, b0 }. Then k ≥ 2, and k ≥ 3 if and only if A equals the set of
vertices of β.
Proof. First observe that k ≥ 2 since the branch β is not all of Γ. Now assume k ≥ 3, and let
Λ1 , . . . , Λk be the components of Γ \ {b, b0 }, with Λ1 = β \ {b, b0 }. Suppose A contains a vertex a
which is not on β. Without loss of generality, a ∈ Λ2 . Let c be an interior vertex of β. We will
show that Γ \ {a, c} is connected, hence the (non-adjacent) pair {a, c} does not separate |Γ|. This
contradicts condition (α1 ) for A.
Define Λ to be the induced subgraph of Γ which is the union of b, b0 , and the graphs Λi for
3 ≤ i ≤ k. Since k ≥ 3, the graph Λ is connected, and since c ∈ Λ1 and a ∈ Λ2 , we have
that Λ is contained in one component of Γ \ {a, c}. It now suffices to show that for any vertex
d ∈ Λ1 ∪ Λ2 with d 6∈ {a, c}, there is a path in Γ from d to either b or b0 which misses both a and c.
If d ∈ Λ1 \ {a, c} = Λ1 \ {c}, then d is an interior vertex of the branch β and the result is clear.
If d ∈ Λ2 \ {a, c} = Λ2 \ {a}, consider the induced graph Λ2 with vertices b, b0 , and the vertex set
of Λ2 . We claim that d must be in a component of Λ2 \ {a} containing either b or b0 , hence there
is a path in Λ2 from d to either b or b0 which misses a (and also c), and we are done.
Suppose for a contradiction that d is in a component of Λ2 \ {a} containing neither b nor b0 . By
Assumption 1.1, the graph Γ has no separating vertices, so there is a reduced path η in Γ from d
to say b which does not pass through a. Without loss of generality, we may assume that η does
not pass through b0 . Then the entire path η is contained in a component of Λ2 \ {a}. So in fact d
is in a component of Λ2 \ {a} containing b, and the claim holds. Thus Γ \ {a, c} is connected. We
conclude that if k ≥ 3, the set A equals the vertex set of β.
Now suppose that A equals the vertex set of β, and let ` be valence of the vertex of the JSJ
graph which has stabilizer hAi. Then by (2) of Corollary 2.1, we have that ` ≥ 1 and that A must
contain at least one pair of vertices as in (1) of Corollary 2.1. Since A equals the vertex set of the
branch β, the set A contains at most one pair of vertices as in (1) of Corollary 2.1, namely the pair
{b, b0 }. By the description given in (1) of Corollary 2.1, it follows that k ≥ 3.

Lemma 2.4. Suppose a Type 2 vertex in the JSJ decomposition of WΓ has stabilizer hAi.
(1) The set A has a well-defined cyclic ordering a1 , . . . , an .
(2) Assume A contains L ≥ 3 essential vertices, and let ai1 , . . . , aiL be the essential vertices of
A in the induced cyclic ordering. For 1 ≤ j ≤ L let kj be the number of components of
Γ \ {aij , aij+1 }.
(a) For all 1 ≤ j ≤ L, kj ≥ 2, hence {aij , aij+1 } is an essential cut pair.
(b) For each 1 ≤ j ≤ L, there is at least one branch β of Γ between aij and aij+1 .
(c) Suppose a ∈ A is a non-essential vertex, lying between aij and aij+1 in the cyclic
ordering. Then kj = 2, there is a unique branch β = βj of Γ between aij and aij+1 , all
vertices of β are contained in A, and β contains the vertex a.
(d) If there are no non-essential vertices of A lying between aij and aij+1 in the cyclic
ordering on A, then kj ≥ 3.
(e) Suppose a, b ∈ A are such that ha, bi is the stabilizer of a Type 1 vertex in the JSJ
decomposition of WΓ . Then a and b are adjacent in the cyclic ordering on A.
Proof. Part (1) is Lemma 3.14(1) of [7].
For (2)(a), we have kj ≥ 2 for all j by (α1 ) in Corollary 2.1 and the graph Γ being 3-convex.
For (2)(b), let σ be an induced cycle in Γ containing all vertices of A, as guaranteed by
Lemma 3.12 of [7]. Then since aij and aij+1 are adjacent essential vertices in the cyclic ordering on A, there is an arc of σ \ {aij , aij+1 } which contains no essential vertices of A. To see that
there is a branch β between aij and aij+1 , it suffices to show that this arc contains no essential
11

vertices of Γ. Assume there is an essential vertex b of Γ which lies on σ between aij and aij+1 .
Then it is not hard to see that either every reduced path from aij to aij+1 in the component of
Γ \ {aij , aij+1 } containing b passes through b, or Γ contains a subdivided K4 subgraph. In the first
case, by the maximality condition (α2 ) of Corollary 2.1, the vertex b is in A, which is a contradiction. The second case contradicts Assumption 1.2. Hence there is at least one branch β of Γ
between aij and aij+1 .
To prove (2)(c), let a be a non-essential vertex of A lying between aij and aij+1 in the cyclic
ordering, and let β be the branch of Γ containing a. (Note that every non-essential vertex of Γ lies
on a unique branch of Γ.) Then all vertices of β are in A, by Lemma 3.20 of [7]. Since the cyclic
ordering on A is well-defined, and β contains a, it follows that the branch β has endpoints aij and
aij+1 . Now as L ≥ 3, the set A is not equal to the vertex set of β. Thus by Lemma 2.3 we get that
kj = 2. So there is at most one branch of Γ between aij and aij+1 . Hence β = βj is the unique
branch of Γ between aij and aij+1 . We have proved all claims in (2)(c).
For (2)(d), since there are no non-essential vertices of A lying between aij and aij+1 in the cyclic
ordering on A, without loss of generality aij = a1 and aij+1 = a2 , and Γ \ {a1 , a2 } has kj = k ≥ 2
components. By (2)(b), there is a branch β of Γ between a1 and a2 . Assume k = 2. We will obtain
a contradiction by showing that every interior vertex of β is in A. Let b be an interior vertex of β.
First notice that the pairs {a1 , b} and {a2 , b} both separate |Γ|, and that if b0 is any other interior
vertex of β then {b, b0 } also separates |Γ|. Now since k = 2, for every a ∈ A which is not in β, the
pair {a, b} separates |Γ| if and only if both {a, a1 } and {a, a2 } separates |Γ|. There is at least one
such a since L ≥ 3. It follows that for all a ∈ A and for all vertices b in the interior of β, the pair
{a, b} separates |Γ|. Hence by the maximality condition (α2 ), every interior vertex of β is in A.
This contradicts a1 and a2 being adjacent in the cyclic ordering on A, so kj ≥ 3 as required.
To prove (2)(e), we have by Corollary 2.1 that Γ \ {a, b} has k ≥ 3 components. Let σ be an
induced cycle in Γ containing all vertices of A, as guaranteed by Lemma 3.12 of [7], and suppose
a and b are not consecutive in the cyclic ordering on A. Then there are vertices c, d ∈ A so that
one of the arcs of σ from a to b contains c and the other arc contains d. Since k ≥ 3, there is also
a reduced path from a to b which misses both c and d. But this contradicts Lemma 3.14(2) of [7].
Hence a and b are consecutive in the cyclic ordering on A, as required.

Lemma 2.5. If a Type 2 vertex in the JSJ decomposition of WΓ has stabilizer hAi, then the set A
is not equal to the vertex set of an induced cycle in Γ.
Proof. If A is equal to the vertex set of an induced cycle in Γ, then the group hAi is cocompact
Fuchsian, which contradicts the characterization of stabilizers of Type 2 vertices in [3].

Remark 2.6. Suppose Λ is the JSJ graph of a right-angled Coxeter group WΓ as in the statement
of Corollary 2.1. Then Λ is a finite tree (containing at least one edge). By Corollary 2.1(1), all
Type 1 vertices of Λ have valence ≥ 3. Hence all valence one vertices of Λ are of Type 2, so Λ has
even diameter. Using Corollary 2.1 and the above technical lemmas, it is not hard to check that Λ
has diameter 2 if and only if Γ is a generalized Θ-graph, and that Λ has diameter 4 if and only if Γ
is a cycle of generalized Θ-graphs (with Γ being 3-convex and satisfying Assumptions 1.1 and 1.2
in both cases).
2.3. Surface amalgams and topological rigidity. We now recall some definitions and a topological rigidity result from Lafont [16].
Definition 2.7 (Surface amalgams and geometric amalgams of free groups). Consider a graph of
spaces over an oriented graph Λ with the following properties.
12

(1) The underlying graph Λ is bipartite with vertex set V (Λ) = V1 t V2 and edge set E(Λ) such
that each edge e ∈ E(Λ) has i(e) ∈ V1 and t(e) ∈ V2 .
(2) The vertex space Cx associated to a vertex x ∈ V1 is a copy of the circle S 1 . The vertex space
Sy associated to a vertex y ∈ V2 is a connected surface with negative Euler characteristic
and nontrivial boundary.
(3) Given an edge e ∈ E(Λ), the edge space Be is a copy of S 1 . The map φe,i(e) : Be → Ci(e) is
a homeomorphism, and the map φe,t(e) : Be → St(e) is a homeomorphism onto a boundary
component of St(e) .
(4) Each vertex x ∈ V1 has valence at least 3. Given any vertex y ∈ V2 , for each boundary
component B of Sy , there exists an edge e with t(e) = y, such that the associated edge map
identifies Be with B. The valence of y is the number of boundary components of Sy .
A surface amalgam X = X (Λ) is the space


G
G
G
Be  .
X =
Cx t
Sy t
x∈V1

y∈V2

e∈E(Λ)

∼

where for each e ∈ E(Λ) and each b ∈ Be , we have b ∼ φe,i(e) (b) and b ∼ φe,t(e) (b). If X is a surface
amalgam, the surfaces in X are the surfaces Sy for y ∈ V2 (Λ). The fundamental group of a surface
amalgam is a geometric amalgam of free groups.
Note that in [16], surface amalgams are called simple, thick, 2-dimensional hyperbolic P -manifolds.
For an oriented graph Λ as in Definition 2.7, we may by abuse of notation write Λ for the
unoriented graph with the same vertex and edge sets and  : E(Λ) → V (Λ)/C2 given by (e) =
[i(e), t(e)]. We note that:
Remark 2.8. If X = X (Λ) is a surface amalgam, then the JSJ graph of the geometric amalgam
of free groups π1 (X ) is the (unoriented) graph Λ. For details, see [18, Section 4.1].
We will use the following topological rigidity result of Lafont.
Theorem 2.9. [16, Theorem 1.2] Let X and X 0 be surface amalgams. Then any isomorphism
φ : π1 (X ) → π1 (X 0 ) is induced by a homeomorphism f : X → X 0 .
2.4. Coverings of surfaces. We now recall some results on coverings of surfaces.
We write Sg,b for the connected, oriented surface of genus g with b boundary components. This
surface has Euler characteristic χ(Sg,b ) = 2 − 2g − b. The next lemma allows us to obtain positive
genus covers of any Sg,b with negative Euler characteristic.
Lemma 2.10. Suppose χ(Sg,b ) < 0. Then Sg,b has a connected 3-fold covering Sg0 ,b , where g 0 =
3g + b − 2 and so g 0 > 0.
Proof. By Proposition 5.2 of Edmonds, Kulkarni, and Stong [9], it is enough to check that χ(Sg0 ,b ) =
3χ(Sg,b ). This is an easy calculation. Alternatively, as the referee suggested to us, one may explicitly
construct a degree 3 covering map from S1,3 to S0,3 , and then use a pants decomposition to deduce
the result for other surfaces. To construct such a map, note that a regular hexagon H with opposite
sides attached forms a torus, and the vertices of H project to two points on the torus. Obtain S1,3
by removing open balls around these two points as well as around the center of H. Then the order 3
rotation of H induces an isometry of S1,3 and the corresponding quotient is S0,3 .

We have the following easy corollary.
13

Corollary 2.11. If X = X (Λ) is a surface amalgam, then X has a degree 3 cover X 0 which is a
surface amalgam whose underlying graph is also Λ, so that each surface in X 0 has positive genus.

We will make repeated use of the following lemma concerning coverings of positive genus surfaces
with boundary, from Neumann [19]. As discussed in [19], the result appears to be well-known.
Lemma 2.12. [19, Lemma 3.2] Let S = Sg,b where g > 0 and b > 0. Let D be a positive integer.
Suppose that for each boundary component of S, a collection of degrees summing to D is specified.
Then S has a connected D-fold covering S 0 with b0 ≥ b boundary components and these specified
degrees on the collection of boundary components of S 0 lying over each boundary component of S if
and only if b0 has the same parity as D · χ(S).
2.5. Euler characteristic for orbicomplexes. We now recall the definition of orbicomplex Euler
characteristic, in the special case that we will need.
All of the orbicomplexes that we construct will be 2-dimensional and have (possibly disconnected)
underlying spaces obtained by gluing together some collection of right-angled hyperbolic polygons.
When the underlying space is a single polygon, the orbifold will be a reflection polygon. We
will then identify certain of these reflection polygons along non-reflection edges to obtain other
orbicomplexes. The local groups are as follows. All edge groups will be either trivial or C2 ,
corresponding to non-reflection and reflection edges, respectively. All vertex groups will be the
direct product of the adjacent edge groups, and will be either C2 or C2 × C2 .
If O is such an orbicomplex, write F for the number of faces (i.e. polygons) in O, E1 (respectively, E2 ) for the number of edges in O with trivial (respectively, C2 ) local groups, and V2
(respectively, V4 ) for the number of vertices in O with C2 (respectively, C2 ×C2 ) local groups. Then

 

E2
V2 V4
χ(O) = F − E1 +
+
+
.
2
2
4
The fundamental groups of the connected orbicomplexes that we construct will be right-angled
Coxeter groups with triangle-free defining graphs, such that if WΓ = π1 (O) then the Euler characteristic of WΓ from Definition 1.4 is equal to χ(O).
3. Orbicomplex construction
From now on, Γ is a finite, simplicial, 3-convex graph satisfying Assumptions 1.1 and 1.2. In
this section we construct a piecewise-hyperbolic orbicomplex OΓ with fundamental group WΓ , such
that covers of OΓ corresponding to torsion-free, finite-index subgroups of WΓ are surface amalgams.
The bottom right of Figure 4.3 gives an example of the orbicomplex OΓ when Γ is a generalized
Θ-graph, and Figure 4.4 contains an example of OΓ when Γ is a cycle of generalized Θ-graphs.
We begin by constructing hyperbolic orbifolds in Sections 3.1 and 3.2 which have fundamental
groups the stabilizers of Type 2 vertices in the JSJ decomposition of WΓ (see Corollary 2.1). The
underlying spaces of these orbifolds are right-angled hyperbolic polygons. We then in Section 3.3
glue these orbifolds together along their non-reflection edges to obtain OΓ . Some features of the
orbifolds constructed in this section are summarized in the first two columns of Table 1 at the end
of Section 4.
3.1. Branch orbifolds. For each branch β in Γ, we construct an orbifold Pβ with fundamental
group the special subgroup Wβ . We call Pβ a branch orbifold. We will also assign types to some of
the edges and vertices of Pβ , which will later be used to glue Pβ to other orbifolds.
14

Let β be a branch with n = nβ vertices (including its endpoints). Since Γ is 3-convex, we have
n ≥ 4. Let P = Pβ be a right-angled hyperbolic p-gon where p = n + 1 ≥ 5. We construct P to
have one edge of length 1.
Now we construct the orbifold Pβ over P . The distinguished edge of P with length 1 is a nonreflection edge of Pβ . The other n = p − 1 edges of P are reflection edges of Pβ , with local groups
hb1 i, . . . , hbn i in that order, where b1 , . . . , bn are the vertices in β going in order along the branch.
For the vertex groups of Pβ , the endpoints of the unique non-reflection edge of Pβ have groups hb1 i
and hbn i, so that for i = 1 and i = n the vertex group hbi i is adjacent to the edge group hbi i. The
other n − 1 = p − 2 vertex groups of Pβ are hbi , bi+1 i ∼
= C2 × C2 for 1 ≤ i < n, with hbi , bi+1 i the
local group at the vertex of Pβ whose adjacent edges have local groups hbi i and hbi+1 i.
4−p
An easy calculation shows that the Euler characteristic of Pβ is χ(Pβ ) = 3−n
4 = 4 = χ(Wβ ).
In fact, we have:
Lemma 3.1. The fundamental group of Pβ is Wβ .
Proof. We regard Pβ as a simple polygon of groups over the underlying polygon P , with trivial face
group, trivial group on the non-reflection edge, and the other edge and vertex groups as described
above (see [4, Example 12.17(6)] for the general definition of a simple polygon of groups). Notice
that each vertex group is generated by its adjacent edge groups. Since the face group is trivial, it
follows that the fundamental group of Pβ is generated by its edge groups, subject to the relations
imposed within its vertex groups (compare [4, Definition 12.12]). Hence by construction, π1 (Pβ )
is generated by the vertices of the branch β, which are b1 , . . . , bn going in order along the branch,
with relations b2i = 1 for 1 ≤ i ≤ n, and [bi , bi+1 ] = 1 for 1 ≤ i < n. That is, π1 (Pβ ) is the special
subgroup Wβ generated by the vertex set of β.
Alternatively, as suggested to us by the referee, consider the hyperbolic orbifold whose underlying
space is S0,1 , the sphere with one boundary component, with n−1 = p−2 ≥ 3 cone points of order 2.
Its fundamental group is the free product of n − 1 copies of C2 . Then Pβ is obtained by quotienting
this orbifold by a reflection in a properly embedded segment containing all the cone points. An
easy computation shows that the orbifold fundamental group of Pβ is Wβ , as desired.

We assign the non-reflection edge of Pβ to have type {b1 , bn }. Note that since b1 and bn are the
end vertices of a branch in Γ, the pair {b1 , bn } is an essential cut pair in Γ. For i = 1 and i = n,
we assign type {bi } to the vertex of Pβ which has group hbi i.
3.2. Essential vertex orbifolds and non-branch orbifolds. Now let A be a subset of vertices
of Γ so that WA = hAi is the stabilizer of a Type 2 vertex in the JSJ decomposition, and let L
be the number of essential vertices of A. Recall from Lemma 2.2 that L ≥ 2. In this section, we
assume that L ≥ 3 and construct two hyperbolic orbifolds, QA and A.
By Lemma 2.2, since L ≥ 3 the set A is not equal to the set of vertices of a branch of Γ. However
the set A may still contain the vertex sets of branches. The orbifold A will be constructed in two
stages: we first construct the orbifold QA over a 2L-gon, and then obtain A by gluing on the branch
orbifold Pβ for each branch β whose vertex set is contained in A. The fundamental group of QA
will be the special subgroup generated by the essential vertices in A, and A will have fundamental
group WA . We refer to QA as an essential vertex orbifold and to A as a non-branch orbifold.
We now construct QA . Let Q = QA be a right-angled hyperbolic 2L-gon (L ≥ 3). Using the
following lemma, we can specify that alternate edges of Q have length 1.
Lemma 3.2. Given L ≥ 3, there exists a right-angled hyperbolic 2L-gon in which alternate edges
have length 1.
15

Proof. Given any three positive numbers, there exists a right-angled hyperbolic hexagon with alternate edges having lengths equal to these three numbers (cf. Proposition B.4.13 of [2].) The result
then follows by induction on L, since if a right-angled hyperbolic hexagon with alternate edges of
length 1 is glued along an edge of length 1 to a right-angled hyperbolic 2L-gon with alternate edges
of length 1, the result is a right-angled hyperbolic 2(L + 1)-gon with alternate edges of length 1. 
The essential vertex orbifold QA is constructed over Q. The alternate edges of Q of length 1
will be non-reflection edges of QA . The remaining edges of QA will be reflection edges, as follows.
By Lemma 2.4(1), the set A has a well-defined cyclic ordering a1 , . . . , an . Let ai1 , . . . , aiL be the
essential vertices of A in this induced cyclic order. The reflection edges of QA will have groups
haij i ∼
= C2 for 1 ≤ j ≤ L, going in order around Q. Now each vertex of QA is adjacent to
one non-reflection edge and one reflection edge with group haij i, and this vertex will also have
group haij i.
An easy calculation shows that χ(QA ) = 2−L
2 . This is equal to Euler characteristic of the special
subgroup generated by the L essential vertices in A, since as Γ is 3-convex, there are no edges
between any two essential vertices.
We next assign types to certain edges and all vertices of QA . The non-reflection edges going
around QA are assigned type {aij , aij+1 } (where j ∈ Z/LZ), and we assign type {aij } to the
vertices of QA with group haij i, so that the endpoints of the non-reflection edge of QA with type
{aij , aij+1 } have types {aij } and {aij+1 }. Notice that each pair {aij , aij+1 } is an essential cut pair,
by Lemma 2.4(2)(a).
We now construct the non-branch orbifold A. If A consists entirely of essential vertices, then
we put A = QA . Otherwise, by Lemma 2.4(2)(c), there is at least one pair {aij , aij+1 } of essential
vertices in A so that Γ \ {aij , aij+1 } has kj = 2 components, and for all such j, there is a unique
branch βj of Γ between aij and aij+1 . Denote by Pj the right-angled polygon underlying the
branch orbifold Pβj constructed in Section 3.1 above. Recall that all non-reflection edges in QA
have length 1, and that the unique non-reflection edge in Pβj has length 1 as well. Also, the
non-reflection edge of Pβj has type {aij , aij+1 }.
To obtain A, for each j such that A contains the vertex set of βj , we glue the non-reflection
edge of QA of type {aij , aij+1 } to the unique non-reflection edge of Pβj , so that the types of the
end-vertices match up. In both QA and Pβj , the end-vertices of the edge which has just been glued
have groups haij i and haij+1 i. Also, the edge groups adjacent to the vertex group haij i (respectively,
haij+1 i) are both haij i (respectively, haij+1 i). So we may erase all of the non-reflection edges along
which we just glued branch orbifolds to QA , and combine the edges of QA and Pβj with group haij i
(respectively, haij+1 i) into a single edge with group haij i (respectively, haij+1 i). We now define A
to be the resulting orbifold over the right-angled hyperbolic polygon obtained by gluing together
the polygon QA which underlies QA and the polygons Pj which underly the Pβj .
Lemma 3.3. The fundamental group of A is WA .
Proof. By construction, the reflection edges of A have groups ha1 i, . . . , han i, where a1 , . . . , an is the
cyclic ordering on A given by Lemma 2.4(1), and the reflection edges with groups hai i and hai+1 i
are adjacent in A if and only if ai and ai+1 are adjacent in Γ (for i ∈ Z/nZ). The proof then uses
similar arguments to Lemma 3.1.

For Euler characteristics, a somewhat involved calculation shows that χ(A) = WA . We remark
that there is no simple formula for this Euler characteristic in terms of `, the valence of the Type 2
vertex stabilized by WA in the JSJ decomposition, since χ(WA ) depends on the number of edges
between vertices in A, and this varies independently of `.
16

Observe that since A is not the vertex set of an induced cycle in Γ (by Lemma 2.5), it follows
from our construction that A has at least one non-reflection edge. The non-reflection edges of A
retain their types {aij , aij+1 } from QA , as do the endpoints of such edges.
3.3. Construction of orbicomplex. We now construct the orbicomplex OΓ by gluing together
certain branch orbifolds Pβ from Section 3.1 and all of the non-branch orbifolds A from Section 3.2.
Consider a Type 2 vertex in the JSJ decomposition with stabilizer hAi, where A is a set of vertices
of Γ. Let L be the number of essential vertices of A. Then by Lemma 2.2, we have that L ≥ 2, and
L = 2 exactly when A is the set of vertices of a branch β of Γ. So if L = 2 then WA = Wβ is the
fundamental group of the branch orbifold Pβ , and if L ≥ 3 then WA is the fundamental group of
the non-branch orbifold A.
Let C be the collection of all branch orbifolds Pβ such that Wβ = π1 (Pβ ) is a Type 2 vertex
stabilizer, together with all non-branch orbifolds A. By the discussion in the previous paragraph,
we have:
Corollary 3.4. The set of orbifolds C is in bijection with the set of Type 2 vertices in the JSJ
decomposition of WΓ . Moreover, for each orbifold O in the collection C, we have that π1 (O) is
equal to the stabilizer of the corresponding Type 2 vertex.
We now consider the relationship between Type 1 vertices in the JSJ decomposition and nonreflection edges of orbifolds in the collection C. Recall that each Pβ has a unique non-reflection
edge, each A has at least one non-reflection edge, and each non-reflection edge in either a Pβ or
an A has type {a, b} where {a, b} is an essential cut pair of Γ.
Lemma 3.5. Each non-reflection edge in the collection of orbifolds C has type {a, b} where ha, bi
is the stabilizer of a Type 1 vertex in the JSJ decomposition of WΓ .
Proof. First suppose that Pβ is in C, let the endpoints of the branch β be b and b0 , and let A be the
vertex set of the branch β. Then since Wβ = WA is the stabilizer of a Type 2 vertex, Lemma 2.3
implies that Γ \ {b, b0 } has k ≥ 3 components. The result then follows from Corollary 2.1(1).
Now let A be a non-branch orbifold and let {aij , aij+1 } be the type of a non-reflection edge of A.
Then by construction of A and Lemma 2.4(d), we have that Γ \ {aij , aij+1 } has kj ≥ 3 components
(otherwise, we would have glued a branch orbifold on at this edge of QA ). The result then also
follows from Corollary 2.1(1).

We note that, by similar arguments to those in Lemma 3.5, the number of non-reflection edges
of A is equal to ` ≥ 1, the valence of the Type 2 vertex in the JSJ decomposition stabilized by WA .
Lemma 3.6. Let a and b be vertices of Γ so that ha, bi is the stabilizer of a Type 1 vertex v of
valence k ≥ 3 in the JSJ decomposition of WΓ . Then {a, b} is the type of a non-reflection edge in
exactly k orbifolds in the collection C.
Proof. Since v has valence k, by the first statement in Corollary 3.4 there are exactly k orbifolds
in the collection C whose fundamental groups are stabilizers of Type 2 vertices adjacent to v.
By Corollary 2.1(3) and the second statement in Corollary 3.4, these k orbifolds are exactly the
elements of C whose fundamental groups contain the generators a and b. If a branch orbifold Pβ
is one of these k orbifolds, then a and b are the endpoints of the branch β, so by construction the
unique non-reflection edge of Pβ is of type {a, b}. If a non-branch orbifold A is one of these k
orbifolds, let A be the set of vertices of Γ so that WA = π1 (A). By the construction of A, it suffices
to show that a and b are consecutive in the cyclic ordering on A given by Lemma 2.4(1), and this
is Lemma 2.4(2)(e).

17

Recall that each non-reflection edge in the orbifolds we have constructed has length 1. Now
for each {a, b} which is the type of some non-reflection edges in the collection C, we glue together
all non-reflection edges of type {a, b} in this collection, so that the types of their end-vertices are
preserved. The resulting orbicomplex is OΓ .
Note that in the resulting space, each non-reflection edge still has a well-defined type {a, b},
and is the unique non-reflection edge of this type. Also, if a non-reflection edge e of OΓ has
type {a, b}, and v is its vertex of type {a} (respectively, {b}), then the vertex group of OΓ at v
is hai (respectively, {b}), and each reflection edge of OΓ which is adjacent to v has group hai
(respectively, {b}).
Lemma 3.7. The orbicomplex OΓ has fundamental group WΓ .
Proof. The underlying space of OΓ is obtained by gluing together the polygons underlying the
orbifolds in the collection C along non-reflection edges. After gluing, there is a polygon in the
resulting space for each Type 2 vertex in the JSJ decomposition, and a single non-reflection edge
contained in at least 3 distinct polygons for each Type 1 vertex in the JSJ decomposition. Since
the JSJ decomposition is over a connected graph, it follows that the underlying space after gluing is
connected. Moreover, since the JSJ decomposition is over a tree, it follows that the underlying space
after gluing is contractible. Hence the fundamental group of OΓ is generated by the fundamental
groups of the orbifolds in C, subject to the identifications of generators induced by gluing nonreflection edges. This gives fundamental group WΓ .

We leave it to the reader to verify that χ(OΓ ) = χ(WΓ ).
4. Half-coverings and torsion-free covers
Let OΓ be the orbicomplex with fundamental group WΓ constructed in Section 3. In this section
we construct a covering space X of OΓ so that π1 (X ) is an index 16 torsion-free subgroup of
π1 (OΓ ) = WΓ . Examples appear in Figures 4.3 and 4.4. The space X will be a surface amalgam
with each connected surface in X having positive genus (so that we can obtain further covers by
applying Lemma 2.12). We describe the construction using the terminology of half-coverings, which
we define in Section 4.1. The surfaces Sβ , which cover the branch orbifolds Pβ , and SA , which cover
the non-branch orbifolds A, are constructed in Sections 4.2 and 4.3 respectively. In Section 4.4, we
explain how to glue the Sβ and SA together to obtain X . Section 4.5 contains a table summarizing
the surfaces we construct, and an explanation of why we use degree 16 covers.
4.1. Half-coverings. In this section we define half-coverings of general bipartite graphs, and a
particular half-covering H(T ) where T is a bipartite tree.
Given a graph Λ which contains no loops, for each vertex x ∈ V (Λ), let Λ(x) the set of edges
of Λ which are incident to x. Now let Λ and Λ0 be (unoriented) graphs, with associated maps
 : E(Λ) → V (Λ)2 /C2 and 0 : E(Λ0 ) → V (Λ0 )2 /C2 . (See Section 2.1 for graph-theoretic definitions.)
Recall that a graph morphism θ : Λ → Λ0 is a map taking V (Λ) to V (Λ0 ) and E(Λ) to E(Λ0 ), so
that for all e ∈ E(Λ), if (e) = [x, y] then 0 (θ(e)) = [θ(x), θ(y)].
Definition 4.1. Let Λ and Λ0 be bipartite graphs with vertex sets V (Λ) = V1 t V2 and V (Λ0 ) =
V10 t V20 , respectively. A graph morphism θ : Λ → Λ0 is a half-covering if:
(1) For i = 1, 2, the map θ takes Vi to Vi0 .
(2) For all x ∈ V1 , the restriction of θ to Λ(x) is a bijection onto Λ0 (θ(x)).
(3) For all y ∈ V2 , and for every edge e0 ∈ Λ0 (θ(y)), there is an e ∈ Λ(y) so that θ(e) = e0 .
If there is a half-covering θ : Λ → Λ0 then we say that Λ half-covers Λ0 .
18

In short, a half-covering is a morphism of bipartite graphs which preserves the bipartition, is
locally bijective at vertices of Type 1, and is locally surjective at vertices of Type 2. (In Section 9,
we compare half-coverings with the weak coverings in [1].)
In several of our constructions we will use half-coverings of the following particular form. Examples appear in Figures 4.3 and 4.4.
Definition 4.2 (The graph H(T ) half-covering a tree T ). Let T be a bipartite tree with vertex set
V (T ) = V1 t V2 . Let H(T ) be the bipartite graph defined as follows.
(1) The vertex set V (H(T )) equals V10 tV20 , where V10 consists of two disjoint copies of V1 , and V20
is a copy of V2 .
(2) Each edge of H(T ) connects a vertex in V10 to one in V20 . Suppose u ∈ V1 corresponds to u0
and u00 in V10 and v ∈ V2 corresponds to v 0 in V20 . Then u0 and u00 are adjacent to v 0 in H(T )
if and only if u is adjacent to v in T .
In other words, H(T ) is obtained by taking two copies of the tree T and identifying them along
their vertices of Type 2. By construction, the morphism H(T ) → T induced by sending each vertex
in V (H(T )) to the corresponding vertex in V1 or V2 (according to the identification of V10 with two
copies of V1 , and of V20 with V2 ) is a half-covering.
4.2. Covering the branch orbifolds. Let β be a branch in Γ with nβ vertices in total. The
orbifold Pβ constructed in Section 3.1 has underlying space P a right-angled p-gon with p =
nβ + 1 ≥ 5. We now construct a connected surface Sβ with genus 2(p − 4) ≥ 2 and 2 boundary
components so that Sβ is a 16-fold cover of Pβ .
The surface Sβ we construct will be tessellated by 16 right-angled p-gons, so that:
• each p-gon has exactly one edge in a boundary component of Sβ ;
• the two boundary components of Sβ each contain 8 edges; and
• types can be assigned to the edges of this tessellation and to the edges of the p-gon P , such
that there is a type-preserving map from Sβ to P which takes each edge in a boundary
component of Sβ to the (unique) non-reflection edge of Pβ .
It follows that the type-preserving map Sβ → P induces a degree 16 covering map from the
surface Sβ to the orbifold Pβ . (More precisely, we can consider the trivial complex of groups G1 (Sβ )
over this tessellation of Sβ , that is, the complex of groups in which each local group is trivial. The
type-preserving map Sβ → P then induces a covering of complexes of groups from G1 (Sβ ) to the
simple complex of groups Pβ ; see [4] for the general definition of a covering of complexes of groups.
This induced covering is 16-sheeted since each face group in G1 (Sβ ) and in Pβ is trivial, and Sβ
contains 16 p-gons while P is one p-gon.)
For the construction of Sβ , we consider two cases, p ≥ 5 odd and p ≥ 6 even.
Case 1: p ≥ 5 is odd. We obtain a tessellated surface Sβ by gluing together, in a type-preserving
manner, 16 copies of the right-angled p-gon “jigsaw puzzle piece” shown on the top left in Figure 4.1.
Each piece is straight on the bottom and sides, while along the top we have p−5
2 full scoops and
p−5
p−5
2 +1 horizontal edges, and there is one half-scoop in the top right corner. (So there are 3+2 2 +
1 + 1 = p sides in total.) Glue 16 of these pieces together into an 8-by-2 block as in Figure 4.1. Now
glue the left and right boundaries of this block as indicated by the arrows. The resulting surface will
be a sphere with 2 boundary components corresponding to non-reflection edges (these are the outer
horizontal edges drawn in thick lines; they form 2 cycles of length 8 after the gluing), 4 boundary
components corresponding to the half-scoops, and p−5
2 × 8 boundary components corresponding to
the full scoops. These boundary components contain 8, 4, and 2 edges respectively. The final step
19

p=5

16

p=7

p=9

p=6
16
p=8

Figure 4.1. On the left are the “jigsaw puzzle pieces” in the odd and even cases. On the
right are the degree 16 covers constructed by gluing the pieces together. The left and right
blue boundaries are glued and the center circles are glued in pairs to construct a surface
with two boundary components, drawn in green.

to obtain Sβ is to glue together the boundary components coming from half-scoops and full-scoops
in type-preserving pairs.
Case 2: p ≥ 6 is even. In this case we use similar jigsaw puzzle pieces to Case 1, except that now we
have p−4
2 full scoops along the top, as shown on the bottom left in Figure 4.1. Glue 16 of these pieces
together into an 8-by-2 block as shown in Figure 4.1, and identify the left and right boundaries
as indicated by the arrows. The resulting surface will be a sphere with 2 boundary components
corresponding to non-reflection edges and p−4
2 × 8 boundary components corresponding to the
scoops along the top edge of the piece. The final step to obtain Sβ is to glue together these latter
boundary components in type-preserving pairs.
4.3. Covering the essential vertex and non-branch orbifolds. Let A be a subset of vertices
of Γ so that hAi is the stabilizer of a Type 2 vertex in the JSJ decomposition of WΓ , and let L ≥ 2
be the number of essential vertices of A. In this section, we assume that L ≥ 3 and construct a
connected surface SA which is a 16-fold cover of the orbifold A. (See Section 3.2 for the construction
of A.) The surface SA will have genus at least 2 and 2` boundary components, where ` ≥ 1 is
the valence in the JSJ decomposition of the vertex with stabilizer hAi. An illustration of the
construction appears in Figure 4.2 (which should be viewed in color).
As in Section 3.2, we will first consider the essential vertex orbifold QA . We will cover QA by
a connected surface SA with genus 3L − 7 ≥ 2 and 2L boundary components. Recall that the
underlying space of QA is a right-angled 2L-gon Q. The surface SA we construct will be tessellated
by 16 right-angled 2L-gons, so that:
• each 2L-gon has its alternate edges in boundary components of SA ;
• each boundary component of SA contains 8 edges; and
• types can be assigned to the edges of this tessellation of SA and to the edges of the 2L-gon Q,
such that there is a type-preserving map from SA to Q which takes each edge in a boundary
20

L=4

L=5

2

1

L=3

1

1'

2'

3

2

1 1' 1'' 2'' 2' 2

3

4

3'

4'

4

1

4

3 3' 3'' 4'' 4' 4

1

2'

3'

3

2

4

1 2' 1'' 4'' 3' 4

2

4'

1'

16

3

2 4' 2'' 3'' 1' 3

16

16

Figure 4.2. On the right are orbifolds with 2L sides which alternate between reflection
edges (non-horizontal, and drawn in thin lines) and non-reflection edges (horizontal, and
drawn in thick lines). On the left are the initial 8 by 2 blocks of jigsaw puzzle pieces for
their degree 16 covers. The blue vertical sides of these blocks are glued as indicated by
the arrows, and the center circles are glued as indicated by the labels and arrows, with
the top half of a circle in the left half glued to the top (respectively, bottom) half of a
circle in the right half as shown by the arrow on the right-hand circle being on the top
(respectively, bottom). After gluing, the center horizontal arcs are cut to obtain a surface
with 2L boundary components.

component of SA to a non-reflection edge of QA . In particular, each boundary component of
SA has the same type as a non-reflection edge of QA , and SA has two boundary components
of each type.
As for branch orbifolds in Section 4.2 above, it follows that the type-preserving map SA → Q
induces a degree 16 covering map from the surface SA to the orbifold QA .
Start with the 8 by 2 block of jigsaw puzzle pieces from the case p = 2L ≥ 6 even above. The
non-reflection edges will be the horizontal edges of the puzzle piece. We will first glue this into a
surface with just 2 boundary components of the same type, this type being one of the non-reflection
edges of QA . We will then cut along L − 1 curves which have types the other non-reflection edges
of QA , to obtain a connected surface with 2 + 2(L − 1) = 2L boundary components, and with 2
boundary components for every type of non-reflection edge of QA .
The first stage is to glue together the left and right sides of the block, as indicated by arrows.
We then glue pairs of boundary components which consist of 2 edges; these are the “center circles”
in Figure 4.2. This is done is such a way that the inner horizontal edges of the 8 by 2 block, those
coming from the top edges of the jigsaw piece, form cycles of a single type of length 8. For each
non-reflection type, there is one such cycle of 8 edges.
21

In more detail, when L = 3, the gluing pattern for the center circles is as indicated by the arrows
and labels in the top row of Figure 4.2. The orange horizontal edges, which occur in pairs in the
initial block, then form a cycle of 8 edges passing through the center circles with labels 1, 2, 3, 4
in that order, and similarly the pink horizontal edges form a cycle of 8 edges pass through the
center circles with labels 1, 3, 2, 4 in that order. The construction is similar for the pink edges for
all L ≥ 4, as indicated in Figure 4.2, with the pink edges passing through light green center circles
labeled 1, 3, 2, 4 for all L ≥ 4.
For the other horizontal edges, a suitable labeling is constructed by induction on L ≥ 4. When
L = 4 we use the labeling from the middle row of Figure 4.2, so that the orange edges form
a cycle of 8 edges passing through the center circles with labels 10 , 20 , 30 , 40 in that order, and
the purple edges form a cycle of 8 edges passing through alternately black and light green center circles with labels 1, 10 , 3, 30 , 4, 40 , 2, 20 in that order. Write n(k) for the integer n followed
by k primes. The labeling of center circles in the left half of the initial block is then, from
left to right, 1, 10 , . . . , 1(L−3) , 2(L−3) , . . . , 20 , 2, 3, 30 , . . . , 3(L−3) , 4(L−3) , . . . , 40 , 4. On the right half
of the initial block, going from left to right, the 5th (respectively, 6th, 7th, and 8th) puzzle
pieces have center circles labeled 1, 20 , 100 , . . . (respectively, 4(L−3) , 3(L−4) , 4(L−5) , . . . ; 2, 40 , 200 , . . . ;
and 3(L−3) , 1(L−4) , 3(L−5) , . . . ) when L is odd, and center circles labeled 1, 20 , 100 , . . . (respectively,
3(L−3) , 4(L−4) , 3(L−5) , . . . ; 2, 40 , 200 , . . . ; and 1(L−3) , 3(L−4) , 1(L−5) , . . . ) when L is even. By induction and the alternating pattern of labels on the right half, the only color to be checked is orange. The orange horizontal edges come in pairs in the initial block, and it is not hard to verify
that for all L ≥ 4, they form a cycle of length 8 passing through black center circles with labels
1(L−3) , 2(L−3) , 3(L−3) , 4(L−3) in that order.
Now cut along each of these cycles of length 8. There are then 2 boundary components of each
non-reflection type, each consisting of 8 edges. Using the gluing described above, the resulting
surface is connected: for this, we just need to glue at least one top half of a scoop to the bottom
half of a scoop, and this follows from our construction.
We now describe the surface SA which 16-fold covers the orbifold A. If A consists entirely of
essential vertices, then we put SA = SA . Otherwise, for each branch β so that the vertex set of β is
in the set A, we glue Sβ to SA as follows. Recall that all edges in the tessellations of Sβ and SA have
types, that these types are preserved by the covering maps Sβ → Pβ and SA → QA , and that each
boundary component of Sβ and SA has 8 edges. Recall also that A is obtained by gluing Pβ to QA
along a non-reflection edge in a type-preserving manner, for each branch β with vertex set in A.
For all such β, we now glue one boundary component of Sβ to one boundary component of SA with
its same type, and the other boundary component of Sβ to the other boundary component of SA
with its same type, so that these gluings match up edges and vertices of the existing tessellations,
and so that at each vertex of the resulting tessellation, the incident edges have exactly two types.
Finally, we erase the edges in the resulting tessellation which were in boundary components of SA ,
and denote the resulting tessellated surface by SA . Note that SA is still tessellated by right-angled
polygons whose edges have well-defined type. By construction, the 16-fold coverings Sβ → Pβ and
SA → QA induce a 16-fold covering SA → A.
We observe that since SA has genus 3L − 7 ≥ 2, the surface SA has genus at least 2. Also, the
surface SA has two boundary components for each non-reflection edge of A. Now by construction
of the orbicomplex OΓ in Section 3.3, the number of non-reflection edges of A equals the valence
` ≥ 1 of the vertex stabilized by hAi in the JSJ decomposition of WΓ . Hence SA has 2` boundary
components.

22

θ

16

Γ
Λ

Figure 4.3. The graph Γ is a generalized Θ-graph, and the graph Λ is the JSJ graph of
WΓ . On the right is the degree 16 cover XΓ → OΓ , where OΓ is the orbicomplex described
in Section 3.3. In the center is the half-covering θ from the JSJ graph of XΓ to the JSJ
graph of OΓ .
4.4. The surface amalgam X . We now construct a surface amalgam X which 16-fold covers the
orbicomplex OΓ , by gluing together certain surfaces Sβ constructed in Section 4.2 and all of the
surfaces SA constructed in Section 4.3. Examples appear in Figures 4.3 and 4.4.
Let Λ be the JSJ graph for WΓ and recall that Λ is a bipartite tree. Let H(Λ) be the graph from
Definition 4.2 which half-covers Λ. For each v ∈ V2 (Λ), we write v 0 for the corresponding vertex in
V2 (H(Λ)). Now for all v ∈ V2 (Λ), let Sv be the surface Sβ , if v has stabilizer Wβ for β a branch
of Γ, and let Sv be the surface SA , if v has stabilizer hAi with A not equal to the vertex set of a
branch of Γ. Then the collection of surfaces {Sv | v ∈ V2 (Λ)} = {Sv | v 0 ∈ V2 (H(Λ))} is in bijection
with the Type 2 vertices of H(Λ).
We now obtain X by gluing together the surfaces {Sv } along boundary components, according
to the adjacencies in the graph H(Λ). (In fact, the JSJ graph of X will be H(Λ).) By construction,
each Sv has 2` boundary components, where ` ≥ 1 is the valence of v in Λ. Since v 0 has valence 2`
in H(Λ), each Sv has number of boundary components equal to the valence of v 0 . We now relabel
the boundary components of Sv using the vertices of H(Λ) which are adjacent to v 0 , as follows.
Recall that the boundary components of Sv come in pairs which cover the same non-reflection edge
(in either Pβ or A), and so have type {a, b} where ha, bi is the stabilizer of a Type 1 vertex in Λ.
For each u ∈ V1 (Λ) with stabilizer ha, bi, with corresponding Type 1 vertices u0 and u00 in H(Λ),
and for each v adjacent to u in Λ, we label one boundary component of Sv of type {a, b} by u0
and the other by u00 . Now every boundary component in the collection {Sv | v 0 ∈ V2 (H(Λ))} has
been assigned a type in V1 (H(Λ)), and for each v ∈ V1 (Λ), there is a bijection between the types
of boundary components of Sv and the vertices adjacent to v 0 in H(Λ). We then glue together
all boundary components in the collection {Sv } which have the same type, so that these gluings
match up edges and vertices of the existing tessellations. The resulting surface amalgam is X . By
construction, the 16-fold covers Sβ → Pβ and SA → A induce a 16-fold cover X → OΓ .
4.5. Summary and remarks. We now provide in Table 1 a summary of the surfaces constructed
in this section, and explain why we constructed covers of degree 16 (rather than some smaller
degree).
To cover a branch orbifold Pβ with underlying space a right-angled p-gon, we wanted a construction for all p ≥ 5 of a surface with positive genus and a small positive number of boundary
components. The Euler characteristic of Pβ is 4−p
4 so a degree D cover has Euler characteristic
23

θ

16

Γ
Λ

Figure 4.4. The graph Γ is a cycle of generalized Θ-graphs, and the graph Λ is the JSJ
graph of WΓ . On the right is the degree 16 cover XΓ → OΓ , where OΓ is the orbicomplex
described in Section 3.3. In the center is the half-covering θ from the JSJ graph of XΓ to
the JSJ graph of OΓ .

Orbifold

Orbifold
Connected Genus of
Euler
covering
covering
characteristic surface
surface

No. of boundary
components of
covering surface

Branch orbifold Pβ
χ(Wβ ) = 4−p
Sβ
2(p − 4) ≥ 2 2
4
over p-gon, p ≥ 5,
with p − 1 reflection edges,
1 non-reflection edge
2−L
Essential vertex orbifold QA
SA
3L − 7 ≥ 2
2L
2
over 2L-gon, L ≥ 3,
with L reflection edges,
L non-reflection edges
Non-branch orbifold A
χ(WA )
SA
≥2
2`
with ` ≥ 1 non-reflection edges
Table 1. Summary of orbifolds constructed in Section 3 and their 16-fold connected
covering surfaces constructed in Section 4.

D(4−p)
.
4

For a surface, the Euler characteristic must be an integer, hence D = 4k for some k ≥ 1.
Now if the covering surface Sβ has genus g and b boundary component, then χ(Sβ ) = 2 − 2g − b.
Equating Euler characteristics when b = 1, we get k(4 − p) = 1 − 2g. This has no solution when p
is even. Thus we consider b = 2 boundary components. Equating Euler characteristics when b = 2,
we get k(4 − p) = −2g. This has a positive genus solution for all p ≥ 5, provided k is even. So we
work with covers of degree D = 4k where k ≥ 2 is even.
Now, an essential vertex orbifold QA with L reflection edges and L non-reflection edges has Euler
characteristic 2−L
2 , where L ≥ 3. We wanted to cover each such QA by a surface SA of positive
genus g with 2L boundary components (since each surface Sβ covering a branch orbifold Pβ will
24

have 2 boundary components, and certain Sβ will be glued onto the surface covering QA in order
to cover the non-branch orbifold A). If the degree of the cover is D = 8, by equating Euler
characteristics we get 4(2 − L) = 2 − 2g − 2L hence g = L − 3. For L = 3 this gives g = 0,
but we would like SA to have positive genus. The next possible degree is D = 16, and the Euler
characteristic equation 8(2 − L) = 2 − 2g − 2L has positive genus solution g = 3L − 7 for all L ≥ 3.
Hence we work with degree 16 covers.
5. Generalized Θ-graphs
In this section we prove Theorem 1.8, which gives the commensurability classification of rightangled Coxeter groups with defining graph a 3-convex generalized Θ-graph. We remark that by
Corollary 2.1, the JSJ graph of such a group is a k-valent star, so in particular, the JSJ graph is a
tree of diameter 2.
Let WΘ and WΘ0 be right-angled Coxeter groups whose defining graphs are 3-convex generalized Θ-graphs Θ = Θ(n1 , . . . , nk ) and Θ0 = Θ(n01 , . . . , n0k0 ) respectively, with k, k 0 ≥ 3. If Θ has
branches βi for 1 ≤ i ≤ k, then WΘ is the fundamental group of the orbicomplex O = OΘ constructed in Section 3, obtained by gluing together the branch orbifolds Pi = Pβi , for 1 ≤ i ≤ k, along
their non-reflection edge. Since Wi = Wβi is the fundamental group of Pi , the Euler characteristic
vector of WΘ from Definition 1.7 is v = (χ(W1 ), . . . , χ(Wk )). Similarly, WΘ0 is the fundamental
group of O0 = OΘ0 obtained by gluing together the branch orbifolds Pi0 = Pβi0 , for 1 ≤ i ≤ k 0 ,
and WΘ0 has Euler characteristic vector v 0 = (χ(W10 ), . . . , χ(Wk0 0 )) where Wi0 = Wβi0 .
5.1. Sufficient conditions for commensurability. Suppose that the vectors v and v 0 are commensurable. Then by definition, k = k 0 and there exist integers K, K 0 ≥ 1 so that Kv = K 0 v 0 .
Let a and b be the two essential vertices of Θ. Let ra be the subcomplex of O consisting of all
reflection edges with local group hai (so ra is a star of valence k), and let rb ⊂ O be the corresponding subcomplex for b. An immediate generalization of [6, Section 3.1] is that, for any positive
integer R, there is a degree R orbicomplex covering RO → O given by unfolding R times along
copies of ra and rb so that the central branching edge of RO forms a geodesic path. An easy
counting argument then proves that the orbicomplexes KO and K 0 O0 are homeomorphic, hence
have isomorphic fundamental groups which are finite-index subgroups of WΘ and WΘ0 , respectively.
Therefore WΘ and WΘ0 are commensurable.
5.2. Necessary conditions for commensurability. The proof of the necessary conditions in
Theorem 1.8 follows from a slight generalization of [23, Proposition 3.3.2]. In that setting, it was
assumed that the analogs of O and O0 had the same Euler characteristic, while here, χ(WΘ ) = χ(O)
and χ(WΘ0 ) = χ(O0 ) could be unequal. The proof from [23] can thus be altered as follows.
Suppose that the groups WΘ and WΘ0 are commensurable. Then they are quasi-isometric, and
by [7, Theorem 3.36], we have k = k 0 . Since WΘ and WΘ0 are virtually torsion-free, they have
isomorphic torsion-free, finite-index subgroups H ≤ WΘ and H 0 ≤ WΘ0 . Then the corresponding
covers X and X 0 of O and O0 are surface amalgams. Let D and D0 be the degrees with which X
and X 0 respectively cover O and O0 . By Theorem 2.9, there is a homeomorphism f : X → X 0 that
induces the isomorphism between H and H 0 . Suppose
χ(W1 ) = χ(W2 ) = · · · = χ(Ws ) > χ(Ws+1 ) ≥ · · · ≥ χ(Wk ), and
0
χ(W10 ) = χ(W20 ) = · · · = χ(Wt0 ) > χ(Wt+1
) ≥ · · · ≥ χ(Wk0 )

for some s, t ≤ k. (Note that the ordering in the above display is reversed with respect to the
ordering in the proof of Proposition 3.3.2 of [23].) Without loss of generality, D·χ(W1 ) ≥ D0 ·χ(W10 ),
25

and if D · χ(W1 ) = D0 · χ(W10 ), then s ≥ t. The remainder of the proof [23, Proposition 3.3.2] may
now be applied with the first and last line of the main equation in the proof changed to account
for the fact that the degrees of the covering maps are different.
6. Necessary conditions for cycles of generalized Θ-graphs
In this section, we establish our necessary conditions for the commensurability of right-angled
Coxeter groups defined by cycles of generalized Θ-graphs, from Theorem 1.12. We show:
Proposition 6.1. Let W and W 0 be as in Theorem 1.12. If W and W 0 are commensurable, then
at least one of (1) and (2) from Theorem 1.12 holds.
In Section 6.1 we fix notation, and we explain the three cases we will consider in Section 6.2.
Case 1 is proved in Section 6.3. We establish some results for both Cases 2 and 3 in Section 6.4,
then complete the proof of Case 2 in Section 6.5 and that of Case 3 in Section 6.6.
6.1. Notation. Suppose W and W 0 as in Theorem 1.12 are commensurable. We continue all
notation from Section 1.1. In addition, let OΓ and OΓ0 be the orbicomplexes with fundamental
groups W = WΓ and W 0 = WΓ0 , respectively, constructed in Section 3, and let A and A0 be the
(unique) non-branch orbifolds in OΓ and OΓ0 , with fundamental groups WA and WA0 , respectively.
So OΓ (respectively, OΓ0 ) is obtained by gluing certain branch orbifolds to A (respectively, A0 )
along non-reflection edges. For each i ∈ I and 1 ≤ j ≤ ri , let Pij be the branch orbifold in OΓ
with fundamental group Wij := Wβij , and let Oi be the sub-orbicomplex of OΓ obtained by gluing
together the ri orbifolds Pij along their non-reflection edge. Then π1 (Oi ) = WΘi for each i ∈ I.
0 , W 0 , and O 0 with π (O 0 ) = W 0 for each k ∈ I 0 and 1 ≤ l ≤ r 0 . We write E
Similarly define Pkl
1
i
Θk
kl
k
k
k
for the ith branching edge of OΓ , that is, the non-reflection edge along which Oi is glued to A, and
similarly write Ek0 for the kth branching edge of OΓ0 .
If ri = r = rk0 for each i ∈ I and each k ∈ I 0 , then for all 1 ≤ j ≤ r we define the subcomplex Rj
of OΓ to be the disjoint union of the “jth ring” of branch orbifolds {Pij | i ∈ I} in OΓ , and define
χj to be its Euler characteristic. (Note that, by construction, if i1 6=
Pi2 ∈ I then the
P underlying
spaces of Pi1 j and Pi2 j are disjoint polygons.) Thus χj = χ(Rj ) = i∈I χ(Pij ) = i∈I χij . For
each 1 ≤ j ≤ r, we define R0j ⊂ OΓ0 analogously, and put χ0j = χ(R0j ).
Let ρ : X → OΓ and ρ0 : X 0 → OΓ0 be the degree 16 torsion-free covers from Section 4. Then
π1 (X ) and π1 (X 0 ) are commensurable as well. Let η : Y → X and η 0 : Y 0 → X 0 be covers
corresponding to isomorphic finite-index subgroups of π1 (X ) and π1 (X 0 ), and set π = η ◦ ρ and
π 0 = η 0 ◦ ρ0 . Let D and D0 be the degrees of the covering maps π : Y → OΓ and π 0 : Y 0 → OΓ ,
respectively. Finally, let f : Y → Y 0 be the homeomorphism guaranteed by Theorem 2.9.
6.2. Cases. To prove Proposition 6.1, we consider three cases, by comparing the subsets f (π −1 (A))
and π 0−1 (A0 ) of the surface amalgam Y 0 . Note first that since A (respectively, A0 ) contains every
branching edge of OΓ (respectively, OΓ0 ), the sets f (π −1 (A)) and π 0−1 (A0 ) will always have non◦

empty intersection containing all branching curves in Y 0 . We write f (π −1 (A)) ∩ π 0−1 (A0 ) = ∅ if
the interiors of f (π −1 (A)) and π 0−1 (A0 ) are disjoint, that is, these subsets of Y 0 have no surfaces
◦

in common, and we write f (π −1 (A)) ∩ π 0−1 (A0 ) 6= ∅ if the interiors of f (π −1 (A)) and π 0−1 (A0 )
are non-disjoint, that is, these subsets of Y 0 have at least one surface in common. The cases we
consider, and their consequences, are as follows:
Case 1. If f (π −1 (A)) = π 0−1 (A0 ), we show that condition (1) holds.
◦

Case 2. If f (π −1 (A)) ∩ π 0−1 (A0 ) = ∅, we show that condition (2) holds.
26

◦

Case 3. If f (π −1 (A)) 6= π 0−1 (A0 ) and f (π −1 (A)) ∩ π 0−1 (A0 ) 6= ∅, we construct new homeomorphic
finite-sheeted covers of OΓ and OΓ0 which satisfy Case 1. It follows that condition (1)
holds.
6.3. Case 1. In this case we prove:
Proposition 6.2. If f (π −1 (A)) = π 0−1 (A0 ) then condition (1) in Theorem 1.12 holds.
Proof. Given i ∈ I, consider one component S of the preimage of Oi in Y. The assumption
that f (π −1 (A)) = π 0−1 (A0 ) implies that π 0 (f (S)) cannot intersect the interior of A0 , and so f (S)
must cover some orbicomplex Ok0 in OΓ0 with rk0 = ri . If ri ≥ 3, then the vectors vi and vk0 are
commensurable by Theorem 1.8 for generalized Θ-graphs.
If ri = 2 and Θi has branches βi1 and βi2 , then form a new Θ-graph Θ with branches βi1 and
two copies of βi2 , and do the same for Θ0k to get Θ0 . Now WΘ and WΘ0 are commensurable, since
we can construct homeomorphic covers of OΘ and OΘ0 from S and f (S) by adding extra copies of
0 , respectively. It follows from Theorem 1.8 that the vectors
the surfaces mapping to Pi2 and Pk2
0
0
0
(χi1 , χi2 , χi2 ) and (χk1 , χk2 , χk2 ) are commensurable, and so vi = (χi1 , χi2 ) and vk0 = (χ0k1 , χ0k2 ) are
as well.
Applying the same argument with f −1 , we conclude that the sets of commensurability classes of
the vectors {vi | ri ≥ 2} and {vk0 | rk0 ≥ 2} coincide, proving condition (1)(a).
We now prove (1)(b). It follows from the proof of (1)(a) that
!
!!
[
[
f π −1
Oi
= (π 0 )−1
Ok0 .
k∈I 0

i∈I

π1 (Ok0 )

Now π1 (Oi ) = WΘi for each i ∈ I and
are D and D0 respectively, we deduce that

= WΘ0k for each k ∈ I 0 . As the degrees of π and π 0

!
(6.1)

D

X

χ(WΘi )

!
= D0

X

χ(WΘ0k ) .

k∈I 0

i∈I

Now f (π −1 (A)) = (π 0 )−1 (A0 ) by assumption, and π1 (A) = WA and π1 (A0 ) = WA0 , so we also have
D · χ(WA ) = D0 · χ(WA0 ). This together with Equation (6.1) implies (1)(b).

6.4. Results for both Cases 2 and 3. In this section we establish some results which are
relevant to both of the remaining cases. From now on, we suppose that f (π −1 (A)) 6= π 0−1 (A0 ).
We start by showing in Lemma 6.3 that all nontrivial generalized Θ-graphs in both Γ and Γ0
have the same number of branches. Next, in Proposition 6.4 we prove that the vectors w and w0
are commensurable, hence condition (2)(b) in Theorem 1.12 holds. We then color certain suborbicomplexes of OΓ and OΓ0 , using the commensurability of w and w0 , and make some observations
about this coloring in Remark 6.5 and Lemma 6.6. In Remark 6.7 we discuss the structure of the
subset π −1 (A) ∪ f −1 (π 0−1 (A0 )) of Y, and then in Lemma 6.9 we consider pre-images of branching
edges in OΓ and OΓ0 .
Lemma 6.3. If f (π −1 (A)) 6= π 0−1 (A0 ) then there exists r ≥ 2 such that ri = rk0 = r for all i ∈ I
and all k ∈ I 0 .
Proof. We prove the contrapositive. If the conclusion fails, then one of the following holds:
(i) ri1 6= ri2 for some ri1 , ri2 ∈ I;
(ii) rk0 1 6= rk0 2 for some rk0 1 , rk0 2 ∈ I 0 ; or
(iii) ri = r for all i ∈ I and rk0 = s for all k ∈ I 0 , but r 6= s.
27

Suppose (i) holds. If S is any component of π −1 (A), then S is incident to branching curves in Y
with different branching degrees ri1 + 1 and ri2 + 1. Then π 0 (f (S)) is an orbifold of OΓ0 which is
incident to branching edges of at least two different degrees. It follows that π 0 (f (S)) = A0 and A0
has branching edges of at least two degrees. Applying the same argument with f −1 , we see that
π(f −1 (T )) = A for each component T of π 0 −1 (A0 ). Thus f (π −1 (A)) = π 0−1 (A0 ). The proof is
identical if (ii) occurs. Finally, (iii) cannot occur, since the degree of branching is preserved by
homeomorphisms.

We next extend the techniques used to show that the Euler characteristic vectors of generalized
Θ-graphs are commensurable (in the proof of Theorem 1.8) to prove the following.
Proposition 6.4. The vectors w and w0 are commensurable.
0
Proof. Let w = (w1 , . . . , wr+1 ) and w0 = (w10 , . . . , wr+1
), and suppose

w1 = · · · = ws > ws+1 ≥ · · · ≥ wr+1 ,

and

0
0
w10 = · · · = wt0 > wt+1
≥ · · · ≥ wr+1
.

Without loss of generality, we may assume that Dw1 ≥ D0 w10 , and if Dw1 = D0 w10 then t ≤ s.
For each 1 ≤ u ≤ r + 1, let Tu ⊂ OΓ be the sub-orbicomplex corresponding to the entry wu of w.
That is, if wu = χ(WA ) then Tu = A, and if wu = χj then Tu = Rj . Similarly, let Tu0 ⊂ OΓ0 be
the sub-orbicomplex corresponding to the entry wu0 of w0 . Note that f (π −1 (Tu )) ⊂ Y 0 is a disjoint
collection of connected surfaces with boundary, and the set of boundary curves of these surfaces is
exactly the set of branching curves of Y 0 .
We now partition f (π −1 (T1 )) ⊂ Y 0 as follows:
• SA0 is the union of the connected surfaces in f (π −1 (T1 )) which cover A0 .
• For each k ∈ I 0 , Sk is the union of the connected surfaces in f (π −1 (T1 )) which cover a
branch orbifold in Ok0 .
Suppose SA0 forms a cover of degree D00 ≤ D0 of A0 . This includes the possibility that SA0 is
empty, in which case we put D00 = 0. Then (π 0 )−1 (Ek0 ) ∩ SA0 covers the branching edge Ek0 by
degree D00 as well, for each k ∈ I 0 . For each component surface S of a collection Sk , let d(S)
0
0 −1
0
0
0
be
Xthe degree of π restricted to S. Since (π ) (Ek ) covers Ek by degree D , it follows that
d(S) = D0 − D00 for all k ∈ I 0 . So,
S⊂Sk

Dw1 = χ(π −1 (T1 )) = χ(f (π −1 (T1 ))) = χ(SA0 ) +

X

χ(Sk )

k∈I 0


= D00 χ(A0 ) +

X


X

0
0
d(S) χ(Pkl
) where S covers Pkl
S
S


k∈I 0

S⊂Sk


≤ D00 w10 +

X
k∈I 0

0
χ(Pk1
)


X

d(S) ≤ D00 w10 + (D0 − D00 )w10 = D0 w10 .

S⊂Sk

By our assumption, Dw1 ≥ D0 w10 . Thus we conclude that Dw1 = D0 w10 . Now, each branching
curve in Y 0 is incident to exactly s connected surfaces in f (π −1 (T1 )) ∪ · · · ∪ f (π −1 (Ts )). It follows
0 },
that π 0 (f (π −1 (T1 )) ∪ . . . ∪ f (π −1 (Ts ))) must have in its image at least s orbifolds in {T10 , . . . , Tr+1
Ss
0
0
−1
and therefore t ≥ s. Thus we have Dwi = D wi for 1 ≤ i ≤ s = t. Moreover, i=1 π (Ti ) =
S
s
0−1 (T 0 ). Now the above argument can be repeated (at most finitely many times) with the
i
i=1 π
remaining sub-orbicomplexes of OΓ and OΓ0 which are of strictly smaller Euler characteristic,
proving the claim.

28

The next step in both Cases 2 and 3 is to color certain sub-orbicomplexes of OΓ and OΓ0 , as
follows. Let w0 ∈ Zr+1 be the minimal integral element in the commensurability class of w and
w0 , so that w = Rw0 and w0 = R0 w0 . Let C = {c1 , . . . , cn } be the set of distinct values occurring
in w0 , and assume that c1 > · · · > cn , so that w0 = (c1 , . . . , c1 , c2 , . . . , c2 , . . . , cn , . . . , cn ). We call
the elements of the set C the colors. Let Tu and Tu0 be defined as in the proof of Proposition 6.4
for 1 ≤ u ≤ r. We now color OΓ and OΓ0 so that Tu has color c ∈ C if wu = Rc and Tu0 has color
c ∈ C if wu0 = R0 c. Note that for each color c, there is an m = mc so that each branching edge Ei
0 ) of color c.
(respectively, Ek0 ) is incident to m branch orbifolds Pij (respectively, Pkl
Remark 6.5. (The map f preserves colors.) The following equation is an easy consequence of the
proof of Proposition 6.4:


f π −1 ({Tu | Tu ⊂ OΓ has color c}) = π 0−1 {Tu0 | Tu0 ⊂ OΓ0 has color c} .
It also follows that orbifolds of the same color which are attached to a single edge in OΓ (respectively, OΓ0 ) are identical:
Lemma 6.6. For i ∈ I, if Pij1 and Pij2 have the same color c, then χij1 = χij2 , and Pij1 and
0
0
Pij2 are therefore identical orbifolds. The analogous statement holds for Pkl
and Pkl
of the same
1
2
0
color, where k ∈ I .
Proof. Let i ∈ I. If the conclusion fails, we may assume that χP
ij1 > χij2 . Then
P by our assumption
0
0
that χuj ≥ χuj whenever j < j , we see that j1 < j2 , and u∈I χuj1 > u∈I χuj2 . This is a
contradiction as both of these sums are equal to Rc. Thus χij1 = χij2 , and Pij1 and Pij2 are
identical orbifolds. The proof of the second sentence is identical.

For the proofs of Cases 2 and 3, it will be important to understand the structure of the subset
π −1 (A) ∪ f −1 (π 0−1 (A0 )) of Y, which is described in the following remark.
Remark 6.7. (Structure of π −1 (A) ∪ f −1 (π 0−1 (A0 ))). Each of π −1 (A) and f −1 (π 0−1 (A0 )) is a
disjoint union of (connected) surfaces in Y. Let W be the collection of surfaces in Y which are in
both these sets, that is, W is the collection of surfaces in π −1 (A) ∩ f −1 (π 0−1 (A0 )).
Now if S is a surface in π −1 (A) \ W, then since π 0 (f (S)) 6= A0 , for each boundary component of
S there is necessarily a surface in f −1 (π 0−1 (A0 )) incident to this boundary component. If S 0 is one
of these, then π(S 0 ) 6= A, since S and S 0 share a boundary curve and S is in π −1 (A). Hence every
other boundary component of S 0 also borders a component of π −1 (A). Continuing in this way, we
see that the connected component of π −1 (A) ∪ f −1 (π 0−1 (A0 )) which contains S has no boundary.
Thus there is a decomposition π −1 (A) ∪ f −1 (π 0−1 (A0 )) = W t Z, where Z is a disjoint union of
closed surfaces. Moreover, given a component Z of Z, the branching curves on Z partition it as
0 are the subsets of Z consisting of surfaces in Y such that
Z = ZA ∪ ZA0 , where ZA and ZA
π(ZA ) = A,

π(ZA0 ) ⊂ ∪i∈I Oi ,

π 0 (f (ZA0 )) = A0 ,

and π 0 (f (ZA )) ⊂ ∪k∈I 0 Ok0 .

Observe that ZA0 contains at least one surface mapping into Oi for each i ∈ I, so ZA0 , and similarly
ZA , is necessarily disconnected. We denote the set of branching curves of a component Z of Z by
the (slightly counterintuitive) notation ∂Z. Then by the description above, ZA and ZA0 intersect
in exactly in ∂Z. So we have that ∂Z = ∂ZA = ∂ZA0 . It follows that the degree of π restricted to
ZA , the degree of π restricted to ZA0 , and the degree of π restricted to ∂Z are all equal.
Observe that for any component Z of Z, the collection ∂Z intersects π −1 (Ei ) for each branching
edge Ei of OΓ , as well as f −1 (π 0 −1 (Ek0 )) for each branching edge Ek0 of OΓ0 . In what follows it will
be necessary to consider the following subset of ∂Z.
29

Definition 6.8. Let Z be a component of Z. For i ∈ I and k ∈ I 0 , let ik = ik (Z) be the
collection of branching curves in ∂Z which map to Ei under π and to Ek0 under π 0 ◦ f . That is,
ik = π −1 (Ei ) ∩ f −1 (π 0−1 (Ek0 )) ∩ ∂Z.
The degrees of π and π 0 restricted to ik satisfy the following useful property.
Lemma 6.9. Let Z be a component of Z, and let ik be the curves from Definition 6.8. Then for
each i ∈ I and k ∈ I 0 , the degree of the map π : ik → Ei is a number δk = δk (Z) which depends
on k but not on i, and the degree of the map π 0 : f (ik ) → Ek0 is a number δi0 = δi0 (Z) which depends
on i but not on k.
Moreover, if d and d0 are the degrees of π and π 0 restricted to ∂Z and f (∂Z) respectively, then
we have the following equations:
X
X
(6.2)
δk = d and
δi0 = d0 .
k∈I 0

i∈I

Proof. We write Z = ZA ∪ ZA0 as in Remark 6.7. By definition, no component of ZA maps to A0 ,
so we partition ZA into a disjoint collection of possibly disconnected surfaces Sk so that π 0 (f (Sk ))
is contained in Ok0 for each k ∈ I 0 . Observe that ∂Sk contains all curves of ∂Z = ∂ZA which map
to Ek0 under π 0 ◦ f . Thus ∂Sk = ∪i∈I ik .
On the other hand, π maps Sk (and hence ∂Sk ) to A with some degree, say δk , which depends on
k. Then for any i, the edge Ei has exactly δk lifts in Sk , or equivalently, the degree of π restricted
to ik is δk , which is independent of i.
The left equation in (6.2) follows from the fact that ∂Z = ∪k∈I 0 ∂Sk , so the degree d of π restricted
to ∂Z is the sum of the degrees of π restricted to ∂Sk over all k ∈ I 0 . The corresponding statements
about δi0 are proved similarly.

6.5. Case 2. We now complete the proof of our necessary conditions in the case that
◦

f (π −1 (A)) ∩ π 0−1 (A0 ) = ∅.
Lemma 6.3 establishes the first sentence of (2) in Theorem 1.12 and Proposition 6.4 proves (2)(b).
Thus it remains to show:
◦

Proposition 6.10. If f (π −1 (A)) ∩ π 0−1 (A0 ) = ∅ then condition (2)(a) holds.
Proof. Recall from the discussion preceding Remark 6.5 that w = Rw0 , where the distinct entries
of w0 correspond to distinct colors. Let ŵ0 denote the vector obtained from w0 by deleting the
pth entry, where p is the index of the entry χ(WA ) of w. We show below that for each i ∈ I, the
vector vi = (χi1 , . . . , χir ) is commensurable to ŵ0 . Hence the vectors {vi | i ∈ I} belong to a single
commensurability class.
Fix i ∈ I. We begin by showing that there exists a number Di0 such that for 1 ≤ j ≤ r, if Pij
has color c, then
(6.3)

χ(f (π −1 (Pij ))) = Di0 R0 c.

Suppose the color of A0 is c0 (with c0 possibly equal to c). Partition f (π −1 (Pij )) into (possibly
disconnected) subsurfaces TA0 and Tk such that π 0 (TA0 ) = A0 and π 0 (Tk ) is contained in Ok0 , for
each k ∈ I 0 . Note that π −1 (Pij ) contains the full preimage of the branching edge Ei . Let Eik be
the collection of all branching curves in Y which map to Ei under π and to Ek0 under π 0 ◦ f . Then
f (Eik ) consists of ∂Tk together with some curves from ∂TA0 .
◦

Let W and Z be as in Remark 6.7. Then W is empty, since f (π −1 (A)) ∩ π 0−1 (A0 ) = ∅. Thus Eik
is the union of the curves ik = ik (Z) corresponding to all components Z of Z. Then it follows
30

P
from Lemma 6.9 that the degree of π 0 restricted to f (Eik ) is a number Di0 = Z⊂Z δi0 (Z), which is
independent of k.
Suppose the degree of π 0 restricted to TA0 is Di00 < Di0 . Then Remark 6.5 implies that for
0 consisting of orbifolds of color c by total
each k, the map π 0 sends Tk into the subset of ∪rl=1 Pkl
0 of color c, the Euler characteristic of W 0 = π (P 0 ) is
degree Di0 − Di00 . By Lemma 6.6, for all Pkl
1
kl
kl
0
independent of l, and is equal to χ(Wkl0 ) for some l0 . Now R0l0 consists of one orbifold of color c for
P
0 ). Thus we obtain Equation (6.3) as follows:
each k ∈ I 0 , and therefore χ0l0 = R0 c = k∈I 0 χ(Wkl
0
X
0
) = Di00 R0 c + (Di0 − Di00 )R0 c = Di0 R0 c.
χ(f (π −1 (Pij ))) = Di00 R0 c +
(Di0 − Di00 )χ(Wkl
0
k∈I 0

To complete the proof, note that χ(f (π −1 (Pij ))) = Dχ(Wij ) = Dχij , since π is a degree D map.
Thus
Dvi = D(χi1 , . . . , χir ) = (Di0 R0 c1 , . . . , Di0 R0 c1 , . . . , . . . , Di0 R0 cn , . . . , Di0 R0 cn ) = Di0 R0 ŵ0 .
This proves the first part of (2)(a), and the second part has a similar proof.



◦

6.6. Case 3. We are now in the case that f (π −1 (A)) ∩ π 0−1 (A0 ) 6= ∅. We show that condition (1)
of Theorem 1.12 holds in this case by constructing new homeomorphic finite-sheeted covers of OΓ
and OΓ0 such that the hypothesis of Case 1 is satisfied. More precisely, we show:
◦

Proposition 6.11. Suppose f (π −1 (A)) ∩ π 0−1 (A0 ) 6= ∅. Then there exist finite-sheeted, connected
torsion-free covers µ : M → OΓ and µ0 : M0 → OΓ0 and a homeomorphism f˜ : M → M0 such that
f˜(µ−1 (A)) = µ0−1 (A0 ).
Then by applying Case 1 to the maps µ, µ0 , and f˜, we get:
◦

Corollary 6.12. If f (π −1 (A)) ∩ π 0−1 (A0 ) 6= ∅, then condition (1) holds.



To prove Proposition 6.11, we assume that Case 1 does not already hold for Y, Y 0 , and f . We
observe:
◦

Observation 6.13. Since f (π −1 (A)) ∩ π 0−1 (A0 ) 6= ∅, Remark 6.5 implies that A and A0 have the
same color, say a. As Case 1 does not hold, each of OΓ and OΓ0 also has orbifolds besides A and A0
of color a.
Idea of the construction of M and M0 . As described in Remark 6.7, we have a decomposition
π −1 (A) ∩ f −1 (π 0−1 (A0 )) = W t Z. The hypothesis of Case 1 holds on W and fails on Z. Our
assumption that Case 1 does not hold for Y, Y 0 , and f implies that Z is nonempty. As in Remark 6.7,
each component Z of Z has a decomposition Z = ZA ∪ ZA0 such that
π(ZA ) = A,

π(ZA0 ) ⊂ ∪i∈I Oi ,

π 0 (f (ZA0 )) = A0 ,

and π 0 (f (ZA )) ⊂ ∪k∈I 0 Ok0 .

The key to constructing the new covers is the fact, which we establish below, that χ(ZA ) = χ(ZA0 ).
0 were connected, then by redefining f to interchange its images on these two
If ZA and ZA
surfaces, we would get a homeomorphism such that the hypothesis of Case 1 is satisfied. However,
as observed in Remark 6.7, the surfaces ZA and ZA0 are never connected, so it is not clear that
there is a homeomorphism from ZA to f (ZA0 ). Trying to modify π 0 poses similar difficulties, as it
is not clear that π 0 can be consistently redefined so that the individual pieces of f (ZA ) each map
0 . Thus a more subtle approach is
to A0 , and the individual pieces of f (ZA0 ) each map to some Pkl
required.
31

Our strategy is to cut out the interiors of ZA and ZA0 from Y (and correspondingly cut out
f (ZA ) and f (ZA0 ) from Y 0 ) and replace them with different surfaces to get new (homeomorphic)
surface amalgams M and M0 covering OΓ and OΓ0 respectively. We will replace ZA and f (ZA )
with homeomorphic connected surfaces with boundary which cover both A and A0 . The Euler
characteristic of these surfaces will be χ(ZA ) = χ(ZA0 ). We will replace ZA0 and f (ZA0 ) by a
collection of homeomorphic connected surfaces with boundary, so that each such homeomorphic
0 of color a in O 0 . The crucial
pair covers some orbifold Pij of color a in OΓ and also some orbifold Pkl
Γ
ingredient for this step is Lemma 6.9, which allows us to derive the necessary Euler characteristic
equations required to construct such pairs. After all these replacements, the new covering maps
need to extend the already existing covering maps on ∂Z = ∂ZA = ∂ZA0 and f (∂Z).
We construct the replacement surfaces in Lemmas 6.14 and 6.15 by passing to our torsion-free
covers from Section 4 and then using Lemma 2.12 for constructing further covers. We use Lemma 6.9
to prove the replacement surfaces are homeomorphic. The parity condition in Lemma 2.12 forces
the covering maps on the replacement surfaces to have twice the degrees of the restrictions of π and
π 0 to Z and f (Z). Thus to glue in these replacement surfaces, we need to pass to degree 2 covers
of Y and Y 0 .
A further difficulty is posed by the fact that each connected replacement surface of the second
0 , but it may be replacing a collection of surfaces in Z 0 whose
type maps to a single Pij and Pkl
A
image in either OΓ or OΓ0 contains all orbifolds of color a at either Ei or Ek0 . This would make it
impossible to extend at least one of π or π 0 to the new surface. To fix this we pass to a further
degree m2 cover, where m is the number of orbifolds of color a in any Oi , i ∈ I.
Thus we first construct spaces Ȳ and Ȳ 0 consisting of 2m2 disjoint copies of Y and Y 0 . We define
new covering maps π̄ and π̄ 0 to OΓ and OΓ0 respectively, designed to make the eventual extensions
to M and M0 possible. Then we cut out all 2m2 copies of Z and replace them with m2 copies of
each of the replacement surfaces in such a way that π̄ and π̄ 0 extend. The fact that Case 1 holds
follows from the construction.
We now give the details of the construction.
Construction of the replacement surfaces. Let Z be a component of Z. The following lemma defines
the surfaces which will be used to replace copies of ZA .
Lemma 6.14. Let d and d0 be the degrees of π and π 0 restricted to ∂Z = ∂ZA and f (∂Z) respectively. Then there exist connected surfaces T and T 0 and orbifold covering maps α : T → A and
α0 : T 0 → A0 of degree 2d and 2d0 respectively such that the following properties hold.
(1) There is a partition ∂T = ∂T + t ∂T − and homeomorphisms β ± : ∂T ± → ∂Z such that
α = π ◦ β±.
(2) There is a partition ∂T 0 = ∂T 0+ t ∂T 0− and homeomorphisms β 0± : ∂T 0± → f (∂Z) such
that α0 = π 0 ◦ β 0± .
(3) There is a homeomorphism ψ : T → T 0 whose restriction to ∂T consists of the maps
(β 0 ± )−1 ◦ f ◦ β ± .
Proof. Recall that π = ρ ◦ η, where ρ : X → OΓ is the degree 16 torsion-free covering space from
Section 4. If SA = ρ−1 (A), then η maps the possibly disconnected surface ZA to the connected
surface SA by degree d/16 ∈ Z. We will use Lemma 2.12 to construct a connected cover T of SA
of degree d/16.
Let ∂T + and ∂T − be sets of circles, each equal to a copy of ∂Z, and let β + and β − be homeomorphisms from ∂T + and ∂T − respectively to ∂Z. Then η ◦ β ± a covering map from each circle in
∂T ± to a circle in ∂SA . Moreover, the sum of the degrees of η ◦ β + and η ◦ β − over all circles that
32

cover a given one in ∂SA is 2(d/16) ∈ 2Z by construction (since η is a covering map of degree d/16
on ∂Z).
Now by Lemma 2.12, there exists a connected surface T and a covering map ᾱ : T → SA of
degree 2d/16 which extends the maps η ◦ β ± on ∂T + t ∂T − , because both the prescribed number of
boundary components, namely 2 card (∂Z), and the number 2(d/16)χ(SA ) are even. Hence α = ρ◦ ᾱ
is a degree 2d covering map from T to A. This proves (1), and the map α0 : T 0 → A0 of degree 2d0
satisfying (2) is constructed similarly.
To prove (3) we first show that T and T 0 have the same Euler characteristic. By construction
χ(T ) = 2dχ(WA ) and χ(T 0 ) = 2d0 χ(WA0 ), and we now show that these are equal.
As in the proof of Lemma 6.9, we partition ZA into unions of connected surfaces Sk for k ∈ I 0 ,
where π 0 (f (Sk )) is contained in Ok0 . Observe that the set of boundary components of Sk is exactly
∪i∈I ik , and by Lemma 6.9, the degree of π 0 restricted to f (ik ) is δi0 . Now the degree of π 0 restricted
0
to
P f (Sk0 ) is 0exactly the sum of the degrees of π restricted to f (ik ) over all i ∈ I, and this sum is
i∈I δi = d (again by Lemma 6.9). Thus we have
0
χ(f (Sk )) = d0 χ(Wkt
),

(6.4)

0 = π (P 0 ) for P 0 a branch orbifold of color a. By Lemma 6.6 all branch orbifolds of
where Wkt
1
kt
kt
0 with total degree d0 for each
color a are identical. So f (Sk ) covers an orbifold identical to Pkt
0
1 ≤ k ≤ N . Thus we have
X
X
0
) = d0 χ0t = d0 χ(WA0 )
(6.5)
d χ(WA ) = χ(ZA ) =
χ(f (Sk )) = d0
χ(Wkt
k∈I 0

χ0t

k∈I 0

χ(R0t ),

where the last equality comes from
=
χ(WA0 ) = χ(π1 (A0 )), and the fact that A0 and R0t
have the same color a.
Now T and T 0 have the same Euler characteristic and the same number of boundary components,
so they are homeomorphic. Moreover, we can choose a homeomorphism ψ between them which
extends the homeomorphism (β 0 ± )−1 ◦ f ◦ β ± on their boundaries.

The following lemma constructs pairs of homeomorphic surfaces which map to fixed pairs of
0 . Collections of surfaces of this form will be used to replace copies of Z 0 .
orbifolds Pis and Pkt
A
Lemma 6.15. Let Z be a component of Z, and let ik , δk and δi0 be as in Lemma 6.9. For each i
0 have color a, there
and k such that ik is nonempty, and for each s and t such that Pis and Pkt
0
0 of
exist connected surfaces S and S and orbifold covering maps ζ : S → Pis and ζ 0 : S 0 → Pkt
0
degree 2δk and 2δi respectively, such that the following properties hold.
(1) There is a partition ∂S = ∂S + t ∂S − and homeomorphisms ξ ± : ∂S ± → ∂Z such that
ζ = π ◦ ξ±.
(2) There is a partition ∂S 0 = ∂S 0+ t ∂S 0− and homeomorphisms ξ 0± : ∂S 0± → f (∂Z) such that
ζ 0 = π ◦ ξ 0± .
(3) There is a homeomorphism ϕ : S → S 0 whose restriction to ∂S consists of the maps
(ξ 0 ± )−1 ◦ f ◦ ξ ± .
0 of the required
Proof. As in the proof of Lemma 6.14, we construct covers S → Pis and S 0 → Pkt
0
degrees using Lemma 2.12. By construction, S and S have homeomorphic boundaries. We show
below that χ(S) = χ(S 0 ). It follows that S and S 0 are homeomorphic, and we choose a homeomorphism ϕ between them which extends the homeomorphism (ξ 0 ± )−1 ◦ f ◦ ξ ± on their boundaries.
0 ) = δ 0 χ0 , it is enough to show that
Since χ(S) = δk χ(Wis ) = δk χis and χ(S 0 ) = δi0 χ(Wkt
i kt
δk χis = δi0 χ0kt . This follows from the two facts below, where d and d0 are as in Lemma 6.9.
(i) dχs = d0 χ0t .
33

(ii) d0 χ0kt = δk χs and dχis = δi0 χ0t .
More precisely, facts (i) and (ii) give
 0 0  0   0 0 0 
δi χkt
d χkt
δi
d
χs
d0
=
.
= 0 =
d
χt
δk
dχis
d
δk χis
This yields δk χis = δi0 χ0kt as desired.
Equation (6.5) in the proof of Lemma 6.14 shows that dχ(WA ) = d0 χ(WA0 ). Now (i) follows from
the fact that χs = χ(WA ) and χ0t = χ(WA0 ). To prove (ii), we recall from the proof of Lemma 6.9
that Sk covers A with degree δk . This, together with equation (6.4) in the proof of Lemma 6.14
and the fact that χ(WA ) = χs gives:
δk χs = δk χ(WA ) = χ(Sk ) = χ(f (Sk )) = d0 χ0kt .
The proof of the second equation in (ii) is similar.



We are now ready to construct the new covers M and M0 .
Proof of Proposition 6.11. Suppose that each Oi and Ok0 has m branch orbifolds of color a. Then
we will construct homeomorphic surface amalgam covers M and M0 of OΓ and OΓ0 of degrees
2m2 D and 2m2 D0 respectively.
New homeomorphic covering spaces Ȳ and Ȳ 0 . Take 2m2 disjoint copies of Y and Y 0 to obtain Ȳ
± : Y → Y ± and τ 0 ± : Y → Y 0 ± be homeomorphisms,
and Ȳ 0 . More precisely, for 1 ≤ p, q ≤ m, let τpq
pq
pq
pq
and set:








m
m
m
m
G
G
G
G
G
G
−
+
+
−


Y 0 pq  .
Ȳ = 
Ypq
Ypq
and Ȳ 0 = 
Y 0 pq 
p,q=1

p,q=1

p,q=1

p,q=1

We define the map π̄ : Ȳ → OΓ as follows. First define an isometry σ : OΓ → OΓ so that if
1 ≤ j1 < · · · < jm ≤ r are the indices of the color a orbifolds Rj in OΓ , then σ(Rju ) = Rju+1 , where
± by π̄ = σ p ◦π◦(τ ± )−1 .
u+1 is taken mod m, and σ is the identity elsewhere. Then π̄ is defined on Ypq
pq
Clearly the resulting map π̄ : Ȳ → OΓ is an orbifold covering map of degree 2m2 D.
Similarly we choose the analogous isometry σ 0 : OΓ0 → OΓ0 and define the corresponding covering
−1 on Y 0 ± . Finally, we define a
map π̄ 0 : Y 0 → OΓ0 of degree 2m2 D0 , by setting π̄ 0 = σ 0 q ◦ π 0 ◦ (τ 0 ±
pq
pq )
± )−1 on Y ± .
◦
f
◦
(τ
homeomorphism f¯ : Ȳ → Ȳ 0 by setting f¯ = τ 0 ±
pq
pq
pq
Construction of M and M0 . Let Z ⊂ Y be as in Remark 6.7. Given a component Z of Z ⊂ Y,
± = τ ± (Z) and ∂Z ± = τ ± (∂Z) denote the
let ∂Z denote the branching curves it contains. Let Zpq
pq
pq
pq
±
corresponding objects in Ypq . Let MZ be the subspace of Ȳ obtained by cutting out the interiors
of all 2m2 copies of Z. More precisely,


m
G G

±
± 
MZ = Ȳ \ 
Zpq
\ ∂Zpq
.
Z∈Z p,q=1

The space M is obtained by gluing a new collection of surfaces to MZ in such a way that each
branching curve in M has a neighborhood homeomorphic to a neighborhood of the corresponding
curve in Y, and moreover there is an extension of π̄|MZ to a map µ on M, such that π̄ and µ agree
on such neighborhoods of branching curves. The space M0 is obtained similarly. The surfaces are
glued as follows.
Fix a component Z of Z. We glue two types of surfaces to MZ and f (MZ ) along the curves
±
m
±
¯
tm
p,q=1 ∂Zpq and tp,q=1 f (∂Zpq ) respectively. Let Z = ZA t ZA0 as in Remark 6.7.
34

(1) (Replacements for ZA .) Construct m2 copies each of the surfaces T and T 0 from Lemma 6.14,
± : ∂T
0±
0
indexed by 1 ≤ p, q ≤ m. Let βpq
pq → ∂Z and β pq : ∂Tpq → f (∂Z) denote the maps
+ to ∂Z + via τ + ◦ β + ,
from the lemma. Then Tpq is attached to MZ by identifying ∂Tpq
pq
pq
pq
− to ∂Z − via τ − ◦ β − . Similarly T 0 is attached to f¯(∂Z ± ) in f¯(M ) via the maps
and ∂Tpq
Z
pq
pq
pq
pq
pq
0 ± ◦ β ± + . Note that by Lemma 6.14 there are covering maps α
τpq
pq
pq : Tpq → A and
0
0
0
αpq : Tpq → A .
(2) (Replacements for ZA0 .) For each non-empty collection of curves ik in Z, we glue in m2
copies of a single surface. Thus ZA0 is replaced by the union of such surfaces for all pairs i, k
such that ik is nonempty.
Fix such an ik . Construct m2 copies of the surfaces S and S 0 described in Lemma 6.15,
0 , with 1 ≤ p, q ≤ m. Corresponding to p and q, choose s = j and
denoted by Spq and Spq
p
0 : S0 → P 0
t = lq in the statement of Lemma 6.15, and let ζpq : Spq → Pijp and ζpq
be
the
pq
klq
± : ∂S
0±
0
covering maps given by the lemma. Let ξpq
pq → ∂Z and ξ pq : ∂Spq → f (∂Z) be the
associated maps on the boundaries.
± as in the previous case, because we want to define
We cannot simply attach Spq to ∂Zpq
a covering map µ on M which agrees with π̄ on a neighborhood of each branching curve
in Ȳ. Now µ(Spq ) will have to be a single orbifold Pijs for some 1 ≤ s ≤ m. On the
+ ∪ Y − (namely all surfaces
other hand, Spq is replacing a disjoint collection of surfaces in Ypq
pq
±
±
in τpq (ZA0 ) with boundary in τpq (ik )). A priori the image of the union of these surfaces
under π̄ could be all the Pij of color a. Then for any choice of s there would be some
branching curve incident to two surfaces mapping to Pijs , and µ would not be an orbifold
covering. To take care of this issue, we define the attaching maps as follows.
+ . Then ξ + (γ) is a branching curve of Y, which is
Let γ be a boundary curve in ∂Spq
pq
incident to two subsurfaces in Z, say S1 in ZA0 and S2 in ZA . Then π(S1 ) = Piju for some
0
for some 1 ≤ v ≤ m. We then attach the γ boundary
1 ≤ u ≤ m and π 0 (f (S2 )) = Pkl
v
+
+
+ . Note that u and v depend on γ.
of Spq to Y(p−u)(q−v) ∩ MZ via the map τ(p−u)(q−v)
◦ ξpq
0 given by Lemma 6.15, then we attach
Now if ϕ is the homeomorphism from Spq to Spq
−1
+
0 to Y
¯ +
the ϕ(γ) boundary of Spq
(p−u)(q−v) ∩ f (MZ ) via the map f ◦ τ(p−u)(q−v) ◦ ξpq ◦ ϕ .
±
We repeat this procedure for each γ in ∂Spq to attach all the boundary components of Spq
0 to f (M ).
to MZ and the corresponding boundary components of Spq
Z
We repeat the above procedure for each 1 ≤ p ≤ m and 1 ≤ q ≤ m. This completes the
replacement of surfaces corresponding to the copies of the curves ik . We now do the same
for each i and k such that ik is nonempty.

±
We claim that at the end of steps (1) and (2), each curve in tm
p,q=1 ∂Zpq is incident to exactly
one surface from (1) and one surface from (2). The first claim is easy. Now suppose (without loss
+
of generality) that γ ∈ Zst
is incident to two surfaces, say along γ1 in Sp1 q1 and γ2 in Sp2 q2 . Then
+
+
ξp1 q1 (γ1 ) = ξp2 q2 (γ2 ) = (τ + st )−1 (γ) in ∂Z, and if u and v are defined as in (2), then s = p1 − u =
p2 − u. Thus p1 = p2 , and similarly q1 = q2 .
Finally, we repeat steps (1) and (2) above for each component Z of Z to get M and M0 . Note
±
that since the ∂Z’s for different Z’s partition ∂Z, we see that each branching curve in tZ∈Z tp,q ∂Zpq
± for some Z, p and q,
is incident to exactly one surface from (1) and one from (2). In fact, if γ ∈ ∂Zpq
then there exist neighborhoods NY (γ) and NM (γ) in Y and M respectively, and a homeomorphism
hγ : NY (γ) → NM (γ), which is the identity on MZ ∩ NY (γ), maps NY (γ) ∩ ZA to the part of NM
coming from the surface from (1), and maps NY (γ) ∩ ZA0 to the part of NM coming from the
surface from (2).
35

The covering maps µ and µ0 , and the homeomorphism f˜. Define
1 ≤ p, q ≤ m:


0


on MZ
π̄
π̄
0
0
µ = αpq on each Tpq
and µ = αpq




ζuv
on each Spq
ζpq

maps µ and µ0 as follows, where
on f (MZ )
0
on each Tpq
0 .
on each Spq

The overlap between the domains of the various maps is exactly the set of branching curves
± . Thus it follows from the definitions of the gluing maps, the definition of π̄, and
tZ∈Z tp,q ∂Zpq
items (i) and (ii) in Lemmas 6.14 and 6.15 that µ and µ0 are well-defined.
± . If γ
We already know that µ is a covering map away from the branching curves in tZ∈Z tp,q ∂Zpq
is such a branching curve, then the above description of the surfaces incident to γ, together with
the fact that µ and π̄ agree on γ, shows that there is a homeomorphism h from some neighborhood
of γ in M to a neighborhood of γ in Y such that M = π̄ ◦ h. It follows that µ is an orbifold covering
map in a neighborhood of each branching curve. Thus µ, and similarly µ0 , are orbifold covering
maps.
Finally, define f˜ by setting it equal to f¯ on MZ , to ψpq on each surface of the form Tpq as
in (1) above, and to ϕpq on each surface of the form Spq as in (2) above, where ψpq and ϕpq
are the homeomorphisms from Lemmas 6.14 and 6.15. Then f˜ : M → M0 is a well-defined
homeomorphism, and we have that f˜(µ−1 (A)) = µ0−1 (A)0 .
If the covers M and M0 constructed above are not connected, we consider the restriction of f˜ to
a single connected component of M to get the desired homeomorphic connected covers satisfying
the hypothesis of Case 1.

This completes the proof of Proposition 6.1.
7. Sufficient conditions for cycles of generalized Θ-graphs
In this section we establish sufficient conditions for the commensurability of right-angled Coxeter
groups defined by cycles of generalized Θ-graphs. We show that conditions (1) and (2) from
Theorem 1.12 are sufficient in Sections 7.1 and 7.2, respectively.
7.1. Sufficiency of condition (1). We now prove the following result.
Proposition 7.1. Let W = WΓ and W 0 = WΓ0 be as in Theorem 1.12. If condition (1) holds,
then W and W 0 are commensurable.
By the construction given in Section 4, we have surface amalgams X and X 0 which are finitesheeted covers of OΓ and OΓ0 , respectively. To prove Proposition 7.1, we will construct homeomorphic surface amalgams Y and Y 0 so that Y is a finite-sheeted cover of X and Y 0 is a finite-sheeted
cover of X 0 . It follows that π1 (Y) ∼
= π1 (Y 0 ) has finite index in both W = π1 (OΓ ) and W 0 = π1 (OΓ0 ),
0
hence W and W are abstractly commensurable.
Let Λ and Λ0 be the JSJ graphs of W and W 0 , respectively, and recall from Section 4 that the
JSJ graphs of X and X 0 are the half-covers H(Λ) and H(Λ0 ). The surface amalgams Y and Y 0
will have isomorphic JSJ graphs Ψ and Ψ0 , with Ψ and Ψ0 being half-covers of H(Λ) and H(Λ0 ),
respectively. After introducing some notation and constants for use in the proof, in Sections 7.1.1
and 7.1.2 respectively, we construct Ψ and Ψ0 in Section 7.1.3. We then construct common covers
of the surfaces in X and X 0 in Sections 7.1.4 and 7.1.5. Finally, in Section 7.1.6, we describe how
these surfaces are glued together to form homeomorphic surface amalgams Y and Y 0 so that there
are finite-sheeted coverings Y → X and Y 0 → X 0 .
36

7.1.1. Notation. We first establish some notation to be used throughout the proof of Proposition 7.1. This includes labeling the vertices of H(Λ) and H(Λ0 ).
Using (1)(a) of Theorem 1.12, let V1 , . . . , VM be the commensurability classes of the Euler characteristic vectors {vi | ri ≥ 2} and {vk0 | rk ≥ 2}. For each 1 ≤ p ≤ M , let rp ≥ 2 be the number of
entries of each vector in Vp , let wp be the minimal integral element of the commensurability class Vp ,
0 | 1 ≤ q0 ≤ N 0 }
let {vpq | 1 ≤ q ≤ Np } be the vectors from {vi | ri ≥ 2} which lie in Vp , and let {vpq
0
p
0
0
0
0
be the vectors from {vk | rk ≥ 2} which lie in Vp . For each p, q, and q , let Rpq and Rpq
0 be the
0 = R0 w .
(unique) rationals so that vpq = Rpq wp and vpq
0
pq 0 p

1
y11

2
y11

x+
11

x−
11
y0

x−
12

x+
21

1
y12

1
y21
2
y21

−
x+
12 x21

2
y12

Γ

H(Λ)

3
y21

Figure 7.1. The graph Γ on the left is an example of a cycle of generalized Θ-graphs in which
there are two commensurability classes of Euler characteristic vectors for WΓ . On the right, the
graph H(Λ) is the JSJ graph of the degree 16 torsion-free cover X of OΓ constructed in Section 4.
The vertices of H(Λ) are labeled as described in Section 7.1.1.

We use the notation from the previous paragraph to label the vertices of the graphs H(Λ)
and H(Λ0 ), as follows. An example of the labeling is given in Figure 7.1. The graph H(Λ) has two
P
Type 1 vertices for every ri ≥ 2, hence has 2 M
p=1 Np Type 1 vertices. We label these as:
−
V1 (H(Λ)) = {x+
pq , xpq | 1 ≤ p ≤ M, 1 ≤ q ≤ Np }.

The central vertex of H(Λ), which is of Type 2, we denote by y0 . This vertex is adjacent to every
P
Type 1 vertex, so has valence 2 M
p=1 Np . For each p, the graph H(Λ) has rp Np additional Type 2
vertices, all of valence 2, which we label so that
j
V2 (H(Λ)) = {y0 } ∪ {ypq
| 1 ≤ p ≤ M, 1 ≤ q ≤ Np , 1 ≤ j ≤ rp }.
j
−
Each of the vertices ypq
is adjacent to both x+
pq and xpq .
P
0
Similarly, H(Λ0 ) has 2 M
p=1 Np vertices of Type 1, given by
−
0
0
V1 (H(Λ0 )) = {x+
pq 0 , xpq 0 | 1 ≤ p ≤ M, 1 ≤ q ≤ Np },

and 1 +

PM

0
p=1 rp Np

vertices of Type 2, given by

j
0
0
V2 (H(Λ0 )) = {y00 } ∪ {ypq
0 | 1 ≤ p ≤ M, 1 ≤ q ≤ Np , 1 ≤ j ≤ rp },
j
+
−
so that y00 is adjacent to every Type 1 vertex, and ypq
0 is adjacent to xpq 0 and xpq 0 .
37

7.1.2. Constants. We next define quite a few constants for use in the proof of Proposition 7.1,
continuing notation from Section 7.1.1. We will need the following lemma.
Lemma 7.2. Assume W = WΓ and W 0 = WΓ0 are as in Theorem 1.12, and that condition (1)
holds. Then for each 1 ≤ p ≤ M ,


 0

Np
Np
X
X
0 
χ(WA0 ) · 
Rpq  = χ(WA ) · 
Rpq
.
0
q 0 =1

q=1

Proof. For any vector v, write v for the sum of the entries of v. Using this and the notation of
Theorem 1.12, an easy calculation shows that for each i ∈ I and each k ∈ I 0 ,
χ(WΘi ) =

ri
X

0

χ(Wβij ) = vi

and χ(WΘ0k ) =

j=1

rk
X

χ(Wβkl ) = vk0 .

l=1

Now combining this with the notation established in Section 7.1.1, we have by condition (1)(b) of
Theorem 1.12 that for each 1 ≤ p ≤ M ,



 0

 0


Np
Np
Np
Np
X
X
X
X
0
0 .
Rpq wp  = χ(WA ) · 
Rpq
vpq  = χ(WA0 ) · 
vpq
χ(WA0 ) · 
0 wp  = χ(WA ) · 
0
q=1

q 0 =1

q=1

q 0 =1

The result follows.



Next, for each 1 ≤ p ≤ M , each 1 ≤ q ≤ Np , and each 1 ≤ q 0 ≤ Np0 , let
(7.1)

kpq = 16|Rpq |

0
0
and kpq
0 = 16|Rpq 0 |.

Then by Lemma 7.2, we may define constants Bp for 1 ≤ p ≤ M by


 0

Np
Np
X
X
0 
Bp = |χ(WA0 )| · 
kpq  = |χ(WA )| · 
kpq
.
0
q 0 =1

q=1

We also define
(7.2)

B=

M
X

Bp .

p=1

Lemma 7.3. With the same hypotheses as Lemma 7.2:
0
(1) each kpq and kpq
0 is a positive integer divisible by 4;
(2) each Bp is a positive integer, so B is a positive integer; and
(3) for each p, we have Bp ≥ Np .
0 and the rationals
Proof. By Definition 1.4, the entries in the Euler characteristic vectors vpq and vpq
0
χ(WA ) and χ(WA0 ) all have denominator at most 4. Since wp is the minimal integral element of
0
the commensurability class Vp , which contains the vectors vpq and vpq0 , the rationals Rpq and Rpq
0
have denominator at most 4 as well. The lemma follows easily from this.

0 , that is,
We now define K to be the product of all of the kpq and kpq
0

 0

Np
Np
M
Y
Y
Y
0 

(7.3)
K=
kpq  
kpq
.
0
p=1

q 0 =1

q=1
38

We also define
(7.4)

dpq =

K
,
kpq

d0pq0 =

K
0 ,
kpq
0

D = K|χ(WA0 )|,

and D0 = K|χ(WA )|.

Lemma 7.3 now implies:
Lemma 7.4. The constants K, dpq , d0pq0 , D, and D0 are all positive integers.



7.1.3. Construction of the half-covers Ψ and Ψ0 . We now construct the graphs Ψ and Ψ0 , and show
that they are isomorphic.
Let B be as defined at (7.2) above, and recall from Lemma 7.3 that B is a positive
integer. The
PM PNp
0
graphs Ψ and Ψ will both have 2B Type 1 vertices. In Ψ, we use that B = p=1
q=1 |χ(WA0 )|kpq
to put
i,−
V1 (Ψ) = {xi,+
pq , xpq | 1 ≤ p ≤ M, 1 ≤ q ≤ Np , 1 ≤ i ≤ |χ(WA0 )|kpq }.
PN 0

P
p
0
In Ψ0 , we use that B = M
|χ(W
)|k
to put
0
0
A
p=1
pq
q =1
0

0

i ,−
0
0
0
0
V1 (Ψ0 ) = {xipq,+
0 , xpq 0 | 1 ≤ p ≤ M, 1 ≤ q ≤ Np , 1 ≤ i ≤ |χ(WA )|kpq 0 }.

We now describe the Type 2 vertices of Ψ and Ψ0 , and the edges. The graph Ψ has a distinguished
P
Type 2 vertex y1 of valence 2B, which is adjacent to every Type 1 vertex. There are M
p=1 Bp rp
additional Type 2 vertices in Ψ, each of valence 2, so that:
ij
V2 (Ψ) = {y1 } ∪ {ypq
| 1 ≤ p ≤ M, 1 ≤ q ≤ Np , 1 ≤ i ≤ |χ(WA0 )|kpq , 1 ≤ j ≤ rp }.
PM
ij
i,−
0
For 1 ≤ j ≤ rp , the vertex ypq
is adjacent to xi,+
pq and xpq 0 . Similarly, the graph Ψ has 1+
p=1 Bp rp
Type 2 vertices, given by
0

ij
0
0
0
0
V2 (Ψ0 ) = {y10 } ∪ {ypq
0 | 1 ≤ p ≤ M, 1 ≤ q ≤ Np , 1 ≤ i ≤ |χ(WA )|kpq 0 , 1 ≤ j ≤ rp },
0

0

0

i ,−
i ,+
ij
with y10 adjacent to every Type 1 vertex, and ypq
0 adjacent to xpq 0 and xpq 0 .

Lemma 7.5. The graphs Ψ and Ψ0 are isomorphic.
Proof. By construction, it suffices to show that for each p, the Bp vertices {xi,+
pq | 1 ≤ q ≤ Np , 1 ≤
i0 ,+
0
0
0
0 } in Ψ0 have
i ≤ |χ(WA0 )|kpq } in Ψ and the Bp vertices {xpq0 | 1 ≤ q ≤ Np , 1 ≤ i ≤ |χ(WA )|kpq
0
the same collection of valences. But each of these vertices in fact has the same valence, namely
i0 ,+
0
1 + rp , since each xi,+
pq (respectively, xpq 0 ) is adjacent to the central vertex y1 (respectively, y1 ),
0

ij
ij
and to the rp vertices {ypq
| 1 ≤ j ≤ rp } (respectively, {ypq
0 | 1 ≤ j ≤ rp }). The result follows.



The next lemma is easily verified.
ij
j
±
Lemma 7.6. There is a half-covering Ψ → H(Λ) induced by y1 7→ y0 , xi,±
pq 7→ xpq , and ypq 7→ ypq ,
and similarly for Ψ0 → H(Λ0 ).

7.1.4. Covering the central surfaces. Denote by SA the surface in X that covers the orbifold A
with degree 16, and by SA0 the corresponding surface in X 0 (see Section 4.3 for the constructions
of these surfaces). In this section, we construct a common cover T of the surfaces SA and SA0 .
Recall that the boundary components of SA (respectively, SA0 ) are in bijection with the Type 1
vertices of H(Λ) (respectively, H(Λ0 )). Now label the boundary components of SA and SA0 using
the notation for the Type 1 vertices of these graphs from Section 7.1.1 above. Let dpq , dpq0 , D,
and D0 be the positive integers defined at (7.4) above.
39

Lemma 7.7. There exists a connected surface T with 2B boundary components which covers SA
with degree D and SA0 with degree D0 .
Proof. Notice first that
D · χ(SA ) = (K|χ(WA0 )|) · (16χ(WA )) = (K|χ(WA )|) · (16χ(WA0 )) = D0 · χ(SA0 ),
so these covering degrees are compatible with the existence of T .
Next we consider the number of boundary components. Recall from Section 4.3 that SA is
obtained by gluing together the connected surface SA , which has 2N boundary components, and
a connected surface Sβ with two boundary components for every branch β in Γ whose vertices are
contained in A. There is one such Sβ for every ri = 1, thus SA has two boundary components
P
PM
0
for every ri ≥ 2. Hence SA has 2 M
p=1 Np boundary components. Similarly, SA0 has 2
p=1 Np
boundary components.
Now by Lemma 7.3, we have Bp ≥ Np (respectively, Bp ≥ Np0 ) for 1 ≤ p ≤ M . Since B =
PM
p=1 Bp , it follows that the number of boundary components of SA (respectively, SA0 ) has the
same parity as 2B, and is less than or equal to 2B.
Now let T be a connected surface with Euler characteristic χ(T ) = D·χ(SA ) = D0 ·χ(SA0 ) and 2B
boundary components. To complete the proof, by Lemma 2.12 it suffices to specify the degrees by
which the boundary components of T will cover the boundary components of SA and SA0 .
For this, we label the 2B boundary components of T in two different ways, first by the Type 1
vertices of Ψ, and second by the Type 1 vertices of Ψ0 (see Section 7.1.3 above). We specify that
+
for 1 ≤ i ≤ |χ(WA0 )|kpq , the boundary component xi,+
pq of T covers the boundary component xpq
0

0 , the boundary component xi ,+
of SA with degree dpq = K/kpq , and that for 1 ≤ i0 ≤ |χ(WA )|kpq
0
pq 0
i,+
0
0
0
of T covers the boundary component x+
pq 0 of SA with degree dpq 0 = K/kpq 0 . Hence the union ∪i xpq
0

i ,+
+
covers x+
pq with total degree |χ(WA0 )|kpq dpq = |χ(WA0 )|K = D and the union ∪i0 xpq 0 covers xpq 0
i,−
−
0 d0
0
with total degree |χ(WA )|kpq
0 pq 0 = |χ(WA )|K = D . Similarly, the union ∪i xpq covers xpq ⊂ SA
0

−
with degree D in total and degree dpq on each component, and ∪i0 xipq,−
0 ⊂ T covers xpq 0 ⊂ SA0 with

degree D0 in total and degree d0pq0 on each component. This completes the proof.
j
j
(respectively, Spq
7.1.5. Covering the other surfaces. For each p, q, q 0 , and j, let Spq
0 ) be the surface
j
j
0
∈ V2 (H(Λ)) (respectively, ypq
in X (respectively, X 0 ) corresponding to the vertex ypq
0 ∈ V2 (H(Λ ))).
j
j
j
Recall that each Spq
and Spq
0 has 2 boundary components. In this section we construct a surface Tp
j
j
which is a common cover of the surfaces Spq
and Spq
0.

Lemma 7.8. For each 1 ≤ p ≤ M and each 1 ≤ j ≤ rp , there exists a connected surface Tpj with 2
boundary components so that:
j
(1) for all 1 ≤ q ≤ Np , the surface Tpj covers Spq
with degree dpq in total, and degree dpq on
each boundary component; and
j
0
0
(2) for all 1 ≤ q 0 ≤ Np0 , the surface Tpj covers Spq
0 with degree dpq 0 in total, and degree dpq 0 on
each boundary component.

The constants dpq and d0pq0 in this statement are as defined at (7.4) above.
j
Proof. We prove (1); the proof of (2) is similar. Write wpj and vpq
for the jth entry of the vectors wp
j
and vpq , respectively. Let Tp be a connected surface with 2 boundary components and Euler
j
characteristic χ(Tpj ) = −Kwpj , where K is the positive integer defined at (7.3) above. Since each Spq
40

j
also has 2 boundary components, by Lemma 2.12 it suffices to show that χ(Tpj ) = dpq χ(Spq
).
j
j
Now Spq is a 16-fold cover of an orbifold with Euler characteristic vpq , so
j
j
dpq χ(Spq
) = 16dpq vpq
= 16dpq Rpq wpj = −kpq dpq wpj = −Kwpj = χ(Tpj )

where the constant kpq is as defined at (7.1) above. This completes the proof.



7.1.6. Constructions of surface amalgams Y and Y 0 . We finish the proof of Proposition 7.1 by
constructing homeomorphic surface amalgams Y and Y 0 which cover X and X 0 , respectively.
Recall that the surface amalgam Y will have JSJ graph Ψ, and Y 0 will have JSJ graph Ψ0 ,
where Ψ and Ψ0 are the isomorphic graphs from Section 7.1.3 above. The surfaces in Y and Y 0 will
be those constructed in Sections 7.1.4 and 7.1.5 above, as we now explain. In Y, put Sy1 = T , and
in Y 0 , put Sy10 = T , where T is the surface with 2B boundary components from Lemma 7.7. Now

ij
ij
for each p, q, q 0 , i, i0 , and j, if y = ypq
∈ V2 (Ψ) write Spq
for the surface Sy in Y, and similarly, if
0
0
ij
ij
ij
i0 j
j
0
0
0
y = ypq0 ∈ V2 (Ψ ) write Spq0 for the surface Sy0 in Y . We then put Spq
= Tpj in Y and Spq
0 = Tp

in Y 0 , where Tpj is the surface with 2 boundary components constructed in Lemma 7.8 above.
To glue these surfaces together to form a surface amalgam Y which covers X , we label the
ij
ij
two boundary components of Spq
by the two vertices of Ψ which are adjacent to ypq
, namely xi,+
pq
i,−
and xpq . Now recall from the proof of Lemma 7.7 that if we label the boundary components of
T = Sy1 by the Type 1 vertices of Ψ, then the boundary component xi,±
pq of Sy1 covers the boundary
ij
±
to the
component xpq of SA ⊂ X with degree dpq . Also, by Lemma 7.8, the covering from Tpj = Spq
j
surface Spq ⊂ X has degree dpq on each boundary component. Since the degrees of these coverings
j
ij
are equal on each boundary component which has the same label, we
→ Spq
Sy1 → SA and Spq
ij
may glue together boundary components of the collection {Sy1 } ∪ {Spq
} which have the same labels
to obtain a surface amalgam Y which covers X . The construction of Y 0 which covers X 0 is similar.
Now all of the surfaces in Y and Y 0 are compact, hence the coverings Y → X and Y 0 → X 0 are
finite-sheeted (in fact, they have degrees D and D0 respectively, but we will not need this). The
following lemma then completes the proof of Proposition 7.1.
Lemma 7.9. The surface amalgams Y and Y 0 are homeomorphic.
Proof. We note first that Y and Y 0 have isomorphic JSJ graphs Ψ and Ψ0 , by Lemma 7.5, so it
suffices to consider the surfaces in Y and Y 0 . By construction, Y and Y 0 have the same central
ij
surface Sy1 = T = Sy10 . Now for each 1 ≤ p ≤ M , consider the Bp rp surfaces {Spq
} in Y and the
0

0

ij
j
ij
ij
0
0
0
Bp rp surfaces {Spq
0 } in Y . Since Spq = Tp = Spq 0 for each q, q , i, and i , we have by construction
0

0

i,−
i ,+ i ,−
0
that each of the Bp pairs of branching curves {xi,+
pq , xpq } in Y (respectively, {xpq 0 , xpq 0 } in Y ) is

incident to the same collection of 1+rp surfaces {T }∪{Tpj }. Hence Y and Y 0 are homeomorphic. 
This completes the proof of Proposition 7.1.
7.2. Sufficiency of condition (2). We now prove the following result.
Proposition 7.10. Let W = WΓ and W 0 = WΓ0 be as in Theorem 1.12. If condition (2) holds,
then W and W 0 are commensurable.
By the construction described in Section 4, there are surface amalgams X and X 0 which form
degree 16 covers of the orbicomplexes OΓ and OΓ0 , respectively. To prove that W and W 0 are
abstractly commensurable, we prove there are finite-sheeted covers Z → X and Z 0 → X 0 and a
41

-36

Z

-72
-144

-36

-432

-72

-216

-1440

-108

-144

-72

-288

9

X

-4

-8

-144

-16

-72

-288

-144

18

-4

-48

-18

-24

W

-8
-160

-12

-80

-16
-8

-32
-16

-8

-32

-36

-72

-16

Figure 7.2. Illustrated above is an example of the covers described in Section 7.2, on the level of
the JSJ graphs. The white vertices represent surfaces with specified Euler characteristic; the valence
of the vertex is the number of boundary components of the surface. The black vertices represent
branching curves that are glued to boundary components of adjacent surfaces. The covering maps
between surface amalgams restrict to half-coverings between the JSJ graphs. In this example,
the space X does not cover the space W, and there is no minimal surface amalgam within this
commensurability class.

surface amalgam W so that Z and Z 0 finitely cover W. An example of the construction given in
this section appears in Figure 7.2.
We will describe these covering spaces and maps in terms of their JSJ graphs and half-covers
as defined in Section 4.1. We set notation in Section 7.2.1. The surface amalgam W is described
in Section 7.2.2. The surface amalgam Z and the finite cover Z → X is given in Section 7.2.3.
Finally, the finite cover Z → W is given in Section 7.2.4. The construction for X 0 is analogous.
7.2.1. Notation. For ease of notation, suppose the elements of the multiset of Euler characteristic
vectors {vi | i ∈ I} in the statement of Theorem 1.12 are labeled v1 , . . . , vn . By assumption, there
exists r ≥ 2 so that each vector vi for 1 ≤ i ≤ n has r entries. Let V denote the commensurability
class of the vectors {vi | 1 ≤ i ≤ n}.
The orbicomplex OΓ contains a central orbifold A with n non-reflection edges e1 , . . . , en . Attached to the non-reflection edge ei is a collection of r branch orbifolds Pi1 , . . . , Pir , with Pij = Pβij
and π1 (Pij ) = Wij = Wβij for each 1 ≤ i ≤ n and 1 ≤ j ≤ r. By definition, for 1 ≤ i ≤ n the Euler
characteristic vector vi is given by
vi = (χi1 , . . . , χir ) = (χ(Wi1 ), . . . , χ(Wir )),
and w is the reordering of


n
n
n
X
X
X

χj1 ,
χj2 , . . . ,
χjr , χ(WA )
j=1

j=1

j=1

so that its entries are in non-increasing order.
42

The surface amalgam X has a central surface SA with Euler characteristic 16χ(WA ) and 2n
boundary components. Attached to each of the n pairs of boundary components of SA are surfaces
Si1 , . . . , Sir for 1 ≤ i ≤ n where each Sij has two boundary components and Euler characteristic
16χ(Wij ), and forms a degree 16 cover of Pij .
Let Λ be the JSJ graph of W . As described in Section 4.4, the JSJ graph of X is the halfcover H(Λ). The graph H(Λ) has 2n vertices of Type 1. Label these vertices as
−
V1 (H(Λ)) = {x+
i , xi | 1 ≤ i ≤ n}.

There is a central vertex of Type 2 associated to the surface SA ; label this vertex as y0 . This
vertex is adjacent to every Type 1 vertex, hence has valence 2n. For each i, the graph H(Λ) has r
additional Type 2 vertices, associated to the surfaces Sij for 1 ≤ j ≤ r. Label these vertices
accordingly, so that
V2 (H(Λ)) = {y0 } ∪ {yij | 1 ≤ i ≤ n, 1 ≤ j ≤ r}.
−
Each vertex yij is adjacent to x+
i and xi .
For 1 ≤ i ≤ n, define
vei = 16vi = (χ(Si1 ), . . . , χ(Sir )) ∈ 2Zr<0 .

Let w
e = 16w, so that w
e is the reordering of


n
n
n
X
X
X

χ(Sj1 ),
χ(Sj2 ), . . . ,
χ(Sjr ), χ(SA ) ∈ 2Zr+1
<0
j=1

j=1

j=1

so that its entries are in non-increasing order. Suppose that in this ordering, χ(SA ) is the kth entry
of w.
e Let w
b ∈ Zr be the vector w
e with the kth entry deleted. Then
w
b = ve1 + · · · + ven ∈ 2Zr<0 .
By condition (2)(b) in Theorem 1.12, the vectors w and w0 are commensurable. Let
w0 = (w1 , . . . , wr+1 ) ∈ Zr+1
be the minimal integral element in the commensurability class of w and w0 . Since all entries of w
and w0 are negative, all entries of w0 are positive. Finally, let w
c0 be the vector w0 minus its kth
entry, so
w
c0 = (w1 , . . . , wk−1 , wk+1 , . . . , wr+1 ) ∈ Zr .
7.2.2. The surface amalgam W. The surface amalgam W has JSJ graph Φ with two Type 1 vertices
labeled
V1 (Φ) = {x+ , x− }.
The graph Φ has r + 1 Type 2 vertices labeled
V2 (Φ) = {y1 , . . . , yr+1 }.
Each Type 2 vertex is adjacent to both x+ and x− .
To construct the surface amalgam W, for 1 ≤ i ≤ r + 1, let Wi be the surface with Euler
characteristic −2wi and 2 boundary components Ci1 and Ci2 ; the surface Wi is associated to the
vertex yi . Identify the curves Ci1 for 1 ≤ i ≤ r + 1 to create a single curve C1 associated to the
vertex x+ , and identify the curves Ci2 for 1 ≤ i ≤ r + 1 to create a single curve C2 associated to
the vertex x− . This forms a surface amalgam W which has two singular curves C1 and C2 and JSJ
graph Φ.
Lemma 7.11. The graph H(Λ) forms a half-cover of the graph Φ.
43

−
+
−
Proof. The cover is induced by the maps x+
i 7→ x , xi 7→ x , and yij 7→ yj for 1 ≤ i ≤ n and
1 ≤ j ≤ r, and y0 7→ yr+1 .


Remark 7.12. In view of Lemma 7.11, note that X does not necessarily cover W; an example of
this is given in Figure 7.2. To resolve this, we construct a finite cover Z → X so that Z has JSJ
graph H(Λ) and finitely covers W.
7.2.3. The surface amalgam Z and the finite covering map Z → X . We will need the following
lemma.
Lemma 7.13. Let u ∈ Zr be the minimal integral element in the commensurability class V. There
exists a positive integer K so that w
c0 = Ku.
Proof. Since vei = 16vi , the set of integer vectors {e
vi , w,
b w
c0 | 1 ≤ i ≤ n} is also contained in V.
Thus there exists an integer K so that w
c0 = Ku. Since all entries of w
c0 and u are positive, K is a
positive integer.

Let Z be the following surface amalgam with JSJ graph H(Λ). Associated to the Type 2
vertex y0 of H(Λ), the space Z contains one central surface Sf
A with 2n boundary components
f
and Euler characteristic χ(SA ) = Kχ(SA ). Attached to the ith pair of boundary curves of Sf
A,
+ −
f
which are associated to the vertices xi , xi ∈ H(Λ) for 1 ≤ i ≤ n, there are r surfaces Sij for
1 ≤ j ≤ r, where Sf
ij has 2 boundary components and Euler characteristic Kχ(Sij ); these surfaces
are associated to the vertices yij in H(Λ).
Lemma 7.14. The surface amalgam Z forms a degree K cover of the surface amalgam X , where K
is the positive integer guaranteed by Lemma 7.13.
Proof. By Lemma 2.12, the surface Sf
A forms a degree K cover of the surface SA so that the degree
restricted to each boundary component of Sf
A over the corresponding boundary component of SA
is equal to K. Similarly, by Lemma 2.12, each surface Sf
ij forms a degree K cover of Sij so that the
f
degree restricted to each boundary component of Sij over the corresponding boundary component
of Sij is equal to K. Thus, since the covering maps agree along the gluings, Z forms a degree K
cover of X .

7.2.4. The finite cover Z → W. For 1 ≤ i ≤ n, define
f
zi = Ke
vi = (χ(Sf
e
i1 ), . . . , χ(Sij )) and z = K w,
where K is the positive integer from Lemma 7.13. Note that the entries of z are in non-increasing
order. If χ(Sf
b be the vector z with the kth entry deleted. Then
A ) is the kth entry of z, let z
zb = K w
b = z1 + · · · + zn ∈ 2Zr<0 .
Since w0 is the minimal integral element in the commensurability class of w
e ∈ 2Zr+1
<0 , there exists
a positive integer M so that w
e = −2M w0 . Hence, z = M K(−2w0 ). Let D = M K ∈ N. Then
z = D(−2w0 ) and zb = D(−2c
w0 ).
We compute D a second way, and use this to prove that Z finitely covers W.
Lemma 7.15. Let di be positive integers so that vei P
= di (−2u), where u is the minimal integral
element in the commensurability class V. Then D = ni=1 di .
44

Proof. By construction of the covering map and the definition of K, we have
zi = Ke
vi = K(di (−2u)) = di (−2c
w0 ).
Hence
zb = z1 + · · · + zn =

n
X

!
di

(−2c
w0 ).

i=1

So, combining the two equations for zb given above, we have that

Pn

i=1 di

= D.



Lemma 7.16. The surface amalgam Z forms a degree D cover of the surface amalgam W.
Proof. Suppose for ease of notation that χ(Sf
A ) is the (r + 1)st entry of the vector z. Then for all
f
1 ≤ i ≤ n and all 1 ≤ j ≤ r, we have that χ(Sij ) = di χ(Wj ), where the surface Wj in W has Euler
characteristic wj by definition, and di is defined in Lemma 7.15. By Lemma 2.12, Sf
ij covers Wj
by degree di so that the degree restricted to each of the boundary components is equal to di . So,
Sn f
f
i=1 Sij forms a degree D cover of Wj for all 1 ≤ j ≤ r. In addition, χ(SA ) = Dχ(Wr+1 ), and the n
f
pairs of boundary components of SA can be partitioned so that the ith pair of boundary curves
Pn
of Sf
A covers the pair of boundary curves of Wr+1 by degree di , for 1 ≤ i ≤ n, with
i=1 di = D.
Thus by Lemma 2.12, the space Z forms a D-fold cover of W, concluding the proof.

8. Geometric amalgams and RACGs
In this section we further investigate the relationship between geometric amalgams of free groups
(see Definition 2.7) and right-angled Coxeter groups. In Section 8.1 we prove Theorem 1.16 from
the introduction, which states that the fundamental groups of surface amalgams whose JSJ graphs
are trees are commensurable to right-angled Coxeter groups (with defining graphs in G). As a
consequence, we obtain the commensurability classification of geometric amalgams of free groups
whose JSJ graphs are trees of diameter at most four (Corollary 1.17). Then in Section 8.2 we
give an example of a geometric amalgam of free groups which is not quasi-isometric (hence not
commensurable) to any Coxeter group, or indeed to any group which is finitely generated by
torsion elements.
8.1. Geometric amalgams over trees. Let X (T ) be a surface amalgam whose JSJ graph is a
tree T . To prove Theorem 1.16, we construct a surface amalgam X (Λ) which finitely covers X (T ),
and which looks like one of the covers constructed in Section 4. We then follow the construction from
Section 4 backwards to construct an orbicomplex O with fundamental group a right-angled Coxeter
group whose JSJ graph is T . It follows that the fundamental group of X (T ) is commensurable to
a right-angled Coxeter group with JSJ graph T .
Proof of Theorem 1.16. Let X (T ) be as above. By Corollary 2.11 we may assume that every
surface associated to a Type 2 vertex of X (T ) has positive genus. Let Λ = H(T ) be the graph
from Definition 4.2, with associated half-covering map θ : Λ → T . We construct a surface amalgam
over Λ which covers X (T ) with degree 8.
Let y and y 0 be Type 2 vertices in T and Λ respectively, with θ(y 0 ) = y. Recall that for each
edge e incident to y in T , there are two edges e0 , e00 incident to y 0 in Λ, such that θ(e0 ) = θ(e00 ) = e.
In particular, the valence of y 0 is twice that of y. Suppose Sy is the surface associated to y, with
genus g and b boundary components. The surface Sy0 associated to y 0 is defined to be the degree 8
cover of Sy which has 2b boundary components, such that each boundary component of Sy is covered
by two boundary curves of Sy0 , each mapping with degree 4. Such a cover exists by Lemma 2.12,
since 8 and 2b are both even. This induces a bijection between the boundary components of Sy0
45

and the edges of Λ incident to y 0 . Now form X (Λ) by gluing the surfaces associated to the Type 2
vertices of Λ according to the adjacencies in Λ. The covering maps on the individual surfaces induce
a degree 8 cover X (Λ) → X (T ).
If y, y 0 , Sy , g, b and Sy0 are as in the previous paragraph, and g 0 is the genus of Sy0 , then we have
8χ(Sy ) = χ(Sy0 ), or equivalently, 8(2 − 2g − b) = 2 − 2g 0 − 2b. Simplifying, we get:
(8.1)

g 0 = 3b + 8g − 7.

Observe that g 0 is even if and only if b is odd, and that g 0 > 3b, since g was assumed to be positive.
Next we construct an orbicomplex O as a graph of spaces with underlying graph T such that X (Λ)
is a degree 16 cover of O. If y is a terminal Type 2 vertex of T , then the vertex space associated to y
is the orbifold Py defined as follows. Let Sy0 ⊂ X (Λ) be as above. It follows from Equation (8.1),
since b = 1 in this case, that g 0 is even. Moreover, g 0 is positive. Then Sy0 forms a degree 16 cover
0
of Py , an orbifold with underlying space a right-angled hyperbolic polygon with g2 + 4 ≥ 5 sides,
0
as described in Section 4. The orbifold Py has g2 + 3 ≥ 4 reflection edges and one non-reflection
edge of length 1.
Now let y be a non-terminal Type 2 vertex of T with valence b. Then the surface Sy0 of X (Λ)
has 2b boundary components and genus g 0 > 3b such that g 0 and b have opposite parity. We will
realize Sy0 as a cover of an orbifold Ay which is the union of orbifolds QA and P, identified to each
other along a non-reflection edge of each. To do this, decompose Sy0 into two surfaces S1 and S2
by cutting along a pair of non-separating curves whose union separates Sy0 , and such that S1 has
2b + 2 boundary components and genus 3(b + 1) − 7 < g 0 , and S2 has 2 boundary components and
genus h satisfying g 0 = 1 + 3(b + 1) − 7 + h. Thus h = g 0 − 3b + 3. Since g 0 and b have opposite
parity, h is even, and since g 0 > 3b, we know that h is positive.
By the construction in Section 4, the surface S1 can be realized as a degree 16 cover of an
orbifold QA with underlying space a right-angled 2(b + 1)-gon, so that QA has b + 1 non-reflection
edges, each of length 1, and b + 1 reflection edges. Since h is positive and even, the surface S2
forms a degree 16 cover of an orbifold P with h2 + 4 ≥ 5 sides, as in the terminal vertex case. The
orbifold P has h2 + 3 reflection edges and one non-reflection edge of length 1. Form the orbifold Ay
by gluing the non-reflection edge of P to one of the non-reflection edges of QA . Now let Ay be the
vertex space associated to y.
We now identify the orbifold vertex spaces described above according to the incidence relations
of T along non-reflection edges to get an orbicomplex O. Arguments similar to those from Section 3
show that the fundamental group of O is a right-angled Coxeter group. Since the covering maps
from the surfaces in X to the orbifolds in O agree along their intersections, the space X finitely
covers O. The theorem follows.

Proof of Corollary 1.17. If T is a tree, then by Theorem 1.16, any geometric amalgam of free
groups with JSJ graph T is commensurable to a right-angled Coxeter group W with JSJ graph T .
If, moreover, T has diameter at most 4, then by Remark 2.6, the defining graph of W is either a
generalized Θ-graph or a cycle of generalized Θ-graphs. Corollary 1.17 follows.

8.2. Geometric amalgams not over trees. In the case of surface amalgams whose JSJ graphs
are not trees, the situation is more complicated. Since H(T ) is not a tree, clearly some geometric
amalgams of free groups whose JSJ graphs are not trees are commensurable to right-angled Coxeter
groups. On the other hand, the following example shows that there exist geometric amalgams of
free groups which are not quasi-isometric (and hence not commensurable) to any Coxeter group,
or indeed to any group which is finitely generated by torsion elements.
46

Example 8.1. Let G be a geometric amalgam of free groups with JSJ graph Λ as in Figure 8.1,
where the Type 1 vertices are white and the Type 2 vertices black.

a0
a5

a1

a4

a2

Λ=

a3

Figure 8.1.
Suppose G is quasi-isometric to a group H which is finitely generated by torsion elements.
Then H is also 1-ended and hyperbolic, and G and H have the same JSJ tree T . Moreover, the
JSJ graph of H is a finite tree, say Ψ. (The graph Ψ is a tree since any group with a nontrivial
loop in its JSJ graph admits a nontrivial homomorphism to Z, but no such homomorphism from H
to Z exists.) Now the JSJ tree T half-covers Ψ. We show that this is a contradiction, by showing
that if θ : T → T is a half-covering, where T is any tree, then T must be infinite. In the following
argument, all indices are taken mod 6.
For each vertex ai of Λ = G\T , by abuse of notation write Gai for the G-orbit of some lift of ai
in T . The following are straightforward consequences of the definition of a half-cover.
(1) Each vertex in θ(Gai ) ⊂ V (T ) is adjacent to at least one vertex from each of θ(Gai−1 ) and
θ(Gai+1 ).
(2) For all i 6= j, we have θ(Gai ) ∩ θ(Gaj ) = ∅.
To show that T must be infinite, we define a map ν : [0, ∞) → T as follows. Choose ν(0) to
be an element of θ(Ga0 ), and then for each i > 0, inductively choose ν(i) to be an element of
θ(Gai ) adjacent to θ(Gai−1 ), which exists by (1) above. The adjacency condition can now be used
to extend ν to [0, ∞). By (2), we conclude that for each i > 0, the vertices ν(i − 1) and ν(i + 1)
are distinct (i.e. there is no “folding”). This, together with the fact that T is a tree, implies that ν
is injective, and it follows that T is infinite.
9. Discussion
In this section we discuss some obstructions to extending our commensurability results.
A natural strategy that we considered is that used by Behrstock–Neumann in [1] for quasiisometry classification. In Theorem 3.2 of [1], it is shown that two non-geometric graph manifolds M
and M 0 which have isomorphic Bass–Serre trees T and T 0 are quasi-isometric, by first proving that
there is a minimal graph Λ00 which is weakly covered by both of the quotient graphs Λ = π1 (M )\T
and Λ0 = π1 (M 0 )\T 0 . The notion of weak covering just requires the graph morphism to be locally
surjective, unlike the half-coverings we introduce in Section 4.1, which must be locally bijective at
vertices of Type 1. The minimal graph Λ00 determines a 3-manifold M 00 which is covered by both
M and M 0 , and a bilipschitz map M → M 0 is constructed by showing that there are bilipschitz
maps M → M 00 and M 0 → M 00 .
We now give an example to explain why such a strategy cannot be pursued in our setting. Let
G = G(Λ) and G0 = G(Λ0 ) be geometric amalgams of free groups with JSJ graphs Λ and Λ0 as
shown in Figure 9.1, with Type 1 vertices white and Type 2 vertices black. Since all Type 1 vertices
in Λ and Λ0 are of valence 3, the groups G and G0 have isomorphic JSJ trees. Now the graph Λ0
47

y3

Λ=

y4

Λ0 =

y2

y5
y1

Figure 9.1.
does not half-cover any other graph, so if any graph is half-covered by both Λ and Λ0 , then there is
a half-covering θ : Λ → Λ0 . The map θ must send each of the triples of Type 2 vertices {y1 , y2 , y3 },
{y2 , y3 , y4 }, and {y1 , y4 , y5 } of Λ to the three distinct Type 2 vertices of Λ0 , but this is impossible.
Hence there is no (minimal) graph which is half-covered by both Λ and Λ0 .
Instead, we may approach commensurability by considering common finite half-covers of Λ
and Λ0 . More precisely, we consider common finite half-covers of finite, connected, bipartite graphs
Λ and Λ0 in which all Type 1 vertices have valence ≥ 3, such that Λ and Λ0 are both half-covered
by the same (infinite) bipartite tree in which all Type 2 vertices have countably infinite valence.
With these assumptions, any corresponding geometric amalgams of free groups G = G(Λ) and
G0 = G(Λ0 ) will have isomorphic JSJ trees (a necessary condition for commensurability). Using
similar methods to those of Leighton [17] (see also Neumann [20]), we can construct a common
finite half-cover Λ00 of any two such graphs Λ and Λ0 .
However, a half-covering of JSJ graphs does not necessarily induce a topological covering map of
associated surface amalgams. For example, in Figure 7.2, the JSJ graph of π1 (X ) does half-cover the
JSJ graph of π1 (W), but by considering Euler characteristics, one sees that the surface amalgam X
does not cover the surface amalgam W. Hence half-coverings of graphs may not induce finite-index
embeddings of associated geometric amalgams of free groups. Indeed, our results distinguishing
commensurability classes can be used to construct examples where for certain surface amalgams
X over Λ and X 0 over Λ0 , there is no surface amalgam X 00 over a common finite half-cover Λ00 so
that X 00 covers both X and X 0 . Such examples exist even when Λ and Λ0 are isomorphic graphs.
A priori, we see no reason why there would be a bound on the size of common half-covers so that
in determining whether two groups are commensurable, it is enough to look at the set of common
half-covers of their JSJ graphs up to a given size and determine whether suitable surface amalgams
over these graphs exist.
Finally we remark that the proofs of our necessary and sufficient conditions for cycles of generalized Θ-graphs make substantial use of Λ and Λ0 both having a distinguishable central vertex, so it
is not clear how to generalize the commensurability classification to arbitrary pairs of JSJ graphs.
References
[1] Jason A. Behrstock and Walter D. Neumann. Quasi-isometric classification of graph manifold groups. Duke
Math. J., 141(2):217–240, 2008.
[2] Riccardo Benedetti and Carlo Petronio. Lectures on hyperbolic geometry. Universitext. Springer-Verlag, Berlin,
1992.
[3] Brian H. Bowditch. Cut points and canonical splittings of hyperbolic groups. Acta Math., 180(2):145–186, 1998.
[4] Martin R. Bridson and André Haefliger. Metric spaces of non-positive curvature, volume 319 of Grundlehren der
Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin,
1999.
[5] John Crisp. Automorphisms and abstract commensurators of 2-dimensional Artin groups. Geom. Topol., 9:1381–
1441, 2005.
48

[6] John Crisp and Luisa Paoluzzi. Commensurability classification of a family of right-angled Coxeter groups. Proc.
Amer. Math. Soc., 136(7):2343–2349, 2008.
[7] Pallavi Dani and Anne Thomas. Bowditch’s JSJ tree and the quasi-isometry classification of certain Coxeter
groups. arxiv:1402.6224.
[8] Michael W. Davis. The geometry and topology of Coxeter groups, volume 32 of London Mathematical Society
Monographs Series. Princeton University Press, Princeton, NJ, 2008.
[9] Allan L. Edmonds, Ravi S. Kulkarni, and Robert E. Stong. Realizability of branched coverings of surfaces. Trans.
Amer. Math. Soc., 282(2):773–790, 1984.
[10] David Futer and Anne Thomas. Surface quotients of hyperbolic buildings. Int. Math. Res. Not. IMRN, (2):437–
477, 2012.
[11] Rafael Guglielmetti, Matthieu Jacquemet, and Ruth Kellerhals. On commensurable hyperbolic Coxeter groups.
Geom. Dedicata, 183:143–167, 2016.
[12] Jingyin Huang. Commensurability of groups quasi-isometric to RAAG’s. arxiv:1603.08586.
[13] Jingyin Huang. Quasi-isometry rigidity of right-angled Artin groups I: the finite out case. arxiv:1410.8512.
[14] N. W. Johnson, R. Kellerhals, J. G. Ratcliffe, and S. T. Tschantz. Commensurability classes of hyperbolic
Coxeter groups. Linear Algebra Appl., 345:119–147, 2002.
[15] Michael Kapovich. Hyperbolic manifolds and discrete groups. Modern Birkhäuser Classics. Birkhäuser Boston,
Inc., Boston, MA, 2009. Reprint of the 2001 edition.
[16] Jean-François Lafont. Diagram rigidity for geometric amalgamations of free groups. J. Pure Appl. Algebra,
209(3):771–780, 2007.
[17] Frank Thomson Leighton. Finite common coverings of graphs. J. Combin. Theory Ser. B, 33(3):231–238, 1982.
[18] William Malone. Topics in geometric group theory. ProQuest LLC, Ann Arbor, MI, 2010. Thesis (Ph.D.)–The
University of Utah.
[19] Walter D. Neumann. Immersed and virtually embedded π1 -injective surfaces in graph manifolds. Algebr. Geom.
Topol., 1:411–426 (electronic), 2001.
[20] Walter D. Neumann. On Leighton’s graph covering theorem. Groups Geom. Dyn., 4(4):863–872, 2010.
[21] Luisa Paoluzzi. The notion of commensurability in group theory and geometry. RIMS Kôkyûroku, 1836:124–137,
2013.
[22] Emily Stark. Topological rigidity fails for quotients of the Davis complex. arxiv:1610.08699.
[23] Emily Stark. Abstract commensurability and quasi-isometry classification of hyperbolic surface group amalgams.
Geometriae Dedicata, pages 1–36, 2016.
[24] Genevieve S. Walsh. Orbifolds and commensurability. In Interactions between hyperbolic geometry, quantum
topology and number theory, volume 541 of Contemp. Math., pages 221–231. Amer. Math. Soc., Providence, RI,
2011.

49

