Showing 1–25 of 25 results for author: Pilgrim, K M

Correspondences on Riemann surfaces and non-uniform hyperbolicity

Authors: Laurent Bartholdi, Dzmitry Dudko, Kevin M. Pilgrim

Abstract: We consider certain analytic correspondences on a Riemann surface, and show that they admit a weak form of expansion. In terms of their algebraic encoding by bisets, this translates to contraction of group elements along sequences arising from iterated lifting. As an application, we show that for every non-exceptional rational map on $\mathbb{P}^1$ with $4$ post-critical points, there is a finit… ▽ More We consider certain analytic correspondences on a Riemann surface, and show that they admit a weak form of expansion. In terms of their algebraic encoding by bisets, this translates to contraction of group elements along sequences arising from iterated lifting. As an application, we show that for every non-exceptional rational map on $\mathbb{P}^1$ with $4$ post-critical points, there is a finite collection of isotopy classes of curves into which every curve eventually lands under iterated lifting. △ Less

Submitted 22 July, 2024; originally announced July 2024.

Comments: 36 pages, 3 figures

MSC Class: 37F20 (20E08; 37B15; 37C50)

Ahlfors-regular conformal dimension and energies of graph maps

Authors: Kevin M. Pilgrim, Dylan P. Thurston

Abstract: For a hyperbolic rational map $f$ with connected Julia set, we give upper and lower bounds on the Ahlfors-regular conformal dimension of its Julia set $J_f$ from a family of energies of associated graph maps. Concretely, the dynamics of $f$ is faithfully encoded by a pair of maps $π, φ: G_1 \to G_0$ between finite graphs that satisfies a natural expanding condition. Associated to this combinatoria… ▽ More For a hyperbolic rational map $f$ with connected Julia set, we give upper and lower bounds on the Ahlfors-regular conformal dimension of its Julia set $J_f$ from a family of energies of associated graph maps. Concretely, the dynamics of $f$ is faithfully encoded by a pair of maps $π, φ: G_1 \to G_0$ between finite graphs that satisfies a natural expanding condition. Associated to this combinatorial data, for each $q \geq 1$, is a numerical invariant $\overline{E}^q[π,φ]$, its asymptotic $q$-conformal energy. We show that the Ahlfors-regular conformal dimension of $J_f$ is contained in the interval where $\overline{E}^q=1$. Among other applications, we give two families of quartic rational maps with Ahlfors-regular conformal dimension approaching 1 and 2, respectively. △ Less

Submitted 16 December, 2021; originally announced December 2021.

Comments: 63 pages, 19 figures

On the pullback relation on curves induced by a Thurston map

Authors: Kevin M. Pilgrim

Abstract: Via taking connected components of preimages, a Thurston map $f: (S^2, P_f) \to (S^2, P_f)$ induces a pullback relation on the set of isotopy classes of curves in the complement of its postcritical set $P_f$. We survey known results about the dynamics of this relation, and pose some questions. Via taking connected components of preimages, a Thurston map $f: (S^2, P_f) \to (S^2, P_f)$ induces a pullback relation on the set of isotopy classes of curves in the complement of its postcritical set $P_f$. We survey known results about the dynamics of this relation, and pose some questions. △ Less

Submitted 24 February, 2021; originally announced February 2021.

Comments: 12 pages, 1 figure

MSC Class: 37F20

On the non-monotonicity of entropy for a class of real quadratic rational maps

Authors: Khashayar Filom, Kevin M. Pilgrim

Abstract: We prove that the entropy function on the moduli space of real quadratic rational maps is not monotonic by exhibiting a continuum of disconnected level sets. This entropy behavior is in stark contrast with the case of polynomial maps, and establishes a conjecture on the failure of monotonicity for bimodal real quadratic rational maps of shape $(+-+)$ which was posed in arXiv:1901.03458 based on ex… ▽ More We prove that the entropy function on the moduli space of real quadratic rational maps is not monotonic by exhibiting a continuum of disconnected level sets. This entropy behavior is in stark contrast with the case of polynomial maps, and establishes a conjecture on the failure of monotonicity for bimodal real quadratic rational maps of shape $(+-+)$ which was posed in arXiv:1901.03458 based on experimental evidence. △ Less

Submitted 28 June, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Comments: 29 pages, 9 figures. Minor corrections; Corollary 3.10 is changed into a remark; the proof of Lemma 4.1 is shortened. The final version, to appear in the Journal of Modern Dynamics. May vary slightly from the published version

