Constructive Geometrization of Thurston Maps and Decidability of Thurston Equivalence
Abstract
The key result in the present paper is a direct analogue of the celebrated Thurston’s Theorem Douady and Hubbard (Acta Math 171:263–297, 1993) for marked Thurston maps with parabolic orbifolds. Combining this result with previously developed techniques, we prove that every Thurston map can be constructively geometrized in a canonical fashion. As a consequence, we give a partial resolution of the general problem of decidability of Thurston equivalence of two postcritically finite branched covers of \(S^2\) (cf. Bonnot et al. Moscow Math J 12:747–763, 2012).
Keywords
Thurston equivalence Thurston obstruction Lattès map Geometrization1 Introduction
A Thurston map is a basic object of study in onedimensional dynamics: a branched covering f of the 2sphere with finite critical orbits. Such a map can be described in a purely combinatorial language by introducing a suitable triangulation of \(S^2\) whose set of vertices includes the critical orbits of f. Different combinatorial descriptions of the map lead to a natural combinatorial or Thurston equivalence relation. A natural question arises whether given two such combinatorial objects, it can be decided if they are equivalent or not in some systematic, i.e. algorithmic, fashion.
We briefly outline the history of the problem. A central theorem in the subject is the result of Thurston (Douady and Hubbard 1993) that describes, in a topological language, which Thurston maps are combinatorially equivalent to rational mappings of \(\hat{{\mathbb C}}\). In the case when an equivalent rational mapping exists, it is essentially unique, and the proof of the theorem (Douady and Hubbard 1993) supplies an iterative algorithm for approximating its coefficients. The only obstacle for the existence of a Thurston equivalent rational map is the presence of a Thurston obstruction which is a finite collection of curves in \(S^2\) that satisfies a certain combinatorial inequality. Equivalence to a rational mapping can thus be seen as a geometrization of the branched covering: equipping the topological object with a canonical geometric description.
In Bonnot et al. (2012) it was shown that, outside of some exceptional cases, the question of Thurston equivalence to a rational mapping is algorithmically decidable. Namely, there exists an algorithm \({\mathcal A}_1\) which, given a combinatorial description of f, outputs 1 if f is equivalent to a rational mapping and 0 otherwise. Moreover, in the former case, \({\mathcal A}_1\) identifies the rational mapping. Since two different rational mappings are easy to distinguish—for instance, by comparing their coefficients after some normalization—this implies that in the case when either f or g has no Thurston obstruction, the statement of the Main Theorem I can be deduced from the existence of \({\mathcal A}_1\) (Bonnot et al. 2012).
Our work concentrates on the situation when Thurston maps are obstructed. In this case, geometrization may be achieved by decomposition into geometrizable components (Pilgrim 1827). We show:
Main Theorem I
Every Thurston map admits a constructive canonical geometrization.
The main step in the proof is a direct analogue of Thurston’s Theorem for the exceptional cases, Thurston maps with parabolic orbifolds:
Main Theorem II
A marked Thurston map with parabolic orbifold is geometrizable if and only if it has no degenerate Levy cycles.
Detailed versions of both statements will be given below (see Theorems 6.1 and 4.1), after some preliminaries. As a consequence we obtain a partial resolution of the general question of decidability of Thurston equivalence:
Main Theorem III
There exists an algorithm \({\mathcal A}\) which does the following. Let f and g be marked Thurston maps and assume that every element of the canonical geometrization of f has hyperbolic orbifold. The algorithm \({\mathcal A}\), given the combinatorial descriptions of f and g, outputs 1 if f and g are Thurston equivalent and 0 otherwise.
2 Geometric Preliminaries
2.1 Mapping Class Groups
When we talk about a surface with holes, we will always mean a surface S with boundary, which is obtained from a surface without holes by removing a collection of disjoint Jordan disks. A surface S is of finite topological type if it is a genus g surface with m holes and n punctures, where \(g,m,n<\infty \). The Mapping Class Group \({\text {MCG}}(S)\) is defined as the group of homeomorphisms \(S\rightarrow S\) which restrict to the identity on \(\partial S\), up to isotopy relative \(\partial S\).
Throughout the article, we denote by \(T_\gamma \) the Dehn twist around a curve \(\gamma \). Let \({\text {PMCG}}(S^{2},P)\) be the pure Mapping Class Group of the twodimensional sphere, where \(P\subset S^2\) is a finite set of punctures. We use the following fact:
Proposition 2.1
The group \({\text {PMCG}}(S^{2},P)\) is generated by a finite number of explicit Dehn twists.
The finiteness of the number of generating twists is a classical result of Dehn; Lickorish (1964) has made the construction explicit. See, for example, Farb and Margalit (2011) for an exposition.
3 Thurston Maps
In this section we recall the basic setting of Thurston’s characterization of rational functions.
3.1 Branched Covering Maps
A (marked) Thurston map is a pair \((f,Q_f)\) where \(f:S^2\rightarrow S^2\) is a postcritically finite ramified covering of degree at least 2 and \(Q_f\) is a finite collection of marked points \(Q_f\subset S^2\) which contains \(P_f\) and is finvariant: \(f(Q_f)\subset Q_f\). Thus, all elements of \(Q_f\) are preperiodic for f.
3.2 Thurston Equivalence
 (1)
the maps \(\phi _{0}, \phi _{1}\) coincide on \(Q_f\), send \(Q_{f}\) to \(Q_{g}\) and are isotopic rel \(Q_f\);
 (2)the diagram commutes.
3.3 Orbifold of a Thurston Map
3.4 Thurston Maps with Parabolic Orbifolds
A complete classification of postcritically finite branched covers with parabolic orbifolds has been given in Douady and Hubbard (1993). All postcritically finite rational functions with parabolic orbifolds have been extensively described in Milnor (2006). In this section, we remind the reader of basic results on Thurston maps with parabolic orbifolds.
Proposition 3.1
 i.
If \(f :{S^2}\rightarrow {S^2}\) is a postcritically finite branched cover, then \(\chi (O_f) \le 0\).
 ii.
If \(\chi (O_f) = 0\), then \(f :O_f \rightarrow O_f\) is a covering map of orbifolds.
 (1)
\((\infty ,\infty ),\)
 (2)
\((2,2,\infty ),\)
 (3)
(2, 4, 4),
 (4)
(2, 3, 6),
 (5)
(3, 3, 3),
 (6)
(2, 2, 2, 2).
 (1)
\( G=<z\mapsto z+1>\),
 (2)
\( G=<z\mapsto z+1,z\mapsto z>\),
 (3)
\( G=<z\mapsto z+a, z\mapsto iz>\), where \(a\in {\mathbb Z}[i]\),
 (4)
\( G=<z\mapsto z+a, z\mapsto wz>\), where \(w=e^{i\pi /3},\; a\in {\mathbb Z}[w]\),
 (5)
