2.1 Pants graphs

Before introducing the hexagonal graphs, we recall that the pants graph $\mathcal {P}(\Sigma )$ is the graph where vertices are pants decompositions and two vertices are related by an edge if they differ by an elementary move. The two types of elementary moves are illustrated in Figures 1 and 2.

Figure 1:

The first type of elementary move is on a four-holed sphere.

Figure 2:

The second type of elementary move is on a one-holed torus.

Brock’s result [Reference Brock3] that the pants graph is quasi-isometric to Teichmüller space with the Weil-Petersson metric is one example among many of how to use a combinatorial model to study moduli type spaces and their isometry groups. We refer the reader to [Reference Behrstock2, Reference Brock and Farb4, Reference Brock and Masur5, Reference Brock and Margalit6, Reference Disarlo and Parlier8, Reference Gültepe and Leininger9, Reference Hatcher10, Reference Hatcher and Thurston11, Reference Margalit12, Reference Masur and Schleimer15, Reference Masur and Schleimer16, Reference Mosher17] for others.

2.2 Flip graphs

As our graphs are also closely related to flip graphs, we include some useful facts about them that we will either use or emulate.

We first briefly describe flip graphs. Consider a triangulated surface of finite type – that is, a decomposition of the surface along arcs into a finite number of triangles. (In the context of topological surfaces, we prefer to talk about triangulations as being collections of arcs with endpoints on marked points as opposed to edges and vertices in order not to confuse them with the edges and vertices of the flip graphs.) Now one can obtain a new triangulation by removing one of the arcs of the triangulation and by replacing it by the “other possible diagonal arc” (this is called a flip). This gives a new triangulation with the same set of marked points and all but one of the previous arcs. For a fixed surface and set of marked points, this gives rise to a graph where vertices are triangulations and two vertices are joined by an edge if their corresponding triangulations are related by a flip.

We briefly review some useful facts about flip graphs. First of all, they are always connected [Reference Disarlo and Parlier8]. In certain specific cases, they are finite graphs. For instance, if the surface is a polygon, and the marked points are on the boundary, the flip graphs are the well-studied associahedron graphs; see, for instance, [Reference Pournin22] for results about their diameters. There are other cases where the graphs are finite, such as when the surface is a sphere with three marked points. However, whenever the surface contains a cylinder bounded by two nontrivial arcs, the corresponding flip graph is always infinite, such as in the case of a sphere with four marked points.

The geometry of flip graphs is of particular interest, as, by the Milnor-Schwartz lemma, it is always quasi-isometric to the underlying mapping class group and can be thus used as a tool to study this important homeomorphism group [Reference Mosher17]. However, it always requires that there be at least one marked point, and so it cannot be directly used to study, for instance, mapping class groups of closed surfaces.

3.1 The definition

The topological version only depends on $\Sigma $ and does not depend on a choice of metric; hence, we denote it ${\mathcal {H}(\Sigma )}$ .

Vertices will be given by hexagon decompositions, and hexagon decompositions are related by an edge if they satisfy one of two relations. The first one is a type of flip relation between maximal multiarcs.

The flip relation. $H=(\Gamma , \mathcal {A})$ and $H'= (\Gamma ', \mathcal {A}')$ are related by a flip if $\Gamma =\Gamma '$ and $\mathcal {A}$ and $\mathcal {A}'$ differ by a single arc. This is analogous to the flip operation between triangulations as described previously. See Figure 3 for an illustration.

Figure 3:

The illustration of a flip. Note that the curves of $\Gamma $ the arcs terminate on need not be distinct.

The second one relates to transformations of the multiarc.

Curve addition.

Let $H=(\Gamma , \mathcal {A})$ be a hexagon decomposition with $\Gamma $ non-maximal. A curve $\alpha $ is said to be compatible with H if $\alpha \cap \Gamma = \emptyset $ and $i(a,\alpha )\leq 1$ for all $a\in \mathcal {A}$ .