MSC Class: 37B40; 37E05; 37F10; 37F30; 37F45

Journal ref: Journal of Modern Dynamics 16 (2020), 225--254

Expansion properties for finite subdivision rules II

Authors: William Floyd, Walter Parry, Kevin M. Pilgrim

Abstract: We prove that every sufficiently large iterate of a Thurston map which is not doubly covered by a torus endomorphism and which does not have a Levy cycle is isotopic to the subdivision map of a finite subdivision rule. We determine which Thurston maps doubly covered by a torus endomorphism have iterates that are isotopic to subdivision maps of finite subdivision rules. We give conditions under whi… ▽ More We prove that every sufficiently large iterate of a Thurston map which is not doubly covered by a torus endomorphism and which does not have a Levy cycle is isotopic to the subdivision map of a finite subdivision rule. We determine which Thurston maps doubly covered by a torus endomorphism have iterates that are isotopic to subdivision maps of finite subdivision rules. We give conditions under which no iterate of a given Thurston map is isotopic to the subdivision map of a finite subdivision rule. △ Less

Submitted 20 August, 2019; originally announced August 2019.

Comments: 24 pages, 7 figures

MSC Class: 37F19; 52C20 (Primary); 57M12 (Secondary)

Bounded hyperbolic components of bicritical rational maps

Authors: Hongming Nie, Kevin M. Pilgrim

Abstract: We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods. We prove that the hyperbolic components of bicritical rational maps having two distinct attracting cycles each of period at least two are bounded in the moduli space of bicritical rational maps. Our arguments rely on arithmetic methods. △ Less

Submitted 21 March, 2019; originally announced March 2019.

Comments: 17 pages

Rationality is decidable for nearly Euclidean Thurston maps

Authors: William Floyd, Walter Parry, Kevin M. Pilgrim

Abstract: Nearly Euclidean Thurston (NET) maps are described by simple diagrams which admit a natural notion of size. Given a size bound $C$, there are finitely many diagrams of size at most $C$. Given a NET map $F$ presented by a diagram of size at most $C$, the problem of determining whether $F$ is equivalent to a rational function is, in theory, a finite computation. We give bounds for the size of this c… ▽ More Nearly Euclidean Thurston (NET) maps are described by simple diagrams which admit a natural notion of size. Given a size bound $C$, there are finitely many diagrams of size at most $C$. Given a NET map $F$ presented by a diagram of size at most $C$, the problem of determining whether $F$ is equivalent to a rational function is, in theory, a finite computation. We give bounds for the size of this computation in terms of $C$ and one other natural geometric quantity. This result partially explains the observed effectiveness of the computer program NETmap in deciding rationality. △ Less

Submitted 3 December, 2018; originally announced December 2018.

Comments: 26 pages, 6 figures

MSC Class: 37F10 (Primary) 57M12 (Secondary)

Boundedness of Hyperbolic Components of Newton Maps

Authors: Hongming Nie, Kevin M. Pilgrim

Abstract: We investigate boundedness of hyperbolic components in the moduli space of Newton maps. For quartic maps, (i) we prove hyperbolic components possessing two distinct attracting cycles each of period at least two are bounded, and (ii) we characterize the possible points on the boundary at infinity for some other types of hyperbolic components. For general maps, we prove hyperbolic components whose e… ▽ More We investigate boundedness of hyperbolic components in the moduli space of Newton maps. For quartic maps, (i) we prove hyperbolic components possessing two distinct attracting cycles each of period at least two are bounded, and (ii) we characterize the possible points on the boundary at infinity for some other types of hyperbolic components. For general maps, we prove hyperbolic components whose elements have fixed superattracting basins mapping by degree at least three are unbounded. △ Less

Submitted 7 September, 2018; originally announced September 2018.

Comments: 20 pages, 9 figures, 2 tables

Modular groups, Hurwitz classes and dynamic portraits of NET maps

Authors: William Floyd, Walter Parry, Kevin M. Pilgrim