\( G=<z\mapsto z+a, z\mapsto w^2z>\), where \(w=e^{i\pi /3},\; a\in {\mathbb Z}[w]\).
As before, let f be a (2, 2, 2, 2)map, and \(p:T\rightarrow S^2\). Take any simple closed curve \(\gamma \) on \({S^2}{\setminus }Q_f\). Then \(p^{1}(\gamma )\) has either one or two components that are simple closed curves.
The following propositions are straightforward (see, for example, Selinger 2013):
Proposition 3.2
If there are exactly two postcritical points of f in each complementary component of \(\gamma \), then the ppreimage of \(\gamma \) consists of two components that are homotopic in T and nontrivial in \(H_1(T,\mathbb {Z})\). Otherwise, all preimages of \(\gamma \) are trivial.
Every homotopy class of simple closed curves \(\gamma \) on T defines, up to sign, an element \(\langle \gamma \rangle \) of \(H_1(T,\mathbb {Z})\). If a simple closed curve \(\gamma \) on \({S^2}{\setminus }Q_f\) has two ppreimages, then they are homotopic by the previous proposition. Therefore, every homotopy class of simple closed curves \(\gamma \) on \({S^2}{\setminus }Q_f\) also defines, up to sign, an element \(\langle \gamma \rangle \) of \(H_1(T,\mathbb {Z})\). It is clear that for any \(h \in H_1(T,\mathbb {Z})\) there exists a homotopy class of simple closed curves \(\gamma \) such that \(h=n \langle \gamma \rangle \) for some \(n \in \mathbb {Z}\).
Since \(H_1(T,\mathbb {Z})\cong \mathbb {Z}^2\), the pushforward operator \(\hat{f}_*\) is a linear operator. It is easy to see that the determinant of \(\hat{f}_*\) is equal to the degree of \(\hat{f}\), which is in turn equal to the degree of f. Existence of invariant multicurves for f is related to the action of \(\hat{f}_*\) on \(H_1(T,\mathbb {Z})\).
Proposition 3.3
Suppose that a component \(\gamma '\) of the fpreimage of a simple closed curve \(\gamma \) on \({S^2}{\setminus }Q_f\) is homotopic \(\gamma \). Take a ppreimage \(\alpha \) of \(\gamma \). Then \(\hat{f}_*(\langle \alpha \rangle )=\pm d \langle \alpha \rangle \), where d is the degree of f restricted to \(\gamma '\).
More generally, we obtain the following.
Proposition 3.4
Let \(\gamma \) be a simple closed curve on \({S^2}{\setminus } Q_f\) such that there are two points of the postcritical set \(P_f\) in each complementary component of \(\gamma \). If all components of the fpreimage of \(\gamma \) have zero intersection number with \(\gamma \) in \({S^2}{\setminus } Q_f\), then \(\hat{f}_*(\langle \gamma \rangle )=\pm d \langle \gamma \rangle \), where d is the degree of f restricted to any preimage of \(\gamma \).
3.5 Geometrization of a Thurston Map with Parabolic Orbifold
As seen above, every parabolic orbifold, which is a topological 2sphere, can be obtained by considering a quotient of \(\mathbb {R}^2\) by the action of a discrete group G of Euclidean isometries that depends only on the signature of the orbifold. We will call G the orbifold group. Up to equivalence, we may thus assume that a Thurston map f with parabolic orbifold is a selfmap of the \(O_f=\mathbb {R}^2/ G\).
Theorem 3.5
Let f be a Thurston map with postcritical set \(P=P_f\) and no extra marked points \((Q_f=P_f)\) with parabolic orbifold. Then f is equivalent to a quotient of a real affine map by the action of the orbifold group. This affine map is unique up to affine conjugation.
Proof
Lemma 3.6
A lift F of a continuous map Open image in new window is affine on \({\tilde{P}}\).
Proof
Thus F(z) agrees with an affine map \(L(z)=Az+b\) on \({\tilde{P}}\), where A is an integer matrix and \(b \in 1/2(\mathbb {Z}+i\mathbb {Z})\) and \(F_*g=L_*g\) for all \(g\in G\). Therefore the map \(\tilde{\phi }=L^{1}\circ F\) is Gequivariant and projects to a selfhomeomorphism \(\phi \) of \(O_f\) which fixes P.
Lemma 3.7
Let l(z) be a quotient of an affine map \(L(z)=Az+b\) where A is an integer matrix and \(b \in 1/2(\mathbb {Z}+i\mathbb {Z})\) by the action of G, and \(\phi \) be an element of Open image in new window . If \(l(z)\circ \phi \) has a lift \(L'\) to \(\mathbb {R}^2\) such that \(L'(z)=Az+b\) for all points in \({\tilde{P}}\), then \(\phi \) is trivial.
Proof
If \(l(z)\circ \phi \) and l(z) have lifts that agree on \({\tilde{P}}\), then \(\phi \) must have a lift that is identical on \({\tilde{P}}\).
On the other hand, suppose that \(l_1\) and \(l_2\) are quotients of two affine maps, which are Thurston equivalent. Then \(l_1\) and \(l_2\) are conjugate on P, hence lifts thereof are conjugate on \({\tilde{P}}\) by an affine map (in the case when Open image in new window this follows from Lemma 3.6; the other cases are similar) and the uniqueness part of the statement follows.
3.6 Thurston Linear Transformation
Let Q be a finite collection of points in \(S^2\). We recall that a simple closed curve \(\gamma \subset S^{2}Q\) is essential if it does not bound a disk, is nonperipheral if it does not bound a punctured disk.
Definition 3.8
A multicurve \(\Gamma \) on \((S^{2},Q)\) is a set of disjoint, nonhomotopic, essential, nonperipheral simple closed curves on \(S^{2}{\setminus } Q\). Let \((f,Q_f)\) be a Thurston map, and set \(Q=Q_f\). A multicurve \(\Gamma \) on \(S{\setminus } Q\) is fstable if for every curve \(\gamma \in \Gamma \), each component \(\alpha \) of \(f^{1}(\gamma )\) is either trivial (meaning inessential or peripheral) or homotopic rel Q to an element of \(\Gamma \).
We can now state Thurston’s theorem:
Thurston’s Theorem Let \(f:S^{2} \rightarrow S^{2}\) be a marked Thurston map with a hyperbolic orbifold. Then f is Thurston equivalent to rational function g with a finite set of marked preperiodic orbits if and only if \(\lambda (\Gamma )<1\) for every fstable multicurve \(\Gamma \). The rational function g is unique up to conjugation by an automorphism of ¶\(^1\).
The proof of Thurston’s Theorem for Thurston maps without additional marked points is given in Douady and Hubbard (1993), for the proof for marked maps see e.g. Buff et al. (2014).
In the original formulation in Douady and Hubbard (1993), a Thurston obstruction was required to be invariant. Omitting this requirement makes the statement of the theorem weaker in one direction and stronger in the other direction. However, in Selinger (2011) is shown that if there exists a Thurston obstruction for f, then there also exists a simple fstable obstruction.
The following is an exercise in linear algebra (c.f. Selinger 2012):
Proposition 3.9
A multicurve \(\Gamma \) is a simple obstruction if and only if there exists a positive vector v such that \(M_\Gamma v \ge v\).
For what follows, let us make a note of a particular kind of Thurston obstructions:
Definition 3.10
Proposition 3.11
A Thurston map f admits a Levy cycle if and only if so does its iterate \(f^n\).
Proof
If a simple closed curve \(\gamma \) generates a Levy cycle for f, then it obviously does so for \(f^n\).
Suppose \(\gamma \) generates a Levy cycle for \(f^n\) of length m, i.e. there is a collection of simple closed curves \(\{\gamma _0, \ldots , \gamma _{nm1}\}\) such that \(f(\gamma _i)=\gamma _{i+1}\) for all \(0\le i \le nm1\) and \(f(\gamma _{nm1})=\gamma \) is isotopic to \(\gamma _0\), and f restricted to any \(\gamma _i\) is a homeomorphism. Moreover, all \(\gamma _{in}\) represent pairwise disjoint isotopy classes of simple closed curves. If all \(\gamma _{i}\) were to represent pairwise disjoint isotopy classes of simple closed curves, then \(\gamma _0\) would generate a Levy cycle for f, by definition. However this does not have to be the case. Changing f by isotopy if needed, we may assume that all intersections between \(\gamma _i\) are transversal.
Consider a connected component A of \(\bigcup \gamma _i\) containing \(\gamma _0\). Let \(k = \min \{i>0  \gamma _i \in A\}\). Then \(f^k\) send A homeomorphically to \(B=A \cup \gamma {\setminus }\gamma _0\) and B is isotopic to A. Note that \(\bigcup \gamma _i\) is a union of disjoint nm / k homeomorphic copies of A. The graphs A and B separate the sphere into a collection of discs \(C_i\) and \(D_i\) with boundaries \(\alpha _i\) and \(\beta _i\) respectively, where \(\alpha _i\) is isotopic to \(\beta _i\). If \(\beta _i\) is peripheral, then f has at most one singular value inside \(D_i\), which implies that there exists \(C_j\) such that \(f^k(C_j)=D_i\) and \(\deg f^k_{C_j} =\deg f^k_{\alpha _j} =1\). Since \(\deg f >1\), we see that there exists \(\beta _0\) which is nonperipheral (we allow ourselves to slightly abuse the notation here).
Define inductively \(\beta _{i+1}=f^k(\alpha _i)\). Then all \(\beta _i\) are also nonperipheral and since they are chosen from a finite set, \(\beta _{s}=\beta _0\) for some \(s\ge 0\). Therefore \(\beta _0\) has a degree 1 \(f^{ks}\)preimage which is homotopic to \(\beta _0\). Note that all the \(\beta _i\) represent pairwise disjoint isotopy classes of simple closed curves. We conclude that \(\beta _0\) generates a Levy cycle for f. \(\square \)
A Thurston map f is called a topological polynomial if there exists a point w such that \(f^{1}(w)=\{ w\}\). The following was proved by Levy (1985):
Theorem 3.12
If f is a topological polynomial and \(\Gamma \) is a Thurston obstruction for f, then \(\Gamma \) contains a degenerate Levy cycle.
Example
3.7 Thurston Iteration on the Teichmüller Space
For the basics of the Teichmüller Theory see e.g. Imayoshi and Taniguchi (1992). Let \(S^2_n\) denote the twosphere with n marked points. The moduli space \({\mathcal M}(S^2_n)\) parametrizes distinct complex structures on \(S^2_n\). For \(n\le 3\) it consists of a single point. For \(n>3\), it is naturally identified with the \(n3\) dimensional complex manifold consisting of all ntuples \((z_1,\ldots , z_n)\) of points in \(\hat{\mathbb C}\) defined up to a Möbius transformation. The Teichmüller space \({\mathcal T}(S^2_n)\) is the universal covering space of \({\mathcal M}(S^2_n)\). We will use the notation \(\cdot _T\) for the Teichmüller norm on \({\mathcal T}(S^2_n)\).
Proposition 3.13
(cf. Douady and Hubbard (1993), Proposition 3.2.2) A Thurston map f is equivalent to a rational function if and only if \(\sigma _f\) has a fixed point.
Proof
Proposition 3.14
Suppose that f has a hyperbolic orbifold, and \(\sigma _f\) has a fixed point in \({\mathcal T}_f\). Then the fixed point is unique, and every \(\sigma _f\)orbit converges to it.
Weak contraction properties of \(\sigma _f\) imply that nonexistence of a fixed point means that for every compact subset \(K\Subset {\mathcal T}_f\) and every starting point \([\tau _0]\in {\mathcal T}_f\) there is a moment \(j\in {\mathbb N}\) when \([\sigma _f^j\tau _0]\notin K\). The next section gives a more precise explanation, due to Pilgrim (2001).
3.8 Canonical Obstructions
For a general hyperbolic Riemann surface W we denote \(\rho _W\), \(d_W\), and \(\text {length}_W\) the hyperbolic metric, distance, and length on W. When we want to emphasize the dependence of the hyperbolic metric on the choice of the complex structure \(\tau \) on a surface S, we will write \(\rho _\tau \) for the hyperbolic metric on \(S_\tau \equiv (S,\tau )\), \(\text {length}_\tau \) for the hyperbolic length, and \(d_\tau \) for the hyperbolic distance. For a nontrivial homotopy class of closed curves \([\gamma ]\) on S we let \(\ell _\tau ([\gamma ])\) denote the length of the unique geodesic representative of \([\gamma ]\) in \(S_\tau \).
The following is straightforward (see e.g. Pilgrim 2001):
Proposition 3.15
Definition 3.16
Pilgrim proved the following:
Theorem 3.17
(Pilgrim 2001) Suppose f is a Thurston map with a hyperbolic orbifold. If the canonical obstruction is empty, then f is Thurston equivalent to a rational function. If the canonical obstruction is nonempty, then it is a Thurston obstruction.
Pilgrim further showed:
Theorem 3.18
3.9 Pilgrim’s Decompositions of Thurston Maps
What follows is a very brief review; the reader is referred to K. Pilgrim’s book Pilgrim (1827) for details. We adhere to the notation of Pilgrim (1827), for ease of reference.
As a motivation, consider that for the canonical Thurston obstruction \(\Gamma _c\ni \gamma \), there is a choice of complex structure \(\tau \) for which \(\ell _\tau ([\gamma ])\) is arbitrarily small, and remains small under pullbacks by f. It is thus natural to think of the punctured sphere \(S^2{\setminus } P_f\) as pinching along the homotopy classes \([\gamma ]\in \Gamma _c\); instead of a single sphere we then obtain a collection of spheres interchanged by f.
 (a)