For $\alpha $ compatible with H, we obtain a new hexagon decomposition $H' = (\Gamma ', \mathcal {A}')$ as follows. We set $\Gamma '= \Gamma \cup \alpha $ . Now we consider $\mathcal {A}'$ the collection of arcs obtained from $\mathcal {A}$ which are either disjoint from $\alpha $ or which are obtained by surgering (cutting) an arc of $\mathcal {A}$ at its intersection point with $\alpha $ , which results in two arcs with endpoints on $\Gamma '$ . Note that surgery could result in multiple copies of the same (homotopy class of) arc.

The next lemma shows that $\mathcal {A}'$ is maximal, and hence, $H'$ is a hexagon decomposition.

We say that $H=(\Gamma , \mathcal {A})$ and $H'= (\Gamma ', \mathcal {A}')$ are related by a curve addition if $H'$ is obtained by adding a compatible curve $\alpha $ as described above.

3.2 Connectivity

First, we show that these graphs are connected.

For this purpose, a useful quantity will be the following. For any multicurve $\Gamma $ , the subsurface $\Sigma '\subset \Sigma $ obtained by cutting $\Sigma $ along $\Gamma $ has an associated flip graph, which is the subgraph of $ \mathcal {H}(\Sigma )$ consisting of all vertices of the form $(\Gamma ,\mathcal {A})$ , and edges coming from flip relations between them. By standard results on flip graphs, this subgraph is connected (see Section 2.2). Furthermore, we can take its quotient by homeomorphisms that fix curves in $\Gamma $ individually to obtain a finite “modular” graph (see [Reference Disarlo and Parlier8, Reference Parlier and Pournin21]). The diameter of this modular subgraph is bounded by a constant that only depends on the topology of $\Sigma '$ and in fact on its arc complexity. Note that this only depends on the homeomorphism type of $\Gamma $ .

It is a useful quantity because it means that from any given hexagon decomposition with any given multicurve $\Gamma $ , in at most D moves, we can choose the topological type of arcs. Note that if two hexagon decompositions have the same pants decomposition as a multicurve, then the subgroup of the mapping class group which fixes the curves in the pants decomposition individually acts only by Dehn twists along the pants curves and so acts trivially on the two hexagon decompositions. In particular, they are related by at most D flip moves (without passing to a quotient).

Proof The basic idea of the proof is to add curves one by one to $\Gamma $ until we reach a full pants decomposition. To do so might require performing flip moves ahead of time.

If $\Gamma $ is not a pants decomposition, there exists a connected component $\Sigma '\subset \Sigma \backslash \Gamma $ which is not a pair of pants. We focus our attention on this subsurface and show how to add a curve that lies inside $\Sigma '$ to our multicurve $\Gamma $ .

Observe that any such subsurface contains an embedded cylinder not peripheral to one of its boundary components. This cylinder can be bounded by two arcs and subarcs of boundary components.

Figure 4 portrays the two possible cases, depending on whether the surface is planar or not. We add arcs to the cylinder subsurface as in Figure 5.

Figure 4:

Arcs bounding embedded cylinders in the nonplanar and planar cases.

Figure 5:

A hexagon decomposition of the cylinder and its core curve.

By adding arcs, this can be completed into a hexagon decomposition. The core curve of the cylinder is now addable.

Note that, as we are only interested in this configuration up to homeomorphism, such a hexagon decomposition can be reached in at most D moves, where D is the constant described above. Hence, a curve has been added in $D+1$ moves. As there are at most $\kappa (\Sigma )-1$ curves to add, we reach a full pants decomposition in at most $(D+1) (\kappa (\Sigma )-1)$ moves.

We now observe that moves in the pants graph can be emulated by moves in ${\mathcal {H}(\Sigma )}$ . Consider two pants decompositions in ${\mathcal {P}(\Sigma )}$ that differ by an elementary move. To each, we consider a hexagon decomposition by adding arcs, and such the hexagon decompositions only differ in the subsurface where the elementary move takes place. This is either a four-holed sphere or a one-holed torus. We add arcs to the corresponding subsurface as in Figures 6 and 7.

