Showing 1–12 of 12 results for author: Lodge, R

Thurston's pullback map, invariant covers, and the global dynamics on curves

Authors: Mario Bonk, Mikhail Hlushchanka, Russell Lodge

Abstract: We consider rational maps $f$ on the Riemann sphere $\widehat {\mathbb{C}}$ with an $f$-invariant set $P\subset \widehat {\mathbb{C}}$ of four marked points containing the postcritical set of $f$. We show that the dynamics of the corresponding Thurston pullback map $σ_f$ on the completion $\overline{\mathcal{T}_P}$ of the associated Teichmüller space $\mathcal{T}_P$ with respect to the Weil-Peters… ▽ More We consider rational maps $f$ on the Riemann sphere $\widehat {\mathbb{C}}$ with an $f$-invariant set $P\subset \widehat {\mathbb{C}}$ of four marked points containing the postcritical set of $f$. We show that the dynamics of the corresponding Thurston pullback map $σ_f$ on the completion $\overline{\mathcal{T}_P}$ of the associated Teichmüller space $\mathcal{T}_P$ with respect to the Weil-Petersson metric is easy to understand when $\overline{\mathcal{T}_P}$ admits a cover by sets with good combinatorial and dynamical properties. In particular, the map $f$ has a finite global curve attractor in this case. Using a result by Eremenko and Gabrielov, we also show that if $P$ contains all critical points of $f$ and each point in $P$ is periodic, then such a cover of $\overline{\mathcal{T}_P}$ can be obtained from a $σ_f$-invariant tessellation by ideal hyperbolic triangles. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Comments: 12 pages

MSC Class: 37F10; 37F20

On Deformation Space Analogies between Kleinian Reflection Groups and Antiholomorphic Rational Maps

Authors: Russell Lodge, Yusheng Luo, Sabyasachi Mukherjee

Abstract: In a previous paper, we constructed an explicit dynamical correspondence between certain Kleinian reflection groups and certain anti-holomorphic rational maps on the Riemann sphere. In this paper, we show that their deformation spaces share many striking similarities. We establish an analogue of Thurston's compactness theorem for critically fixed anti-rational maps. We also characterize how deform… ▽ More In a previous paper, we constructed an explicit dynamical correspondence between certain Kleinian reflection groups and certain anti-holomorphic rational maps on the Riemann sphere. In this paper, we show that their deformation spaces share many striking similarities. We establish an analogue of Thurston's compactness theorem for critically fixed anti-rational maps. We also characterize how deformation spaces interact with each other and study the monodromy representations of the union of all deformation spaces. △ Less

Submitted 3 October, 2022; v1 submitted 7 February, 2022; originally announced February 2022.

Comments: 56 pages, 13 figures. Final version, to appear in Geom. Funct. Anal

MSC Class: 37F05; 37F10; 37F32; 37F34; 30F40

Journal ref: Geom. Funct. Anal., 32:1428--1485, 2022

Iterated monodromy groups of rational functions and periodic points over finite fields

Authors: Andrew Bridy, Rafe Jones, Gregory Kelsey, Russell Lodge

Abstract: Let $q$ be a prime power and $φ$ a rational function with coefficients in a finite field $\mathbb{F}_q$. For $n \geq 1$, each element of $\mathbb{P}^1(\F_{q^n})$ is either periodic or strictly preperiodic under iteration of $φ$. Denote by $a_n$ the proportion of periodic elements. Little is known about how $a_n$ changes as $n$ grows, unless $φ$ is a power map or Chebyshev polynomial. We give the f… ▽ More Let $q$ be a prime power and $φ$ a rational function with coefficients in a finite field $\mathbb{F}_q$. For $n \geq 1$, each element of $\mathbb{P}^1(\F_{q^n})$ is either periodic or strictly preperiodic under iteration of $φ$. Denote by $a_n$ the proportion of periodic elements. Little is known about how $a_n$ changes as $n$ grows, unless $φ$ is a power map or Chebyshev polynomial. We give the first results on this question for a wider class of rational functions: $a_n$ has lim inf $0$ when $q$ is odd and $φ$ is quadratic and neither Lattès nor conjugate to a one-parameter family of exceptional maps. We also show that $a_n$ has limit $0$ when $φ$ is a non-Chebyshev quadratic polynomial with strictly preperiodic finite critical point and $q$ is an odd square. Our methods yield additional results on periodic points for reductions of post-critically finite (PCF) rational functions defined over number fields. The difficulty of understanding $a_n$ in general is that $\mathbb{P}^1(\F_{q^n})$ is a finite set with no ambient geometry. In fact, $φ$ can be lifted to a PCF rational map on the Riemann sphere, where we show that $a_n$ is given by counting elements of the iterated monodromy group (IMG) that act with fixed points at all levels of the tree of preimages. Using a martingale convergence theorem, we translate the problem to determining whether certain IMG elements exist. This in turn can be decisively addressed using the expansion of PCF rational maps in the orbifold metric. △ Less