Abstract: An orientation-preserving branched covering $f: S^2 \to S^2$ is a nearly Euclidean Thurston (NET) map if each critical point is simple and its postcritical set has exactly four points. Inspired by classical, non-dynamical notions such as Hurwitz equivalence of branched covers of surfaces, we develop invariants for such maps. We then apply these notions to the classification and enumeration of NET… ▽ More An orientation-preserving branched covering $f: S^2 \to S^2$ is a nearly Euclidean Thurston (NET) map if each critical point is simple and its postcritical set has exactly four points. Inspired by classical, non-dynamical notions such as Hurwitz equivalence of branched covers of surfaces, we develop invariants for such maps. We then apply these notions to the classification and enumeration of NET maps. As an application, we obtain a complete classification of the dynamic critical orbit portraits of NET maps. △ Less

Submitted 11 March, 2017; originally announced March 2017.

MSC Class: 36F10; 57M12

Presentations of NET maps

Authors: William Floyd, Walter Parry, Kevin M. Pilgrim

Abstract: A branched covering $f: S^2 \to S^2$ is a nearly Euclidean Thurston (NET) map if each critical point is simple and its postcritical set has exactly four points. We show that up to equivalence, each NET map admits a normal form in terms of simple affine data. This data can then be used as input for algorithms developed for the computation of fundamental invariants, now systematically tabulated in a… ▽ More A branched covering $f: S^2 \to S^2$ is a nearly Euclidean Thurston (NET) map if each critical point is simple and its postcritical set has exactly four points. We show that up to equivalence, each NET map admits a normal form in terms of simple affine data. This data can then be used as input for algorithms developed for the computation of fundamental invariants, now systematically tabulated in a large census. △ Less

Submitted 2 January, 2017; originally announced January 2017.

MSC Class: 36F10; 57M12

Origami, affine maps, and complex dynamics

Authors: William Floyd, Gregory Kelsey, Sarah Koch, Russell Lodge, Walter Parry, Kevin M. Pilgrim, Edgar Saenz

Abstract: We investigate the combinatorial and dynamical properties of so-called nearly Euclidean Thurston maps, or NET maps. These maps are perturbations of many-to-one folding maps of an affine two-sphere to itself. The close relationship between NET maps and affine maps makes computation of many invariants tractable. In addition to this, NET maps are quite diverse, exhibiting many different behaviors. We… ▽ More We investigate the combinatorial and dynamical properties of so-called nearly Euclidean Thurston maps, or NET maps. These maps are perturbations of many-to-one folding maps of an affine two-sphere to itself. The close relationship between NET maps and affine maps makes computation of many invariants tractable. In addition to this, NET maps are quite diverse, exhibiting many different behaviors. We discuss data, findings, and new phenomena. △ Less

Submitted 19 December, 2016; originally announced December 2016.

Expansion properties for finite subdivision rules I

Authors: William J. Floyd, Walter R. Parry, Kevin M. Pilgrim

Abstract: Among Thurston maps (orientation-preserving, postcritically finite branched coverings of the 2-sphere to itself), those that arise as subdivision maps of a finite subdivision rule form a special family. For such maps, we investigate relationships between various notions of expansion---combinatorial, dynamical, algebraic, and coarse-geometric. Among Thurston maps (orientation-preserving, postcritically finite branched coverings of the 2-sphere to itself), those that arise as subdivision maps of a finite subdivision rule form a special family. For such maps, we investigate relationships between various notions of expansion---combinatorial, dynamical, algebraic, and coarse-geometric. △ Less

Submitted 3 August, 2015; originally announced August 2015.

Conformal surface embeddings and extremal length

Authors: Jeremy Kahn, Kevin M. Pilgrim, Dylan P. Thurston

Abstract: Given two Riemann surfaces with boundary and a homotopy class of topological embeddings between them, there is a conformal embedding in the homotopy class if and only if the extremal length of every simple multi-curve is decreased under the embedding. Furthermore, the homotopy class has a conformal embedding that misses an open disk if and only if extremal lengths are decreased by a definite ratio… ▽ More Given two Riemann surfaces with boundary and a homotopy class of topological embeddings between them, there is a conformal embedding in the homotopy class if and only if the extremal length of every simple multi-curve is decreased under the embedding. Furthermore, the homotopy class has a conformal embedding that misses an open disk if and only if extremal lengths are decreased by a definite ratio. This ratio remains bounded away from one under covers. △ Less

Submitted 29 March, 2020; v1 submitted 19 July, 2015; originally announced July 2015.

Comments: 32 pages, 6 figures; v3: New Section 3.4, improved Example 4.4, other improvements throughout

MSC Class: 30F60 (Primary) 31A15; 32G15 (Secondary)

