An algebraic formulation of Thurston’s characterization of rational functions. (English. French summary) Zbl 1272.37025

Pilgrim, Kevin M.

Ann. Fac. Sci. Toulouse, Math. (6) 21, No. 5, Spec. Issue, 1033-1068 (2012).

Let \(f:S^2\to S^2\) be a branched covering of the two-sphere, and let \(P_f:=\bigcup_{n\geq1}f^n\{f'=0\}\) denote its post-critical set. Assume \(P_f\) is finite, in which case \(f\) is called a Thurston map. Two Thurston maps \(f,g\) are called combinatorially equivalent if they are isotopic via an isotopy \(h_t:S^2\setminus P_f\to S^2\setminus P_g\) that is constant on \(P_f\).
Thurston gave in [A. Douady and J. H. Hubbard, Acta Math. 171, No. 2, 263–297 (1993; Zbl 0806.30027)] a characterization of those Thurston maps that are combinatorially equivalent to a rational function, in terms of multicurves. A multicurve for \(f\) is a collection \(\Gamma\) of disjoint, closed, non-trivial closed curves on \(S^2\setminus P_f\), none of which surrounds a single puncture. the multicurve \(\Gamma\) is said to be invariant if every \(f\)-preimage of every curve \(\gamma\in\Gamma\) is either homotopic to a curve in \(\Gamma\) or surrounds at most one puncture. The Thurston linear transformation \(\mathcal L_{f,\Gamma}:\mathbb R^\Gamma\to\mathbb R^\Gamma\) is then defined by \[ \mathcal L_{f,\Gamma}(\gamma)=\sum_{\Gamma\ni\gamma'\simeq\delta\subseteq f^{-1}(\gamma)}\frac1{\deg(f:\delta\to\gamma)}\gamma'. \] Then Thurston’s criterion (in the ‘hyperbolic’ case, which is generic) reads: “\(f\) is equivalent to a rational function if and only if the spectral radius of \(\mathcal L_{f,\Gamma}\) is \(<1\) for every invariant multicurve \(\Gamma\)”.
Let \(G\) denote the pure mapping class group of \((S^2,P_f)\). Again following Douady and Hubbard, there is a finite-index subgroup \(H<G\), consisting of mapping classes that lift via \(f\) to mapping classes in \(G\). Denote by \(\phi_f:H\to G\) the corresponding lifting homomorphism. Then every invariant multicurve \(\Gamma\) gives rise to an abelian subgroup \(\mathbb Z^\Gamma\) of \(G\) consisting of products of Dehn twists about the curves in \(\Gamma\). Note that \(\mathbb Z^\Gamma\) is \(\phi_f\)-invariant, and that the action of \(\phi_f\otimes\mathbb R\) on \(\mathbb Z^\Gamma\otimes\mathbb R\) is naturally conjugate to \(\mathcal L_{f,\Gamma}\).
The author then arrives at the following algebraic characterization of rational maps: “\(f\) is equivalent to a rational function if and only if for every \(\phi_f\)-invariant abelian subgroup \(A\) of \(G\) the spectral radius of the restriction of \(\phi_f\) to \(A\) is \(<1\)”.
He then uses the same grouptheoretico-dynamical techniques to study the dynamics of the “pull-back” function on multicurves. The situation is radically different from that of surface homeomorphisms (when curves, under pullback, tend to become more and more complicated).
He shows that, if \(\phi_f\) is contracting at large scale for the word metric, then the pull-back function on multicurves has a finite global attractor. This is, in particular, the case if \(f\) is a critically finite quadratic polynomial. If \(f\) is merely a rational map (again with ‘hyperbolic orbifold’), he shows that there are finitely many completely invariant multicurves.
He then computes explicitly the attractor for all quadratic polynomials with three finite post-critical points.

Reviewer: Laurent Bartholdi (Göttingen)

MSC:

37F20

Combinatorics and topology in relation with holomorphic dynamical systems

Keywords:

Thurston map; multicurve; obstruction; rational map; skinning map; mapping class group; virtual endomorphism

Citations:

Zbl 0806.30027

References:

[1]	Buff (X.), Epstein (A.), Koch (S.), and Pilgrim (K. M.).— On Thurston’s pullback map. Complex dynamics, p. 561-583, A K Peters, Wellesley, MA (2009). · Zbl 1180.37065
[2]	Bartholdi (L.) and Nekrashevych (V.).— Thurston equivalence of topological polynomials. Acta Math.197, p. 1-51 (2006). · Zbl 1176.37020
[3]	Bonk (M.) and Meyer (D.).— Expanding Thurston maps. arXiv:1009.3647v1 (2010).
[4]	Brock (J.) and Margalit (D.).— Weil-Petersson isometries via the pants complex. Proc. Amer. Math. Soc. 1353, p. 795-803 (2007). · Zbl 1110.32004
[5]	Douady (A.) and Hubbard (J.).— A Proof of Thurston’s Topological Characterization of Rational Functions. Acta. Math.171, p. 263-297 (1993). · Zbl 0806.30027
[6]	Dym (H.).— Linear algebra in action, volume 78 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI (2007). · Zbl 1113.15001
[7]	Farb (B.) and Margalit (D.).— A primer on mapping class groups. Princeton University Press, Princeton, NJ. xiv+472 pp. ISBN: 978-0-691-14794-9 (2012). · Zbl 1245.57002
[8]	Kelsey (G.).— Mapping schemes realizable by obstructed topological polynomials, Conformal Geometry and Dynamics (electronic) 16, p. 44-80 (2012). · Zbl 1278.37043
[9]	Kent (R.).— Skinning maps. Duke Math. J.1512, p. 279-336 (2010). · Zbl 1193.30062
[10]	Koch (S.).— A new link between Teichmüller theory and complex dynamics. PhD thesis, Cornell University (2008). .
[11]	Lodge (R.).— The boundary values of Thurston’s pullback map. PhD thesis, Indiana University (2012). .
[12]	Milnor (J.) and Thurston (W.).— On iterated maps of the interval. Springer Lecture Notes in Mathematics 1342 (1988). · Zbl 0664.58015
[13]	Nekrashevych (V.).— Self-similar groups, volume 117 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI (2005). · Zbl 1087.20032
[14]	Nekrashevych (V.).— Combinatorics of polynomial iterations. Complex dynamics, 169-214, A K Peters, Wellesley, MA (2009). · Zbl 1201.37078
[15]	Nielsen (J.).— Abbildungsklassen endlicher Ordnung. Acta Math.75, p. 23-115 (1943). · Zbl 0027.26601
[16]	Pilgrim (K. M.).— Combinations of complex dynamical systems. Springer Lecture Notes in Mathematics 1827 (2003). · Zbl 1045.37028
[17]	Selinger (N.).— Thurston’s pullback map on the augmented Teichmüller space and applications, Inventiones Mathematicae 189, No. 1, p. 111-142 (2012). · Zbl 1298.37033
[18]	Thurston (W. P.).— On the geometry and dynamics of diffeomorphisms of surfaces. Bull. Amer. Math. Soc. (N.S.)19, p. 417-431 (1988). · Zbl 0674.57008
[19]	Wolpert (S.).— The Weil-Petersson metric geometry. Handbook of Teichmüller theory, vol. II. IRMA Lect. Math. Theor. Phys., Eur. Math. Soc., Zürich (2009). · Zbl 1169.30020