Submitted 3 March, 2022; v1 submitted 21 July, 2021; originally announced July 2021.

MSC Class: 37P25 (Primary) 37F10; 11R32; 37P05 (Secondary)

Circle packings, kissing reflection groups and critically fixed anti-rational maps

Authors: Russell Lodge, Yusheng Luo, Sabyasachi Mukherjee

Abstract: In this paper, we establish an explicit correspondence between kissing reflection groups and critically fixed anti-rational maps. The correspondence, which is expressed using simple planar graphs, has several dynamical consequences. As an application of this correspondence, we give complete answers to geometric mating problems for critically fixed anti-rational maps. In this paper, we establish an explicit correspondence between kissing reflection groups and critically fixed anti-rational maps. The correspondence, which is expressed using simple planar graphs, has several dynamical consequences. As an application of this correspondence, we give complete answers to geometric mating problems for critically fixed anti-rational maps. △ Less

Submitted 15 December, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 49 pages, 14 figures. The last two sections of v1 are moved to the sequel of this paper. Final version, to appear in Forum of Math. Sigma

Report number: Stony Brook IMS#2020/03 MSC Class: 37F05; 37F10; 37F32; 37F34; 30F40

Journal ref: Forum of Mathematics, Sigma, vol. 10, e3, 2022

On Dynamical Gaskets Generated by Rational Maps, Kleinian Groups, and Schwarz Reflections

Authors: Russell Lodge, Mikhail Lyubich, Sergei Merenkov, Sabyasachi Mukherjee

Abstract: According to the Circle Packing Theorem, any triangulation of the Riemann sphere can be realized as a nerve of a circle packing. Reflections in the dual circles generate a Kleinian group $H$ whose limit set is an Apollonian-like gasket $Λ_H$. We design a surgery that relates $H$ to a rational map $g$ whose Julia set $\mathcal{J}_g$ is (non-quasiconformally) homeomorphic to $Λ_H$. We show for a lar… ▽ More According to the Circle Packing Theorem, any triangulation of the Riemann sphere can be realized as a nerve of a circle packing. Reflections in the dual circles generate a Kleinian group $H$ whose limit set is an Apollonian-like gasket $Λ_H$. We design a surgery that relates $H$ to a rational map $g$ whose Julia set $\mathcal{J}_g$ is (non-quasiconformally) homeomorphic to $Λ_H$. We show for a large class of triangulations, however, the groups of quasisymmetries of $Λ_H$ and $\mathcal{J}_g$ are isomorphic and coincide with the corresponding groups of self-homeomorphisms. Moreover, in the case of $H$, this group is equal to the group of Möbius symmetries of $Λ_H$, which is the semi-direct product of $H$ itself and the group of Möbius symmetries of the underlying circle packing. In the case of the tetrahedral triangulation (when $Λ_ H$ is the classical Apollonian gasket), we give a piecewise affine model for the above actions which is quasiconformally equivalent to $g$ and produces $H$ by a David surgery. We also construct a mating between the group and the map coexisting in the same dynamical plane and show that it can be generated by Schwarz reflections in the deltoid and the inscribed circle. △ Less

Submitted 6 February, 2023; v1 submitted 31 December, 2019; originally announced December 2019.

Comments: 54 pages, 14 figures, final accepted version

Report number: Stony Brook IMS #2019/08 MSC Class: 37F10; 37F32; 30C62; 30C10; 30D05; 30F40; 30C45; 37F31

Journal ref: Conform. Geom. Dyn., 27:1-54, 2023

Puzzles and the Fatou-Shishikura injection for rational Newton maps

Authors: Kostiantyn Drach, Russell Lodge, Dierk Schleicher, Maik Sowinski

Abstract: We establish a principle that we call the Fatou-Shishikura injection for Newton maps of polynomials: there is a dynamically natural injection from the set of non-repelling periodic orbits of any Newton map to the set of its critical orbits. This injection obviously implies the classical Fatou-Shishikura inequality, but it is stronger in the sense that every non-repelling periodic orbit has its own… ▽ More We establish a principle that we call the Fatou-Shishikura injection for Newton maps of polynomials: there is a dynamically natural injection from the set of non-repelling periodic orbits of any Newton map to the set of its critical orbits. This injection obviously implies the classical Fatou-Shishikura inequality, but it is stronger in the sense that every non-repelling periodic orbit has its own critical orbit. Moreover, for every Newton map we associate a forward invariant graph (a puzzle) which provides a dynamically defined partition of the Riemann sphere into closed topological disks (puzzle pieces). This puzzle construction is for rational Newton maps what Yoccoz puzzles are for polynomials: it provides the foundation for all kinds of rigidity results of Newton maps beyond our Fatou-Shishikura injection. Moreover, it gives necessary structure for a classification of the postcritically finite maps in the spirit of Thurston theory. △ Less