Journal ref: Groups Geom. Dyn.16(2022), no.2, 403--435

On the classification of critically fixed rational maps

Authors: Kristin Cordwell, Selina Gilbertson, Nicholas Nuechterlein, Kevin M. Pilgrim, Samantha Pinella

Abstract: We discuss the dynamical, topological, and algebraic classification of rational maps $f$ of the Riemann sphere to itself each of whose critical points $c$ is also a fixed-point of $f$, i.e. $f(c)=c$. We discuss the dynamical, topological, and algebraic classification of rational maps $f$ of the Riemann sphere to itself each of whose critical points $c$ is also a fixed-point of $f$, i.e. $f(c)=c$. △ Less

Submitted 27 August, 2013; originally announced August 2013.

Comments: 43 pages; 11 figures

MSC Class: 37F

Pullback invariants of Thurston maps

Authors: Sarah Koch, Kevin M. Pilgrim, Nikita Selinger

Abstract: Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module generated by these homotopy classes of curves, a virtual endomorphism on the pure mapping class group, an analytic self-map of an associated Teichmueller space,… ▽ More Associated to a Thurston map $f: S^2 \to S^2$ with postcritical set $P$ are several different invariants obtained via pullback: a relation on the set of free homotopy classes of curves in $S^2- P$, a linear operator on the free $\R$-module generated by these homotopy classes of curves, a virtual endomorphism on the pure mapping class group, an analytic self-map of an associated Teichmueller space, and an analytic self-correspondence on an associated moduli space. Viewing all of these objects as invariants of $f$, we investigate harmonious relationships between their properties. △ Less

Submitted 18 December, 2012; originally announced December 2012.

Comments: 48 pages, 3 figures

MSC Class: 37F05; 37F30

Nearly Euclidean Thurston maps

Authors: James W. Cannon, William J. Floyd, Walter R. Parry, Kevin M. Pilgrim

Abstract: We introduce and study a class of Thurston maps from the 2-sphere to itself which we call nearly Euclidean Thurston (NET) maps. These are simple generalizations of Euclidean Thurston maps. We introduce and study a class of Thurston maps from the 2-sphere to itself which we call nearly Euclidean Thurston (NET) maps. These are simple generalizations of Euclidean Thurston maps. △ Less

Submitted 16 April, 2012; originally announced April 2012.

MSC Class: 37F

Minimal Ahlfors regular conformal dimension of coarse conformal dynamics on the sphere

Authors: Peter Haïssinsky, Kevin M. Pilgrim

Abstract: We prove that if the Ahlfors regular conformal dimension $Q$ of a topologically cxc map on the sphere $f: S^2 \to S^2$ is realized by some metric $d$ on $S^2$, then either Q=2 and $f$ is topologically conjugate to a semihyperbolic rational map with Julia set equal to the whole Riemann sphere, or $Q>2$ and $f$ is topologically conjugate to a map which lifts to an affine expanding map of a torus who… ▽ More We prove that if the Ahlfors regular conformal dimension $Q$ of a topologically cxc map on the sphere $f: S^2 \to S^2$ is realized by some metric $d$ on $S^2$, then either Q=2 and $f$ is topologically conjugate to a semihyperbolic rational map with Julia set equal to the whole Riemann sphere, or $Q>2$ and $f$ is topologically conjugate to a map which lifts to an affine expanding map of a torus whose differential has distinct real eigenvalues. This is an analog of a known result for Gromov hyperbolic groups with two-sphere boundary, and our methods apply to give a new proof. △ Less

Submitted 21 March, 2011; originally announced March 2011.

Quasisymmetrically inequivalent hyperbolic Julia sets

Authors: Peter Haissinsky, Kevin M. Pilgrim

Abstract: We give explicit examples of pairs of Julia sets of hyperbolic rational maps which are homeomorphic but not quasisymmetrically homeomorphic. We give explicit examples of pairs of Julia sets of hyperbolic rational maps which are homeomorphic but not quasisymmetrically homeomorphic. △ Less

Submitted 24 November, 2010; originally announced November 2010.

Journal ref: Revista Matemática Iberoamericana 28, 4 (2012) 1025 -- 1034

Examples of coarse expanding conformal maps

Authors: Peter Haissinsky, Kevin M. Pilgrim

