We establish a version of the Pommerenke-Levin-Yoccoz inequality for the modulus of a polynomial-like restriction of a global polynomial and give two applications. First it is shown that if the modulus of a polynomial-like restriction of an arbitrary polynomial is bounded from below then this forces bounded combinatorics. The second application concerns parameter slices of cubic polynomials given by a non-repelling value of a fixed point multiplier. Namely, the intersection of the main cubioid and the multiplier slice lies in the closure of the principal hyperbolic domain, with only possible exception of queer components.
We study various compactifications of moduli space of Newton maps. Mainly, we focus on GIT compactifiaction and Deligne-Mumford compactification. Then we explore the relations among these compactifications.
The moduli space $\mathrm{rat}_d$ of rational maps in one complex variable of degree $d \ge 2$ has a natural compactification by a projective variety $\overline{\mathrm{rat}}_d$ provided by geometric invariant theory. Given $n \ge 2$, the iteration map $Φ_n : \mathrm{rat}_d \to\mathrm{rat}_{d^n}$, defined by $Φ_n: [f] \mapsto [f^n]$, extends to a rational map $Φ_n : \overline{\mathrm{rat}}_d\dashrightarrow \overline{\mathrm{rat}}_{d^n}$. We characterize the elements of $\overline{\mathrm{rat}}_d$ which lie in the indeterminacy locus of $Φ_n$.
We prove that the earthquake flow is at most polynomially mixing with a degree bounded by a constant depending only on the topology of the surface. In particular it is not exponentially mixing.
Milnor proved that the moduli space ${\rm M}_{d}$ of rational maps of degree $d \geq 2$ has a complex orbifold structure of dimension $2(d-1)$. Let us denote by ${\mathcal S}_{d}$ the singular locus of ${\rm M}_{d}$ and by ${\mathcal B}_{d}$ the branch locus, that is, the equivalence classes of rational maps with non-trivial holomorphic automorphisms. Milnor observed that we may identify ${\rm M}_2$ with ${\mathbb C}^2$ and, within that identification, that ${\mathcal B}_{2}$ is a cubic curve; so ${\mathcal B}_{2}$ is connected and ${\mathcal S}_{2}=\emptyset$. If $d \geq 3$, then ${\mathcal S…
In the family of area-contracting Hénon-like maps with zero topological entropy we show that there are maps with infinitely many moduli of stability. Thus one cannot find all the possible topological types for non-chaotic area-contracting Hénon-like maps in a family with finitely many parameters. A similar result, but for the chaotic maps in the family, became part of the folklore a short time after Hénon used such maps to produce what was soon conjectured to be the first non-hyperbolic strange attractor in $\mathbb{R}^2$. Our proof uses recent results about infinitely renormalisable area-cont…
The moduli space ${\rm M}_{d}$, of complex rational maps of degree $d \geq 2$, is a connected complex orbifold which carries a natural real structure, coming from usual complex conjugation. Its real points are the classes of rational maps admitting antiholomorphic automorphisms. The locus of the real points ${\rm M}_{d}({\mathbb R})$ decomposes as a disjoint union of the loci ${\rm M}_{d}^{\mathbb R}$, consisting of the real rational maps, and ${\mathcal P}_{d}$, consisting of the pseudo-real ones. We obtain that, both ${\rm M}_{d}^{\mathbb R}$ and ${\rm M}_{d}({\mathbb R})$, are connected and…
Let phi: P^1 --> P^1 be a rational map defined over a field K. We construct the moduli space M_d(N) parameterizing conjugacy classes of degree-d maps with a point of formal period N and present an algebraic proof that M_2(N) is geometrically irreducible for N>1. Restricting ourselves to maps phi of arbitrary degree d >= 2 such that the composition h^{-1} phi h = phi for some nontrivial h in PGL_2, we show that the moduli space parameterizing these maps with a point of formal period N is geometrically reducible for infinitely many N.
We consider moduli spaces of dynamical systems of correspondences over the projective line as a generalization of moduli spaces of dynamical systems of endomorphisms on the projective line. We obtain the rationality of the moduli spaces. The rationality of the moduli space of degree $(d,e)$ correspondences is obtained from a representation-theoretic projection to the one for the usual dynamical systems of degree $d+e-1$. We also show that the multiplier maps for the fixed points and the multiplier index theorem (Woods Hole formula) are also reduced through the projection and obtain the reduced…
In this article, we study the topology and bifurcations of the moduli space $\mathcal{M}_3$ of cubic Newton maps. It's a subspace of the moduli space of cubic rational maps, carrying the Riemann orbifold structure $(\mathbb{\widehat{C}}, (2,3,\infty))$. We prove two results: (1). The boundary of the unique unbounded hyperbolic component is a Jordan arc and the boundaries of all other hyperbolic components are Jordan curves. (2).The Head's angle map is surjective and monotone. The fibers of this map are characterized completely. The first result is a moduli space analogue of the first author's …
We construct the moduli space, $M_d$, of degree $d$ rational maps on $\mathbb{P}^1$ in terms of invariants of binary forms. We apply this construction to give explicit invariants and equations for $M_3$. Using classical invariant theory, we give solutions to the following problems: (1) explicitly construct, from a moduli point $P\in M_d(k)$, a rational map $ϕ$ with the given moduli; (2) find a model for $ϕ$ over the field of definition (i.e. explicit descent). We work out the method in detail for the cases $d=2,3$.
We investigate the topology of the space of Möbius conjugacy classes of degree $d$ rational maps on the Riemann sphere. We show that it is rationally acyclic and we compute its fundamental group. As a byproduct, we also obtain the ranks of some higher homotopy groups of the parameter space of degree $d$ rational maps allowing us to extend the previously known range. Moreover, we show that this parameter space is not nilpotent.
Let $k$ be an algebraically closed field of characteristic $0$ and $\mathcal{M}_d$ the moduli space of rational maps on $\mathbb{P}^1$ of degree $d$ over $k$. This paper describes the automorphism loci $A\subset \mathrm{Rat}_d$ and $\mathcal{A}\subset \mathcal{M}_d$ and the singular locus $\mathcal{S}\subset\mathcal{M}_d$. In particular, we determine which groups occur as subgroups of the automorphism group of some $[ϕ]\in\mathcal{M}_d$ for a given $d$ and calculate the dimension of the locus. Next, we prove an analogous theorem to the Rauch-Popp-Oort characterization of singular points on the…
A rational map $ϕ: \mathbb{P}^1 \to \mathbb{P}^1$ along with an ordered list of fixed and critical points is called a totally marked rational map. The space of totally marked degree two rational maps, $Rat^{tm}_2$ can be parametrized by an affine open subset of $(\mathbb{P}^1)^5$. We consider the natural action of $SL_2$ on $Rat^{tm}_2$ induced from the action of $SL_2$ on $(\mathbb{P}^1)^5$ and prove that the quotient space $Rat^{tm}_2/SL_2$ exists as a scheme. The quotient is isomorphic to a Del Pezzo surface with the isomorphism being defined over $\mathbb{Z}[1/2]$.
Let $M_2$ be the space of quadratic rational maps $f:{\bf P}^1\to{\bf P}^1$, modulo the action by conjugation of the group of Möbius transformations. In this paper a compactification $X$ of $M_2$ is defined, as a modification of Milnor's $\bar{M}_2\iso{\bf CP}^2$, by choosing representatives of a conjugacy class $[f]\in M_2$ such that the measure of maximal entropy of $f$ has conformal barycenter at the origin in ${\bf R}^3$, and taking the closure in the space of probability measures. It is shown that $X$ is the smallest compactification of $M_2$ such that all iterate maps $[f]\mapsto [f^n]\i…
We establish an implication between two long-standing open problems in complex dynamics. The roots of the $n$-th Gleason polynomial $G_n\in\mathbb{Q}[c]$ comprise the $0$-dimensional moduli space of quadratic polynomials with an $n$-periodic critical point. $\mathrm{Per}_n(0)$ is the $1$-dimensional moduli space of quadratic rational maps on $\mathbb{P}^1$ with an $n$-periodic critical point. We show that if $G_n$ is irreducible over $\mathbb{Q}$, then $\mathrm{Per}_n(0)$ is irreducible over $\mathbb{C}$. To do this, we exhibit a $\mathbb{Q}$-rational smooth point on a projective completion of…
Let $p \geq 2$ be a prime number and let $\mathbb{C}_p$ be the completion of an algebraic closure of the $p$-adic rational field $\mathbb{Q}_p$. Let $f_c(z)$ be a one-parameter family of rational functions of degree $d\geq 2$, where the coefficients are meromorphic functions defined at all parameters $c$ in some open disk $D\subseteq\mathbb{C}_p$. Assuming an appropriate stability condition, we prove that the parameters $c$ for which $f_c$ is postcritically finite (PCF) are isolated from one another in the $p$-adic disk $D$, except in certain trivial cases. In particular, all PCF parameters of…
We consider the family $\mathrm{MC}_d$ of monic centered polynomials of one complex variable with degree $d \geq 2$, and study the map $\widehatΦ_d:\mathrm{MC}_d\to \widetildeΛ_d \subset \mathbb{C}^d / \mathfrak{S}_d$ which maps each $f \in \mathrm{MC}_d$ to its unordered collection of fixed-point multipliers. We give an explicit formula for counting the number of elements of each fiber $\widehatΦ_d^{-1}\left(\barλ\right)$ for every $\barλ \in \widetildeΛ_d$ except when the fiber $\widehatΦ_d^{-1}\left(\barλ\right)$ contains polynomials having multiple fixed points. This formula is not a recur…
The surface corresponding to the moduli space of quadratic endomorphisms of $\mathbb{P}^1$ with a marked periodic point of order $n$ is studied. It is shown that the surface is rational over $\mathbb{Q}$ when $n\le 5$ and is of general type for $n=6$. An explicit description of the $n=6$ surface lets us find several infinite families of quadratic endomorphisms $f: \mathbb{P}^1 \to \mathbb{P}^1$ defined over $\mathbb{Q}$ with a rational periodic point of order $6$. In one of these families, $f$ also has a rational fixed point, for a total of at least $7$ periodic and $7$ preperiodic points. Thi…
Following the author's previous works, we continue to consider the problem of counting the number of affine conjugacy classes of polynomials of one complex variable when its unordered collection of holomorphic fixed point indices is given. The problem was already solved completely in the case that the polynomials have no multiple fixed points, in the author's previous papers. In this paper, we consider the case of having multiple fixed points, and obtain the formulae for generic unordered collections of holomorphic fixed point indices, for each given degree and for each given number of fixed p…
We consider the family $\mathrm{MP}_d$ of affine conjugacy classes of polynomial maps of one complex variable with degree $d \geq 2$, and study the map $Φ_d:\mathrm{MP}_d\to \widetildeΛ_d \subset \mathbb{C}^d / \mathfrak{S}_d$ which maps each $f \in \mathrm{MP}_d$ to the set of fixed-point multipliers of $f$. We show that the local fiber structure of the map $Φ_d$ around $\barλ \in \widetildeΛ_d$ is completely determined by certain two sets $\mathcal{I}(λ)$ and $\mathcal{K}(λ)$ which are subsets of the power set of $\{1,2,\ldots,d \}$. Moreover for any $\barλ \in \widetildeΛ_d$, we give an alg…