Figure 6:

The first type of elementary move with hexagons.

Figure 7:

The second type of elementary move with hexagons.

Now we can perform the moves illustrated in the figure to emulate the elementary move and deduce connectedness.

We end this subsection with a basic result about curve addition. It is a consequence of the following observation which is a standard fact about normal coordinates for triangulations.

Note that it is also true for any simple multicurve.

Note the strong contrast to curve removal.

3.3 A quasi-isometry with the pants graph

In this subsection, we prove the following.

Before passing to the proof, we describe two maps between ${\mathcal {H}(\Sigma )}$ and $\mathcal {P}(\Sigma )$ .

$\underline{\text{The map }\phi:{\mathcal{P}(\Sigma)} \to {\mathcal{H}(\Sigma)}}$

We define the map $\phi :{\mathcal {P}(\Sigma )} \to {\mathcal {H}(\Sigma )}$ as follows. Given $P\in {\mathcal {P}(\Sigma )}$ , we add a collection of arcs to obtain an element of ${\mathcal {H}(\Sigma )}$ . That is, $\phi (P)=(P,\mathcal {A})$ . The choice of $\mathcal {A}$ is arbitrary, but notice that any two choices are a bounded distance apart because the flip graph of a pair of pants is finite (see Section 2.2). In fact, they are at most distance D apart, where D is the diameter constant defined previously (see Notation 3.4 and the comment that follows). As an example of a choice of $\mathcal {A}$ , one can add arcs to each pair of pants as in Figure 8.

Figure 8:

A local picture of the map $\phi $ .

$\underline{\text{The map }\psi:{\mathcal{H}(\Sigma)} \to {\mathcal{P}(\Sigma)}}$ This second map is less obvious and takes a hexagon decomposition and associates to it a pants decomposition. To define it, we shall use the strategy of Lemma 3.5 – that is, to add curves until the multicurve is a full pants decomposition. It is somewhat loosely defined, but this is okay, as we will only need possible images to be at a bounded distance one from one another.

Recall the strategy: Given $H=(\Gamma ,\mathcal {A}) \in {\mathcal {H}(\Sigma )}$ , where $\Gamma $ is not a pants decomposition, we add a curve to $\Gamma $ . If it is not possible to add a curve, as shown in the proof of Lemma 3.5, by performing a minimal number of flips, we can add a curve, and then we repeat. Note that the number of necessary flips before adding a curve is at most D. The whole process ends in at most $(D+1) (\kappa (\Sigma )-1)$ steps. We define $\psi (H)$ to be the pants decomposition thus obtained. Observe that $\psi (\phi (P))=P$ .

We now proceed to show that these maps satisfy certain properties that will lead us to the conclusion of Theorem 1.1. We denote by $d_{\mathcal {H}}$ distance in ${\mathcal {H}(\Sigma )}$ , and by $d_{\mathcal {P}}$ distance in ${\mathcal {P}(\Sigma )}$ .

Lemma 3.10 There exists a constant $C_1=C_1(\Sigma )$ that depends only on the topology of $\Sigma $ such that for all $P,P'\in {\mathcal {P}(\Sigma )}$ , we have

