--- abstract: 'Under some mild assumptions, an orientation-preserving branched covering map of marked $2$-spheres induces a pullback map between the corresponding Teichmüller spaces. By analyzing the associated pushforward operator acting on integrable quadratic differentials, we obtain a global lower bound on the rank of the derivative of the pullback map in terms of the action of the cover on marked points. In the dynamical context, the two sets of marked points in the target and source coincide with the postcritical set. Investigating the resulting pullback map is the central part of Thurston's topological characterization of postcritically finite rational maps. Postcritically finite maps with constant pullback have been studied by various authors. In that direction, our approach provides upper bounds on the size of the postcritical set of a map with constant pullback, and shows that the postcritical dynamics is highly restricted.' address: 'Khashayar Filom, Department of Mathematics, University of Michigan' author: - Khashayar Filom bibliography: - 'bibcomprehensive.bib' title: On the rank of the Thurston pullback map --- Introduction ============ Motivation and summary of results --------------------------------- The goal of this paper is to provide lower bounds for the rank of certain maps between Teichmüller spaces modeled on marked $2$-spheres, and also to study cases where these maps are constant. These Teichmüller maps are associated with branched covering maps between spheres through a construction that appears in the seminal work of W. Thurston on topological characterization of rational maps (see paper @MR1251582 by Douady and Hubbard for an account of this theory). To elaborate, consider an orientation-preserving branched cover $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$. The cover is called to be *admissible* if - $A$ and $B$ are finite subsets of the sphere each with at least three points; - $f(A)\subseteq B$; - $B$ contains the critical values of $f$. The corresponding *Thurston pullback map* is denoted by $\sigma_f:\mathcal{T}\left(S^2,B\right)\rightarrow\mathcal{T}\left(S^2,A\right)$ and satisfies the following: If the map $\sigma_f$ takes a Teichmüller point $\tau$ to another Teichmüller point $\tau'$, then any two homeomorphisms $\phi$ and $\phi'$ representing $\tau$ and $\tau'$ fit in a commutative diagram $$\label{diagram} \xymatrixcolsep{4pc}\xymatrix{\left(S^2,A\right)\ar[r]^{\phi'}\ar[d]_f &\left(\hat{\Bbb{C}},\phi'(A)\right)\ar[d]^g\\ \left(S^2,B\right)\ar[r]_\phi &\left(\hat{\Bbb{C}},\phi(B)\right)}$$ where $g:\hat{\Bbb{C}}\rightarrow\hat{\Bbb{C}}$ is a suitable rational map (see @MR2508269 [@MR3107522] for details of this construction). \[rank bound\] Notation as above, at any point $\tau$ of Teichmüller space, the rank of the derivative ${\rm{D}}\sigma_f(\tau)$ admits the lower bound $$\label{inequality1} {\rm{rank}}\, {\rm{D}}\sigma_f(\tau)\geq \min\left\{\ell_1+\ell_2,|A|-3\right\}$$ where $$\label{ell1} \ell_1:=\left|\{b\in B\mid b \text{ is not a critical value of } f \text{ and } |A\cap f^{-1}(b)|=1\}\right|,$$ and $$\label{ell2} \ell_2:=\left|\left\{c\in S^2-A \,\Bigg|\, \begin{array}{l} c \text{ is a } \text{simple critical point of } f \text{ with } f^{-1}(f(c))\cap A=\emptyset\\ \text{and no other point of } f^{-1}(f(c))\text{ is critical}. \end{array} \right\}\right|.$$ Recall that a critical point $c$ is called *simple* (nondegenerate) if the multiplicity of $f$ at it is two (i.e. $f$ is two-to-one near $c$). Notice that the sets from and are in a sense complementary: In the former, $b$ is not a critical value of $f$ while in the latter, $f(c)$ is a critical value. The lower bound $\ell_1$ for the rank of the derivative clearly puts restrictions on admissible covers whose pullback maps become of rank zero at a point. \[ell1 corollary\] Notation as above, if the rank of the pullback map $\sigma_f$ is zero at a point and $|A|\geq 4$, then for any $a\in A$ either $f(a)$ is a critical value or there exists another element $a'$ of $A$ for which $f(a)=f(a')$. Also in the case of the derivative vanishing at a point, we derive an upper bound in terms of the degree for the number of marked points in the source of $f$. \[degree bound\] Notation as above and denoting the degree of $f$ by $d$, the derivative of $\sigma_f$ does not vanish at any point of $\mathcal{T}\left(S^2,B\right)$ unless $|A|\leq d+2$. Moreover, if there exists a critical value $v$ of $f$ such that $f^{-1}(v)\cap A=\emptyset$ and all critical points above $v$ are simple, then the inequality can be improved as $$|A|\leq\#\left(\text{critical points in } f^{-1}(v)\right)+2.$$ The results above on the rank of $\sigma_f$ will be established in §3 via studying its cotangent map ${\rm{D}}^*\sigma_f$ which can be identified with the pushforward action of $f$ on quadratic differentials. In the dynamical setting, one takes $f:S^2\rightarrow S^2$ to be a *Thurston map*; that is, an orientation-preserving topological branched cover whose critical points (i.e. the points in a vicinity of which $f$ fails to be injective) are eventually periodic. Denoting the sets of critical points and critical values of $f$ by ${\rm{C}}_f$ and ${\rm{V}}_f:=f({\rm{C}}_f)$, the finite sets $A$ and $B$ are taken to be the *postcritical set* ${\rm{P}}_f$ defined as $\bigcup_{n\geq 0}f^{\circ n}({\rm{V}}_f)$. Thurston's characterization states that, except for a handful of well-studied Euclidean examples, $f$ is combinatorially equivalent to a *postcritically finite* (PCF) rational map – a family of maps which is of great interest in complex dynamics – if and only if it does not admit any *obstructing multicurve* (see @MR1251582). This is established by showing that rational maps equivalent to $f$ amount to fixed points of the associated pullback map $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$, and then studying the fixed points of $\sigma_f$. In this dynamical setting, Corollary \[ell1 corollary\] and Theorem \[degree bound\] mentioned above, together with a careful investigation of the combinatorics of the map $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow {\rm{P}}_f$ in Proposition \[combinatorics\], yield the following: \[main corollary\] Let $f:S^2\rightarrow S^2$ be a Thurston map of degree $d$ with $|{\rm{P}}_f|\geq 4$ for which the derivative of the pullback map $\sigma_f$ vanishes at a point. Then one has $|f^{-1}(p)\cap {\rm{P}}_f|\geq 2$ for any $p\in {\rm{P}}_f-{\rm{V}}_f$. Moreover: $$\label{inequality2} |{\rm{P}}_f|\leq \min\left\{2\,|{\rm{V}}_f|, d+2\right\}.$$ A very special case of having a fixed point is when $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$ is constant. Thurston maps with constant pullback have been of interest in the literature @MR2508269 [@MR2958932; @MRCui; @MR3692494; @MR3456156; @MRArturo; @MR3994789]. The corollary above restricts both the size and the dynamics on the postcritical set for such maps. The lower bound $\ell_2$ for the rank of the pullback can be used to exclude certain Thurston maps from this family, e.g. maps for which the subset of $A=B={\rm{P}}_f$ appearing in is nonvacuous. \[ell2 corollary\] Let $f$ be a Thurston map with $|{\rm{P}}_f|\geq 4$ admitting a strictly preperiodic critical value $v$ which is not in the forward orbit of any other critical value, i.e. $v\notin f({\rm{P}}_f)$. Suppose there is only one critical point lying above $v$, and that critical point is simple. Then the pullback map $\sigma_f$ is not constant. By a trick due to McMullen (@MR2508269), one can obtain examples of maps with constant Thurston pullback through composing maps of lower degrees. An interesting example with constant pullback which cannot be obtained in this manner is a quartic rational map with three critical values introduced in @MRArturo [Appendix D]. We shall utilize our results to investigate if the pullback can be constant for Thurston maps with at most three critical values, or for Thurston maps of degree three. It turns out that if $f$ is *bicritical* (i.e. has only two critical points) or *cubic* (i.e. $\deg f=3$), the pullback map $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$ is not constant except in the dull case of $|{\rm{P}}_f|=3$ where $\dim\mathcal{T}\left(S^2,{\rm{P}}_f\right)=0$. \[bicritical or cubic\] Let $f$ be a Thurston map with at least four postcritical points. The pullback map $\sigma_f$ is not constant if $f$ is bicritical or cubic. For cubic Thurston maps, this result was previously proved by Koch through an extensive study of Hurwitz classes of ramified covers of degree three @MRKoch. Outline. -------- Section 2 is devoted to the background material: §2.1 briefly discusses Thurston's work in the dynamical context which is concerned with Thurston maps $f:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$, and also the more general nondynamical setting of admissible branched covers $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$; §2.2 reviews the literature on branched covers whose associated Thurston pullback map is constant. Our main results, Theorems \[rank bound\] and \[degree bound\], are proved in respectively §3.1 and §3.2 through a careful analysis of the action of the pushforward operator on integrable quadratic differentials. The next subsection, §3.3, establishes numerous corollaries to these theorems, in particular, Corollary \[main corollary\]. Results from §3 are invoked extensively in the final section, §4, to investigate Thurston maps with constant pullback. The section begins by discussing Thurston maps with three critical values and bicritical Thurston maps in §4.1 and §4.2, and culminates with a proof of Theorem \[bicritical or cubic\] in §4.3. Notation and terminology ------------------------ Every branched cover is considered to be orientation-preserving and of degree $d\geq 2$. We often work with ramified covering maps $\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ that are admissible, meaning that each of $A$ and $B$ is of size at least three, and $B$ includes the critical values of the cover. - $f^{\circ n}$: the $n^{\rm{th}}$ iterate of $f$; - $X\hookrightarrow Y$ and $X\stackrel{inc}{\hookrightarrow}Y$: an injection from $X$ to $Y$ and the inclusion map if $X\subseteq Y$; - $S^2$ and $\hat{\Bbb{C}}$: the $2$-sphere and the Riemann sphere $\hat{\Bbb{C}}=\Bbb{C}\cup\{\infty\}$; - $T(z_1,z_2,z_3,z_4)$: the cross-ratio of four pairwise distinct points $z_1,z_2,z_3,z_4$ of $\hat{\Bbb{C}}$ defined as $T(z_1,z_2,z_3,z_4)=\frac{(z_1-z_2)(z_3-z_4)}{(z_1-z_3)(z_2-z_4)}$; - ${\rm{PSL}}_2(\Bbb{C})$: the group of Möbius transformations; - $Q^1\left(\hat{\Bbb{C}}-C\right)$: the space of integrable quadratic differentials on $\hat{\Bbb{C}}-C$, i.e. the space of quadratic differentials with at worst simple poles at points of $C$ and holomorphic elsewhere; - ${\rm{T}}_xM$ (${\rm{T}}^*_xM$): the tangent (resp. cotangent space) of a manifold $M$ at a point $x$; - ${\rm{D}}F(x)$ (${\rm{D}}^*F(x)$): the derivative ${\rm{T}}_xM\rightarrow{\rm{T}}_{F(x)}N$ (resp. the coderivative ${\rm{T}}^*_{F(x)}N\rightarrow{\rm{T}}^*_xM$) of a morphism $F:M\rightarrow N$ of smooth manifolds at a point $x\in M$; - ${\rm{C}}_f$ and ${\rm{V}}_f$: the sets of critical points and critical values (branch points) of a branched cover $f$ respectively ($f({\rm{C}}_f)={\rm{V}}_f$); - ${\rm{P}}_f$: the postcritical set of a Thurston map $f:S^2\rightarrow S^2$ (a branched cover with eventually periodic critical values) defined as $\bigcup_{n\geq 0}f^{\circ n}({\rm{V}}_f)$; - $\mathcal{G}_f$: the functional graph capturing the postcritical dynamics $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow{\rm{P}}_f$ of a Thurston map $f$; the vertices represent elements of ${\rm{P}}_f$ and there is an edge from $p$ to $q$ if $f(p)=q$; - ${\rm{deg}}^+(p)$ (${\rm{deg}}^-(p)$): the outdegree (resp. indegree) of a vertex $p$ of a directed graph; - ${\rm{Deck}}(f)$: the group of deck transformations of a branched cover $f$; - ${\rm{mult}}_{p}(f)$: the multiplicity with which $f$ attains the value $f(p)$ at $p$; - $\mathcal{T}\left(S^2,C\right)$: the Teichmüller space modeled on the marked sphere $\left(S^2,C\right)$; - $\mathcal{M}_{0,C}$: the moduli space of genus zero Riemann surfaces marked by $\left(S^2,C\right)$; that is, the space of injections $i:C\hookrightarrow\hat{\Bbb{C}}$ modulo postcomposition by Möbius transformations; - $\sigma_f$: the Thurston pullback map $\mathcal{T}\left(S^2,B\right)\rightarrow\mathcal{T}\left(S^2,A\right)$ (resp. $\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$) induced by $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ (resp. by a Thurston map $\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$); - $\mathcal{W}_f$: the Hurwitz space associated with a branched cover $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ (cf. §2.1); - $\ell_1$ and $\ell_2$: quantities associated with a branched cover $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ as in and ; - $P\oplus Q$: the sum of points $P$ and $Q$ of an elliptic curve. Preliminaries and known results =============================== This section begins with a brief discussion on Thurston's theorem on topological characterization of rational maps which is contingent on a careful analysis of the corresponding pullback map between Teichmüller spaces. The second subsection reviews some known results on branched covers with constant pullback and compares them with our results in §4. The Thurston pullback map ------------------------- Let $f:S^2\rightarrow S^2$ be a Thurston map, an orientation-preserving branched cover whose critical values are preperiodic. We denote its set of critical values by ${\rm{V}}_f$ and its postcritical set $\bigcup_{n\geq 0}f^{\circ n}({\rm{V}}_f)$ by ${\rm{P}}_f$. Given an orientation-preserving homeomorphism $\phi:S^2\rightarrow\hat{\Bbb{C}}$, one can pullback the complex structure of $\hat{\Bbb{C}}$ first via $\phi$ and then via the branched cover $f:S^2\rightarrow S^2$. The resulting complex structure on the domain of $f$ can be uniformized by a suitable orientation-preserving homeomorphism $\phi':S^2\rightarrow\hat{\Bbb{C}}$, thus the commutative diagram $$\label{diagram1} \xymatrixcolsep{4pc}\xymatrix{\left(S^2,{\rm{P}}_f\right)\ar[r]^{\phi'}\ar[d]_f &\left(\hat{\Bbb{C}},\phi'\left({\rm{P}}_f\right)\right)\ar[d]^g\\ \left(S^2,{\rm{P}}_f\right)\ar[r]_\phi &\left(\hat{\Bbb{C}},\phi\left({\rm{P}}_f\right)\right)}$$ in which $g:\hat{\Bbb{C}}\rightarrow\hat{\Bbb{C}}$ is holomorphic, i.e. a rational map. Perturbing the marked homeomorphism $\phi:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(\hat{\Bbb{C}},\phi\left({\rm{P}}_f\right)\right)$ within its isotopy class does not change the isotopy class of the homeomorphism $\phi':\left(S^2,{\rm{P}}_f\right)\rightarrow\left(\hat{\Bbb{C}},\phi'\left({\rm{P}}_f\right)\right)$ due to the homotopy lifting property. Therefore, by the construction above, the branched cover $f:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$ induces a holomorphic map $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$ through the assignment $[\phi]\mapsto[\phi']$. We call this the Thurston pullback map associated with the cover. Thurston's theorem elucidates when $f$ is *Thurston equivalent* to a rational map, meaning that $f$ fits in a diagram such as in which homeomorphisms $\phi,\phi':S^2\rightarrow\hat{\Bbb{C}}$ agree on ${\rm{P}}_f$ and are isotopic through homeomorphisms agreeing on ${\rm{P}}_f$. This requires the rational map $g$ from to be postcritically finite; and in terms of the pullback map, it amounts to $[\phi]=[\phi']$ being a fixed point of $\sigma_f$. \[@MR1251582\] Let $f$ be a Thurston map with hyperbolic orbifold. Then $f$ is equivalent to a PCF rational map if and only if for any $f$-stable multicurve $\Gamma$ the Thurston eigenvalue $\lambda_\Gamma$ is smaller than $1$. Moreover, if $f$ is equivalent to a PCF rational map, such a map is unique up to Möbius conjugation (Thurston rigidity). Here, an *$f$-stable multicurve* $\Gamma$ is a finite collection $\{\gamma_1,\dots,\gamma_n\}$ of disjoint nonhomotopic simple closed curves in $S^2-{\rm{P}}_f$ which are not peripheral (i.e. each component $S^2-\gamma_i$ contains at least two points of ${\rm{P}}_f$); and every nonperipheral component of $f^{-1}(\gamma_i)$ is homotopic to an element of $\Gamma$ relative to ${\rm{P}}_f$. The *Thurston eigenvalue* $\lambda_\Gamma$ then denotes the leading eigenvalue of a linear map $f_\Gamma:\Bbb{R}^\Gamma\rightarrow\Bbb{R}^\Gamma$ defined as $$f_\Gamma(\gamma)=\sum_{\delta\in\Gamma}\left(\sum_{\eta\text{ a component of } f^{-1}(\gamma) \text{ homotopic to } \delta \text{ rel. } P_f } \left(\frac{1}{\deg(f\restriction_\eta:\eta\rightarrow\gamma)}\right)\right)\delta.$$ Finally, the hyperbolicity condition for the orbifold of $f$ is to rule out certain well-known Euclidean examples such as *Lattès maps* (see @MR1251582 [§9] for nonhyperbolic cases). In a more general point of view adapted in @MR2508269 [@MR3107522], one divorces the domain and codomain and considers orientation-preserving branched covers $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ instead of Thurston maps. As mentioned before, we always take $f$ to be admissible; namely, $B\supseteq {\rm{V}}_f$ (so that the homotopy lifting property holds), and finite sets $A$ and $B$ each have at least three elements (so that $S^2-A$, $S^2-B$ are hyperbolic). Now commutative diagram should be replaced with , and the pullback map would be in the form of $\sigma_f:\mathcal{T}\left(S^2,B\right)\rightarrow\mathcal{T}\left(S^2,A\right)$. It is hard to describe a Thurston pullback map $\sigma_f$ since it is a transcendental object. Article @MR2508269 provides examples of Thurston maps $f$ for which $\sigma_f$ is a Galois ramified cover or an unramified cover onto a dense open subset. This is based on the work of Koch which shows that the transcendental map $\sigma_f$ descends to an algebraic correspondence on the level of moduli spaces @MR3107522. To elaborate, let $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ be an admissible cover. Then $\sigma_f$ fits in a commutative diagram such as $$\label{correspondence} \xymatrix{\mathcal{T}\left(S^2,B\right)\ar[dd]_{\pi_B} \ar[rd]^{\omega_f} \ar[rr]^{\sigma_f}& &\mathcal{T}\left(S^2,A\right)\ar[dd]^{\pi_A}\\ &\mathcal{W}_f \ar[ld]^{\rho_B}\ar[rd]_{\rho_A}&\\ \mathcal{M}_{0,B} & &\mathcal{M}_{0,A}}$$ where - $\mathcal{W}_f$ is the *Hurwitz space* of $f$; each point of $\mathcal{W}_f$ is a rational map $g:\hat{\Bbb{C}}\rightarrow\hat{\Bbb{C}}$ which (as a marked branched cover) is *Hurwitz equivalent* to $f:S^2\rightarrow S^2$, and is considered modulo conformal changes of coordinates in domain and codomain. In other words, a diagram such as commutes. - A point of $\mathcal{W}_f$ determined by a rational map $g$ Hurwitz equivalent to $f$ as in is sent by $\rho_A$ and $\rho_B$ to classes of injections $A\hookrightarrow\hat{\Bbb{C}}$ and $B\hookrightarrow\hat{\Bbb{C}}$ determined by the rows of . - $\omega_f:\mathcal{T}\left(S^2,B\right)\rightarrow\mathcal{W}_f$ and $\rho_B:\mathcal{W}_f\rightarrow\mathcal{M}_{0,B}$ are unramified covering maps (hence surjective) and the latter is finite @MR3107522 [Theorem 2.6]. All in all, $\mathcal{W}_f:=\rho_A\circ\rho_B^{-1}:\mathcal{M}_{0,B}\rightrightarrows\mathcal{M}_{0,A}$ is a multi-valued algebraic map – a correspondence. One interesting case, discussed in @MR3107522 [§3], is when $\rho_A$ is injective and $\sigma_f$ induces a moduli space map $\mathcal{W}_f^{-1}:\mathcal{M}_{0,A}\dashrightarrow\mathcal{M}_{0,B}$ in the opposite direction. The other extreme is when $\rho_A$ is constant which is equivalent to the constancy of $\sigma_f$. Article @MR2508269 also provides examples of Thurston maps $f$ (where $A=B={\rm{P}}_f$) for which $\sigma_f$ is constant. We shall review some known results regarding such maps in the next subsection. The case of constant pullback ----------------------------- A characterization of covers $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ with $\sigma_f$ constant in terms of various objects associated with $f$ can be found in @MR3456156 [Theorem 5.1] (the result originally appeared in @MR2508269). In particular, $\sigma_f$ is constant if and only if for all simple closed curves $\gamma\subset S^2-B$ any component of $f^{-1}(\gamma)\subset S^2-A$ is either nullhomotopic or peripheral. Alternatively, one can construct Thurston maps of low rank by a composition trick due to McMullen (@MR2508269): If $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ is factored through $(S^2,C)$, then the pullback map $\sigma_f:\mathcal{T}\left(S^2,B\right)\rightarrow\mathcal{T}\left(S^2,A\right)$ factors through $\mathcal{T}\left(S^2,C\right)$, hence ${\rm{rank}}\, {\rm{D}}\sigma_f\leq |C|-3$. In particular, $\sigma_f$ is constant if $|C|=3$. It is possible to find such examples in the dynamical context too; see @MR2508269 for details. Nevertheless, there is an example of a Thurston map of degree four with constant pullback which cannot be obtained this way @MRArturo [Appendix D]. In §4.1, we shall discuss this example and some possible generalizations of it. It is an open question if the pullback can be constant for a Thurston map of a prime degree @2021arXiv210212402P. The question of constancy of the pullback can be furthermore considered for *nearly Euclidean Thurston* (NET) maps, which is a very well-studied family @MR2958932 [@MR3692494]. A Thurston map $f$ is a NET map if $|{\rm{P}}_f|=4$ and every critical point of $f$ is simple (nondegenerate). See @MR3692494 [Theorem 5] for a characterization of NET maps with constant pullback. It is known that there does exist a NET map of degree $d$ with constant pullback if $d>2$ is divisible by $2$ or $9$ (@MR2958932 [Theorem 10.8]) whereas there is no such an example if $d$ is squarefree and odd (@MR2958932 [Theorem 10.12]), or if $d$ is the square or the cube of an odd prime (with certain exceptions), or has no prime divisor less than $13$ (@MR3994789 [Corollaries 4.6 and 4.9 and 4.10]). In particular, it is known that the pullback cannot be constant for any NET map of degree two (more generally, for any Thurston map of degree two; cf. @MRArturo [Appendix B]) or three. Theorem \[bicritical or cubic\] greatly generalizes this by considering all bicritical or cubic Thurston maps (NET or otherwise). The case of cubic Thurston maps can alternatively be addressed by an exhaustive examination of all combinatorial possibilities @MRKoch. Investigating the pushforward operator ====================================== Our main tool for proving Theorems \[rank bound\] and \[degree bound\] is to study the coderivative of the pullback map $\sigma_f:\mathcal{T}\left(S^2,B\right)\rightarrow\mathcal{T}\left(S^2,A\right)$ induced by an admissible cover $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$. Suppose $$\label{points} \sigma_f\left(\tau=\left[\phi:\left(S^2,B\right)\rightarrow \left(\hat{\Bbb{C}},\phi(B)\right)\right]\right) =\left[\phi':\left(S^2,A\right)\rightarrow \left(\hat{\Bbb{C}},\phi'(A)\right)\right]$$ where $\phi$ and $\phi'$ fit in the commutative diagram for an appropriate rational map $g$. Recall that the cotangent spaces to $\mathcal{T}\left(S^2,A\right)$ and $\mathcal{T}\left(S^2,B\right)$ at $\tau'=[\phi']$ and $\tau=[\phi]$ can be respectively identified with the spaces $Q^1\left(\hat{\Bbb{C}}-\phi'(A)\right)$ and $Q^1\left(\hat{\Bbb{C}}-\phi(B)\right)$ of integrable quadratic differentials. In that case, the coderivative ${\rm{D}}^*\sigma_f(\tau)$ is the pushforward map $g_*$ acting on quadratic differentials: $$\label{pushforward} \begin{cases} g_*:Q^1\left(\hat{\Bbb{C}}-\phi'(A)\right)\rightarrow Q^1\left(\hat{\Bbb{C}}-\phi(B)\right)\\ q(z)\,{\rm{d}}z^2\mapsto \left[\mathlarger{\sum}_{w\in g^{-1}(z)}q(w)\left(\frac{1}{g'(w)}\right)^2\right]\,{\rm{d}}z^2. \end{cases}$$ See @MR1251582 [§3] for more details on the derivative of $\sigma_f$, and consult @MR2245223 [@MR3675959] for the necessary background from Teichmüller theory. Proof of Theorem \[rank bound\] ------------------------------- \[Proof of Theorem \[rank bound\]\] Notation as above, assuming that $\sigma_f$ takes $\tau=[\phi]$ to $\tau'=[\phi']$ as in where $f$ and the representatives $\phi$ and $\phi'$ make the diagram commutative for an appropriate rational function $g$, we identify ${\rm{D}}^*\sigma_f(\tau):{\rm{T}}^*_{\tau'}\mathcal{T}\left(S^2,A\right)\rightarrow{\rm{T}}^*_{\tau}\mathcal{T}\left(S^2,B\right)$ with the pushforward map $g_*:Q^1\left(\hat{\Bbb{C}}-\phi'(A)\right)\rightarrow Q^1\left(\hat{\Bbb{C}}-\phi(B)\right)$ from . The spaces $Q^1\left(\hat{\Bbb{C}}-\phi'(A)\right)$ and $Q^1\left(\hat{\Bbb{C}}-\phi(B)\right)$ of integrable quadratic differentials are of dimensions $|A|-3$ and $|B|-3$ respectively. Without any loss of generality, we may pick the representatives $\phi$ and $\phi'$ of the Teichmüller points $\tau$ and $\tau'$ such that $\phi'(A),\phi(B)\subset\Bbb{C}$. Denote $\dim\, \ker{\rm{D}}^*\sigma_f(\tau)$ by $k$. If $k=0$, then $${\rm{rank}}\, D^*\sigma_f(\tau)={\rm{rank}}\, D\sigma_f(\tau)=\dim\, \mathcal{T}\left(S^2,A\right)=|A|-3,$$ and inequality clearly holds. So suppose $\{q_1(z)\,{\rm{d}}z^2,\dots,q_k(z)\,{\rm{d}}z^2\}$ is a basis for $\ker g_*$ where $q_1(z),\dots,q_k(z)$ are linearly independent rational functions on $\hat{\Bbb{C}}$. Denote the set of poles of quadratic differentials $q_j(z)\,{\rm{d}}z^2\, (1\leq j\leq k)$ by $X:=\{u_1,\dots,u_n\}\subseteq\phi'(A)$ where $u_i$'s are distinct complex numbers, and neither of them is a pole of $g$. Notice that we should have $n\geq 4$ because any integrable quadratic differential has at least four poles.\ Each $q_j(z)\,{\rm{d}}z^2$ can be written as $$\frac{p_j(z)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2$$ where $p_j(z)$ is a polynomial with $\deg p_j\leq n-4$ (since otherwise there would be a pole at infinity). Let $c_*$ be a simple critical point of $g$ such that all other points of $g^{-1}(g(c_*))$ are regular, and this fiber does not intersect $\phi'(A)$. We shall show that any quadratic differentials $q_j(z)\,{\rm{d}}z^2$ should vanish at $c_*$. Let us first see what implication this would have for the rank. The set of critical points $c_*$ with the property mentioned above is the image under $\phi'$ of the subset below appearing in , i.e. $$\left\{c\in S^2-A \,\Bigg|\, \begin{array}{l} c \text{ is a } \text{simple critical point of } f \text{ with } f^{-1}(f(c))\cap A=\emptyset\\ \text{and no other point of } f^{-1}(f(c))\text{ is critical}. \end{array} \right\}$$ where $c_*=\phi'(c)$. The size of this set is denoted by $\ell_2$ in . Therefore, the aforementioned claim requires polynomials $p_1(z),\dots,p_k(z)$ to vanish on a set of size $\ell_2$. The dimension of the space of polynomials of degree at most $n-4$ that vanish on a set of size $\ell_2$ is $n-3-\ell_2$ (if $c_*=\infty$, then $\deg p_j\leq n-4$ must be replaced with $\deg p_j\leq n-5$). We deduce that $$\label{auxiliary3} {\rm{rank}}\, D\sigma_f(\tau)={\rm{rank}}\, D^*\sigma_f(\tau)=|A|-3-k\geq (|A|-n)+\ell_2.$$ The other part of the proof is to bound $n$ from above by showing that $$\label{auxiliary4} n\leq \left|\left\{a\in A\mid a \text{ is in a critical fiber or }|A\cap f^{-1}(f(a))|>1\right\}\right|.$$ Substituting in , this would yield the desired lower bound for the rank: $$\begin{split} {\rm{rank}}\, D\sigma_f(\tau) &\geq\left(|A|-\left|\left\{a\in A\mid a \text{ is in a critical fiber or }|A\cap f^{-1}(f(a))|>1\right\}\right|\right)+\ell_2\\ &=\left|\left\{a\in A\mid a \text{ is not in a critical fiber and }|A\cap f^{-1}(f(a))|=1\right\}\right|+\ell_2\\ &=\left|\{b\in B\mid b \text{ is not a critical value of } f \text{ and } |A\cap f^{-1}(b)|=1\}\right|+\ell_2\\ &=\ell_1+\ell_2. \end{split}$$ To conclude the proof, we first establish and then the claim made on $c_*$.\ Inequality will be obtained by investigating $X=\{u_1,\dots,u_n\}$. Each element $u_i$ of this set should occur as a pole of one of quadratic differentials $$\label{differentials} q_1(z)\,{\rm{d}}z^2=\frac{p_1(z)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2,\dots, q_k(z)\,{\rm{d}}z^2=\frac{p_k(z)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2.$$ Thus one of polynomials $p_1(z),\dots,p_m(z)$ must be nonzero at $u_i$, i.e. these polynomials do not simultaneously vanish at any point from $X=\{u_1,\dots,u_n\}$. Hence one can pick a polynomial $p(z)$ belonging to ${\rm{Span}}\{p_1(z),\dots,p_n(z)\}$ which is nonzero at every element of $X$. Now the quadratic differential $$\label{differential} q(z)\,{\rm{d}}z^2:=\frac{p(z)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2$$ has $X$ as the set of its (simple) poles, and also lies in $\ker g_*$. So we should have $$\label{pushzero} \mathlarger{\sum}_{w\in g^{-1}(z)}\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2=0\quad \forall z.$$ The key point is to notice that since the sum is identically zero, if a summand tends to infinity, some other summand must blow up as well. Fix an $i_*\in\{1,\dots,n\}$. As $z\to g(u_{i_*})$, one has $w=g^{-1}(z)\to u_{i_*}$ for an appropriate branch of $g^{-1}$; the corresponding summand $\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2$ thus tends to infinity. (Keep in mind that $p(u_{i_*})\neq 0$, and $u_{i_*}\in\Bbb{C}$ is not a pole of $g$ (and hence $g'$).) Thus there should also be another branch $w=g^{-1}(z)$ for which $\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2\to\infty$ as $z\to g(u_{i_*})$. If $w=g^{-1}(z)\to u_{i_*}$ for this branch too, then $u_{i_*}$ must be a critical point of $g$, and the term $g'(w)$ in the denominator tends to $0$. Now suppose $g(u_{i_*})$ is not a critical value of $g$. Then, as $z\to g(u_{i_*})$, this other branch $w=g^{-1}(z)$ should tend to a point of the fiber $g^{-1}(g(u_{i_*}))$ different from $u_{i_*}$, and $g'$ is nonzero at that limit. Consequently, the limit of $w=g^{-1}(z)$ should be another point of $X=\{u_1,\dots,u_n\}$ different from $u_{i_*}$ since otherwise $\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2$ cannot blow up as $z\to g(u_{i_*})$. But then the value of $g$ at that point coincides with $g(u_{i_*})$. We conclude that: Each point of $X$ either lies above a critical value of $g$, or the fiber of $g$ it belongs to contains more than one element of $X$. Pulling back via homeomorphisms $\phi$ and $\phi'$, we obtain the subset $X':=\phi'^{-1}(X)\subseteq A$ of the same size $n$ which satisfies a similar property: For any $a\in X'$, either $f(a)\in B$ is a critical value of $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$, or $A\cap f^{-1}(f(a))$ has more than one element. Inequality then follows.\ We finally turn into the claim made about the critical point $c_*$: If ${\rm{mult}}_{c_*}(g)=2$, and the multiplicity of any other point above $v_*:=g(c_*)$ is $1$, and no point above $v_*$ lies in $A$, then all elements of the basis for $\ker g_*$ must vanish at $c_*$. There is no loss of generality in assuming that $v_*\neq\infty$ and $\infty\notin g^{-1}(v_*)$. Aiming for a contradiction, suppose one of the polynomials $p_j$ is nonzero at $c_*\in\Bbb{C}$. Repeating the argument used before, one can pick a polynomial $p(z)\in{\rm{Span}}\{p_1(z),\dots,p_n(z)\}$ that, aside from elements of $X=\{u_1,\dots,u_m\}$, is nonzero at $c_*$ too. We shall again work with the quadratic differential $\frac{p(z)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2$ from that belongs to $\ker g_*$, so is satisfied. We next rewrite the sum . Let $V$ be a small open subset around $v_*\in\Bbb{C}$ whose preimage $g^{-1}(V)$ may be written as a union of disjoint open sets $U_1,\dots,U_r$ such that each $U_j$ contains exactly one element of $g^{-1}(v_*)$. Show the unique element of $U_j\cap g^{-1}(v_*)$ as $c_{*j}\in\Bbb{C}$. By shrinking $V$ if necessary, in a suitable coordinate system, $g\restriction_{U_j}:U_j\rightarrow V$ is in the form of $\tilde{w}\mapsto \tilde{w}^{m_j}$ where $m_j:={\rm{mult}}_{c_{*j}}(g)$. We then have: $$\label{sum} 0=\mathlarger{\sum}_{w\in g^{-1}(z)}\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2 =\mathlarger{\sum}_{j=1}^r \mathlarger{\sum}_{w\in g^{-1}(z)\cap U_j}\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2 \quad\forall z\in V.$$ As $z\to v_*\in\Bbb{C}$, in , the points $w$ lying in $g^{-1}(z)\cap U_j$ tend to $c_{*j}\in\Bbb{C}$ along $m_j$ different branches of $g^{-1}$. The corresponding sum $\mathlarger{\sum}_{w\in g^{-1}(z)\cap U_j}\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2$ can blow up only if $c_{*j}$ is a critical point or is one of the $u_i$'s. Terms $p(w)$ in numerators remain bounded; so one should discuss the growth rate of $\mathlarger{\sum}_{w\in g^{-1}(z)\cap U_j}\frac{1}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2$ as $z$ approaches $v_*$. Lemma \[technical\] below investigates the growth rate of this fraction as $z$ approaches $v_*$ along a line segment, i.e. $z=t+v_*\to v_*$ where $t\to 0^+$. Given that $p(c_*)\neq 0$, the lemma implies that when $c_{*j}$ is the critical point $c_*\in \Bbb{C}-\{u_1,\dots,u_m\}$, the sum $\mathlarger{\sum}_{w\in g^{-1}(z)\cap U_j}\frac{p(w)}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2$ is $\frac{C}{t}+O(1)$ as $t\to 0^+$ for some nonzero constant $C$. All other points $c_{*j}$ are regular and outside $\phi'(A)\supseteq X=\{u_1,\dots,u_m\}$; therefore, their corresponding sums are $O(1)$. In summary, as $z=t+v_*\to v_*$, among the $r$ summations appearing on the right-hand side of , there is a single one which is $\frac{C}{t}+O(1)$ while the rest are bounded. This is absurd because they should add up to zero. Here is the lemma used in the proof above: \[technical\] Let $g:\hat{\Bbb{C}}\rightarrow\hat{\Bbb{C}}$ be a rational map. Suppose $v_*$ is a complex number, and $c_*\in\hat{\Bbb{C}}$ is a simple critical point above $v_*$. Take $U$ to be an open subset that intersects $g^{-1}(v_*)$ only at $c_*$. Assume that we are tending to $v_*$ along the line segment $$\label{path} \mathbf{r}(t):=t+v_*;$$ and take $X$ to be $\{u_1,\dots,u_n\}$ where $u_1,\dots,u_n$ are pairwise distinct complex numbers different from $c_*$. Then, as $t\to 0^+$, $$\label{local sum} \mathlarger{\sum}_{w\in U,\, g(w)=\mathbf{r}(t)}\frac{1}{\prod_{i=1}^n (w-u_i)}\left(\frac{1}{g'(w)}\right)^2 =\frac{C}{t}+O(1)$$ where $C:=\frac{1}{\prod_{i=1}^n (c_*-u_i)}\frac{1}{g''(c_*)}$ is a nonzero constant. The local behavior of $g$ near $c_*$ can be described as $\tilde{w}\mapsto \tilde{w}^2$ in appropriate coordinate systems. In other words, by shrinking $U$ if necessary, one can find a complex chart $\eta$ on $U$ with $\eta(c_*)=0$ so that $$\label{normal form} g(w)=\left(\eta(w)\right)^2+v_*\quad \forall w\in U.$$ The curve $\mathbf{r}$ from lifts to two curves in $U$ passing through $g^{-1}(v_*)\cap U=\{c_*\}$. They can be described as $$\label{paths} t\mapsto\eta^{-1}\left(\pm\sqrt{t}\right)\quad t\geq 0.$$ Substituting in , one needs to analyze $$\label{local sum'} \begin{split} &\mathlarger{\sum}_{j=0}^{1}\,\frac{1} {\prod_{i=1}^n \left(\eta^{-1}\left((-1)^j\sqrt{t}\right)-u_i\right)} \left(\frac{1}{2\,\eta'\left(\eta^{-1}\left((-1)^j\sqrt{t}\right)\right) \eta\left(\eta^{-1}\left((-1)^j\sqrt{t}\right)\right)}\right)^2\\ &=\left[\frac{1}{\prod_{i=1}^n \left(\eta^{-1}(\sqrt{t})-u_i\right)}\frac{1}{4\,\left(\eta'\left(\eta^{-1}\left(\sqrt{t}\right)\right)\right)^2} +\frac{1}{\prod_{i=1}^n \left(\eta^{-1}(-\sqrt{t})-u_i\right)}\frac{1}{4\,\left(\eta'\left(\eta^{-1}\left(-\sqrt{t}\right)\right)\right)^2}\right]\frac{1}{t} \end{split}$$ as $t\to 0^+$. The term in brackets is continuous at $t=0$ (the point at which $\eta^{-1}=c_*$) and tends to $$\label{C} C:=\frac{1}{\prod_{i=1}^n (c_*-u_i)}\frac{1}{2\left(\eta'(c_*)\right)^2}\neq 0$$ which is finite and nonzero (recall that $c_*\notin\{u_1,\dots,u_n\}$). We conclude that goes to infinity like $$\left(C+O(t)\right)\frac{1}{t}=\frac{C}{t}+O(1).$$ The constant $C$ above is the desired one because differentiating along with $\eta(c_*)=0$ yield $2\left(\eta'(c_*)\right)^2=g''(c_*)\neq 0$. Possible poles of the pushforward of an integrable quadratic differential $q(z)\,{\rm{d}}z^2$ by a rational map $g$ are critical values of $g$ or the images of poles of $q(z)\,{\rm{d}}z^2$ under $g$. In Lemma \[technical\], the assumption on the nondegeneracy of the critical point is to ensure that the pushforward admits a pole. There does not seem to be any easy formulation of the lemma for degenerate critical points. Indeed, in local coordinates and in terms of Laurent series, the pushforward of $\left(\sum_{k=-1}^\infty a_k\tilde{w}^k\right)\,{\rm{d}}\tilde{w}^2$ by $\tilde{w}\mapsto\tilde{w}^m$ is given by $\left(\sum_{j=-1}^\infty\frac{a_{m(j+2)-2}}{m}\tilde{w}^{j}\right)\,{\rm{d}}\tilde{w}^2$. For this pushforward to have a pole, the coefficient $a_{m-2}$ should be nonzero. This has a global interpretation in terms of the original quadratic differential only when $m=2$: In that case, one can just require the differential to be holomorphic and nonzero at the point under consideration (i.e. $a_{-1}=0$ and $a_{0}\neq 0$). Proof of Theorem \[degree bound\] --------------------------------- \[Proof of Theorem \[degree bound\]\] We first obtain the inequality $|A|\leq d+2$. Similar to the beginning of the proof of Theorem \[rank bound\], we have $$\sigma_f\left(\tau=\left[\phi:\left(S^2,B\right)\rightarrow \left(\hat{\Bbb{C}},\phi(B)\right)\right]\right) =\left[\phi':\left(S^2,A\right)\rightarrow \left(\hat{\Bbb{C}},\phi'(A)\right)\right]$$ which yields the commutative diagram . The coderivative ${\rm{D}}^*\sigma_f(\tau)$, identified with the pushforward map $g_*:Q^1\left(\hat{\Bbb{C}}-\phi'(A)\right)\rightarrow Q^1\left(\hat{\Bbb{C}}-\phi(B)\right)$ as before, is identically zero. The key idea is to focus on the action of $g_*$ on those integrable quadratic differentials which have exactly four poles. Without any loss of generality, we may assume $\infty\in\phi'(A)$. Write the points in $\phi'(A)$ as $\phi'(A)=\{u_1,\dots,u_n,\infty\}$ where $u_i$'s are distinct points in $\Bbb{C}$ and $n:=|A|-1\geq 3$ (there is nothing to prove when $|A|=3$). A quadratic differential with at worst simple poles at the points of $\phi'(A)$ is of the form $\frac{p(z)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2$ where $p$ is a polynomial of degree not greater than $n-3$ (a larger degree causes a pole of higher order at infinity). One can take $p$ to be a polynomial which has $n-3$ of the points $u_1,\dots,u_n$ as its roots to obtain quadratic differentials of the form $\frac{1}{(z-u_r)(z-u_s)(z-u_t)}\,{\rm{d}}z^2$ where $1\leq r<s<t\leq n$. Notice that such quadratic differentials span the cotangent space: $$Q^1\left(\hat{\Bbb{C}}-\phi'(A)\right)={\rm{Span}}\left\{\frac{\prod_{i\in I}(z-u_i)}{\prod_{i=1}^n (z-u_i)}\,{\rm{d}}z^2\right\}_{I\subset \{1,\dots, n\}, |I|=n-3},$$ because $\left\{\prod_{i\in I}(z-u_i)\right\}_{I\subset \{1,\dots, n\}, |I|=n-3}$ spans the vector space of polynomials of degree not greater than $n-3$. We conclude that ${\rm{D}}^*\sigma_f(\tau)=0$ may be rephrased as $g_*\left(\frac{1}{(z-u_r)(z-u_s)(z-u_t)}\,{\rm{d}}z^2\right)=0$ for any $1\leq r<s<t\leq n$. By the definition of $g_*$ from : $$\mathlarger{\sum}_{w\in g^{-1}(z)}\frac{1}{(w-u_r)(w-u_s)(w-u_t)}\left(\frac{1}{g'(w)}\right)^2=0\quad \forall z.$$ Next, set $r=1$, $s=2$ and $t>2$ in the equation above. Let $z_*\in\Bbb{C}-\{g(\infty),g(u_1),\dots,g(u_t)\}$ be a regular value for the rational function $g$ and write the elements of the fiber $g^{-1}(z_*)$ as $\{w_1,\dots,w_d\}$; $w_j$'s are distinct complex numbers not belonging to $\{u_1,\dots,u_n\}$. We then have: $$\label{auxiliary6} \mathlarger{\sum}_{j=1}^d\frac{1}{(w_j-u_1)(w_j-u_2)(w_j-u_t)}\left(\frac{1}{g'(w_j)}\right)^2=0 \quad \forall t\in\{3,\dots,n\}\quad \left(\{w_1,\dots,w_d\}=g^{-1}(z_*)\right).$$ This can be thought of as a homogeneous linear system of equations with $d$ unknowns $$\left(\frac{1}{g'(w_1)}\right)^2,\dots,\left(\frac{1}{g'(w_d)}\right)^2$$ and $n-2$ equations indexed by $t\in\{3,\dots,n\}$. But here the complex numbers $\left(\frac{1}{g'(w_j)}\right)^2\neq 0$ provide a nontrivial solution (keep in mind that $w_j$ is neither a pole nor a critical point). This is possible only if the rank of coefficient matrix $$\left[ \frac{1}{(w_j-u_1)(w_j-u_2)(w_j-u_t)} \right]_{\substack{3\leq t\leq n\\ 1\leq j\leq d}}$$ is smaller than the number of unknowns $d$. But the matrix above – which is of size $(n-2)\times d$ – is full rank; its rank is $m:=\min\{n-2,d\}$. To see this, we just need to show that the minor $$\left[\frac{1}{(w_j-u_1)(w_j-u_2)(w_j-u_t)}\right]_{\substack{3\leq t\leq m+2\\ 1\leq j\leq m}}$$ has nonzero determinant. By taking out the term $\frac{1}{\prod_{j=1}^m(w_j-u_1)\prod_{j=1}^m(w_j-u_2)}$ that appears in every entry of the $j^{\rm{th}}$ column and then using the classical formula for *Cauchy determinants*, we obtain the determinant as $$\begin{split} &\frac{1}{\prod_{j=1}^m(w_j-u_1)\prod_{j=1}^m(w_j-u_2)}.\det\left(\left[\frac{1}{(w_j-u_t)}\right]_{\substack{3\leq t\leq m+2\\ 1\leq j\leq m}}\right)\\ &=\frac{1}{\prod_{j=1}^m(w_j-u_1)\prod_{j=1}^m(w_j-u_2)}.\frac{\prod_{t=4}^{m+2}\prod_{j=1}^{t-3} (w_{t-2}-w_j)(u_{j+2}-u_t)}{\prod_{t=3}^{m+2}\prod_{j=1}^m(w_j-u_t)}. \end{split}$$ This is nonzero since $u_1,u_2,u_3,\dots,u_{m+2},\dots,u_n,w_1,\dots,w_m,\dots,w_d$ are pairwise distinct complex numbers. Consequently, the rank $m$ is equal to $\min\{n-2=|A|-3,d\}$. As mentioned before, this must be smaller than $d$ which concludes the proof of $|A|\leq d+2$.\ We next turn into the second part: $v$ is a critical value of $f$ whose fiber is disjoint from $A$ and does not contain any degenerate critical point. By changing the representative $\phi$ of $\tau$ if necessary, we may assume that $v_*:=\phi(v)\neq \infty$. By the commutative diagram , $v_*\in\Bbb{C}$ is a critical value of $g$, the fiber $g^{-1}(v_*)$ does not intersect $\phi'(A)=\{u_1,\dots,u_n,\infty\}$, and the critical points belonging to $g^{-1}(v_*)$ are all simple. Equation is satisfied for regular values $z_*$ near $v_*$. Suppose $z_*=t+v_*$ where $t\to 0^+$. As $z_*$ tends to $v_*$, elements $w_j$ of $g^{-1}(z_*)$ tend to points in $$g^{-1}(v_*)\subset\hat{\Bbb{C}}-\left(g^{-1}(\infty)\cup\{u_1,\dots,u_n,\infty\}\right).$$ We now invoke Lemma \[technical\]. As $t\to 0^+$, the limit of a $w_j\in g^{-1}(z_*)$ is either a regular point in which case the corresponding summand in is $O(1)$; or that limit is a simple critical point $c_*$ to which two different preimages $w_j=g^{-1}(z_*)$ converge, and the corresponding summands from add up to $$\left(\frac{1}{(c_*-u_1)(c_*-u_2)(c_*-u_t)}\frac{1}{g''(c_*)}\right)\frac{1}{t}+O(1).$$ The sum of coefficients of $\frac{1}{t}$ in Laurent series must be zero: $$\label{auxiliary7} \sum_{c_*\in g^{-1}(v_*)\text{ a critical point}}\frac{1}{(c_*-u_1)(c_*-u_2)(c_*-u_t)}\frac{1}{g''(c_*)}=0 \quad\forall t\in\{3,\dots,n\}.$$ The logic applied to may be repeated: defines a homogeneous linear system with $n-2=|A|-3$ equations and $$\left|g^{-1}(v_*)\cap{\rm{C}}_g\right|=\left|f^{-1}(v)\cap{\rm{C}}_f\right|$$ unknowns. The unknowns $\frac{1}{g''(c_*)}$ are nonzero (keep in mind that $c_*\in\Bbb{C}$ is a simple critical point, and not a pole); and the matrix of coefficients is full rank. Consequently, the number of unknowns must be greater than the number of equations: $$\left|f^{-1}(v)\cap{\rm{C}}_f\right|>|A|-3.$$ This is the desired improved inequality from Theorem \[degree bound\]. If $|B|=3$, then for any admissible branched cover $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ of degree $d$ the associated $\sigma_f$ is constant because $\mathcal{T}\left(S^2,B\right)$ is zero-dimensional. So one should always have $|A|\leq d+2$ according to Theorem \[degree bound\]. This is indeed true since $A\subseteq f^{-1}(B)$, and $|f^{-1}(B)|=d+2$ due to the Riemann-Hurwitz formula. Corollaries of Theorems \[rank bound\] and \[degree bound\] ----------------------------------------------------------- We begin with some immediate corollaries of Theorem \[rank bound\]. The first one was mentioned in §1. \[Proof of Corollary \[ell1 corollary\]\] Assume the contrary. If there exists an element $a$ of $A$ belonging to a regular fiber that intersects $A$ only once, then $\ell_1$ from is positive and therefore, Theorem \[rank bound\] yields ${\rm{rank}}\, {\rm{D}}\sigma_f\geq\min\{\ell_1,|A|-3\}\geq 1$ at all points of $\mathcal{T}\left(S^2,B\right)$; a contradiction. The two corollaries below follow instantly from Theorem \[rank bound\]: \[immersion\] If $f$ has exactly three critical values, $f\restriction_A:A\rightarrow B$ is surjective, and $A$ does not intersect any regular fiber of $f$ at more than one point, then $\sigma_f$ is an immersion. \[submersion\] If $f\restriction_A:A\rightarrow B$ is injective, and $A$ contains at most three points from the critical fibers of $f$, then $\sigma_f$ is a submersion. \[Proofs of Corollaries \[immersion\] and \[submersion\]\] They both follow from ${\rm{rank}}\, {\rm{D}}\sigma_f\geq\min\{\ell_1,|A|-3\}$ with $\ell_1$ as in Theorem \[rank bound\] (see ). In the case of the former corollary, $\ell_1=|B|-3$ and $|A|\geq |B|$; thus, ${\rm{rank}}\, {\rm{D}}\sigma_f\geq |B|-3=\dim\mathcal{T}\left(S^2,B\right)$ at all points. In the case of the latter, $\ell_1\geq |A|-3$; thus, ${\rm{rank}}\, {\rm{D}}\sigma_f\geq |A|-3=\dim\mathcal{T}\left(S^2,A\right)$ at all points. We now turn into the dynamical setting which is concerned with a Thurston map $f:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$ and its associated pullback $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$. \[periodic bound\] Let $f:S^2\rightarrow S^2$ be a Thurston map whose critical values are all periodic, and suppose $f$ admits at least three critical values. Then, at any point $\tau$ of Teichmüller space, one has $${\rm{rank}}\,{\rm{D}}\sigma_f(\tau)\geq |{\rm{P}}_f|-|{\rm{V}}_f|.$$ All critical values of $f$ are periodic if and only if $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow{\rm{P}}_f$ is a bijection. For any $p\in{\rm{P}}_f-{\rm{V}}_f$, the intersection $f^{-1}(p)\cap{\rm{P}}_f$ is of size one. Therefore, $\ell_1$ from is equal to $|{\rm{P}}_f|-|{\rm{V}}_f|$. Theorem \[rank bound\] now implies that $${\rm{rank}}\,{\rm{D}}\sigma_f(\tau)\geq\min\{|{\rm{P}}_f|-|{\rm{V}}_f|,|{\rm{P}}_f|-3\}=|{\rm{P}}_f|-|{\rm{V}}_f|.$$ <span>|p<span>12cm</span>|</span> \ \ The last corollary can be applied to *topological polynomials*; that is, Thurston maps $f:S^2\rightarrow S^2$ that admit a fixed point $p$ with $f^{-1}(p)=p$. \[unicritical\] Let $f$ be a unicritical topological polynomial with $|{\rm{P}}_f|\geq 3$. The pullback map $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$ is a local isomorphism. The Thurston map $f$ admits a totally ramified fixed point, which (in analogy with complex polynomials) we denote by $\infty$, and another critical value $v$ which is eventually periodic. The orbit of $v$ along with $\infty$ comprise the postcritical set ${\rm{P}}_f$. As demonstrated in Table \[Tab:unicritical\], there are two possibilities for $v$: it is either periodic or strictly periodic. In the former case $f^{\circ n}(v)=v$ whereas in the latter $f^{\circ n}(v)=f^{\circ m}(v)$ where $m,n$ are appropriate positive integers with $m>n$. The postcritical set is ${\rm{P}}_f=\left\{v,f(v),\dots,f^{\circ (n-1)}(v),\infty\right\}$ or ${\rm{P}}_f=\left\{v,f(v),\dots,f^{\circ n}(v),\dots,f^{\circ (m-1)}(v),\infty\right\}$ respectively. Thus the number $\ell_1$ (see ) which counts regular values in ${\rm{P}}_f$ that have precisely one preimage in ${\rm{P}}_f$ is at least $|{\rm{P}}_f|-3$; postcritical points without this property are $v,\infty$ in the first situation and $v,f^{\circ m}(v),\infty$ in the second (cf. the portraits from Table \[Tab:unicritical\]). In each of these cases inequality from Theorem \[rank bound\] implies that the rank of $\sigma_f$ is equal to $\dim\mathcal{T}\left(S^2,{\rm{P}}_f\right)=|{\rm{P}}_f|-3$ at every Teichmüller point. The corollary above can also be obtained from the stronger result @MR3107522 [Corollary 5.3] which indicates that for a topological polynomial $f$ the pullback $\sigma_f$ induces a map in the opposite direction on the level of moduli spaces. We next focus on Thurston maps $f:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$ whose associated pullback maps $\sigma_f:\mathcal{T}\left(S^2,{\rm{P}}_f\right)\rightarrow\mathcal{T}\left(S^2,{\rm{P}}_f\right)$ are constant or, more generally, of rank zero at a point. The first corollary we prove follows instantly from Theorem \[rank bound\] whereas the second one requires a combinatorial analysis of $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow {\rm{P}}_f$ which is carried out in Proposition \[combinatorics\]. \[Proof of Corollary \[ell2 corollary\]\] By the hypotheses, $f^{-1}(v)$ does not intersect ${\rm{P}}_f$ and contains exactly one critical point, which is simple. The number $\ell_2$ associated with the branched cover $f:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$ as in is thus positive. Theorem \[rank bound\] then implies that ${\rm{rank}}\, {\rm{D}}\sigma_f\geq\min\{\ell_2,|{\rm{P}}_f|-3\}\geq 1$ globally. \[Proof of Corollary \[main corollary\]\] The inequality $|{\rm{P}}_f|\leq d+2$ already appears Theorem \[degree bound\]. If $p\in {\rm{P}}_f$ is not a critical value, then, being a postcritical point, it must be an iterate of a critical value. Thus it can be written as $f(a)$ for a suitable $a\in {\rm{P}}_f$. Applying Corollary \[ell1 corollary\] to $f:\left(S^2,{\rm{P}}_f\right)\rightarrow\left(S^2,{\rm{P}}_f\right)$ then indicates that $p$ can also be realized as $f(a')$ where $a'\in {\rm{P}}_f-\{a\}$. As such, one needs to show that $|f^{-1}(p)\cap {\rm{P}}_f|\geq 2$ for all $p\in {\rm{P}}_f-{\rm{V}}_f$ results in $|{\rm{P}}_f|\leq 2|{\rm{V}}_f|$. This follows from Proposition \[combinatorics\] below. The preceding proof relies on the next proposition which illuminates the dynamics on ${\rm{P}}_f$. \[combinatorics\] Let $f:S^2\rightarrow S^2$ be a Thurston map. Suppose for any $p\in {\rm{P}}_f- {\rm{V}}_f$ one has $|f^{-1}(p)\cap {\rm{P}}_f|\geq 2$. Then $$\label{inequality2'} |{\rm{P}}_f|\leq 2\,|{\rm{V}}_f|.$$ The equality is achieved if and only if for every critical value $v$ of $f$ - $f^{\circ n}(v)$ is not a critical value of $f$ for any $n\geq 1$; - $\left|f^{-1}\left(f^{\circ n}(v)\right)\cap {\rm{P}}_f\right|=2$ for any $n\geq 1$. ![A connected component $\mathcal{G}'$ of the functional graph $\mathcal{G}_f$ capturing the postcritical dynamics $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow {\rm{P}}_f$ is illustrated at the center. The vertices marked by $v$ correspond to critical values; that is, elements of ${\rm{V}}_f\subseteq{\rm{P}}_f$. The assumption here is that $\sigma_f$ is constant, so the indegree of any vertex not marked by $v$ is at least two due to Corollary \[ell1 corollary\]. As in the proof of Proposition \[combinatorics\], the connected component $\mathcal{G}'$ is the union of a directed cycle $\mathcal{C}$ (i.e. a periodic orbit of $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow {\rm{P}}_f$) and possibly some rooted trees $\mathcal{T}_1,\mathcal{T}_2,...$ whose roots lie on $\mathcal{C}$ (they correspond to those postcritical points that eventually land on the aforementioned periodic orbit after repeated applications of $f$).<span data-label="fig:component"></span>](graph.PNG){width="13cm"} The proof is combinatorial and is based on analyzing the functional graph of $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow {\rm{P}}_f$ which we denote by $\mathcal{G}_f$. This is a finite directed graph whose vertices are points of ${\rm{P}}_f=\bigcup_{n\geq 0}f^{\circ n}({\rm{V}}_f)$ with an arrow from $p$ to $q$ if and only if $f(p)=q$. We mark those vertices that correspond to critical values of $f$ (i.e. elements of ${\rm{V}}_f$) by $v$. The graph $\mathcal{G}_f$ should satisfy the following properties: - The outdegree of each vertex is exactly $1$; - vertices with indegree $0$ are marked by $v$; - if a vertex is not marked by $v$, then its indegree should be larger than $1$. To prove , it suffices to show that in each connected component of $\mathcal{G}_f$, the number of vertices marked by $v$ is at least half the number of vertices in the component. Let $\mathcal{G}'$ be a connected component of $\mathcal{G}_f$. It consists of a periodic orbit of $f\restriction_{{\rm{P}}_f}:{\rm{P}}_f\rightarrow {\rm{P}}_f$ and all the points of ${\rm{P}}_f$ that eventually land on it under iteration. Thus $\mathcal{G}'$ is formed by a directed cycle, and rooted trees whose roots are on this cycle; see Figure \[fig:component\]. Denote the cycle by $\mathcal{C}$ and the trees by $\mathcal{T}_1, \dots, \mathcal{T}_s$. Any vertex of $\mathcal{C}$ which does not correspond to a critical value must have indegree larger than $1$, and thus is the root of one of $\mathcal{T}_1, \dots, \mathcal{T}_s$.\ Next, consider a tree $\mathcal{T}_i$ whose size we denote by $m_i$. The sum of indegrees of vertices of $\mathcal{T}_i$ is $m_i-1$. The indegree of the root – which belongs also to the cycle $\mathcal{C}$ – as a vertex of $\mathcal{T}_i$ is at least one. We deduce that the number of vertices of $\mathcal{T}_i$ which are not the root – i.e. not on $\mathcal{C}$ – and are not marked by $v$ is at most $\frac{m_i-2}{2}$ because, according to the aforementioned properties, the indegree of any such vertex is at least two. Consequently, other than possibly the root of $\mathcal{T}_i$, at least $(m_i-1)-\frac{m_i-2}{2}=\frac{m_i}{2}$ vertices of it are marked with $v$: $$\label{auxiliary1} m_i\leq 2\left(\#\text{vertices in } \mathcal{T}_i-\mathcal{C} \text{ marked by } v\right).$$ Adding these inequalities over $1\leq i\leq s$, on the left $m_1+\dots+m_s$ counts all the vertices of the component $\mathcal{G}'$ except those on the cycle $\mathcal{C}$ that are not the root of any tree: $$\#\text{vertices of } \mathcal{G}'-\#\text{vertices of } \mathcal{C} \text{ with indegree 1}\leq 2\left(\#\text{vertices in } \mathcal{G}'-\mathcal{C} \text{ marked by } v\right).$$ But the vertices of $\mathcal{C}$ with indegree $1$ are definitely marked by $v$. Thus $$\label{auxiliary2} \begin{split} \#\text{vertices of } \mathcal{G}'&\leq \#\text{vertices of } \mathcal{C} \text{ marked by } v+ 2\left(\#\text{vertices in } \mathcal{G}'-\mathcal{C} \text{ marked by } v\right)\\ &\leq 2\left(\#\text{vertices of }\mathcal{G}' \text{ marked by }v\right). \end{split}$$ One has $|{\rm{P}}_f|=2\,|{\rm{V}}_f|$ if and only if in both and the equality is achieved. The latter means that no vertex of a cycle $\mathcal{C}$ of $\mathcal{G}$ is marked by $v$. The former forces each component $\mathcal{G}'$ of $\mathcal{G}$ to be comprised of a number of full binary trees each connected to a cycle via an edge, with the vertices marked by $v$ being precisely the set of leaves of these trees. To elaborate, notice that if we have equality in , then the indegree of the root of $\mathcal{T}_i$ from its other vertices should be $1$; the leaves are precisely the vertices of $\mathcal{T}_i$ marked by $v$; and any other vertex of $\mathcal{T}_i$ (i.e. a vertex which is not a leaf or root) has indegree $2$. In that case, removing the root of each $\mathcal{T}_i$ results in a full binary tree. \[Parry\] Corollary \[main corollary\] provides upper bounds for the size of the postcritical set of a Thurston map with constant pullback in terms of both its degree and the number of its critical values. Sharper bounds are available from unpublished results of Floyd, Parry and Saenz. The arguments therein are of a geometric flavor as opposed to the algebraic/combinatorial nature of techniques employed here. To state those results, suppose $f$ is a Thurston map of degree $d$ whose pullback $\sigma_f$ is constant. Then yields $|P_f|\leq 2|V_f|$. Indeed, it is true that $|P_f|\leq |V_f|+1$ @MRParry1. Moreover, $|P_f|=O(d)$, also implied by , can be replaced with $|P_f|=O\left(\sqrt{d}\right)$ if $f$ is a topological polynomial @MRParry2. \[polynomial\] In the case of topological polynomials, the inequality can be improved as $$\label{inequality2''} |{\rm{P}}_f|\leq 2\left(\#\textit{finite critical values of } f\right) -1.$$ Applications to maps with constant pullback =========================================== Branched covers with three critical values ------------------------------------------ In this subsection, we discuss when for an admissible cover $f:\left(S^2,A\right)\rightarrow\left(S^2,B\right)$ with precisely three critical values the pullback map $\sigma_f$ can be constant. Rational maps with three critical values have been studied extensively because of the celebrated Belyi Theorem @MR697314 [@MR1913596]. We shall utilize the following feature of such rational maps: once the three critical values on the Riemann sphere are prescribed, then, up to precomposition with holomorphic automorphisms, there are only finitely many rational maps with those critical values in any given degree. Indeed, *Belyi maps* – holomorphic maps $\Sigma\rightarrow\hat{\Bbb{C}}$ defined on a compact Riemann surface $\Sigma$ with critical values in $\{0,1,\infty\}$ – can be encoded by discrete objects called *dessins d'enfants*; see @MR2895884 [@MR2036721] for a background on this rich theory. \[Belyi\] Let $f:(S^2,A)\rightarrow (S^2,B)$ be an admissible cover with exactly three critical values satisfying $|A|\geq 4$ and $f(A)\nsubseteq{\rm{V}}_f$, and suppose the associated pullback map $\sigma_f$ is constant. Then $|A\cap f^{-1}({\rm{V}}_f)|<3$. Moreover, if $|A\cap f^{-1}({\rm{V}}_f)|=2$, the branched cover $f:S^2\rightarrow S^2$ admits a nontrivial deck transformation. Finally, if the branched cover $f$ is a rational map $(\hat{\Bbb{C}},A)\rightarrow (\hat{\Bbb{C}},B)$, then for any injection $j:B\hookrightarrow\hat{\Bbb{C}}$, there exists a Möbius transformation $\nu$ that for any $b\in B$ injects $A\cap f^{-1}(b)$ into the fiber $f^{-1}(j(b))$. Suppose $\sigma_f$ is constant. In terms of its Hurwitz correspondence (as discussed in §2.1), this means that in diagram the map $\rho_A$ from $\mathcal{W}_f=\omega_f(\mathcal{H}_f)$ to the moduli space $\mathcal{M}_{0,A}$ is constant. Recall that the Hurwitz space $\mathcal{W}_f$ is the space of orbits of marked rational maps equivalent to $f$ under the pre and postcomposition action of Möbius transformations @MR3107522 [§2]. In other words, $\mathcal{W}_f$ is the quotient of the space of triples $(g,i,j)$ formed by a rational map $g:\hat{\Bbb{C}}\rightarrow\hat{\Bbb{C}}$ of degree $d:=\deg f$ and injections $i:A\hookrightarrow\hat{\Bbb{C}}$, $j:B\hookrightarrow\hat{\Bbb{C}}$ modulo the action $$\label{action} (\alpha,\beta)\cdot(g,i,j):=(\beta\circ g\circ\alpha^{-1},\alpha\circ i,\beta\circ j)$$ of ${\rm{PSL}}_2(\Bbb{C})\times{\rm{PSL}}_2(\Bbb{C})$ where $g$ fits in a diagram such as $$\label{diagram'} \xymatrixcolsep{4pc}\xymatrix{\left(S^2,A\right)\ar[r]^{\phi'}\ar[d]_f &\left(\hat{\Bbb{C}},\phi'(A)\right)\ar[d]^g\\ \left(S^2,B\right)\ar[r]_\phi &\left(\hat{\Bbb{C}},\phi(B)\right).}$$ Then the point $\left[\left(g,i:=\phi'\restriction_A,j:=\phi\restriction_B\right)\right]$ of $\mathcal{W}_f$ is the image of the Teichmüller point $[\phi]\in\mathcal{T}\left(S^2,B\right)$ under $\omega_f$, and $\rho_A$ sends $[(g,i,j)]$ to the moduli point $[i:A\hookrightarrow\hat{\Bbb{C}}]\in\mathcal{M}_{0,A}$. Notice that $j\circ f\restriction_A=g\circ i$ due to the commutative diagram. Let us distinguish a representative $(g_0,i_0,j_0)$ by picking an arbitrary point $[\phi_0]\in\mathcal{T}\left(S^2,B\right)$ that results in a commutative diagram $$\label{diagram''} \xymatrixcolsep{4pc}\xymatrix{\left(S^2,A\right)\ar[r]^{\phi'_0}\ar[d]_f &\left(\hat{\Bbb{C}},\phi'_0(A)\right)\ar[d]^{g_0}\\ \left(S^2,B\right)\ar[r]_{\phi_0} &\left(\hat{\Bbb{C}},\phi_0(B)\right)}$$ where $\sigma_f([\phi_0])=[\phi'_0]$, $i_0:=\phi'_0\restriction_A$ and $j_0:=\phi_0\restriction_B$. Denoting the critical values of $f$ by $b_1,b_2,b_3\in B$, the critical values of $g$ in are $j(b_1),j(b_2),j(b_3)$ while those of the $g_0$ in are $j_0(b_1),j_0(b_2),j_0(b_3)$. One can forgo the postcomposition action by "normalizing" $j=\phi\restriction_B$ so that $j\restriction_{\{b_1,b_2,b_3\}}=j_0\restriction_{\{b_1,b_2,b_3\}}$. But then, the critical values of $g$ from are always $j_0(b_1),j_0(b_2),j_0(b_3)$. Up to precomposition with Möbius transformations, there are only finitely many possibilities for a rational map of degree $d$ which is ramified precisely above $j_0(b_1),j_0(b_2),j_0(b_3)$ because there are only finitely many choices for its monodromy representation. Therefore, the map $[(g,i,j)]\mapsto [g]$ that sends an element of $\mathcal{W}_f$ with a normalized representative $(g,i,j)$ in which $j\restriction_{\{b_1,b_2,b_3\}}=j_0\restriction_{\{b_1,b_2,b_3\}}$ to the class of $g$ modulo precomposition takes values in a finite set. Hence, given the connectedness of $\mathcal{W}_f$, the assignment $[(g,i,j)]\mapsto [g]$ must be constant; thus it merely has $[g_0]$ in its range. We conclude that, in any other normalized representative $[(g,i,j)]$ of a point of $\mathcal{W}_f$, the rational map $g$ can be written as $g_0\circ\alpha$ for a suitable Möbius transformation $\alpha$. Notice that $(g=g_0\circ\alpha,i,j)$ and $(g_0,\alpha\circ i,j)$ are in the same orbit of action . Consequently, every orbit has a representative of the form $(g_0,i,j)$ with $j\restriction_{\{b_1,b_2,b_3\}}=j_0\restriction_{\{b_1,b_2,b_3\}}$. This amounts to identifying $\mathcal{W}_f$ with the quotient of the connected component around $(i_0,j_0)$ of $$\label{normalized} \left\{(i,j)\mid i:A\hookrightarrow\hat{\Bbb{C}} \text{ and } j:B\hookrightarrow\hat{\Bbb{C}} \text{ satisfy } j\circ f\restriction_A=g_0\circ i, \text{ and } j\restriction_{\{b_1,b_2,b_3\}}=j_0\restriction_{\{b_1,b_2,b_3\}}\right\}$$ to an action of ${\rm{Deck}}(g_0)$ given by $\nu\cdot(i,j):=(\nu\circ i, j)$. We should now investigate the constancy of $\rho_A:\mathcal{W}_f\rightarrow\mathcal{M}_{0,A}$. It means that for different pairs $(i,j)$ appearing in the moduli points $[i]\in\mathcal{M}_{0,A}$ are the same. As for the projection to $\mathcal{M}_{0,B}$, it is known that $\rho_B:\mathcal{W}_f\rightarrow\mathcal{M}_{0,B}$ is a finite covering map @MR3107522 [Theorem 2.6]. The surjectivity of $\rho_B$ implies that all possible normalized injections $j:B\hookrightarrow\hat{\Bbb{C}}$ occur in the connected component of that contains $(i_0,j_0)$.\ We now prove the first assertion. The assumptions in imply that for any $a\in A\cap f^{-1}({\rm{V}}_f)=A\cap f^{-1}(\{b_1,b_2,b_3\})$ the point $i(a)$ lies in the finite set $$g_0^{-1}(j_0(f(a)))\subset \text{ critical fibers of } g_0$$ which is independent of $i$. So in the connected component under consideration, $i$ and $i_0$ coincide on the subset $A\cap f^{-1}({\rm{V}}_f)$. But then if $|A\cap f^{-1}({\rm{V}}_f)|\geq 3$, they must coincide as injections since their classes in $\mathcal{M}_{0,A}$ are the same. This is impossible because there exists a point $a\in A-f^{-1}({\rm{V}}_f)$, and if $i(a)=i_0(a)$, then $j(f(a))=g_0(i_0(a))$ hence in injections $j$ that take $f(a)\in B-\{b_1,b_2,b_3\}$ to a point of $\hat{\Bbb{C}}-\{g_0(i_0(a))\}$ cannot occur contradicting the surjectivity of $\rho_B:\mathcal{W}_f\rightarrow\mathcal{M}_{0,B}$.\ Next, suppose the cardinality of $A\cap f^{-1}({\rm{V}}_f)$ is two. Denote its elements by $a_1,a_2$. As mentioned above, $i(a_1)=i_0(a_1)$ and $i(a_2)=i_0(a_2)$. Due to the hypothesis $f(A)\nsubseteq{\rm{V}}_f$, there is a regular value $b_4\in B$ whose fiber intersects $A$. The intersection must have at least two points since otherwise $\sigma_f$ cannot be constant; cf. Corollary \[ell1 corollary\]. Let $a_3$ and $a_4$ be two elements of $A\cap f^{-1}(b_4)$. Then $i_0(a_3)$ and $i_0(a_4)$ lie in the fiber of $g_0$ above $j_0(b_4)$. By the Implicit Function Theorem, if $U$ is a sufficiently small neighborhood of $j_0(b_4)$ in $\hat{\Bbb{C}}$, $i_0(a_3)$ and $i_0(a_4)$ can be continued analytically to $p_1(u)\neq p_2(u)$ that belong to $g_0^{-1}(u)$ for any $u\in U$. We can now continuously perturb $i_0:A\hookrightarrow\hat{\Bbb{C}}$ and $j_0:B\hookrightarrow\hat{\Bbb{C}}$ to two other injections $i:A\hookrightarrow\hat{\Bbb{C}}$ and $j:B\hookrightarrow\hat{\Bbb{C}}$ to obtain another element of $\mathcal{W}_f$: Change $j(b_4)$ to a point $u\in U$ near $j_0(b_4)$, and change $i_0(a_3)$ and $i_0(a_4)$ to elements $p_1(u)$ and $p_2(u)$ that belong to $g_0^{-1}(u)$; $i$ and $j$ agree with respectively $i_0$ and $j_0$ elsewhere. The conditions desired in are clearly satisfied and thus $(i,j)$ determines a point of the Hurwitz space $\mathcal{W}_f$. But then, due to the constancy of $\rho_A:\mathcal{W}_f\rightarrow\mathcal{M}_{0,A}$, the injections $i_0$ and $i$ differ by a Möbius transformation. In particular, the cross-ratio of $$i_0(a_1),i_0(a_2),i_0(a_3),i_0(a_4)$$ is equal to that of $$i(a_1)=i_0(a_1),i(a_2)=i_0(a_2),i(a_3)=p_1(u),i_0(a_4)=p_2(u);$$ that is: $$T\left(i_0(a_1),i_0(a_2),i_0(a_3),i_0(a_4)\right)=T\left(i_0(a_1),i_0(a_2),p_1(u),p_2(u)\right).$$ There exists a Möbius transformation $\nu\neq{\rm{id}}$ dependent only on $i_0(a_1),i_0(a_2),i_0(a_3),i_0(a_4)\in\hat{\Bbb{C}}$ for which $$T\left(i_0(a_1),i_0(a_2),i_0(a_3),i_0(a_4)\right)=T\left(i_0(a_1),i_0(a_2),x,y\right)\Leftrightarrow y=\nu(x).$$ Therefore, for any $u$ from the nonempty open set $U$, the distinct points $p_1(u)$ and $p_2(u)$ of $g_0^{-1}(u)$ are related through $p_2(u)=\nu(p_1(u))$. But $g_0$ is analytic, so we should have $g_0=g_0\circ\nu$, i.e. $\nu$ is a nontrivial deck transformation of $g_0:\hat{\Bbb{C}}\rightarrow\hat{\Bbb{C}}$. This can be pulled back to the nontrivial deck transformation ${\phi'_0}^{-1}\circ\nu\circ\phi'_0$ of $f:S^2\rightarrow S^2$ via the commutative diagram .\ Finally, we shall prove the third assertion. Considering $f$ to be a holomorphic branched cover $(\hat{\Bbb{C}},A)\rightarrow (\hat{\Bbb{C}},B)$, in one can take $\phi$ and $\phi'$ to be identity; thus the distinguished triple $(g_0,i_0,j_0)$ may be taken to be $$\left(g_0:=f,i_0:=A\stackrel{inc}{\hookrightarrow}\hat{\Bbb{C}},j_0:=B\stackrel{inc}{\hookrightarrow}\hat{\Bbb{C}}\right).$$ Consider an arbitrary injection $j:B\hookrightarrow\hat{\Bbb{C}}$. Without any loss of generality, we may assume that $j$ is normalized, i.e. $j\restriction_{\{b_1,b_2,b_3\}}={\rm{id}}$. The moduli point $[j]\in\mathcal{M}_{0,B}$ can be lifted to an element of $\mathcal{W}_f$ via
{'source': 'arXiv_out/2202'}