for each curve \(\gamma _j\) the annuli \(A_{1,k}\) in the same homotopy class are contained inside \(A_{0,j}\);
 (b)
moreover, the two outermost annuli \(A_{1,k}\) as above share their outer boundary curves with \(A_{0,j}\).
A Thurston map with a multicurve in a standard form can be decomposed as follows. First, all annuli \(A_{0,j}\) are removed, leaving a collection of spheres with holes, denoted \(S_0(j)\). For each j, there exists a unique connected component \(S_1(j)\) of \(f^{1}(\cup S_0(j))\) which has the property \(\partial S_0(j)\subset \partial S_1(j)\). Any such \(S_1(j)\) is a sphere with holes, with boundary curves being of two types: boundaries of the removed annuli, or boundaries of trivial preimages of the removed annuli.
Pilgrim shows:
Theorem 3.19
For every obstructed marked Thurston map f with an obstruction \(\Gamma \) there exists an equivalent map g such that \((g,\Gamma )\) is in a standard form, and thus can be decomposed.
3.10 Topological Characterization of Canonical Obstructions
The first author showed in Selinger (2013):
Theorem 3.20

If the firstreturn map F of a cycle of components in §\(_\Gamma \) is a (2, 2, 2, 2)map, then every curve of every simple Thurston obstruction for F has two postcritical points of f in each complementary component and the two eigenvalues of \(\hat{F}_*\) are equal or noninteger.

If the firstreturn map F of a cycle of components in §\(_\Gamma \) is not a (2, 2, 2, 2)map or a homeomorphism, then there exists no Thurston obstruction of F.
3.11 Algorithmic Preliminaries
3.12 A PiecewiseLinear Thurston Map
For the purposes of algorithmic analysis, we will require a finite description of a branched covering \(f:S^2\rightarrow S^2\).
Since we will work mainly in the piecewise linear category, it is convenient to recall here some definitions.

a face of a simplex in \(\Sigma \) is also in \(\Sigma \), and