Submitted 8 August, 2020; v1 submitted 27 May, 2018; originally announced May 2018.

Comments: 6 figures; accepted to Transactions of the American Mathematical Society

MSC Class: 37F10; 37F25; 37C25

Invisible Tricorns in Real Slices of Rational Maps

Authors: Russell Lodge, Sabyasachi Mukherjee

Abstract: One of the conspicuous features of real slices of bicritical rational maps is the existence of Tricorn-type hyperbolic components. Such a hyperbolic component is called invisible if the non-bifurcating sub-arcs on its boundary do not intersect the closure of any other hyperbolic component. Numerical evidence suggests an abundance of invisible Tricorn-type components in real slices of bicritical ra… ▽ More One of the conspicuous features of real slices of bicritical rational maps is the existence of Tricorn-type hyperbolic components. Such a hyperbolic component is called invisible if the non-bifurcating sub-arcs on its boundary do not intersect the closure of any other hyperbolic component. Numerical evidence suggests an abundance of invisible Tricorn-type components in real slices of bicritical rational maps. In this paper, we study two different families of real bicritical maps and characterize invisible Tricorn-type components in terms of suitable topological properties in the dynamical planes of the representative maps. We use this criterion to prove the existence of infinitely many invisible Tricorn-type components in the corresponding parameter spaces. Although we write the proofs for two specific families, our methods apply to generic families of real bicritical maps. △ Less

Submitted 19 October, 2020; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: Same as published version

MSC Class: 37F10; 37F20; 37F46; 30D05

Journal ref: Discrete and Continuous Dynamical Systems. Series A, 41(4): 1755-1797, 2021

Quadratic Thurston maps with few postcritical points

Authors: Gregory Kelsey, Russell Lodge

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

Submitted 12 February, 2020; v1 submitted 12 April, 2017; originally announced April 2017.

MSC Class: 37F20

Journal ref: Geometriae Dedicata. 201: 33-55, 2019

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.

A classification of postcritically finite Newton maps

Authors: Russell Lodge, Yauhen Mikulich, Dierk Schleicher

Abstract: The dynamical classification of rational maps is a central concern of holomorphic dynamics. Much progress has been made, especially on the classification of polynomials and some approachable one-parameter families of rational maps; the goal of finding a classification of general rational maps is so far elusive. Newton maps (rational maps that arise when applying Newton's method to a polynomial) fo… ▽ More The dynamical classification of rational maps is a central concern of holomorphic dynamics. Much progress has been made, especially on the classification of polynomials and some approachable one-parameter families of rational maps; the goal of finding a classification of general rational maps is so far elusive. Newton maps (rational maps that arise when applying Newton's method to a polynomial) form a most natural family to be studied from the dynamical perspective. Using Thurston's characterization and rigidity theorem, a complete combinatorial classification of postcritically finite Newton maps is given in terms of a finite connected graph satisfying certain explicit conditions. △ Less

Submitted 7 January, 2022; v1 submitted 9 October, 2015; originally announced October 2015.

Comments: This paper will appear in the book: In the Tradition of Thurston, Vol. II, ed. K. Ohshika and A. Papadopoulos, Springer, 2022

MSC Class: 30D05; 37F10; 37F20

Combinatorial properties of Newton maps

Authors: Russell Lodge, Yauhen Mikulich, Dierk Schleicher

Abstract: This paper constructs a combinatorial model for all postcritically finite rational maps arising as the Newton's method of a complex polynomial. This model is used in [LMS] to give a combinatorial classification of postcritically finite Newton maps of any degree. This paper constructs a combinatorial model for all postcritically finite rational maps arising as the Newton's method of a complex polynomial. This model is used in [LMS] to give a combinatorial classification of postcritically finite Newton maps of any degree. △ Less

Submitted 2 August, 2021; v1 submitted 9 October, 2015; originally announced October 2015.

Boundary Values of the Thurston Pullback Map

Authors: Russell Lodge

Abstract: For any Thurston map with exactly four postcritical points, we present an algorithm to compute the Weil-Petersson boundary values of the corresponding Thurston pullback map. This procedure is carried out for the Thurston map f(z)=3z^2/(2z^3+1) originally studied by Buff, et al. The dynamics of this boundary map are investigated and used to solve the analogue of Hubbard's Twisted Rabbit problem for… ▽ More For any Thurston map with exactly four postcritical points, we present an algorithm to compute the Weil-Petersson boundary values of the corresponding Thurston pullback map. This procedure is carried out for the Thurston map f(z)=3z^2/(2z^3+1) originally studied by Buff, et al. The dynamics of this boundary map are investigated and used to solve the analogue of Hubbard's Twisted Rabbit problem for f. △ Less

Submitted 11 December, 2012; originally announced December 2012.

Comments: 54 pages, 15 figures