QUADRATIC THURSTON MAPS WITH FEW POSTCRITICAL POINTS

arXiv:1704.03929v1 [math.DS] 12 Apr 2017

GREGORY KELSEY AND RUSSELL LODGE

Abstract. We use the theory of self-similar groups to enumerate all combinatorial classes of non-exceptional
quadratic Thurston maps with fewer than five postcritical points. The enumeration relies on our computation
that the corresponding maps on moduli space can be realized by quadratic rational maps with fewer than
four postcritical points.

Holomorphic dynamics in one complex variable is largely concerned with the study of rational maps as
dynamical systems, along with their parameter spaces. Postcritically finite rational maps have attracted much
attention due to their relative simplicity and their structural significance in parameter space. Furthermore,
W. Thurston has given a powerful characterization and rigidity theorem for postcritically finite rational maps
up to combinatorial equivalence (see Theorem 1.1). With this tool at our disposal, we are free to consider
rational maps in the more flexible topological category.
Definition (Thurston map). Let f : S2 → S2 be an orientation-preserving branched cover ofSfinite degree
d ≥ 2 whose set of critical points is denoted Cf . Then the postcritical set of f is given by Pf := i>0 f ◦i (Cf ).
If Pf is finite, f is said to be a Thurston map.
Thurston maps will be considered up to the following equivalence relation, which can roughly be thought
of as “conjugacy up to homotopy.”
Definition (Combinatorial equivalence). Two Thurston maps f and g are said to be combinatorially equivalent if and only if there exist homeomorphisms h0 , h1 : (S2 , Pf ) → (S2 , Pg ) so that
h0 ◦ f = g ◦ h1
and h0 is isotopic to h1 through a one parameter family of homeomorphisms ht : (S2 , Pf ) → (S2 , Pg ) where
0 ≤ t ≤ 1.
It is natural to seek an enumeration of all combinatorial classes (see for instance Problem 5.2 posed by
McMullen [14]). Few explicit listings exist, with the following exceptions. First is the enumeration of all
non-polynomial hyperbolic rational maps of degree 3 or less with four or fewer postcritical points [4]. This is
done by listing all possible ramification portraits (i.e. combinatorial descriptions of critical and postcritical
dynamics), and then finding coefficients of the corresponding rational functions by solving equations derived
from the portraits. However, enumeration is substantially more difficult in the presence of combinatorial
classes with no rational representative. The only existing results of this type come in the context of quadratic
Thurston maps with four postcritical points [8, 3]. For example, Bartholdi and Nekrashevych enumerate all
maps with the same ramification portrait as z 2 + i using special features of self-similar groups associated to
polynomials.
We enumerate the equivalence classes of all non-exceptional quadratic Thurston maps with four or fewer
postcritical points (see Theorem 1.2). Thurston maps with three or fewer postcritical points are all equivalent
to rational maps, so in this case our enumeration amounts to listing all possible ramification portraits
and computing coefficients. For non-exceptional maps with four postcritical points, we rely on a crucial
fact about the transitivity of the mapping class action. A twist of f is a map of the form h ◦ f where
h : (S2 , Pf ) → (S2 , Pf ) is a homeomorphism with h|Pf = id; note that h ◦ f is again a Thurston map with
the same ramification portrait. A special feature of quadratic Thurston maps with four postcritical points
is that every combinatorial class having the same ramification portrait as f can be represented by a twist of
f (see [7, §5]).
Date: April 14, 2017.
1

We present an algorithm to determine the combinatorial class of some twist h0 of f . Recall that the
pure mapping class group of (S2 , Pf ) is isomorphic to the free group on two generators. Following [3], we
extend the virtual endomorphism on the pure mapping class group and iterate. This defines a sequence of
mapping classes {hi }∞
i=0 where hi ◦ f is combinatorially equivalent to hi+1 ◦ f for all i ≥ 0. The nucleus of
the self-similar action of the pure mapping class group on combinatorial classes contains the tails of all such
sequences {hi }∞
i=0 . We prove that the mapping class biset is sub-hyperbolic, which means that the nucleus is
either finite or has only finitely-many distinct actions of the mapping class group. We compute the nucleus
for representative quadratic Thurston maps, and show that for any Thurston map f it consists of a finite
number of cycles of the extended virtual endomorphism together with at most two Z-parameter families of
fixed points. With a few exceptions, each of these cycles correspond to distinct combinatorial classes, and we
identify rational representatives (if they exist) using biset invariants such as the pullback function on curves
discussed below.
The mapping class bisets we use in our calculations are also the central object in Bartholdi and Dudko’s
work on the decidability of combinatorial equivalence [2]. These bisets are interesting objects in their own
right. The question of which Thurston maps give rise to sub-hyperbolic mapping class bisets was asked in
[17], and our work provides the first answer for non-polynomial maps.
The correspondence on moduli space [9] plays a central role in our enumeration of combinatorial classes,
much as it did in [3]. As a special feature, each correspondence is actually a restriction of a quadratic map
with at most three postcritical points. We show that quadratic Thurston maps with four postcritical points
exist under a hierarchy of succesively finer invariants:
− number of critical postcritical points
− conjugacy class of map on moduli space
− ramification portrait.
Furthermore, every quadratic rational map with four postcritical points is written as the composition of a
Möbius transformation and a quadratic rational map with fewer postcritical points (see e.g. Proposition
2.1). Using this additional structure, we efficiently choose connecting paths so that all wreath recursions
take a particularly simple form.
Acknowledgements. Both authors gratefully acknowledge the support of the AIM SQuaRE program 20132015. The second author was also supported by the Deutsche Forschungsgemeinschaft. The authors also
thank Kevin Pilgrim and Walter Parry for their helpful comments on early drafts of this article, as well as
all the other SQuaRE participants for their assistance.
1. Thurston theory
A Thurston map is called Euclidean if its orbifold Euler characteristic is zero (cf. [5, Definition 1.1]). A
quadratic Thurston map with four postcritical points is Euclidean if and only if it has no periodic critical
point.
We will state Thurston’s theorem in the special case when f is a non-Euclidean Thurston map with
|Pf | = 4 (the general statement is found in [6]). A simple closed curve in S2 is said to be essential if it
separates the postcritical set into two pairs of points. Two essential curves are said to be homotopic if they
are homotopic in S2 \ Pf . The collection of all homotopy classes of essential curves is denoted Cf .
Definition. The pullback function on curves µf : Cf ∪ { } → Cf ∪ { } is defined as follows:
− if γ ∈ Cf , and f −1 (γ) has an essential component γ̃, then µf (γ) = γ̃
− if γ ∈ Cf , and f −1 (γ) does not have an essential component, then µf (γ) =
− µf ( ) = .
Let γ̃1 , ..., γ̃k be the collection of essential components of f −1 (γ), and let di denote the mapping degree
Pk
of γ˜i → γ. Then γ ∈ Cf is said to be an obstructing curve for f if µf (γ) = γ and λf := i=1 d1i ≥ 1.
Theorem 1.1 (Thurston’s theorem). Let f be a Thurston map with four postcritical points that is not
Euclidean. Then f is equivalent to a rational map if and only if there is no obstructing curve. If it exists,
the rational map is unique up to Möbius conjugacy.
2