$$ \begin{align*}d_{\mathcal{H}}(\phi(P), \phi(P')) \leq C_1\, d_{\mathcal{P}}(P,P'). \end{align*} $$

Note that if $\phi $ is defined exactly as in Figure 8, then $C_1$ above can be taken to be  $2$ . Otherwise, it might require performing flips inside each pair of pants beforehand (but certainly at most D times the number of pairs of pants which are both functions of the topology).

We now focus on the map $\psi $ . The key step will be to show that it is “quasi” well-defined – that is, that any two possible choices of image are close to each other. The general idea is as follows: we show that any two choices of pants decompositions in the image have bounded intersection with a bound that depends only on the topology of the surface. From there, we will be able to conclude that any two potential image pants decompositions are a bounded distance away, again with a bound that only depends on the topology of the surface.

We begin by showing that an image pants decomposition has bounded intersection with the original multiarc.

Proof As P contains the multicurve of H, we need to show it intersects the multiarc of H a bounded number of times.

Given $H=(\Gamma _0,\mathcal {A}_0)$ , we perform at most D flips on $\mathcal {A}_0$ to obtain a new collection of arcs, say $\mathcal {A}^{\prime }_0$ . We then add a curve, say $\alpha _1$ . Then because $\mathcal {A}_0$ and $\mathcal {A}^{\prime }_0$ are related by at most D flips, the (total) intersection between $\mathcal {A}_0$ and $\mathcal {A}^{\prime }_0$ is bounded above by a function of the topology of $\Sigma $ , say $I_1$ . An explicit value for $I_1$ can be deduced from [Reference Disarlo and Parlier8, Corollary 2.18].

We now make the following useful observation:

Observation: As $\alpha _1$ intersects each arc of $\mathcal {A}^{\prime }_0$ at most $1$ time, it also intersects $\mathcal {A}_0$ at most $I_1$ times.

To show this, note that $\alpha _1$ can be thought of as a concatenation of segments passing through the hexagons bounded by $\mathcal {A}^{\prime }_0$ (at most one per hexagon). Now the homotopy class of each segment can be represented by a concatenation of at most 3 segments lying on the boundary of a hexagon (see Figure 9).

Figure 9:

An arc of $\alpha _1$ crossing two adjacent hexagons and its representation by a broken path on the left.

Then, by retracting back and forth segments if necessary, $\alpha _1$ can be represented by a concatenation of arcs of $\mathcal {A}^{\prime }_0$ and boundary segments of $\Gamma $ , where each arc of $\mathcal {A}^{\prime }_0$ appears at most one time. From this, we can deduce that the total intersection between $\alpha _1$ and $\mathcal {A}_0$ is at most that of $\mathcal {A}^{\prime }_0$ and $\mathcal {A}_0$ , and hence is at most $I_1$ . We now add $\alpha _1$ to obtain a new hexagon decomposition, $(\Gamma _1, \mathcal {A}_1)$ with $\Gamma _1= \Gamma _0\cup \{\alpha _1\}$ and $\mathcal {A}_1$ the resulting hexagon decomposition when adding $\alpha _1$ to $\mathcal {A}^{\prime }_0$ . Observe that the total intersection between arcs in $\mathcal {A}_1$ and arcs in $\mathcal {A}_0$ is still bounded above by $I_1$ .

We now repeat the above process to add a second curve and so on. At each step, we might be required to perform flips (at most D), which may further increase the intersection between the arcs in $\mathcal {A}_0$ and the arcs $\mathcal {A}^{\prime }_k$ (the arcs at step k), but there is always a bound (denoted $I_k$ ) on this intersection which only depends on topology and the number of steps. Using the same trick as before, we add a curve $\alpha _k$ which intersects $\mathcal {A}_0$ at most $I_k$ times. The process ends in at most $m\leq \kappa _c(\Sigma )$ steps, resulting in a pants decomposition where each curve intersects the original multiarc, and hence H, at most $B=I_m$ times.

The following lemma is our last missing ingredient.

Now, using our upper bound of $I_m$ on the intersection of a pants decomposition with $H= (\Gamma _0,\mathcal {A}_0)$ , and applying the above lemma, we can conclude the following:

Now consider H and $H'$ at distance $1$ in ${\mathcal {H}(\Sigma )}$ . If they are related by a flip, by the argument given above, then their images by $\psi $ are at a bounded distance apart, where this distance depends only the topology of $\Sigma $ . If they are related by a curve addition, then their potential images intersect, and so any two choices will remain at a bounded distance apart. As such, we proved the following:

Lemma 3.15 There exists a constant $C_2=C_2(\Sigma )$ that depends only on the topology of $\Sigma $ such that for all $H,H'\in {\mathcal {H}(\Sigma )}$ , we have

$$ \begin{align*}d_{\mathcal{P}}(\psi(H), \psi(H')) \leq C_2 \,d_{\mathcal{H}}(H,H'). \end{align*} $$

Finally, we observe that $\phi $ and $\psi $ are quasi-inverses. Indeed, we have $\psi (\phi (P))=P$ for all $P\in {\mathcal {P}(\Sigma )}$ , and $\phi (\psi (H))$ is at most a constant distance from H (where the constant only depends on topology). Putting these results together, we have now shown that the maps $\phi $ and $\psi $ are quasi-isometries, hence showing Theorem 3.9.

4.1 Vertices and edges.

For this graph, we require that curves have an orientation. We fix an orientation on each curve (it can be arbitrary).

The vertices of ${\mathcal {H}(X)}$ are hexagon decompositions as before, but with an integer (called a weight) prescribed to each curve in the multicurve. Thus precisely, vertices are weighted hexagon decompositions $H= (\Gamma ^w,\mathcal {A})$ , where $\Gamma ^w=(\Gamma ,w)$ – that is, a multicurve with a set of weights $w\in {\mathbb {Z}}^m$ – and $\mathcal {A}$ a maximal multiarc on $X{\setminus }\Gamma $ .

Note that if a curve $\alpha $ , with an orientation, is given weight k, this corresponds to $\alpha ^{-1}$ (that is, $\alpha $ with the opposite orientation) with given weight $-k$ . In other words, we can think of each unoriented curve as an equivalence class and $(\alpha ,k)$ as a representative. Finally, weight $0$ is not particular, other than it is the only weight for which $(\alpha ,0)$ and $(\alpha ^{-1},0)$ correspond to the same class.

Edge relations are defined by extending the notion of edges as before.

1. i) Flip relation: two weighted decompositions are related by an edge if they differ by a flip. Note that a flip retains the same weights.

2. ii) Curve addition: as before, but now we need to define how to associate a weight to an added curve. This is explained below.