Abstract: In previous work, a class of noninvertible topological dynamical systems $f: X \to X$ was introduced and studied; we called these {\em topologically coarse expanding conformal} systems. To such a system is naturally associated a preferred quasisymmetry (indeed, snowflake) class of metrics in which arbitrary iterates distort roundness and ratios of diameters by controlled amounts; we called this {\… ▽ More In previous work, a class of noninvertible topological dynamical systems $f: X \to X$ was introduced and studied; we called these {\em topologically coarse expanding conformal} systems. To such a system is naturally associated a preferred quasisymmetry (indeed, snowflake) class of metrics in which arbitrary iterates distort roundness and ratios of diameters by controlled amounts; we called this {\em metrically coarse expanding conformal}. In this note we extend the class of examples to several more familiar settings, give applications of our general methods, and discuss implications for the computation of conformal dimension. △ Less

Submitted 30 October, 2010; originally announced November 2010.

Journal ref: Discrete and Continuous Dynamical Systems - Series A 32, 7 (2012) 2403 -- 2416

Finite type coarse expanding conformal dynamics

Authors: Peter Haïssinsky, Kevin M. Pilgrim

Abstract: We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded distortion, there are only finitely many iterates. We show that subhyperbolic rational maps and finite subdivision rules (in the sense of Cannon, Floyd, Kenyon, and Par… ▽ More We continue the study of non-invertible topological dynamical systems with expanding behavior. We introduce the class of {\em finite type} systems which are characterized by the condition that, up to rescaling and uniformly bounded distortion, there are only finitely many iterates. We show that subhyperbolic rational maps and finite subdivision rules (in the sense of Cannon, Floyd, Kenyon, and Parry) with bounded valence and mesh going to zero are of finite type. In addition, we show that the limit dynamical system associated to a selfsimilar, contracting, recurrent, level-transitive group action (in the sense of V. Nekrashevych) is of finite type. The proof makes essential use of an analog of the finiteness of cone types property enjoyed by hyperbolic groups. △ Less

Submitted 23 June, 2011; v1 submitted 8 February, 2008; originally announced February 2008.

Comments: Updated version

Journal ref: Groups Geom. Dyn. 5 (2011), 603 -- 661

An algebraic formulation of Thurston's characterization of rational functions

Authors: Kevin M. Pilgrim

Abstract: Following Douady-Hubbard and Bartholdi-Nekrashevych, we give an algebraic formulation of Thurston's characterization of rational functions. The techniques developed are applied to the analysis of the dynamics on the set of free homotopy classes of simple closed curves induced by a rational function. The resulting finiteness results yield new information on the global dynamics of the pullback map o… ▽ More Following Douady-Hubbard and Bartholdi-Nekrashevych, we give an algebraic formulation of Thurston's characterization of rational functions. The techniques developed are applied to the analysis of the dynamics on the set of free homotopy classes of simple closed curves induced by a rational function. The resulting finiteness results yield new information on the global dynamics of the pullback map on Teichmüller space used in the proof of the characterization theorem. △ Less

Submitted 28 December, 2010; v1 submitted 24 August, 2007; originally announced August 2007.

Comments: 33 pages; substantially revised

MSC Class: 37F20

Thurston obstructions and Ahlfors regular conformal dimension

Authors: Peter Haïssinsky, Kevin M. Pilgrim

Abstract: Let $f: S^2 \to S^2$ be an expanding branched covering map of the sphere to itself with finite postcritical set $P_f$. Associated to $f$ is a canonical quasisymmetry class $\GGG(f)$ of Ahlfors regular metrics on the sphere in which the dynamics is (non-classically) conformal. We show \[ \inf_{X \in \GGG(f)} \hdim(X) \geq Q(f)=\inf_Γ\{Q \geq 2: λ(f_{Γ,Q}) \geq 1\}.\] The infimum is over all multi… ▽ More Let $f: S^2 \to S^2$ be an expanding branched covering map of the sphere to itself with finite postcritical set $P_f$. Associated to $f$ is a canonical quasisymmetry class $\GGG(f)$ of Ahlfors regular metrics on the sphere in which the dynamics is (non-classically) conformal. We show \[ \inf_{X \in \GGG(f)} \hdim(X) \geq Q(f)=\inf_Γ\{Q \geq 2: λ(f_{Γ,Q}) \geq 1\}.\] The infimum is over all multicurves $Γ\subset S^2-P_f$. The map $f_{Γ,Q}: \R^Γ\to \R^Γ$ is defined by \[ f_{Γ, Q}(γ) =\sum_{[γ']\inΓ} \sum_{δ\sim γ'} °(f:δ\to γ)^{1-Q}[γ'],\] where the second sum is over all preimages $δ$ of $γ$ freely homotopic to $γ'$ in $S^2-P_f$, and $ λ(f_{Γ,Q})$ is its Perron-Frobenius leading eigenvalue. This generalizes Thurston's observation that if $Q(f)>2$, then there is no $f$-invariant classical conformal structure. △ Less

Submitted 13 June, 2008; v1 submitted 8 June, 2007; originally announced June 2007.

Comments: Minor revisions are made

MSC Class: 30C65 (Primary); 53C23; 37F20; 37D20; 52C26; 52C20 (Secondary)

Journal ref: Journal de Mathématiques Pures et Appliqués 90, no. 3 (2008) 229--241

Coarse expanding conformal dynamics

Authors: Peter Haïssinsky, Kevin M. Pilgrim

Abstract: Building on the dictionary between Kleinian groups and rational maps, we establish new connections between the theories of hyperbolic groups and certain iterated maps, regarded as dynamical systems. In order to make the exposition self-contained to researchers in many fields, we include detailed proofs and ample background. Building on the dictionary between Kleinian groups and rational maps, we establish new connections between the theories of hyperbolic groups and certain iterated maps, regarded as dynamical systems. In order to make the exposition self-contained to researchers in many fields, we include detailed proofs and ample background. △ Less

Submitted 23 November, 2009; v1 submitted 20 December, 2006; originally announced December 2006.

Comments: Revised and corrected version

MSC Class: Primary 53C23; Secondary 30C65; 37B99; 37D20; 37F15; 37F20; 37F30; 54E40

Journal ref: Asterisque 325 (2009) viii+139 pp. ISBN: 978-2-85629-266-2

Spinning deformations of rational maps

Authors: Kevin M. Pilgrim, Tan Lei

Abstract: We analyze a real one-parameter family of quasiconformal deformations of a hyperbolic rational map known as {\em spinning}. We show that under fairly general hypotheses, the limit of spinning either exists and is unique, or else converges to infinity in the moduli space of rational maps of a fixed degree. When the limit exists, it has either a parabolic fixed point, or a pre-periodic critical po… ▽ More We analyze a real one-parameter family of quasiconformal deformations of a hyperbolic rational map known as {\em spinning}. We show that under fairly general hypotheses, the limit of spinning either exists and is unique, or else converges to infinity in the moduli space of rational maps of a fixed degree. When the limit exists, it has either a parabolic fixed point, or a pre-periodic critical point in the Julia set, depending on the combinatorics of the data defining the deformation. The proofs are soft and rely on two ingredients: the construction of a Riemann surface containing the closure of the family, and an analysis of the geometric limits of some simple dynamical systems. An interpretation in terms of Teichmüller theory is presented as well. △ Less

Submitted 6 June, 2002; originally announced June 2002.

Comments: 39 pages, 8 figures

MSC Class: 37F30; 30F60; 37F40

Rational Maps Whose Fatou Components Are Jordan Domains

Authors: Kevin M. Pilgrim

Abstract: We prove: If $f(z)$ is a critically finite rational map which has exactly two critical points and which is not conjugate to a polynomial, then the boundary of every Fatou component of $f$ is a Jordan curve. If $f(z)$ is a hyperbolic critically finite rational map all of whose postcritical points are periodic, then there exists a cycle of Fatou components whose boundaries are Jordan curves. We gi… ▽ More We prove: If $f(z)$ is a critically finite rational map which has exactly two critical points and which is not conjugate to a polynomial, then the boundary of every Fatou component of $f$ is a Jordan curve. If $f(z)$ is a hyperbolic critically finite rational map all of whose postcritical points are periodic, then there exists a cycle of Fatou components whose boundaries are Jordan curves. We give examples of critically finite hyperbolic rational maps $f$ with the property that on the closure of a Fatou component $Ω$ satisfying $f(Ω)=Ω$, $f|_{\bdry Ω}$ is not topologically conjugate to the dynamics of any polynomial on its Julia set. △ Less

Submitted 19 December, 1994; originally announced December 1994.

Comments: Separate uu-encoded "tar" file of figures sent also. Uses Latex2.09 and geompsfi.sty

Report number: MSRI 1995-011, formerly cd-hg/9412001