rational maps

ramification portrait

fixed points

1
2

+3 0

/1d

∞ bj

1
4 , 1, ∞

1
2

+3 1

/∞i

+3 0

≈ −.4196, .7098 ± .3031i

1
2

+3 ∞

/1

/0d

0, 1 ± 12 i

z2

0 `h

∞ bj

1 − z2

0h

(1 − 2z)2
1
1 − (1 − 2z)2
1
1−
(1 − 2z)2

+3 1

0, 1, ∞
1
2 (−1

∞ bj

±

√

5), ∞

√
1
%1
(−1
±
0
∞
1,
3i)
k
c
2
z2
1
+3 0
+3 1
∞k
≈ −1.347, 0.6624 ± .5623i
1 − z2
Table 1. All rational maps in Q(2) ∪ Q(3) up to automorphism. The first three maps have
one critical postcritical point, and the last four maps have two.

Applications of this theorem include the combinatorial classifications of large families of postcritically
finite rational maps [22, 13].
Denote by Q(i) the set of quadratic Thurston maps with exactly i postcritical points. Clearly Q(1) is
empty. Every element of Q(2) ∪ Q(3) is combinatorially equivalent to a rational map, and an exhaustive
list of rational representatives is given in Table 1. Rational Euclidean maps in Q(4) are Lattès maps,
and have been classified up to conjugacy [15]. However, there are infinitely many combinatorial classes of
Euclidean Thurston maps not equivalent to rational maps. Since Q(4) maps are NET maps and the study of
combinatorial classes of such maps can be reduced to the study of similarity classes of matrices, the question
of enumeration of classes becomes a question of the number of distinct eigenvalues for a given trace [19].
Thus, the classification amounts to solving a class number problem, a notoriously difficult type of problem
in number theory that we prefer to avoid [11, 20]. Thus our main focus will be the set of non-Euclidean
quadratic Thurston maps, denoted Q(4)∗ .
Theorem 1.2 (Quadratic enumeration). Let f ∈ Q(2) ∪ Q(3) ∪ Q(4)∗ . If f is not obstructed, it is equivalent
to exactly one rational map in Table 1, 2, or 3. If f is obstructed, it is equivalent to exactly one obstructed
map in Table 5.
Ramification portraits. We now describe an invariant for Thurston maps that is central to the organization of our study.
Let f be a Thurston map. The ramification portrait of f is a directed labeled graph which we denote Gf .
The vertices of Gf are given by the points in Zf := Pf ∪ Cf . A directed edge connects vertex v to vertex w
if and only if f (v) = w. The label of such an edge is given by the local degree of f at v.
We say that Thurston maps f and g have equivalent ramification portraits if and only if there is a bijection
h : Zf → Zg so that h ◦ f = g ◦ h on Zf and h preserves edge labels (i.e. the local degree of f at z ∈ Zf is
identical to that of g at h(z)). Clearly if Thurston maps f and g are combinatorially equivalent, they have
equivalent ramification portraits.
2. Ramification portraits and maps on moduli space in Q(4)∗
There are 13 possible ramification portraits for maps in Q(4)∗ . Three portraits are realized by polynomials,
and though the corresponding Thurston classes are enumerated in [3], we include them for completeness.
We generate all ramification portraits in Q(4)∗ by composing a Möbius transformation and a rational map
in Q(2) ∪ Q(3). This approach yields a natural organization of the portraits in group theoretic terms.
3

g-map

(1 − 2z)2

1
1 − (1 − 2z)2

1−

1
(1 − 2z)2

Möb

Q(4)∗ ramification portrait

M•,0

1
2

+3 •

M•,1

1
2

+3 ∞

M•,∞

1
2

M•,1

/0

rational maps
#+

/∞i
(

1

•=

1
4

1

•=

1
4

•

•=

1
4

+3 0

/•h

+3 1

/0d

∞i

1
2

+3 •

/1

/0d

∞ bj

• ≈ −.4196, .7098 ± .3031i

M•,∞

1
2

+3 0

/•k

/∞

+3 1

• ≈ −.4196, .7098 ± .3031i

M•,0

1
2

+3 ∞

+3 •

/0

/1d

• ≈ −.4196, .7098 ± .3031i

M•,∞

1
2

+3 •

/∞

+3 0

/1d

• = 1 ± 21 i

M•,0

1
2

+3 1

/•h

0

∞ bj

• = 1 ± 21 i

M•,1

1
2

+3 0

/∞k

+3 •

/1

• = 1 ± 21 i

(

#+

∗

Table 2. All rational maps f ∈ Q(4) with |Pf ∩ Cf | = 1 presented as the composition of a
map g ∈ Q(3) and a Möbius transformation which depends on some choice of a point • ∈ C
fixed by g (see Proposition 2.1). More generally, the portrait of any Thurston map in Q(4)∗
with one critical postcritical point appears in this table. Double arrows indicate nontrivial
ramification.

For each ramification portrait, we compute the correspondence on moduli space in the sense of [9] (see
also [7, §1]). This correspondence is crucial for enumerating the obstructed Q(4)∗ maps in §5, as well as
computing the pullback on curves in §6 (see e.g. [3, 21, 12]). For any member of Q(4)∗ , the correspondence
on moduli space restricts to a quadratic rational map. It is common for maps in Q(4)∗ with different
ramification portraits to have conjugate maps on moduli space. We normalize maps on moduli space so
that conjugate maps are identical. In this way, we organize Q(4)∗ combinatorial classes under the following
succesively finer invariants:
− number of critical postcritical points (i.e. impure Hurwitz class, cf. [7, Theorem 7]),
− map on moduli space,
− ramification portrait (i.e. pure Hurwitz class, cf [7, §5]).
Let M•,0 , M•,1 , and M•,∞ respectively denote the Möbius transformations inducing the following permutations, where • ∈
/ {0, 1, ∞}:
(• 0)(1 ∞),

(• 1)(0 ∞),

(• ∞)(0 1).

One critical postcritical point. Each ramification portrait in Table 2 (i.e. the ramification of each map
f ∈ Q(4)∗ with |Pf ∩ Cf | = 1) arises as the ramification portrait of some map M•,i ◦ g where
− g ∈ Q(3) so that |Pg ∩ Cg | = 1 (i.e. the first three maps in Table 1),
− •∈
/ Pg is a point satisfying g(•) = • (see third column of Table 1),
− i ∈ {0, 1, ∞}.
Specifically, one finds g in the first column, and M•,i in the second column.
Two critical postcritical points. Each ramification portrait in Table 3 (i.e. the ramification of each map
f ∈ Q(4)∗ with |Pf ∩ Cf | = 2) arises as the ramification portrait of some map M•,i ◦ g where
− g ∈ Q(2) ∪ Q(3) so that |Pg ∩ Cg | = 2 (i.e. the last four maps in Table 1),
− •∈
/ {0, 1, ∞} is a point satisfying g(•) = •, and
− i ∈ {0, 1, ∞}.
Note that we must proceed formally for the map z 2 since no fixed point • exists.
4

g-map

Möb

Q(4)∗ ramification portrait

z2

M•,∞

0h

1 − z2

M•,1

∞l

1
z2

M•,0

0l

1
1−z 2

M•,1

0j

$,

1

∞i

+3 0

#+

rational maps

•

N/A

+3 •

/1

• = 21 (−1 ±

+3 1

/∞

+3 •

• = 21 (−1 ±

+3 •

/1

√
√

5)
3i)

∞ bj
• ≈ −1.347, 0.6624 ± .5623i
Table 3. All rational maps f ∈ Q(4)∗ with |Pf ∩ Cf | = 2 as the composition of a map
g ∈ Q(2) ∪ Q(3) and a Möbius transformation which depends on a point • ∈ C fixed by g.
The portrait of any Thurston map in Q(4)∗ with two critical postcritical points appears in
this table (no rational map has the first ramification portrait).

Group action. The vertex labels of ramification portraits in Tables 2 and 3 were assigned in a particular
way. One motivation is that the ramification portraits admit a group action as described here. When
|Pf ∩ Cf | = 1, the Möbius transformation inducing the permutation (0 1 ∞) acts by postcomposition on
the set of ramification portraits, where the portrait in row i is sent to the portrait in row i + 3 mod 9.
Furthermore, when |Pf ∩ Cf | = 2, the Möbius transformation inducing the transposition (0 ∞) acts by
postcomposition on ramification portraits where row i is sent to row i + 2 mod 4.
Maps on moduli space. Another motivation for our particular choice of vertex labels comes from the fact
that we can succinctly describe normalizations for the maps on moduli space so that Möbius conjugate maps
are in fact equal.
The notation g in the first part of this section was used suggestively, i.e. in appropriate coordinates g is
the map on moduli space for the corresponding f ∈ Q(4)∗ . Suppose the ramification portrait for f is given in
terms of a composition of the Möbius transformation M•,i and some quadratic branched cover g with three
b be a point in the Teichmüller space of the sphere S2
or fewer postcritical points as before. Let τg : S2 → C
marked by {0, 1, ∞, •}, and let τ̃g := σg (τg ) denote the image of τg under the pullback map on Teichmüller
space (see [9] for all relevant definitions). Normalize as follows:
τg (0, 1, ∞, •) = (0, 1, ∞, y)
τ̃g (0, 1, ∞, •) = (0, 1, ∞, x).
Then normalize the markings τf and τ̃f := σf (τf ) as follows:
−1
τf = τg ◦ M•,i

τ̃f = τ̃g .
One can check directly that the map on moduli space for f is given identically by g.
/ {0, 1, ∞} is some fixed point of g. Subject
Example: Let g(z) = z12 and let f = M•,0 ◦ g where • ∈
to the normalizations above, the rational map τf ◦ f ◦ τ̃f−1 has the property that (0, 1, ∞, x) is mapped to
(∞, 1, 0, y), where 0 and ∞ are simple critical points. From this we see that τf ◦ f ◦ τ̃f−1 (z) = z12 and thus
b \ {0, ±1, ∞}.
the map on moduli space is given by y = 12 defined on the domain C
x

Rational Q(4)∗ maps as compositions. Tables 2 and 3 indicate how all Q(4)∗ ramification portraits arise
as the composition of a Möbius transformation and a quadratic rational map. Restricting to the case when a
map in Q(4)∗ is rational, we strengthen the result to give a holomorphic decomposition of the rational map
itself.
Proposition 2.1. Let f ∈ Q(4)∗ be a rational map with |Pf ∩ Cf | = 1. Then f is Möbius conjugate to a
unique map of the form M•,i ◦ g where:
− g ∈ Q(3) is a rational map with |Pg ∩ Cg | = 1,
− •∈
/ Pg is a fixed point of g, and
5

− i ∈ {0, 1, ∞}.
Proof. There is a unique portrait in Table 2 equivalent to the portrait of f . Each portrait is asymmetric,
so without loss of generality assume f has been (uniquely) normalized to have vertex labels 0, 1, and ∞ as
in the table portrait. Let • be the fourth postcritical point of f uniquely determined by the normalization,
and let i := f (•). Then for j ∈ {0, 1, ∞}, it is checked directly that g := M•,j ◦ f ∈ Q(3) if and only if j = i.
Evidently g fixes •, and M•,i ◦ g = f . All the data in the proposition statement has thus been uniquely
determined.

A similar statement holds for the two critical postcritical points with a similar proof, except that the
uniqueness no longer holds due to portrait symmetry. For example, if g(z) = 1 − z 2 and • is some fixed
point, then M•,1 ◦ g and M•,0 ◦ g are Möbius conjugate.
3. Background on self-similar groups
A self-similar group is understood through its action by isomorphisms on a tree. Let X = {1, 2, . . . , d} be
a finite alphabet. We identify the set X ∗ of finite words in X with the vertices of an infinite, d + 1-regular,
rooted tree. We will think of the tree as “growing” up from the root, so the children of each vertex will be
“above” it. Note that an isomorphism of this tree will preserve the “levels” of the tree (i.e. the length of
words in X ∗ ). Further, the isomorphism will take the subtree above a vertex to the subtree above the image
of that vertex (i.e. words with a given suffix will be taken to words that end with the image of that suffix).
Since the subtree above any vertex of an infinite, d + 1 regular, rooted tree is canonically isomorphic to the
full tree, we can identify the subtrees above the pre-image and image vertices with the full tree. Thus, the
restriction of the isomorphism to the subtree above a particular vertex can be viewed as an element of the
isomorphism group of the full tree.
A group action by isomorphisms on an infinite, d + 1 regular, rooted tree is self-similar if it is closed
under restrictions. That is, the restriction of any element of the group to any vertex will be an element of
the group.
An element of a self-similar group (i.e. a group admitting a self-similar action) can be described by giving
the action of the element on the first level of the tree and the restrictions of the element to all vertices on
that first level. This notation is called the wreath recursion of the element. For example, for an element h
of a group with a self-similar action on a binary rooted tree, we would write
h = hh|1 , h|2 i πh
where h|1 represents the restriction of h to the vertex identified with 1, h|2 the restriction of h to the vertex
2, and πh is the permutation on {1, 2} induced by h. We omit πh if it is trivial, and we denote the non-trivial
permutation on {1, 2} by σ.
To multiply wreath recursions, use the following rule:
hg|1 , g|2 , . . . , g|d i π · hh|1 , h|2 , . . . , h|d i τ = g|1 h|π(1) , g|2 h|π(2) , . . . , g|d h|π(d) πτ
See section 1.4 of [16] for a discussion of the connection between self-similar groups and wreath products.
A virtual endomorphism of a group G is a homomorphism from a finite-index subgroup of G to G. Given
a self-similar group G and a letter x of the tree with vertex set X ∗ that it acts on, the restriction map at
x is a natural virtual endomorphism from the stabilizer of x to G. So, for example, suppose G acts on an
infinite, binary, rooted tree whose verices we identify with {1, 2}∗ . Then any element of G can be written as
h = hh|1 , h|2 iπh . The virtual endomorphism associated with the first coordinate has domain equal the set
of elements h ∈ G such that πh is trivial and such an element is mapped to h|1 .
Given a virtual endomorphism φ of a group G, one can construct a self-similar action of G on a tree with
vertex set X ∗ , where X is the set of cosets of the domain of φ. For details see section 2.5 of [16].
A self-similar action of G on a tree X ∗ is said to be contracting if there exists a finite set N ⊂ G such
that for every h ∈ G there exists an nh ∈ N such that h|v ∈ N for all words v ∈ X ∗ with length at least nh .
The minimal such set N is unique and is called the nucleus of the self-similar action. The self-similar action
is contracting if and only if the contracting coefficient
s
l(h|v )
ρ = lim sup n lim sup maxn
v∈X
l(h)
n→∞
l(h)→∞
6

is strictly less than 1. One should think of a contracting self-similar action as one where the restrictions of
a group element get simpler (i.e. shorter in word length) as you restrict further up the tree. At some height
of the tree, all of these restrictions will be in a finite set (the nucleus).
It is important to note that the nucleus of a contracting self-similar action is defined to be a finite set. In
this work, we will be making use of a set with the same definition as the nucleus but we will not require the
set to be finite. We will refer to this set as the (possibly infinite) nucleus.
We will briefly describe another formulation of the self-similar theory. Given a self-similar action of a
group G on a tree X ∗ , we can define a G-biset (sometimes called a bimodule) as follows: the set itself is
G × X, with elements written as formal products h · x. There is a left action of G by left multiplication, and
a right action of G by
(g · x) · h = gh|x · h(x)
If the associated self-similar action is contracting, we say that the biset is hyperbolic. If the action is
not contracting, but the action by the faithful quotient is, then we say that the biset is sub-hyperbolic. In
other words, in the sub-hyperbolic case the infinite nucleus contains only finitely-many distinct actions. All
of the bisets for the actions we discuss in this paper are either hyperbolic (when the nucleus is finite) or
sub-hyperbolic (when the nucleus is infinite). See Table 4 and Theorem 4.1 for details.
In [3], the authors use this self-similar machinery to solve the twisting problem for all polynomials in
Q(4). Specifically, they take a virtual endomorphism φ of the pure mapping class group G and extend it to
a map (not a homomorphism) φ̄ : G → G such that for T ∈ G, T ◦ f is equivalent to φ̄(T ) ◦ f . Thus, the
question of equivalence class of the twists can be reduced to those twists that are periodic under φ̄. Since
the G-biset of the self-similar action associated with φ is sub-hyperbolic in these cases, this set is relatively
straightforward to analyze.
4. Wreath recursions for maps on moduli space
We first represent pure mapping classes of (S2 , Pf ) as elements of the fundamental group of moduli space.
This induces an isomorphism between the mapping class biset of f and the fundamental group biset of the
map on moduli space at an appropriate basepoint according to [3] and [12, Theorem 2.6]. Wreath recursions
for all maps on moduli space at all fixed points are computed, and their nuclei are computed in a generalized
sense. These nuclei will be vital for both our solution to the twisting problem and our computation of the
global dynamics of the pullback on curves.
Twisting in terms of fundamental group. The point-pushing isomorphism is used here to write the
left action of the pure mapping class group as a right action of the fundamental group of moduli space.
Let Mf denote moduli space (identified with C \ {0, 1} as before) and suppose z0 is the fixed point of
the map on moduli space g corresponding to some map f ∈ Q(4)∗ . Let γ : [0, 1] → Mf be a loop with
γ(0) = γ(1) = z0 . Then γ extends to a motion γ̃ : Mf × [0, 1] → Mf that “pushes” z0 along γ; in other
words γ̃(·, t) is a homeomorphism and γ̃(z0 , t) = γ(t) for all t. Then to [γ] ∈ π1 (Mf , z0 ) we associate the
b with S2
isotopy class of Tγ := γ̃(·, 1). This is a pure mapping class of (S2 , Pf ) under the identification of C
via the stereographic projection. We use the notation f · γ := Tγ ◦ f , following [12, §8] and [3].
Generators and connecting paths. We need to compute a wreath recursion for each map on moduli space
based at each fixed point outside of {0, 1, ∞} (suitably interpreted for g(z) = z 2 ). Such wreath recursions
depend on non-canonical choices of generators and connecting paths; in the interest of streamlining our
presentation we fix generators α̂, β̂ in Figure 1 and then use the Möbius action to produce generators for
all other maps on moduli space (labelled α and β). Connecting paths will be chosen so as to simplify the
wreath recursion presentations, and in particular the first coordinate of every active element will be trivial
(i.e. α|1 = 1). This fact will greatly simplify the computations in the proofs of Lemmas 5.2, 6.1, and 6.2.
All wreath recursions and their nuclei are recorded in Table 4.
One critical postcritical point. The map g1 (z) = (1−2z)2 has exactly one non-postcritical fixed point, namely
1/4. The three maps on moduli space that arise in Table 2 have the form M ◦ g1 where M is the unique
Möbius transformation inducing the permutations id, (0 1 ∞) and (0 ∞ 1) respectively.
Now let z0 be some fixed point of M ◦ g1 outside {0, 1, ∞}. If z0 can be connected to M (1/4) by a line
segment in C that doesn’t pass through 0 or 1, let ` be this line segment (clearly such line segments exist
7

Figure 1. Generators α̂ and β̂ of π1 (C \ {0, 1}, 1/4)

Figure 2. Lifts of generators from Figure 1 under g1
when z0 ∈
/ R). Otherwise, fix a path in R ∪ {∞} connecting z0 to M (1/4) that passes through exactly one
point in {0, 1, ∞} which we denote p; then ` is taken to be this path perturbed to the left of p. In either
case, we fix α := ` · M (α̂) · `¯ and β := ` · M (β̂) · `¯ as the generators of π1 (C \ {0, 1}, z0 ), where `¯ denotes the
reverse of `.
For the wreath recursion computation, the label 1 is assigned to the fixed point z0 and the label 2 is
assigned to the other preimage of z0 under M ◦ g1 . The connecting paths for M ◦ g1 are taken to be the
constant path at z0 and the unique lift of α under M ◦ g1 based at z0 .
Two critical postcritical points. The map g2 (z) = z 2 does not have any fixed points outside of {0, 1, ∞}. We
construct the connecting paths for g2 explicitly since it is exceptional. Let `0 be a path in R connecting 1/4
to 1/2 and let `1 be the path connecting 1/4 to −1/2 along a semi-circular arc in the upper half-plane.
Note that the three other maps on moduli space in Table 3 have the form M ◦ g2 where M is the Möbius
transformation inducing the permutations (0 1), (0 ∞), and (0 1 ∞) respectively. The construction of wreath
recursions is carried out as in the case of one critical postcritical point.

Figure 3. Lifts of generators from Figure 1 under g2
Nuclei. Having determined the wreath recursions, we compute each (possibly infinite) nucleus using a
technique described in Lemma 2.11.2 in [16]. Specifically, we create a candidate nucleus N by closing a
generating set under the operations of restriction and inversion (such a set is state-closed). Usually we
use {1, α, β} for this set, but sometimes β will not be in the nucleus. In this case, we use {1, α, γ} where
γ = β −1 α−1 or {1, α, δ} where δ = α−1 β −1 .
We then check every element of N 2 to determine if there is a number n such that after any n restrictions
the result is in N . If this property holds for all elements of N 2 , then N contains our nucleus, since we can
use N as a generating set and produce contraction in word length. If this property does not hold, there will
be some cycles of elements of N 2 under restrictions. We create a new candidate nucleus by including these
cycles in N and we repeat the process.
For example, consider the wreath recursion α = h1, γiσ, β = h1, βi, which arises from the g-map z12 with
√
fixed point 21 (−1 − 3i). Set N = {1, α, β n , γ | n ∈ Z}±1 , since α restricts to γ and all powers of β will
self-restrict. When checking products in the set N 2 , we see that some of them do not restrict back into N .
Since N is state-closed, all of the restrictions of N 2 do fall in N 2 , however. The restrictions of N 2 that do
not fall in N are displayed below (we do not display the symmetric relations on the inverses).
αγ −1 → γβ → γ −1 β

γ −2 → γβ
8

βnα → βnγ

γβ n → αβ n+1

g-map

Fixed point

(1 − 2z)2

1
1 − (1 − 2z)2

1−

1
(1 − 2z)2
z2
1 − z2

1
z2

1
1 − z2

Wreath recursion

(Possibly infinite) “Nucleus”

1
4

α = h1, 1i σ,

β = hα, βi

{1, αn , β n | n ∈ Z}

-.4196

α = h1, 1i σ,

β = δ, βαβ −1

{1, α, β, δ, βαβ −1 , δ 2 , α−1 β −2 , βδβ −1 , βα2 βα, δ −1 βδ, δ −1 α

.7098 + .3031i

α = h1, 1i σ,

β = hα, γi

{1, α, γ}±1

.7098 − .3031i

α = h1, 1i σ,

β = hα, δi

{1, α, δ}±1

1+

i
2

α = h1, 1i σ,

β = hγ, βi

{1, αn , β n , γ n , β −1 αn β, αn β, αβ 2 | n ∈ Z}±1

1−

i
2

α = h1, 1i σ,

β = hδ, βi

{1, αn , β n , δ n , βαn β −1 , βαn , β 2 α | n ∈ Z}±1

N/A
√
1
5)
2 (−1 +
√
1
5)
2 (−1 −
√
1
3i)
2 (−1 +
√
1
3i)
2 (−1 −

α = h1, αi σ,

β = hβ, 1i

{1, α, β n , αβ n , αβ n α−1 | n ∈ Z}±1

α = h1, βi σ,

β = hα, 1i

{1, α, β, αβ −1 }±1

α = h1, βi σ,

β = 1, βαβ −1

{1, α, β, δ, βαβ −1 }±1

α = h1, δi σ,

β = 1, α−1 βα

{1, α, β n , α−1 β n α, β n α | n ∈ Z}±1

α = h1, γi σ,

β = h1, βi

{1, α, β n , γ | n ∈ Z}±1

-1.347

α = h1, δi σ,

β = h1, αi

{1, α, β, δ}±1

0.6624 + .5623i

α = h1, γi σ,

β = hα, 1i

{1, α, β, γ}±1

0.6624 − .5623i

α = h1, δi σ,

β = hα, 1i

{1, α, β, δ}±1

Table 4. Wreath recursions for the maps on moduli space at all points outside {0, 1, ∞},
and the (possibly infinite) “nucleus” for those recursions. Recall that γ = β −1 α−1 and
δ = α−1 β −1 .

Since the longest path along these restrictions has length two, we can see that every element of N 2 will
restrict into N after three restrictions. Thus N is our (infinite) nucleus.
We present the results of these computations in Table 4. Again, we point out that we are allowing our
“nucleus” to be infinite, unlike in the standard literature.
Theorem 4.1. The image of each of the “nuclei” (even the infinite ones) listed in Table 4 is finite in
the faithful quotient of the self-similar action. That is, the bisets of these self-similar actions are all subhyperbolic.
Proof. The faithful quotient of the action is the iterated monodromy group of the map g. Recall that g is
always a member of Q(2) ∪ Q(3), so it is a postcritically finite rational function. Then by Theorem 6.4.4 of
[16], the image of the nucleus in IM G(g) is finite.
However, this result can also be seen directly from Table 4. Each element whose entire cyclic subgroup
appears in a nucleus in Table 4 has order either 1, 2, or 4 in the faithful quotient. This can be checked using
the wreath recursions given in the table (for example, any map with one critical postcritical point has α2
acting trivially).

5. Twisting Q(4)∗ maps
Recall that the twisting problem is the determination of the combinatorial class of a map h ◦ f where
f is a Thurston map and h is a pure mapping class of (S2 , Pf ). As above, we will use the identification
f · γ := Tγ ◦ f and treat h as an element of the fundamental group of moduli space.
9

We give an algorithm to solve this problem for all maps f ∈ Q(4)∗ in the manner of [3]: define a virtual
endomorphism φ on π1 (Mf , z0 ) (which we identify with the pure mapping class group) and extend it to
a non-homomorphic map φ̄ on the entire group such that f · h ' f · φ̄(h) where ' denotes combinatorial
equivalence (we will use = to denote homotopy equivalence). Then we find the attractor of forward iteration
of φ̄ on the group and determine the equivalence class of each of the those twists on f .
The extended virtual endomorphism φ̄. For a map f ∈ Q(4)∗ , we define the virtual endomorphism φ
on π1 (Mf , z0 ) as the first coordinate virtual endomorphism from the wreath recursion in Table 4. So for
the map in Q(4)∗ defined by fixed point 1/4 of the g-map (1 − 2z 2 ) for example, the virtual endomorphism
φ would have domain generated by α2 , β, α−1 βα and would map the generators by
φ(α2 ) = 1, φ(β) = α, φ(β α ) = β.

(1)

We then define a map (not a homomorphism) φ̄ from the pure mapping class group to itself:


 φ(h)
if h ∈ Dom(φ)
φ̄(h) =

 αφ(hα−1 ) if h ∈ Dom(φ)α
Lemma 5.1. For h ∈ π1 (Mf , z0 ),
f · h ' f · φ̄(h)
Proof. Notice if h ∈ Dom(φ), then h lifts under f to φ(h):
f · h = φ(h) · f ' f · φ(h) = f · φ̄(h)
and if h ∈ Dom(φ)α, then
f · h = f · hα−1 · α = φ(hα−1 ) · f · α ' f · αφ(hα−1 ) = f · φ̄(h)
Thus, we have defined φ̄ such that f · h ' f · φ̄(h) for all h ∈ π1 (Mf , z0 ).



To solve the twisting problem, we will study the dynamics of φ̄ on π1 (Mf , z0 ).
Lemma 5.2. Let h ∈ π1 (Mf , z0 ). There exists N such that for all n > N
φ̄◦n (h) ∈ N ∪ αN
Proof. Recall that we chose to make the wreath recursion of α of the form α = h1, α|2 i σ. Notice that if
h = hh1 , h2 i, then φ̄(h) = h1 and
φ̄(αh) = αφ(αhα−1 ) = αφ(h1, α|2 i σ hh1 , h2 i α|−1
2 , 1 σ) = αh2
and if h = hh1 , h2 i σ, then
φ̄(h) = αφ(hα−1 ) = αφ(hh1 , h2 i σ α|−1
2 , 1 σ) = αh1
and
φ̄(αh) = φ(αh) = φ(h1, α|2 i σ hh1 , h2 i σ) = h2
Thus, φ̄(h) is either equal to a restriction of h or α times a restriction of h. Since taking repeated restrictions
of h eventually enters (and remains in) N , by the computations above we have that iterating φ̄ on any
element of the fundamental group will eventually land in the set N ∪ αN .

Consequently, to solve the twisting problem we compute the action of φ̄ on the set N ∪ αN . For example,
consider the virtual endomorphism defined by equations 1 above. The resulting dynamics of φ̄ on the set
N ∪ αN are:
β 2n → α2n → 1 → 1
β 2n+1 → α2n+1 → α → α
αβ n → αβ n
The periodic elements of this action are displayed in Table 6 for one representative of each pure Hurwitz
class.
10

Remark 5.3. While we have only performed the φ̄ computations for one Q(4)∗ map within each pure
Hurwitz class, we can write an element of any other combinatorial class as a twist of the first Q(4)∗ map,
and then perform the same method.
√ For instance, we made no φ̄ computations for the rational map f−
defined by the fixed point 12 (−1 − 5) of the g-map 1 − z 2 . However, for the rational map f+ defined by the
other fixed point of that g-map, we have that f− ' f+ · α since α by definition has non-trivial monodromy
action and there are no other Q(4)∗ maps in the pure Hurwitz class. To twist f− by h, we simply use φ̄◦n (αh)
with φ̄ computed from f+ and determine the resulting φ̄ cycle as usual.
Identifications. All that remains is to identify each φ̄ cycle with an equivalence class of Thurston maps.
The solution to the twisting problem, then, is to apply φ̄ repeatedly to the specified twist until obtaining
one of the periodic elements, each of which is identified with a combinatorial class.
Proof Theorem 1.2. Recall that any map in Q(2) or Q(3) is unobstructed, so from the list of ramification
portraits in Table 1 one simply computes coefficients to give an enumeration. Each rational map in Q(4)∗
can be found the same way (see Table 2 and 3), and a cross ratio argument shows that any two such maps
are not Möbius conjugate. From the preceding discussion, all obstructed maps in Q(4)∗ must lie in a φ̄ cycle,
and the remainder of our proof is occupied with analyzing the corresponding Thurston classes (organized by
map on moduli space). For all φ̄ attractors, the trivial element is identified with the combinatorial class of
the Q(4)∗ map used in the φ̄ computations.
− g(z) = (1 − 2z)2 : the periodic element α is identified with the equivalence class of a Thurston
map with obstruction β. Twisting about this obstruction produces an infinite family of distinct
combinatorial classes of obstructed maps (see the argument in [10, Theorem 9.2 V]).
1
− g(z) = 1−(1−2z)
2 : we can distinguish between the combinatorial classes identified with α and with
the 2-cycle by considering the finite global attractor (FGA) results proved in the next section. If f
is the Q(4) map defined by the fixed point with positive imaginary part (i.e. the Q(4) map used to
compute the virtual endomorphism φ from the first coordinate of the wreath recursion), then we can
compute the FGA for f · α by changing the virtual endomorphism to instead be associated with the
second coordinate. When we make these calculations, we see that the FGA for f · α has the 2-cycle
β ↔ γ, so α is identified with the combinatorial class of the Q(4) map defined by fixed point −.4196.
Thus, the combinatorial class of the Q(4) map defined by the fixed point with negative imaginary
part is identified with the 2-cycle γ −1 ↔ αγ.
1
− g(z) = 1 − (1−2z)
2 : the 2-cycle is identified with the combinatorial class of the Q(4) map defined by
other fixed point of the g-map, and the αβ n are identified with an infinite family of combinatorial
classes of obstructed maps as above.
− g(z) = z 2 : in the row of Table 6 for the g-map z 2 , we have two families of fixed points of φ̄: β n
and α2 β n α−1 for n ∈ Z. In fact, these are both identified with the same family of combinatorial
classes of obstructed maps. Let f be the (obstructed) Q(4) map used to make the φ̄ calculations
and observe that since α2 = hα, αi for this wreath recursion, then
f · α2 β n α−1 = α · f · β n α−1
and by conjugation we have that
α · f · β n α−1 ' f · β n
Thus, f · β n and f · α2 β n α−1 are equivalent maps.
√
− g(z) = 1 − z 2 : let f be the Q(4) map defined by the fixed point 21 (−1 + 5) of g. We can show
that f · α2 β −1 ' f (since α2 = hβ, βi in this setting), and so the 2-cycle is identified with the
combinatorial class of f . Thus, α is identified with the combinatorial class of the Q(4) map defined
by the other fixed point.
− g(z) = z12 : the 2-cycle is identified with the combinatorial class of the fixed point of the g-map with
positive imaginary part, and the αβ n are identified with an infinite family of combinatorial classes
of obstructed maps.
1
− g(z) = 1−z
2 : we again use the virtual endomorphism for the second coordinate to compute the
FGA for the map identified with α. This computation reveals it to match the Q(4) map defined by
11

g-map

Q(4)∗ ramification portrait

M•,0

1
2

+3 •

M•,1

1
2

+3 ∞

M•,∞

1
2

M•,∞

/0

fixed point
#+

/∞i
(

obstructed twists

1

•=

1
4

αβ n

1

•=

1
4

αβ n

•

•=

1
4

αβ n

+3 0

/•h

+3 1

/0d

∞i

1
2

+3 •

/∞

+3 0

/1d

• = 1 + 12 i

αβ n

M•,0

1
2

+3 1

/•h

0

∞ bj

• = 1 + 12 i

αβ n

M•,1

1
2

+3 0

/∞k

+3 •

/1

• = 1 + 12 i

αβ n

z2

M•,∞

0h

1

∞i

•

See caption

βn

1
z2

M•,0

0l

+3 •

• = 12 (−1 −

(1 − 2z)2

1−

Möb

1
(1 − 2z)2

$,

+3 1

/∞

(

#+

#+

√

3i)

αβ n

∗

Table 5. One representative for each obstructed combinatorial class in Q(4) can be found
in this table. Representatives are expressed in terms of compositions, e.g. if g(z) = (1 − 2z)2
then Tαβ n ◦ M•,i ◦ g is obstructed for all n ∈ Z and i ∈ {0, 1, ∞} where • = 14 and Tγ is the
twist along the closed curve γ (see beginning of Section 4 for details). Recall that the fixed
point is taken to be the basepoint of the fundamental group with exception of z 2 where it
is taken to be 14 as before. Thus the definition of the symbols α and β vary as in §4).

the fixed point with negative imaginary part, and so the Q(4) map defined by the fixed point with
positive imaginary part is identified with the 3-cycle.
We have thus shown that each φ̄ cycle either corresponds to one of the rational maps already found, or lies
in a one-parameter family of obstructed twists found in Table 5.

6. Pullback on essential curves
Recall the definition of the pullback function on curves µf : Cf ∪ { } → Cf ∪ { } from §1
Definition. A finite global attractor of the pullback function on curves µf is a finite, forward invariant set
A ⊂ Cf ∪ { } so that for each γ, there exists n so that µ◦n
f (γ) ∈ A.
Not every Thurston map has a finite global attractor for its pullback on curves (one example is given
below). Pilgrim has conjectured that if f is a rational map with hyperbolic orbifold, then µf has a finite
global attractor. The program NETmap [18] has provided a great deal of evidence in favor of this conjecture,
and a number of results have been proven in special cases [21, 12, 10, 7].
We investigate the global dynamics of the pullback on curves for rational Q(4)∗ maps. All pullbacks have
finite global attractors, and minimal ones are exhibited in Table 5. Our results verify Theorem 8 of [7], where
it is shown that the minimal finite global attractor of any rational Q(4)∗ map with one critical postcritical
point has at most four curves in Cf , using entirely different methods from our own.
Computing the pullback on curves. Let f ∈ Q(4)∗ be a rational map. We will compute its pullback on
curves in terms of the virtual endomorphism on moduli space using the naturality statement of [12, Theorem
b
2.6]. Let C be an essential curve in (S2 , Pf ) and denote by G the group π1 (C\{0,
1, ∞}, z0 ); recall this is a free
group generated by α and β. The point-pushing isomorphism (see section 4) identifies the right hand Dehn
twist about C with a unique parabolic element of G having the form g = w−1 xw where x ∈ {α, β, γ} and
w ∈ G. In case C has an essential preimage, the pullback µf (C) is given by the essential curve corresponding
to the parabolic element φ((xn )w ), where n is minimal so that the expression is defined (i.e. w−1 xn w is in
the domain of φ). If C has no essential preimage, then φ((xn )w ) is trivial. The computation of the pullback
12

g-map
(1 − 2z)2

1
1 − (1 − 2z)2

1−

1
(1 − 2z)2
z2
1 − z2

1
z2

1
1 − z2

Wreath recursion

Attractor of the φ̄ map

α = h1, 1i σ,

β = hα, βi

1d

α = h1, 1i σ,

β = δ, βαβ −1

α = h1, 1i σ,

β = hα, γi

α = h1, 1i σ,

β = hα, δi

α = h1, 1i σ,

β = hγ, βi

α = h1, 1i σ,

β = hδ, βi

———

α = h1, αi σ,

β = hβ, 1i

βn b

α = h1, βi σ,

β = hα, 1i

1d

α = h1, βi σ,

β = 1, βαβ −1

———

, δd

α = h1, δi σ,

β = 1, α−1 βα

———

, α↔δ

α = h1, γi σ,

β = h1, βi

1d

, γ ↔ αγ −1 , αβ n b

α = h1, δi σ,

β = h1, αi

1d

, αe

α = h1, γi σ,

β = hα, 1i

, αβ n b

FGA

for n ∈ Z
, β↔γ

———
1d

, αe

, γ −1 ↔ αγ

———
, γ ↔ αγ −1 , αβ n b

1d

, α2 β n α−1 b
, αe

for n ∈ Z

for n ∈ Z

N/A

, βα−1 ↔ α2 β −1

, δk

/ γ −1

, α ↔ β, γ ↔ δ

for n ∈ Z

, α↔γ

/ α2
/γ

/β

/δ
α = h1, δi σ, β = hα, 1i
———
, αk
Table 6. Wreath recursion for each map on moduli space at each fixed point not in
{0, 1, ∞}), the attractor for the non-homomorphism map that is used to solve the twisting problem, and the minimal finite global attractor for the pullback map on curves. Note
that we compute the φ̄ attractor for only one map in each pure Hurwitz class. This is all
that is required for the enumeration; the other attractors can be computed using Remark
5.3 if desired. Recall that γ = β −1 α−1 and δ = α−1 β −1 . We also note that the infinite
n
n
n
n
global attractor for g(z) = z 2 is { , αβ , β, γ β , δ β , β αβ | n ∈ Z}

/β

———

, αk

function µf can thus be phrased entirely in terms of group theory where the theory of self-similar groups
comes into play.
We extend the virtual endomorphism φ to a map (not a homomorphism) φ̂ : G → G by


 φ(w)
if w ∈ Dom(φ)
φ̂(w) =

 φ(αw) if w ∈ α−1 Dom(φ).
This extension is motivated by the following lemma, which shows how φ transforms parabolic elements in
terms of φ̂.
Lemma 6.1. Let x ∈ {α, β, γ} and w ∈ G. For n minimal so that φ((xn )w ) is defined, set h = xn . Then


 hφ̂(w) if w ∈ Dom(φ)
1
w
φ(h ) =

 hφ̂(w)
if w ∈ α−1 Dom(φ)
2
where h1 and h2 are the restrictions of h.
13

Proof. Let h = hh1 , h2 i and suppose w ∈ Dom(φ). Then
φ(w)

φ(hw ) = h1

If instead w ∈
/ Dom(φ), then w ∈ α−1 Dom(φ), so there exists w0 ∈ Dom(φ) such that w = α−1 w0 . Then
0

φ(hw ) = φ(w0−1 αhα−1 w0 ) = (φ(αhα−1 ))φ(w )
Recall that we chose to make the wreath recursion of α of the form α = h1, α|2 i σ. Thus,
0

0

φ(w0 )

φ(w )
(φ(αhα−1 ))φ(w ) = (φ(h1, α|2 i σ hh1 , h2 i α|−1
= h2
2 , 1 σ))


The next lemma describes the global dynamics of φ̂. The simplicity of this statement depends heavily on
our earlier choice that α|1 = 1 for every single map.
Lemma 6.2. Let w ∈ G. There exists N such that for n > N , we have that
φ̂◦n (w) ∈ N
where N is the (possibly infinite) nucleus of the self-similar action associated with φ.
Proof. If w = hw1 , w2 i ∈ Dom(φ), then φ̂(w) = w1 . If w = hw1 , w2 i σ ∈ α−1 Dom(φ), then
φ̂(w) = φ(αw) = φ(h1, α|2 i σ hw1 , w2 i σ) = w2
Thus, φ̂(w) is always equal to a restriction of w.



Therefore, to determine the global dynamics of the pullback on curves, we need only examine the dynamics
of φ on the set {(xn )w |x ∈ {α, β, γ}, n ∈ Z, w ∈ N per } where N per is the set of periodic elements of φ̂ in N .
The results of these computations are given in Table 6.
For example, take the virtual endomorphism φ arising from the wreath recursion in the last row of Table
6:
φ(α2 ) = δ
φ(β) = α
φ(β α ) = 1
Checking the dynamics of φ̂ on N , we see that all elements eventually map to the identity. So, we need only
consider the powers of α, β, and δ (we use δ here in place of γ since it arises naturally in the computations
with φ). Further, since the iteration under φ̂ always lands in the domain of φ, we need only consider the
restriction under the first coordinate (i.e. the image under φ). Even powers of α are taken to powers of δ,
powers of β are taken to powers of α, and even powers of δ are taken to powers of β. Thus, we have the
finite global attractor as in Table 6.
References
[1] L. Bartholdi, IMG, software package for GAP, https://github.com/laurentbartholdi/img, 2014.
[2] L. Bartholdi and D. Ducko, Algorithmic aspects of branched coverings II/V. Sphere bisets and their decompositions,
https://arxiv.org/abs/1603.04059
[3] L. Bartholdi and V. Nekrashevych, Thurston equivalence of topological polynomials, Acta Math. 197 (2006), 1–51.
[4] E. Brezin, R. Byrne, J. Levy, K. Pilgrim, and K. Plummer A census of rational maps, Conform. Geom. Dyn. 4 (2000),
35–74.
[5] J. W. Cannon, W. J. Floyd, W. R. Parry and K. M. Pilgrim, Nearly Euclidean Thurston maps, Conform. Geom. Dyn. 16
(2012), 209–255 (electronic).
[6] A. Douady and J. H. Hubbard, A proof of Thurston’s topological characterization of rational functions, Acta Math. 171
(1993), 263–297.
[7] W. J. Floyd, G. Kelsey, S. Koch, R. Lodge, W. R. Parry, K. M. Pilgrim, E. Saenz, Origami, affine maps, and complex
dynamics, submitted arXiv:1612.06449.
[8] A. Kameyama, The Thurston equivalence for postcritically finite branched coverings. Osaka J. Math. 38 (2001), 565-610.
[9] S. Koch, Teichmüller theory and critically finite endomorphisms, Advances in Math. 248 (2013), 573–617.
[10] S. Koch, K. M. Pilgrim and N. Selinger, Pullback invariants of Thurston maps, Trans. Amer. Math. Soc., to appear.
[11] C. Latimer and C. MacDuffee, A correspondence between classes of ideals and classes of matrices, Ann. of Math. (2) 34
(1933), 313-316.
[12] R. Lodge, Boundary values of the Thurston pullback map, PhD thesis, Indiana University (2012).
[13] R. Lodge, Y. Mikulich, and D. Schleicher, A classification of postcritically finite Newton maps, submitted.
[14] C. McMullen, The classification of conformal dynamical systems, Current developments in mathematics, Internat. Press,
Cambridge, MA (1995), 323–360.
14

[15] J. Milnor, On Lattès maps in Dynamics on the Riemann Sphere, P. Hjorth and C. Petersen, ed., European Math. Soc.,
Zrich, (2006).
[16] V. Nekrashevych, Self-Similar Groups, Math. Surveys and Monographs 117, Amer. Math. Soc., Providence, 2005.
[17] V. Nekrashevych, Combinatorics of polynomial iterations in Complex Dynamics: Families and Friends, D. Schleicher, ed.,
A K Peters, Wellsley, MA, (2009).
[18] The NET map web site, www.math.vt.edu/netmaps/.
[19] W. Parry, Enumeration of Lattès maps, www.math.vt.edu/netmaps/papers/EnuLattes.pdf, (2013).
[20] H. Stark, The Gauss class-number problems, Clay Math. Proc. 7 (2007), 247-256.
[21] K. M. Pilgrim, An algebraic formulation of Thurston’s characterization of rational functions, Annales de la Faculté des
Sciences de Toulouse XXI No. 5 (2012), 1033–1068.
[22] A. Poirier, On postcritically finite polynomials, part 2: Hubbard trees, Stony Brook IMS preprint 93/7 (1993)
E-mail address: gkelsey@bellarmine.edu
Bellarmine University, 2001 Newburg Rd, Louisville, KY 40205
E-mail address: russell.lodge@stonybrook.edu
Institute for Mathematical Sciences, 100 Nicolls Rd, Stony Brook, NY 11794-3660

15