3. iii) Let $w, w' \in {\mathbb {Z}}^m$ differ by only one coordinate that differs by $1$ (expressed otherwise, $|| {w-w'} ||_1 = 1$ ). Then there is an edge between $(\Gamma ^w, \mathcal {A})$ and $(\Gamma ^{w'},\mathcal {A})$ . In other words, changing a single weight by $1$ induces an edge. (This can be thought of as a type of twist relation.)

The weight of an added curve. This is where we use the hyperbolic metric X.

Let $\alpha $ be compatible to a given hexagon decomposition $\left (\Gamma ^w, \mathcal {A}\right )$ – that is, if $\alpha \cap \Gamma = \emptyset $ and $i(\alpha , a)\leq 1$ for every arc $a\in \mathcal {A}$ .

Note that all arcs $a \in \mathcal {A}$ with $i(a,\alpha )=1$ split into two arcs $a_1,a_2$ in $X{\setminus }\{\Gamma \cup \alpha \}$ . These arcs are obtained by surgering a at its geometric intersection point with $\alpha $ – that is, the intersection point between the geodesic representatives. Let $a_1$ and $a_2$ be the resulting (homotopy classes of) arcs. Both $a_1$ and $a_2$ have exactly one of their endpoints on $\alpha $ .

We can equivalently think of the homotopy classes of arcs $a_1$ and $a_2$ as being realized by unique orthogeodesics (using the hyperbolic metric X). This gives rise to a converse construction of a, starting from the arcs $a_1$ and $a_2$ . To begin with, we give $\alpha $ an orientation. We orient $a_1$ so that it ends on $\alpha $ , and $a_2$ so that it begins on $\alpha $ . The (homotopy class of) arc a is obtained via the orthogeodesics $a_1$ and $a_2$ by first following $a_1$ , then following $\alpha $ (in the positive direction) for a certain length (which we denote by $t_\alpha (a)$ ) and then by following $a_2$ (see Figure 10).

Figure 10:

An arc a and its representation by a concatenation of arcs.

The result is an oriented arc whose unoriented version is a. Note that the quantity $t_\alpha (a)$ does not depend on our choice of $a_1$ and $a_2$ , but only on the orientation of $\alpha $ .

Let $\alpha $ be a compatible curve that we add to $(\Gamma ^w, \mathcal {A})$ . This results in $\left ((\Gamma ')^{w'},\mathcal {A}'\right )$ , where

1. (i) $\Gamma '= \Gamma \cup \{\alpha \}$

2. (ii) $\mathcal {A}'$ consists of all arcs of $\mathcal {A}$ that do not intersect $\alpha $ , to which we add all arcs of $\mathcal {A}$ split by $\alpha $ .

3. (iii) The weights of the curves in $\Gamma '$ are defined as follows:

For all curves that were previously in $\Gamma $ , the weights remain unchanged.

The weight of $\alpha $ relative to an arc $a \in \mathcal {A}$ is defined as

$$ \begin{align*}w(\alpha,a)= \{ \lfloor t_{\alpha}(a)/{\ell_{X}(\alpha)}\rfloor\}. \end{align*} $$

Here, $\ell _{X}(\alpha )$ is the length of the unique closed geodesic freely homotopic to $\alpha $ for the hyperbolic metric X, and $t_\alpha (a)$ is defined above. In the example of Figure 10, we have $w(\alpha ,a)=0$ .

In order to make the weight independent of the choice of arc, we set

$$ \begin{align*}w(\alpha)=\max_{a\in \mathcal{A} {\setminus} \mathcal{A}'}\{ \lfloor t_{\alpha}(a)/{\ell_{X}(\alpha)}\rfloor\}, \end{align*} $$

where a runs over all arcs of $\mathcal {A}$ split by $\alpha $ .

Roughly speaking, the weight, associated to a choice of arc a, is defined as the (whole) twist parameter of $\alpha $ necessary to obtain the arc a by concatenating $a_1$ and $a_2$ with that number of copies of $\alpha $ . (Said otherwise, a is obtained by a concatenation of $a_1$ , then following $\alpha $ a certain number of times and then $a_2$ .) As there are multiple arcs to choose from, we take the maximum value to avoid any ambiguity. This is an arbitrary choice, and we could have chosen the minimum, for instance. In fact, in the next lemma, we show that for any two arcs, the values obtained will differ by at most one.

Proof Let $a,b$ be disjoint arcs in $\mathcal {A}$ and $\alpha $ a simple closed curve that intersects both a and b once.

As a and b are disjoint, it follows that $t_{\alpha }(a)$ and $t_{\alpha }(b)$ cannot differ by more than $\ell _X(\alpha )$ . Otherwise, one of the arcs would wrap (at least) one more time around $\alpha $ than the other, and the arcs would intersect. Hence,

$$\begin{align*}|t_{\alpha}(a)- t_{\alpha}(b)| \leq \ell_X(\alpha),\end{align*}$$

and then by definition,

$$ \begin{align*}| w(\alpha,a) - w(\alpha,b) | = \frac{ |t_{\alpha}(a)- t_{\alpha}(b)| }{\ell_X(\alpha)} \leq 1,\end{align*} $$

as claimed.

We finish this subsection with an upper bound on the degree of vertices.

Proof Let $(\Gamma ^w, \mathcal {A})$ be a vertex. We want to bound the number of edges that leave from this vertex. Edges leaving this vertex correspond to exactly one of the different types of elementary move:

1. (i) Flipping arcs of $\mathcal {A}$ . This contributes at most $|\mathcal {A}|$ edges.

2. (ii) Each weight can change by $\pm 1$ , thus contributing at most $2 |\Gamma |$ edges.

3. (iii) Curve addition: by Lemma 3.8, there are most $2^{|\mathcal {A}|}$ such curves.

4. (iv) Curve removal: this is the part which requires some work, as curve removal is defined as the opposite of curve addition. We need to estimate how many different vertices can result in $(\Gamma ^w, \mathcal {A})$ after a curve addition.

We consider $\alpha \in \Gamma $ , and we look at how it might have appeared under a curve addition.

Note there are possibly an infinite number of hexagon decompositions of $X{\setminus }\left (\Gamma {\setminus }\alpha \right )$ that would topologically result in $(\Gamma ,\mathcal {A})$ by adding $\alpha $ but only finitely many can result in $(\Gamma ^w,\mathcal {A})$ with the correct weight along $\alpha $ . We will show this by bounding the number of possible arcs of a candidate hexagon decomposition.

Consider a hexagon decomposition such that adding $\alpha $ to it results in $(\Gamma ^w,\mathcal {A})$ . Any arc in such a hexagon decomposition must have been obtained by concatenating an arc of $\mathcal {A}$ , say $a_1$ , with an arc c belonging to $\alpha $ , and then another arc of $\mathcal {A}$ , say $a_2$ . This comes from the fact that an added curve can intersect arcs of the hexagon decomposition at most once. There are at most $|\mathcal {A}|$ choices for both $a_1$ and $a_2$ , and thus at most $|\mathcal {A}|^2$ choices for the pair. Now because the weight of $\alpha $ is known, there are at most $2$ choices for the arc c: thanks to Lemma 4.1, the arc must wrap the prescribed number of times around $\alpha $ , or possibly once less.

As such, there are at most $2|\mathcal {A}|^2$ choices for each arc. The full hexagon decomposition requires at most N new arcs where

$$ \begin{align*}N=\kappa_{\mathrm{a}}(X{\setminus}\left(\Gamma{\setminus}\alpha\right) ).\end{align*} $$

There are at most

$$ \begin{align*}{2|\mathcal{A}|^2\choose N}\end{align*} $$

choices. This was for a given choice of $\alpha \in \Gamma $ . Multiplying by $|\Gamma |$ , which is bounded above by the curve complexity of X, completes the upper bound on possible vertices that are related to $(\Gamma ^w, \mathcal {A})$ by a curve removal.

The quantity F is the sum of all of these upper bounds.

4.2 ${\mathcal {H}(X)}$ is a model for the mapping class group

With these basic properties in hand, we will now be able to show the following.

To prove this theorem, we will use the following lemmas, the first of which is a version of the Milnor-Schwarz lemma for quasi-isometric actions. Although it is not as used as its isometric action counterpart, it is certainly well-known to experts. For a proof, see, for instance, [Reference Cordes, Tobias and Tonić7, Theorem 4.40].

Let $\operatorname {\mathrm {Mod}}(X)(=\operatorname {\mathrm {Mod}}(\Sigma ))$ be the mapping class group of X (or of $\Sigma $ ). The action of the mapping class group on $\mathcal {H}(\Sigma )$ is straightforward: it sends multi-curves to multi-curves and multi-arcs to multi-arcs by homeomorphisms. Note that $(\Gamma ,\mathcal {A})\in \mathcal {H}(\Sigma )$ always has infinite stabilizers because of Dehn twists along curves in $\Gamma $ . The weights on vertices will prevent this from happening in ${\mathcal {H}(X)}$ .

Proof In addition to the simplicial action on $\mathcal {H}(\Sigma )$ , we need to define how the mapping class group acts on weights. The action we describe is a quasi-action, and we describe it at a vertex $(\Gamma ^w,\mathcal {A})$ for an individual weighted curve $\alpha $ , where $\alpha \in \Gamma ^w$ . Consider a mapping class $\varphi \in \operatorname {\mathrm {Mod}}(X)$ . A weight needs to be attributed to $\varphi (\alpha )$ for a homeomorphism $\varphi $ . If the homeomorphism is a Dehn twist along $\alpha $ , the weight changes by $\pm 1$ depending on the direction of twist and orientation of $\alpha $ . More generally, we can compute the weight of the image as follows.

Let $\alpha $ be of weight $k\in {\mathbb {Z}}$ . We consider a pair of disjoint simple arcs $a_1,a_2\in \mathcal {A}$ with exactly one endpoint on either side of $\alpha $ . If no such pair exists, by performing a bounded number of flips (as in the proof of Lemma 3.5), one can ensure that this is the case. (Note that in the case of a one-holed torus, no such pair exists, and in that case, a similar argument works with a single arc, but we omit the details here. We are doing this to avoid handling the case where $\alpha $ is separating or nonseparating for all other surfaces.) Now we consider the arc a obtained by concatenating $a_1$ (so that it ends on $\alpha $ ), then following $\alpha $ exactly k times around and then if necessary until the endpoint of $a_2$ , and then following $a_2$ . We now consider its image $\varphi (a)$ by the mapping class, which is an arc that intersects $\varphi (\alpha )$ exactly once. We will now compute the weight we will associate to $\varphi (\alpha )$ in order for $\varphi $ to have a well-defined quasi-action. To do so, we cut $\varphi (a)$ in its intersection point to obtain $a_1'$ and $a_2'$ and measure the length of the arc $t'$ needed to concatenate to get a (as in Figure 10). The weight of $\varphi (\alpha )$ is

$$ \begin{align*}\frac{t'}{\ell_X(\varphi(\alpha))}. \end{align*} $$

We now need to show that this weight does not depend (too much) on the choice of $a_1$ and $a_2$ .

The idea is similar to what happens in Lemma 4.1. There were different choices for $a_1$ and $a_2$ , but all resulting in arcs that are either disjoint, or possibly intersect at most once. Hence, as in the proof of Lemma 4.1, the weights associated to any such choice differ by at most $\pm 2$ . The difference here is that the arcs might intersect one time, whereas in the proof of the lemma, they were necessarily disjoint. This shows that the action is (quasi-)well-defined.

Now to show that the mapping class group acts by quasi-isometries, we need to show that two vertices at distance $1$ are sent to vertices a (uniformly) bounded distance apart.

1. (i) If two vertices $x,y$ differ by a flip, then $\varphi (x)$ and $\varphi (y)$ also differ (topologically) by a flip. Furthermore, the weights associated to each curve can be computed using the same arcs (up to a single flip) and so, by the above argument, are comparable (they differ by at most $2$ ).

2. (ii) If two vertices $x,y$ differ by a curve addition, then the weights of a curve in $\varphi (x)$ and $\varphi (y)$ can be computed using arcs that are either the same or that intersect at most once. Hence, as before, the weights are always comparable.

In all situations, the weights are uniformly comparable, and since the number of curves only depends on the curve complexity of the surface, this shows that if two vertices $x,y$ are distance d apart, then $\varphi (x)$ and $\varphi (y)$ are distance at most $Cd$ apart where C only depends on the topology of the surface.

The quotient of ${\mathcal {H}(X)}$ by $\operatorname {\mathrm {Mod}}(X)$ is exactly the quotient of ${\mathcal {H}(\Sigma )}$ by $\operatorname {\mathrm {Mod}}(\Sigma )$ . This is because any two hexagon decompositions that only differ by weights are related by Dehn twists along their curves and so correspond to the same point in ${\mathcal {H}(\Sigma )}$ . The quotient thus has a vertex set corresponding to the topological types of hexagon decompositions which is a finite set and has at most one edge between any two vertices. As such, the action is cocompact.

By Theorem 4.2, ${\mathcal {H}(X)}$ has finite degree, and so the action of $\operatorname {\mathrm {Mod}}(X)$ has finite stabilizers. Hence, the action of the mapping class group by quasi-isometries is proper and cocompact, and by Lemma 4.4, Theorem 4.3 follows.