the intersection of any two simplices in \(\Sigma \) is either empty or a face of both.
Piecewise linear maps A map \(f:M \rightarrow N\) from a subset of an affine space into another affine space is piecewise linear (PL) if it is the restriction of a simplicial map defined on the polyhedron of some simplicial complex.
We also define piecewise linear (PL) manifolds as manifolds having an atlas where the transition maps between overlapping charts are piecewise linear homeomorphisms between open subsets of \(\mathbb {R}^{n}\). It is well known that any piecewise linear manifold has a triangulation: there is a simplicial complex \(\Sigma \) together with a homeomorphism \(\vert \Sigma \vert \rightarrow X\) which is assumed to be a PL map (see Thurston (1997), proof of theorem 3.10.2).
One example of such a manifold is the standard piecewise linear (PL) 2sphere, which is nicely described in Thurston (1997) as follows: pick any convex 3dimensional polyhedron \(K \subset \mathbb {R}^{3}\), and consider the charts corresponding to all the possible orthogonal projections of the boundary (topological) sphere \(\partial K\) onto hyperplanes in \(\mathbb {R}^{3}\). The manifold thus obtained is the standard piecewise linear 2sphere. One can prove that another choice of polyhedron would lead to an isomorphic object [see exercise 3.9.5 in Thurston (1997)].
It is known that in dimension three or lower, every topological manifold has a PL structure, and any two such structures are PL equivalent [in dimension 2, see Radó (1925), for the dimension 3 consult Bing (1959)].
Piecewise linear branched covers We begin by formulating the following proposition which describes how to lift a triangulation by a PL branched cover [see Douady and Douady (2005), section 6.5.4]:
Proposition 3.21
(Lifting a triangulation) Let B be a compact topological surface, \(\pi :X\rightarrow B\) a finite ramified cover of B. Let \(\Delta \) be the set of branch points of \(\pi \), and let \({\mathcal T}\) be a triangulation of B such that \(\Delta \) is a subset of vertices of \({\mathcal T}\) (\(\Delta \subset K_{0}({\mathcal T})\) in the established notation). Then there exists a triangulation \({\mathcal T}'\) of X, unique up to bijective change of indices, so that the branched covering map \(\pi :X \rightarrow B\) sends vertices to vertices, edges to edges and faces to faces. Moreover, if \(X=B\) is a standard PL 2sphere and \(\pi \) is PL, then \({\mathcal T}'\) can be produced constructively given a description of \({\mathcal T}\).
We consider PL maps f of the standard PL 2sphere which are postcritically finite topological branched coverings with a finite forwardinvariant set \(Q_f\) of marked points. We call such a map a piecewise linear Thurston map.
Remark 3.22
Note that any such covering may be realized as a piecewiselinear branched covering map of a triangulation of \(\hat{\mathbb C}\) with rational vertices. An algorithmic description of a PL branched covering could thus either be given by the combinatorial data describing the simplicial map, or as a collection of affine maps of triangles in \(\hat{\mathbb C}\) with rational vertices. We will alternate between these descriptions as convenient.
We note:
Proposition 3.23
(Bonnot et al. 2012) Every marked Thurston map f is Thurston equivalent to a PL Thurston map.
For ease of reference we state:
Theorem 3.24
There exists an algorithm \({\mathcal A}_1\) which, given a finite description of a marked Thurston map f with hyperbolic orbifold, outputs 1 if there exists a Thurston obstruction for f and 0 otherwise. In the latter case, \({\mathcal A}_1\) also outputs a finite description which uniquely identifies the rational mapping R which is Thurston equivalent to f, and the preperiodic orbits of R that correspond to points in \(Q_f\).
The paper (Bonnot et al. 2012) contains a proof of the above theorem for the case of an unmarked Thurston map (\(Q_f=P_f\)), the proof extends to the general case mutatis mutandis.
3.13 Verifying Homotopy
Let us quote several useful results from Bonnot et al. (2012):
Proposition 3.25
There exists an algorithm \({\mathcal A}_2\) to check whether two simple closed polygonal curves on a triangulated surface S are homotopic.
Proposition 3.26
There exists an algorithm \({\mathcal A}_3\) which does the following. Given a triangulated sphere with a finite number of punctures \(S=S^2Z\) and a triangulated homeomorphism \(h:S\rightarrow S\), the algorithm identifies whether h is isotopic to the identity.
3.14 Enumeration of the Multicurves and Elements of the Mapping Class Group
We again quote Bonnot et al. (2012):
Proposition 3.27
Given a finite set of punctures W, there exist algorithms \({\mathcal A}_5\), \({\mathcal A}_6\) which enumerate the elements of \({\text {MCG}}(S{\setminus } W)\) and \({\text {PMCG}}(S{\setminus } W)\) respectively.
Proposition 3.28
Given a finite set of punctures W, there exists an algorithm \({\mathcal A}_7\) which enumerates all nonperipheral multicurves on \(S^{2}{\setminus } W\).
We combine Propositions 3.28 and 3.25 to formulate:
Proposition 3.29
Given a marked PL Thurston map f, there exists an algorithm \({\mathcal A}_8\) which enumerates all fstable multicurves.
In Bonnot et al. (2012), Propositions 3.26 and 3.27 are combined in a straightforward fashion to prove:
Proposition 3.30
There exists and algorithm \({\mathcal A}_9\) which, given two equivalent marked PL Thurston maps f and g verifies the equivalence, by presenting an element of \({\text {MCG}}(S^2{\setminus } Q)\) which realizes it.
We also need to state a constructive version of Theorem 3.19:
Proposition 3.31
There exists and algorithm \({\mathcal A}_{10}\) which, given an obstructed marked PL Thurston map f and an obstruction \(\Gamma \), finds an equivalent PL Thurston map which is in a standard form, and such that the boundary curves of the thick parts are polygons.
Sketch of proof
We use a brute force search combined with algorithm \({\mathcal A}_3\) (Proposition 3.26) to find a PL approximation of the map g from Theorem 3.19. We then modify the triangulation near the boundary curves of the thick parts to obtain the desired map. We leave it to the reader to fill in the straightforward details.
3.15 Algorithmic Complexity of the Mapping Class Group
Let us recall that a group G is finitely generated if it is isomorphic to a quotient of the free group \(F_S\) on a finite set S by a normal subgroup \(N\lhd F_S\). The elements of S are generators of G. A finitely generated group is finitely presented if there exists a finite set of words \(R\subset F_S\) such that N is the normal closure of R (the smallest normal subgroup of \(F_S\) which contains R). The words in R are called relators; thus a finitely presented group can be described using a finite set of generators and relators.
The Word Problem for a finitely presented group G can be stated as follows:
Let S and R be given. For a word w in \(F_S\) decide whether or not w represents the identity in G. Equivalently, for two words \(w_1\), \(w_2\in F_S\) decide whether \(w_1\) and \(w_2\) represent the same element of G.
The Conjugacy Problem is stated similarly:
Let S and R be given. For two words \(w_1\), \(w_2\) decide whether \(w_1\) and \(w_2\) are conjugate elements of G, that is, whether there exists \(x\in G\) such that \(w_1=xw_2x^{1}\).
The Word Problem is a particular case of the conjugacy problem, since being conjugate to the identity element \(e\in G\) is the same as being equal to it.
Both problems were explicitly formulated by Dehn (1911), who subsequently produced an algorithm deciding the Conjugacy Problem for a fundamental group of a closed orientable surface Dehn (1992). An example of a finitely presented group with an algorithmically unsolvable word problem was first given in 1955 by Novikov (1955), a different construction was obtained by Boone (1958).
We begin by noting the following (cf. Lickorish 1964; Farb and Margalit 2011):
Theorem 3.32
Let S be an orientable surface of finite topological type. Then there exists an explicit finite presentation of \({\text {MCG}}(S)\) and of \({\text {PMCG}}(S)\). This presentation can be computed from a PL presentation of S.
As was shown by Hemion (1979):
Theorem 3.33
Let S be an orientable surface of finite topological type. Then the Conjugacy Problem in \({\text {MCG}}(S)\) is algorithmically solvable.
It is known that the Conjugacy Problem in \({\text {MCG}}(S)\) is solvable in exponential time (Tao 2013; Hamenstädt 2009).
3.16 Hurwitz Classification of Branched Covers
We will need the following narrow consequence of Hurwitz’s work (for a modern treatment, see Bartholdi et al. (2013):
Main Theorem III
 (1)
decides whether \(\phi \) and \(\psi \) belong to the same Hurwitz class or not;
 (2)
if the answer to (1) is affirmative, decides whether there exists a homeomorphism \(h_1\) such that \(h_0\circ \phi =\psi \circ h_1.\)
4 Classification of Marked Thurston Maps with Parabolic Orbifolds
Let f be a Thurston map with postcritical set \(P_f\) and marked set \(Q_f\supset P_f\). In what follows, we will drop the subscript f and will denote these sets simply P and Q. The goal of this section is to prove the following theorem:
Theorem 4.1
Let f be a Thurston map with postcritical set P and marked set \(Q\supset P\) such that the associated orbifold is parabolic and the associated matrix is hyperbolic. Then either f is equivalent to a quotient of an affine map or f admits a degenerate Levy cycle.
Furthermore, in the former case the affine map is defined uniquely up to affine conjugacy.
Remark 4.2
We note that in the case when the associated matrix has eigenvalue \(\pm 1\), the two options are not mutually exclusive. We do not to consider this case since it is not needed to prove Theorem 6.1. Indeed, the curve \(\gamma \) corresponding to the eigenvalue \(\pm 1\) will have d preimages of degree 1, which are all homotopic to \(\gamma \) relative \(P_f\), where d is the degree of the Thurston map f. Thus the Thurston matrix corresponding to \(\{\gamma \}\) is equal to \(d>1\) and the canonical obstruction of f necessarily contains a curve isotopic to \(\gamma \) relative \(P_f\); in particular, it is not empty.
4.1 The Case When the Associated Matrix is Expanding
We will first derive Theorem 4.1 in the case when the matrix of the corresponding affine map is expanding.
Theorem 4.3
Let (f, Q) be a Thurston map with postcritical set P and marked set \(Q\supset P\) with parabolic orbifold, such that (f, P) is equivalent to a quotient l of a real affine map \(L(z)=Az+b\) by the orbifold group where both eigenvalues of A have absolute value greater than 1. Then (f, Q) is equivalent to a quotient of a real affine map by the action of the orbifold group if and only if f admits no degenerate Levy cycle.
Proof
Case I Suppose \(\phi _\infty \) is injective on Q. Let n be such that \(d_E(\phi _\infty (z),\phi _n(z))<\varepsilon \) and \(d_E(\phi _{n+1}(z),\phi _n(z))<\varepsilon \) for all \(z \in O_f\), where \(\varepsilon \) is small. Consider an isotopy, which is nontrivial only in the \(\varepsilon \)neighborhood of \(Q{\setminus }P\) that transforms \(\phi _n\) to \(\phi '_n\) such that \(\phi '_n\) agrees with \(\phi _\infty \) on Q. We lift the isotopy between \(\phi _n\) and \(\phi '_n\) starting at \(\phi _{n+1}\) to get the lift \(\phi _{n+1}'\) of \(\phi _n'\) which is \(2\varepsilon \)close to \(\phi _\infty \) and, hence, agrees with \(\phi _\infty \) on Q if \(\varepsilon \) was chosen small enough. It is also clear that for \(\varepsilon \) small \(\phi '_{n}\) and \(\phi '_{n+1}\) are homotopic relative Q, realizing Thurston equivalence between (f, Q) and \((l,\phi _\infty (Q))\).
Case II Suppose \(\phi _\infty \) is not injective on Q. Consider a point \(z_0\) which is the image of at least two different points \(q_1\) and \(q_2\) in Q (i.e \(\phi _\infty (q_1)=\phi _\infty (q_2)=z_0\)); obviously \(z_0\) is either periodic or preperiodic.
If \(f(q_1)= f(q_2)\), then the distance between \(\phi _n(q_1)\) and \(\phi _n(q_2)\) is tending to 0, while \(l(\phi _n(q_1))=l(\phi _n(q_2))\) so the map l is not injective in any neighborhood of \(z_0=\phi _\infty (q_1)\), i.e. \(z_0\) has to be a critical point of l. We see that \(l(z_0)\) is one of the critical values of l, but \(f(q_1)\) is not a critical value of f. Hence, \(l(z_0)\) will be the image of at least two distinct points in Q: one of the critical values of f and \(f(q_1)\). Of course, if \(f(q_1)\) and \(f(q_2)\) are distinct, then \(l(z_0)\) is also the image of at least two different points in Q. Thus, we can assume that \(z_0\) is periodic with period, say, m.
Consider a small simple closed curve \(\gamma \) around \(z_0\) (for example, we can take a circle around \(z_0\) of radius \(\varepsilon \)). Since \(z_0\) is periodic it is not a critical point of l; the mth iterate of l sends \(\gamma \) to another simple closed curve \(\gamma '\) around \(z_0\), which is evidently homotopic to \(\gamma \) relative \(\phi _\infty (Q)\), in onetoone fashion, moreover the disk bounded by \(\gamma \) that contains \(z_0\) is mapped homeomorphically to the disk bounded by \(\gamma '\). This yields that, for n large enough, \(\alpha '=\phi _n^{1}(\gamma ')\) and \(\alpha =\phi _{n+m}^{1}(\gamma )\) are homotopic relative Q and \(f^m\) homeomorphically maps a disk bounded by \(\alpha \) to a disk bounded by \(\alpha '\). We see that \(\alpha , f(\alpha ), \ldots , f^{m1}(\alpha )\) form a degenerate Levy cycle. \(\square \)
Remark 4.4
Note that if P has only three points, the matrix A is a multiplication by a complex number and both eigenvalues of A have the same absolute value, which is greater than 1.
4.2 When the Associated Matrix is Hyperbolic
We now want to prove Theorem 4.1 for any (2, 2, 2, 2)map such that the corresponding linear transformation is hyperbolic but not expanding. Throughout this section we assume that (f, Q) is a Thurston (2, 2, 2, 2)map with postcritical set P and marked set \(Q\supset P\), such that (f, P) is equivalent to a quotient l of a real affine map \(L(z)=Az+b\) by the orbifold group where both eigenvalues of A are not equal to \(\pm 1\).
Definition 4.5
Let f be a (2, 2, 2, 2)map and let z be an fperiodic point with period n. Fix a lift F of f to the universal cover and take a point \(\tilde{z}\) in the fiber of z. If \(z \notin P\), we define the Nielsen index \(\text {ind}_{F,n}(\tilde{z})\) to be the unique element g of the orbifold group G such that \(F^n(\tilde{z})=g\cdot \tilde{z}\). If \(z \in P\) then the Nielsen index of z is defined up to precomposition with the symmetry around z.
Below, when we say that a point z has a period n, we do not imply that n is the minimal period of z.
Definition 4.6
Let f be a (2, 2, 2, 2)map and let \(z_1, z_2\) be fperiodic points with period n. We say that \(z_1\) and \(z_2\) are in the same Nielsen class of period n if there exists a lift \(F_n\) of \(f^n\) to the universal cover and points \(\tilde{z}_1,\tilde{z}_2\) in the fibers of \(z_1,z_2\) respectively, such that both \(\tilde{z}_1\) and \(\tilde{z}_2\) are fixed by \(F_n\). We say that \(z_1\) and \(z_2\) are in the same Nielsen class if there exists an integer n such that they are in the same class of period n.
Note that if two points are in the same Nielsen class of period n, then they are in the same Nielsen class of period mn for any \(m\ge 1\). Clearly, being in the same Nielsen class (without specifying a period) is an equivalence relation, which is preserved under Thurston equivalence for points in Q.
Lemma 4.7
Periodic points \(z_1\) and \(z_2\) of period n are in the same Nielsen class if and only if, for any lift F of f to the universal cover, there exist points \(\tilde{z}_1,\tilde{z}_2\) in the fibers of \(z_1,z_2\) respectively such that \(\text {ind}_{F,n}(\tilde{z}_1)=\text {ind}_{F,n}(\tilde{z}_2)\).
Proof
If \(g=\text {ind}_{F,n}(\tilde{z}_1)=\text {ind}_{F,n}(\tilde{z}_2) \in G\) for some lift F of f to the universal cover and points \(\tilde{z}_1,\tilde{z}_2\) , then \(g^{1}\cdot F^n(\tilde{z}_i)=\tilde{z}_i\) for \(i=1,2\) and hence \(z_1\) and \(z_2\) are in the same Nielsen class.
In the other direction, suppose \(F_n(\tilde{z}_i)=\tilde{z}_i\) for \(i=1,2\) and some cover \(F_n\) of \(f^n\). For any cover F of f, its iterate \(F^n\) can be written in the form \(F^n=g \cdot F_n\) where \(g \in G\). Therefore \(\text {ind}_{F,n}(\tilde{z}_1)=\text {ind}_{F,n}(\tilde{z}_2)=g\). \(\square \)
We will need the following statement.
Lemma 4.8
Let A be a \(2\times 2\) integer matrix with determinant greater than 1 and both eigenvalues not equal to \(\pm 1\). If v is a nonzero integer vector, then \(A^{n} \cdot v\) is noninteger for some \(n>0\).
Proof
Suppose, on contrary, that \(A^{n} \cdot v=(p_n,q_n)^T\) where \(p_n, q_n \in \mathbb {Z}\) for all \(n>0\). If both eigenvalues of A have absolute values greater than 1, then evidently both \(p_n\) and \(q_n\) tend to 0. Thus for some n, \(p_n=q_n=0\) and, multiplying \((p_n,q_n)^T\) by \(A^n\), we see that v is also a zero vector. Since by assumption, eigenvalues are not equal to \(\pm 1\), the only case we need to consider is when A has two distinct real irrational eigenvalues \(\lambda _1>1\) and \(\lambda _2<1\).
Corollary 4.9
Let \(L(z)=Az+b\) be a real affine map such that A is an integer matrix with \(\det A>1\) and b is a vector with entries in \(\frac{1}{q}\mathbb {Z}\) for some \(q\in \mathbb {N}\), and assume that A has eigenvalues not equal to \(\pm 1\). If \(L^{n}(v) \in \frac{1}{q}\mathbb {Z}\) for all \(n\ge 0\), then v is equal to the fixed point of L.
Proof
The case when \(b=0\) follows immediately from the previous lemma. If \(b \ne 0\), we conjugate L(z) by \(t(z)=zx\), where x is the unique fixed point of L(z) (note that x is rational), to obtain a real linear map \(L'(z)\). Then \(L'(z)\) and t(v) also satisfy the assumption of this corollary (possibly with a different q) and we conclude that \(t(v)=vx=0\). \(\square \)
Definition 4.10
Suppose that one of the complementary components to a simple closed curve \(\gamma \) in Open image in new window contains at most one point of P (so that \(\gamma \) is trivial in Open image in new window ). We call that component \(\text {int}(\gamma )\) the interior of \(\gamma \).
Proposition 4.11
Let \(\{\gamma _n\}\) be a sequence of simple closed curves in Open image in new window that are inessential in Open image in new window such that a (2, 2, 2, 2)map f sends \(\gamma _{n+1}\) to \(\gamma _n\) and \(Q'=\text {int}(\gamma _n)\cap Q\) is the same for all n. Then there exits m such that all points in \(Q'\) are periodic with period m and lie in the same Nielsen class.
Proof
Since all \(\gamma _n\) are inessential in Open image in new window , the map f sends \(\text {int}(\gamma _{n+1})\) homeomorphically onto \(\text {int}(\gamma _{n})\). Indeed, \(\text {int}(\gamma _{n})\) contains at most one critical value of f, and if it does contain a critical value p, then the unique preimage of p in \(\text {int}(\gamma _{n+1})\) must be p itself, which is not a critical point. Therefore f is a bijection on \(Q'\) and every point in \(Q'\) is periodic; denote m the least common multiple of the periods of points in \(Q'\). It is enough to prove that for \(f^m\), the subset \(Q'\) of the set of fixed points lies in a single Nielsen class.
Lemma 4.12
A map f admits a degenerate Levy cycle if and only if so does its iterate \(f^n\). Two points \(z_1, z_2\) are in the same Nielsen class for f if and only if they are in the same Nielsen class for \(f^n\).
Proof
The first statement follows from Proposition 3.11. In our case every Levy cycle is degenerate. Indeed, Proposition 3.4 implies that if a Levy cycle consists of curves that are nonperipheral in Open image in new window , then the associated matrix must have an eigenvalue with absolute value 1, which contradicts the assumptions we made in the beginning of this section. If all curves in the Levy cycle are peripheral in Open image in new window then the interiors thereof are mapped homeomorphically.
The second statement follows immediately from the definitions. \(\square \)
Proposition 4.13
A map f admits a degenerate Levy cycle if and only if there exist two distinct periodic points in Q in the same Nielsen class.
Proof
Suppose now that there are at least two fixed points of f in Q in the same Nielsen class C. Consider all points of Q in this class. Replacing f by an iterate, we may assume that all of them are in the same Nielsen class of period 1, i.e. there exists a lift F of f to the universal cover such that for each point \(q \in C\), some lift \(\tilde{q}\) is fixed by F. Note that these will be the only fixed points of F. Note that C contains at most 1 point of P. \(\square \)
Lemma 4.14
There exists a simple closed curve \(\gamma \) on Open image in new window , which is inessential in Open image in new window , such that \(\text {int}(\gamma ) \cap Q = C\) and some lift \(\tilde{\gamma }\) of \(\gamma \) separates Ffixed lifts of points in C from the rest of the lifts of points in Q.
Proof
Consider a curve \(\gamma _0\) as in the lemma above. Since \(\tilde{\gamma }_0\) surrounds all fixed points of F, so does its preimage \(\tilde{\gamma _n}=F^{n}(\tilde{\gamma }_0)\), which projects to a simple closed curve \(\gamma _n\) on Open image in new window . Let \(a_n\) be the intersection number of \(\gamma _{n}\) and \(\gamma _{n+1}\) (we may always assume that \(\gamma _0\) and \(\gamma _1\) have only finitely many intersections, all of which are transversal). Clearly \(a_n\) is nonincreasing. If \(a_n=0\) for some n, then \(\gamma _n\) and \(\gamma _{n+1}\) are disjoint and have the same marked points in their interiors, hence they are homotopic and \(\gamma _n\) forms a Levy cycle of length 1. Otherwise, by truncating the sequence, we may assume that \(a_n=a>0\) for all \(n\ge 0\). In this case, \(\gamma _n \cup \gamma _{n+1}\) is mapped homeomorphically to \(\gamma _{n1}\cup \gamma _n\). Let \(\beta _0 \subset \gamma _{0}\cup \gamma _1\) be a simple closed curve and denote \(\beta _n\) to be a unique onetoone \(f^n\)preimage of \(\beta _0\) that is a subset of \(\gamma _n \cup \gamma _{n+1}\).
Lemma 4.15
Let \(\{\beta _n\}\) be a sequence of simple closed curves in Open image in new window such that f sends \(\beta _{n+1}\) to \(\beta _n\) with degree 1. Then all \(\beta _n\) are inessential in Open image in new window .
Proof
Thus, all \(\beta _n\) are inessential in Open image in new window . As \(\beta _0\) was any simple closed curve in \(\gamma _{0}\cup \gamma _1\), we infer that there exists a connected component M of Open image in new window that contains at least 3 points of P. Indeed, if there exists a component with exactly 2 points of P, then the boundary \(\beta \) thereof is essential in Open image in new window , which is a contradiction. If there are exactly 4 components, each containing a single point of P, one can find a simple closed curve in \(\gamma _{0}\cup \gamma _1\) that has exactly 2 points in each complementary component by induction on the number of components. Indeed, it is easy to see that there always exists a pair of adjacent components such that their closures intersect at exactly 1 boundary arc; removing that arc reduces the number of components by 1. From now on we assume that \(\beta _0=\partial M\).
Proposition 4.16
Let \(\{\gamma _n\}\) be a sequence of essential simple closed curves in Open image in new window such that f sends \(\gamma _{n+1}\) to \(\gamma _n\) with degree 1. Then f admits a degenerate Levy cycle.
Proof
By Lemma 4.15 all \(\gamma _n\) are inessential in Open image in new window . Replacing \(\{\gamma _n\}\) by a subsequence \(\{\gamma _{nk+l}\}\), for some integers k, l, we can always assume that \(Q'=\text {int}(\gamma _n) \cap Q\) is the same for all n (see the previous proof). Since \(\gamma _n\) are essential in Open image in new window , the set \(Q'\) contains at least two points. By Proposition 4.11, these two points are in the same Nielsen class and Proposition 4.13 implies existence of a Levy cycle. \(\square \)
Corollary 4.17
If f admits no Levy cycle, then for every simple closed curve \(\gamma \) in Open image in new window , which is inessential in Open image in new window , there exists an integer d such that all connected components of \(f^{d}(\gamma )\) are inessential in Open image in new window .
Proof
The above result immediately implies:
Corollary 4.18
If f admits no Levy cycle, then every curve of every simple Thurston obstruction for f is essential in Open image in new window .
For future reference, let us summarize:
Corollary 4.19

Let f be marked (2, 2, 2, 2)map such that the corresponding matrix does not have eigenvalues \(\pm 1\). Then f is equivalent to a quotient of an affine map with marked preperiodic orbits if and only if every curve of every simple Thurston obstruction for f has two postcritical points of f in each complimentary component.

A marked Thurston map f with a parabolic orbifold that is not (2, 2, 2, 2) is equivalent to a quotient of an affine map if and only it admits no Thurston obstruction.
Proof
The first statement follows immediately from the previous corollary and Theorem 4.26. The second statement follows from Theorem 4.3. Indeed, suppose that a Thurston map f with a parabolic orbifold with signature other than (2, 2, 2, 2) admits a simple obstruction \(\Gamma \). If the signature is \((\infty ,\infty )\) or \((\infty ,2,2)\), then f (or at least its second iterate in the former case) is an obstructed topological polynomial and therefore admits a Levy cycle (Theorem 3.12) which is necessarily degenerate. In other cases all points in the postcritical set of f are not critical. As before, we pass to an iterate of f such that all marked points are either fixed or prefixed (in particular, all postcritical points are fixed in this case) and set the interior \(\text {int}(\gamma )\) to be the unique component of the complement to \(\gamma \) which contains at most 1 postcritical point. Up to passing to yet another iterate of f, we may assume that some \(\gamma \in \Gamma \) has a preimage \(\gamma '\) homotopic to \(\gamma \). If \(\text {int}(\gamma )\) contains no postcritical points, then \(\text {int}(\gamma ')\) contains no critical points. If \(\text {int}(\gamma )\) contains a postcritical point p, then p is the unique preimage of itself within \(\text {int}(\gamma ')\), and again \(\text {int}(\gamma ')\) contains no critical points. Therefore in both cases \(\{\gamma \}\) is a degenerate Levy cycle. \(\square \)
Definition 4.20
Denote by Open image in new window the relative mapping class group of Open image in new window , which is the group of all mapping classes \(\phi \) for which there exists a lift \(\tilde{\phi }\) to the universal cover that is identical on \(\tilde{Q}\).
We now need the following generalization of Lemma 3.7.
Theorem 4.21
The group Open image in new window is generated by Dehn twists around trivial curves in Open image in new window and by second powers of Dehn twists around nontrivial inessential curves in Open image in new window .
Proof
The proof of this theorem is similar to the proof of classical results on generators of \({\text {MCG}}\) (cf. Farb and Margalit 2011). We proceed by induction on the number of points in Q. When \(Q=P\), the group Open image in new window is trivial by Lemma 3.7.
Definition 4.22
Denote by \({\text {Lift}}(\phi )\) the virtual endomorphism of Open image in new window that acts by lifting by f, i.e. we write \({\text {Lift}}(\phi )=\psi \) whenever there exists Open image in new window such that \(\phi \circ f = f \circ \psi \) as mapping classes.
Proposition 4.23
Open image in new window is a welldefined endomorphism. If f admits no Levy cycles, then for every Open image in new window , there exist an n such that \({\text {Lift}}^n(\phi )=\text{ id }\).
Proof
It is enough to prove the statement for a generating set of Open image in new window . By Theorem 4.21 we only need to consider two cases.
Lemma 4.24
If \(\psi ={\text {Lift}}(\phi )\) for some Open image in new window , then \(f \circ \phi \) is Thurston equivalent to \(f \circ \psi \).
Proof
\(f \circ \psi = \phi \circ f = \phi \circ (f \circ \phi ) \circ \phi ^{1}.\) \(\square \)
We arrive at the following statement.
Theorem 4.25
If f admits no Levy cycle and Open image in new window then \(f \circ \phi \) is Thurston equivalent to f.
Proof
By proposition 4.23 and the previous lemma, there exists n such that \(f \circ \phi \) is equivalent to \(f \circ {\text {Lift}}^n(\phi ) = f \circ \text{ id }= f\). \(\square \)
We can now prove the first part of the statement of Theorem 4.1.
Theorem 4.26
Let (f, Q) be a Thurston (2, 2, 2, 2)map with postcritical set P and marked set \(Q\supset P\), such that (f, P) is equivalent to a quotient l of a real affine map \(L(z)=Az+b\) by the orbifold group where both eigenvalues of A are not equal to \(\pm 1\). Then (f, Q) is equivalent to a quotient of a real affine map by the action of the orbifold group if and only if f admits no degenerate Levy cycle.
Proof
4.3 Uniqueness
We now prove the uniqueness part of the statement of Theorem 4.1:
Theorem 4.27
Let \((l_i,Q_i)\) be a Thurston map that is a quotient of an affine map \(L_i(z)=A_i z +b\) (\(A_i\in \text {M}_2({\mathbb Z})\)) by the action of an orbifold group G for \(i=1,2\). Suppose that eigenvalues of \(A_i\) are not equal to \(\pm 1\) for \(i=1,2\). If \((l_1,Q_1)\) and \((l_2,Q_2)\) are Thurston equivalent, then \((l_1,Q_1)\) and \((l_2,Q_2)\) are conjugate by a quotient of an affine map. In other words, there exist \(g \in G\) and a real affine map S with linear part in \(\text {SL}_2({\mathbb Z})\) such that \(L_2=g \cdot S \circ L_1\circ S^{1}\) and S sends \(\tilde{Q}_1\) to \(\tilde{Q}_2\).
Proof
5 Constructive Geometrization of Thurston Maps with Parabolic Orbifolds
Theorem 5.1
There exists an algorithm \({\mathcal A}_9\) which for any marked Thurston map f with a parabolic orbifold whose matrix does not have eigenvalues \(\pm 1\) finds either a degenerate Levy cycle or an equivalence to a quotient of an affine map with marked preperiodic orbits.
Proof
The proof is completely analogous to the argument given in Bonnot et al. (2012). We begin by identifying the orbifold group G and finding an affine map \(L(x)=Ax+b\) such that f without marked points is equivalent to the quotient l of L by G (Theorem 3.5).
We now execute two subprograms in parallel:
(I) we use algorithm \({\mathcal A}_8\) (Proposition 3.29) to enumerate all fstable multicurves \(\Gamma _n\). Using algorithm \({\mathcal A}_2\) (Proposition 3.25) we check whether \(\Gamma _n\) is a degenerate Levy cycle. If yes, we output degenerate Levy cycle found and halt;
(II) we identify all forward invariant sets \(S_k\) of preperiodic orbits of l of the same cardinality as the set of marked points of f. We use algorithm \({\mathcal A}_6\) (Proposition 3.27) to enumerate the sequence \(\psi _n\) of all elements of \({\text {PMCG}}(S^2, Q)\). For every \(\psi _n\) and each of the finitely many sets \(S_k\) we use algorithm \({\mathcal A}_3\) (Proposition 3.26) to check whether \(h_k \circ \psi _n\) realizes Thurston equivalence between f and l with marked points \(S_k\), where \(h_k :(S^2, Q) \rightarrow (S^2, S_k)\) is an arbitrary chosen homeomorphism. If yes, we output Thurston equivalence found, list the maps l, \(h_k \circ \psi _n\) and the set \(S_k\) and halt.
By Theorem 4.1 either the first or the second subprogram, but not both, will halt and deliver the desired result.
6 Constructive Canonical Geometrization of a Thurston Map
Theorem 6.1
There exists an algorithm which for any Thurston map f finds its canonical obstruction \(\Gamma _f\).

for every first return map with a hyperbolic orbifold, the unique (up to Möbius conjugacy) marked rational map equivalent to it;

for every first return map of type (2, 2, 2, 2) the unique (up to affine conjugacy) affine map of the form \(z \mapsto Az+b\) where \(A \in \text {SL}_2({\mathbb Z})\) and \(b\in \frac{1}{2}\mathbb {Z}^2\) with marked points which is equivalent to f after quotient by the orbifold group G;

for every first return map which has a parabolic orbifold not of type (2, 2, 2, 2) the unique (up to Möbius conjugacy) marked rational map map equivalent to it, which is a quotient of a complex affine map by the orbifold group.
Proof
 (1)
if f has a hyperbolic orbifold and is obstructed, it outputs a Thurston obstruction for f;
 (2)
if f has a parabolic orbifold not of type (2, 2, 2, 2) and a degenerate Levy cycle it outputs such a Levy cycle;
 (3)
if f is a (2, 2, 2, 2) map such that the corresponding matrix has two distinct integer eigenvalues outputs a Thurston obstruction for f;
 (4)
if f is a (2, 2, 2, 2) map with a degenerate Levy cycle outputs such a Levy cycle;
 (5)
in the remaining cases output a geometrization of f as described in the statement of the theorem.

\(\Gamma '\) is a Thurston obstruction for f;

denote \({\mathcal F}'\) the union of first return maps obtained by decomposing along \(\Gamma '\). Then no \(h\in {\mathcal F}'\) is a (2, 2, 2, 2) map whose matrix has distinct integer eigenvalues, and every \(h\in {\mathcal F}'\) which is not a homeomorphism is geometrizable.
7 Partial Resolution of the Problem of Decidability of Thurston Equivalence
Denote by \({\mathcal H}\) the class of Thurston maps f such that every first return map in the canonical decomposition of f has hyperbolic orbifold. In this section we prove the following theorem:
Theorem 7.1
There exists an algorithm which given a PL Thurston map \(f\in {\mathcal H}\) and any PL Thurston map g decides whether f and g are equivalent or not.
We will need several preliminary statements.
Proposition 7.2
Proof
The statement is equivalent to saying that there are no nontrivial self equivalences of f. If \( \phi \circ f = f \circ \psi \), where \(\phi \) and \(\psi \) represent the same mapping class h, then \(\sigma _f \circ h = h \circ \sigma _f\). If \(\tau \) is the unique fixed point of \(\sigma _f\), then \(h(\tau )\) is also fixed, yielding a contradiction. \(\square \)
For the following see Pilgrim (1827):
Theorem 7.3
Let f and g be two Thurston maps, and \(\Gamma _f=\{\alpha _1,\ldots ,\alpha _n\}\) and \(\Gamma _g=\{\beta _1,\ldots ,\beta _n\}\) be the corresponding canonical obstructions. Let \(A_i, B_i\) be decomposition annuli isotopic to \(\alpha _i,\beta _i\) respectively. If f and g are equivalent then there exists an equivalence pair \(h_1,h_2\) such that \(h_1(A_i)=B_i\) (up to a permutation of indexes) and \(h_1\) on \(\partial A_i\) is any given orientationpreserving homeomorphism of the boundary curves.
Recall that the components of the complement of all \(A_i\) (resp \(B_i\)) are called thick parts.
Corollary 7.4
If \(h_1\), \(h_2\) are as above then each thick component C is mapped by \(h_1\) to a thick component \(C'\). The components C and \(C'\) must have the same period and preperiod. When both are periodic, consider the patched components \(\tilde{C}\) and \(\tilde{C}'\) and consider the corresponding firstreturn maps \({\mathcal F}_{\tilde{C}}\) and \({\mathcal F}_{\tilde{C}'}\). Then these maps are Thurston equivalent.
Proposition 7.5
If f and g are equivalent Thurston maps in standard form then there exists an equivalence pair \((h_1, h_2)\) such that \(h_1\) and \(h_2\) restrict to the identity map on all \(\partial A_i\) and \(h_1\) is homotopic to \(h_2\) on each thick component relative \(\partial A_i\) and \(Q_f\).
Proof
As was shown above, there exists an equivalence pair \((h_1,h_2)\) of f and g that descends to an equivalence of respective canonical decompositions. More precisely, there is a correspondence between thick components of f and thick components of g which conjugates the componentwise action of f to the action of g such that the first return maps of corresponding periodic components are Thurston equivalent. We fix coordinates on \(A_i\) and \(B_i\) and can choose \(h_1\) and \(h_2\) such that both restrict to the identity map on all \(\partial A_i\). Since \(h_1\) and \(h_2\) are homotopic relative \(Q_f\) and coincide on \(\partial A_i\), restricted to each thick component of f the two homeomorphisms can differ (up to isotopy relative the boundary of the component and the marked set) only by a composition of some powers of Dehn twists around the boundary components. Pushing this Dehn twists inside the annuli \(A_i\), we can further normalize the pair \((h_1,h_2)\) so that \(h_1\) is homotopic to \(h_2\) on each thick component.
The following is standard (see e.g. Farb and Margalit 2011):
Proposition 7.6
For every Thurston obstruction \(\Gamma =\{\alpha _1,\ldots ,\alpha _n\}\), the Dehn twists \(T_{\alpha _j},\; j=1\ldots n\) generate a free Abelian subgroup of \({\text {PMCG}}(S{\setminus } Q_f)\).
We write \({\mathbb Z}^\Gamma \simeq {\mathbb Z}^n\) to denote the subgroup generated by \(T_{\alpha _j}\).
Let us try to glue together a Thurston equivalence \((h_1, h_2)\) of two maps \(f,g \in {\mathcal H}\) using canonical decompositions thereof. By Proposition 7.5, we may look for \(h_1\) and \(h_2\) in standard form. For every periodic thick component of f with first return map that has hyperbolic orbifold, the restriction of \(h_1\) to that component (after patching) will represent the unique (by Proposition 7.2) mapping class that realizes Thurston equivalence to the corresponding periodic thick component of g. This in turn defines \(h_2\), and thus \(h_1\), uniquely up to isotopy relative \(\partial A_i\) and \(Q_f\) on every thick component that is a preimage of a periodic thick component by pulling back \(h_1\) by f. Repeating the pullback procedure we can recover \(h_1\) on all thick components in the decomposition of f. Therefore using the decomposition data we can define a mapping class \(h_0\) which is homotopic to \(h_1\) on all thick components and defined arbitrarily on \(A_i\). We conclude the following.
Proposition 7.7
If \(f, g \in {\mathcal H}\) are equivalent Thurston maps, then there exists an equivalence pair \((h_1,h_2)\) such that \(h_1=h_0 \circ m\) where \(h_0\) is constructed as above and \(m \in {\mathbb Z}^\Gamma \).
Proof
The restriction of \(m=h_0^{1}\circ h_1\) to every thick component is homotopic to the identity and the restriction of m to every annulus \(A_i\) is some power of the corresponding Dehn twist \(T_{\alpha _i}\), i.e. \(m \in {\mathbb Z}^\Gamma \).
Notice that by construction if \(h_1 \circ f = g\circ h_2\) where \(h_1= h_0 \circ m\) for some \(m_1 \in {\mathbb Z}^\Gamma \), then \(h_2\) is homotopic to \(h_0 \circ m_2\) for some other \(m_2 \in {\mathbb Z}^\Gamma \). Since we cannot check all elements of \({\mathbb Z}^\Gamma \) we will require the following proposition.
Proposition 7.8
There exists explicitly computable \(N \in \mathbb {N}\) such that if \(n\in {\mathbb Z}^\Gamma \) where all coordinates of n are divisible by N, then \((h_0\circ (m_1+n)) \circ f = g\circ h_1\), with \(h_1\) homotopic to \(h_0\circ ( m_2+M_\Gamma n) \) rel \(Q_f\), whenever \((h_0\circ m_1) \circ f = g\circ h_2\), with \(h_2\) homotopic to \(h_0\circ m_2\) rel \(Q_f\).
Proof
We can now present the proof of Theorem 7.1:
Proof
 (1)
Find the canonical obstructions \(\Gamma _f=\{\alpha _1,\ldots ,\alpha _n\}\) and \(\Gamma _g=\{\beta _1,\ldots ,\beta _n\}\) (Theorem 6.1).
 (2)
Check whether the cardinality of the canonical obstructions \(\Gamma _f=\{\alpha _1,\ldots ,\alpha _n\}\) and \(\Gamma _g=\{\beta _1,\ldots ,\beta _n\}\) is the same, and whether Thurston matrices coincide. If not, output maps are not equivalent and halt.
 (3)
Construct decomposition annuli \(A_i\) and \(B_i\) as above. Geometrize the first return maps of patched thick parts (Theorem 6.1).
 (4)
for all \(\sigma \in S_n\) do
 (5)
Is there a homeomorphism \(h_\sigma \) of \(S^2\) sending \(A_i\rightarrow B_{\sigma (i)}?\) If not, continue. Check that the componentwise dynamics of f and g are conjugated by \(h_\sigma \). If not, continue.
 (6)
Construct equivalences between first return maps \({\mathcal F}_i\) and \({\mathcal G}_i\) of periodic thick components corresponding by \(h_\sigma \). If the maps of some pair are not equivalent, continue.
 (7)For all thick components \(C_j^f\) check whether the Hurwitz classes of the patched coveringsare the same (Theorem 3.2). If not, continue.$$\begin{aligned} \tilde{f}:\widetilde{C_j^f}\rightarrow \widetilde{f(C_j^f)}\text { and }\tilde{g}:\widetilde{h_\sigma (C_j^f)}\rightarrow \widetilde{g(h_\sigma (C_j^f))} \end{aligned}$$
 (8)
Can the equivalences between first return maps \({\mathcal F}_i\) and \({\mathcal G}_i\) constructed at step (6) be lifted via branched covers \(\tilde{f}\) and \(\tilde{g}\) to every thick component (Theorem 3.2)? If not, continue.
 (9)
Check if the lifted equivalences preserve the set of marked points. If not, continue.
 (10)
Lift the equivalences, to obtain a homeomorphism \(h_0\) defined on all thick parts.
 (11)
Pick some initial homemorphisms \(a_i:A_i \rightarrow B_i\) so that the boundary values agree with already defined boundary values of \(h_0\). This defines \(h_0\) on the whole sphere.
 (12)for all \(n \in {\mathbb Z}^\Gamma \) with coordinates between 0 and \(N1\), where N is as in Proposition 7.8 do
 (a)
Try to lift \(h_0 \circ n\) through f and g so that \((h_0 \circ n) \circ f =g \circ h_2\). If this does not work, continue.
 (b)
By the discussion above \(h_2=h_0 \circ m\) with \(m \in {\mathbb Z}^\Gamma \). Compute m.
 (c)
Find a solution in \({\mathbb Z}^\Gamma \) of the equation \(Nx+n=M_\Gamma Nx +m\). If there is no integer solution, continue.
 (d)
Output maps are equivalent and \(h_0 \circ (Nx+n)\) halt.
 (a)
 (13)
end do
 (14)
end do
 (15)
output maps are not equivalent and halt.
8 Concluding Remarks
In this paper the problem of algorithmic decidability of Thurston equivalence of two Thurston maps f and g is resolved partially, when the decomposition of f (or g) does not contain any parabolic elements or homeomorphisms. Note that if the first return map \({\mathcal F}\) of a periodic component \(\tilde{S}\) of the canonical decomposition of f is a homeomorphism, then the problem of equivalence restricted to \(\tilde{S}\) is the conjugacy problem in \({\text {MCG}}(\tilde{S})\). By Theorem 3.33, it can be resolved algorithmically.
By Theorem 4.27, in the case when \({\mathcal F}\) is parabolic, Thurston equivalence problem restricted to \(\tilde{S}\) reduces to a classical conjugacy problem of integer matrices:
Are two matrices in \(\text {M}_2({\mathbb Z})\) conjugate by an element of \(\text {SL}_2({\mathbb Z})\)?
This problem is solvable algorithmically as well (see e.g. Grunewald and Segal 1979).
Thus in both exceptional cases, we can constructively determine whether the first return maps of the thick parts in the decompositions of f and g are Thurston equivalent or not. However, in contrast with Proposition 7.2, in this case the homeomorphism realizing equivalence is not unique. This poses an obvious difficulty with checking whether f is equivalent to g, as we have to check not one, but all possible equivalences of parabolic and homeomorphic components of the decomposition. In other words, the homeomorphism \(h_0\) constructed in the proof of Theorem 7.1 is no longer unique; instead we get a certain subgroup of the Mapping Class Group of possible candidates. Extending our proof of decidability of Thurston equivalence to this case is an interesting problem, which may require, in particular, an algorithm for computing this subgroup.
Notes
Acknowledgments
The authors gratefully acknowledge the support and hospitality of the IMS at Stony Brook where a part of this work has taken place.
References
 Bartholdi, L., Buff, X., Graf, H.C., von Bothmer, Kröker, J.: Algorithmic construction of Hurwitz maps, eprint (2013). arXiv:1303.1579
 Bing, R.H.: An alternative proof that 3manifolds can be triangulated. Ann. Math. 69(2), 37–65 (1959)CrossRefMathSciNetzbMATHGoogle Scholar
 Bonk, M., Meyer, D.: Expanding Thurston maps, eprint (2010). arXiv:1009.3647
 Bonnot, S., Braverman, M., Yampolsky, M.: Thurston equivalence is decidable. Moscow Math. J. 12, 747–763 (2012)MathSciNetzbMATHGoogle Scholar
 Boone, W.: The word problem. Proc. Natl. Acad. Sci. 44, 1061–1065 (1958)CrossRefMathSciNetzbMATHGoogle Scholar
 Buff, X., Guizhen, C., Lei, T.: Teichmüller spaces and holomorphic dynamics, 2014, Handbook of Teichmüller theory, vol IV, IRMA Lect. Math. Theor. Phys., 19, Eur. Math. Soc., Zürich, pp 717–756Google Scholar
 Dehn, M.: Über unendliche diskontinuierliche Gruppen. Math. Ann. 71, 116–144 (1911)CrossRefMathSciNetGoogle Scholar
 Dehn, M.: Transformation der Kurven, auf zweiseitigen Flächen. Math. Ann. 72, 413–421 (1992)CrossRefMathSciNetGoogle Scholar
 Douady, A., Douady, R.: Algèbre et théories galoisiennes, Cassini (2005)Google Scholar
 Douady, A., Hubbard, J.H.: A proof of Thurston’s topological characterization of rational functions. Acta Math. 171, 263–297 (1993)CrossRefMathSciNetzbMATHGoogle Scholar
 Farb, B., Margalit, D.: A Primer on Mapping Class Groups. Princeton University Press (2011)Google Scholar
 Grunewald, J., Segal, D.: The solubility of certain decision problems in arithmetic and algebra. Bull. AMS (new series) 1, 6 (1979)Google Scholar
 Hamenstädt, U.: Geometry of the mapping class group, ii: A biautomatic structure, 2009, eprint, arXiv:0912.0137v1
 Hemion, G.: On the classification of homeomorphisms of 2manifolds and the classification of 3manifolds. Acta Math. 142, 123–155 (1979)CrossRefMathSciNetzbMATHGoogle Scholar
 Hurwitz, A.: Ueber Riemann’sche Fächen mit gegebenen Verzweigungspunkten. Math. Ann. 39, 1–60 (1891)CrossRefMathSciNetzbMATHGoogle Scholar
 Imayoshi, Y., Taniguchi, M.: An introduction to Teichmüller spaces. Springer, Tokyo (1992)CrossRefzbMATHGoogle Scholar
 Levy, S.: Critically finite rational maps, Ph.D. Thesis (1985)Google Scholar
 Lickorish, W.B.R.: A finite set of generators for the homeotopy group of a 2manifold. Proc. Camb. Philos. Soc. 60, 769–778 (1964)CrossRefMathSciNetzbMATHGoogle Scholar
 Milnor, J.: Lattès On, maps,: Dynamics on the Riemann sphere, pp. 9–43. Eur. Math. Soc, Zurich (2006)Google Scholar
 Novikov, P.S.: On the algorithmic unsolvability of the word problem in group theory (in Russian). In: Proceedings of the Steklov Institute of Mathematics, 44 (1955)Google Scholar
 Pilgrim, K.: Thurston, Canonical, obstructions. Adv. Math. 158, 154–168 (2001)CrossRefMathSciNetzbMATHGoogle Scholar
 Pilgrim, K.: Combinations of complex dynamical systems. Lecture Notes in Mathematics, Springer 2003 (1827)Google Scholar
 Radó, T., Uber den Begriff der Riemannschen Flächen. Acta Litt. Sci. Szeged 101–121 (1925)Google Scholar
 Selinger, N.: On Thurston’s characterization theorem for branched covers, Ph.D. Thesis (2011)Google Scholar
 Selinger, N.: Thurston’s pullback map on the augmented Teichmüller space and applications. Invent. Math. 189, 111–142 (2012)CrossRefMathSciNetzbMATHGoogle Scholar
 Selinger, N.: Topological characterization of canonical Thurston obstructions. J. Mod. Dyn. 7, 99–117 (2013)CrossRefMathSciNetzbMATHGoogle Scholar
 Shishikura, M.: On a theorem of M. Rees for the matings of polynomials. In: The Mandelbrot set, theme and variations. London Math. Soc. Lect. Note Ser. 274, Lei, Tan, pp. 289–305. Cambridge Univ. Press (2000)Google Scholar
 Tao, J.: Linearly bounded conjugator property for mapping class groups. GAFA 23, 415–466 (2013)Google Scholar
 Thurston, W.P.: Threedimensional geometry and topology. Princeton University Press (1997)Google Scholar