Welcome to the preprint server of the Institute for Mathematical Sciences at Stony Brook University.

The IMS preprints are also available from the mathematics section of the arXiv e-print server, which offers them in several additional formats. To find the IMS preprints at the arXiv, search for Stony Brook IMS in the report name.
 

PREPRINTS IN THIS SERIES, IN PDF FORMAT.
* Starred papers have appeared in the journal cited.


ims23-01
Hang Fu, Hongming Nie
Böttcher coordinates at wild superattracting fixed points
Abstract:

Let p be a prime number, let g(x)=xp2+pr+2xp2+1 with r∈ℤ≥0, and let ϕ(x)=x+O(x2) be the Böttcher coordinate satisfying ϕ(g(x))=ϕ(x)p2. Salerno and Silverman conjectured that the radius of convergence of ϕ−1(x) in ℂp is p−p−r/(p−1). In this article, we confirm that this conjecture is true by showing that it is a special case of our more general result.

arXiv:2304.07867

ims23-02
Mikhail Lyubich, Jacob Mazor, Sabyasachi Mukherjee
Antiholomorphic correspondences and mating I: realization theorems
Abstract:

In this paper, we study the dynamics of a general class of antiholomorphic correspondences; i.e., multi-valued maps with antiholomorphic local branches, on the Riemann sphere. Such correspondences are closely related to a class of single-valued antiholomorphic maps in one complex variable; namely, Schwarz reflection maps of simply connected quadrature domains. Using this connection, we prove that matings of all parabolic antiholomorphic rational maps with connected Julia sets (of arbitrary degree) and antiholomorphic analogues of Hecke groups can be realized as such correspondences. We also draw the same conclusion when parabolic maps are replaced with critically non-recurrent antiholomorphic polynomials with connected Julia sets.

  arXiv:2303.02459
ims23-03
David Martí-Pete, Lasse Rempe, James Waterman
Bounded Fatou and Julia components of meromorphic functions
Abstract:

Abstract: We completely characterise the bounded sets that arise as components of the Fatou and Julia sets of meromorphic functions. On the one hand, we prove that a bounded domain is a Fatou component of some meromorphic function if and only if it is regular. On the other hand, we prove that a planar continuum is a Julia component of some meromorphic function if and only if it has empty interior. We do so by constructing meromorphic functions with wandering continua using approximation theory.

arXiv:2204.11781  

Yusheng Luo; Yongquan Zhang
Circle packings, renormalizations and subdivision rules
Abstract:
In this paper, we use iterations of skinning maps on Teichmüller spaces to study circle packings. This allows us to develop a renormalization theory for circle packings whose nerves satisfy certain subdivision rules. We characterize when the skinning map has bounded image. Under the corresponding condition, we prove that the renormalization operator is uniformly contracting. This allows us to give complete answers for the existence and moduli problems for such circle packings. The exponential contraction has many consequences. In particular, we prove that homeomorphisms between any two such circle packings are asymptotically conformal.
Dzmitry Dudko; Mikhail Lyubich
MLC at Feigenbaum points
Abstract:

We prove {\em a priori} bounds for Feigenbaum quadratic polynomials, i.e., infinitely renormalizable polynomials fc:z↦z2+c of bounded type. It implies local connectivity of the corresponding Julia sets J(fc) and MLC (local connectivity of the Mandelbrot set $\Mandel$) at the corresponding parameters c. It also yields the scaling Universality, dynamical and parameter, for the corresponding combinatorics. The MLC Conjecture was open for the most classical period-doubling Feigenbaum parameter as well as for the complex tripling renormalizations. Universality for the latter was conjectured by Goldberg-Khanin-Sinai in the early 1980s.

arXiv:2309.02107

Mikhail Lyubich, Sabyasachi Mukherjee
Mirrors of conformal dynamics: Interplay between anti-rational maps, reflection groups, Schwarz reflections, and correspondences
Abstract:

The goal of this survey is to present intimate interactions between four branches of conformal dynamics: iterations of anti-rational maps, actions of Kleinian reflection groups, dynamics generated by Schwarz reflections in quadrature domains, and algebraic correspondences. We start with several examples of Schwarz reflections as well as algebraic correspondences obtained by matings between anti-rational maps and reflection groups, and examples of Julia set realizations for limit sets of reflection groups (including classical Apollonian-like gaskets). We follow up these examples with dynamical relations between explicit Schwarz reflection parameter spaces and parameter spaces of anti-rational maps and of reflection groups. These are complemented by a number of general results and illustrations of important technical tools, such as David surgery and straightening techniques. We also collect several analytic applications of the above theory

arXiv:2310.03316

Romain Dujardin, Mikhail Lyubich
Structure of hyperbolic polynomial automorphisms of C^2 with disconnected Julia sets
Abstract:

For a hyperbolic polynomial automorphism of C^2 with a disconnected Julia set, and under a mild dissipativity condition, we give a topological description of the components of the Julia set. Namely, there are finitely many "quasi-solenoids" that govern the asymptotic behavior of the orbits of all non-trivial components. This can be viewed as a refined Spectral Decomposition for a hyperbolic map, as well as a two-dimensional version of the (generalized) Branner-Hubbard theory in one-dimensional polynomial dynamics. An important geometric ingredient of the theory is a John-like property of the Julia set in the unstable leaves.

arXiv:2309.14135

Hongming Nie, Shengyuan Zhao
Berkovich dynamics of twisted rational maps
Abstract:

A twisted rational map over a non-archimedean field K is the composition of a rational function over K and a continuous automorphism of K. We explore the dynamics of some twisted rational maps on the Berkovich projective line.

arXiv:2311.02498

ims23-09
Gianluca Faraco, Guillaume Tahar, Yongquan Zhang
Isoperiodic foliation of the stratum H(1,1,−2)
Abstract:

On a Riemann surface, periods of a meromorphic differential along closed loops define a period character from the absolute homology group into the additive group of complex numbers. Fixing the period character in strata of meromorphic differentials defines the isoperiodic foliation where the remaining degrees of freedom are the relative periods between the zeroes of the differential. In strata of meromorphic differentials with exactly two zeroes, leaves have a natural structure of translation surface. In this paper, we give a complete description of the isoperiodic leaves in marked stratum H(1,1,−2) of meromorphic 1-forms with two simple zeroes and a pole of order two on an elliptic curve. For each character, the corresponding leaf is a connected Loch Ness Monster. The translation structures of generic leaves feature a ramified cover of infinite degree over the flat torus defined by the lattice of absolute periods. By comparison, isoperiodic leaves of the unmarked stratum are complex disks endowed with a half-translation structure having infinitely many singular points. Finally, we give a description of the large-scale conformal geometry of the wall-and-chamber decomposition of the leaves.

Submitted 24 January, 2024; v1 submitted 11 May, 2023; originally announced May 2023.

arXiv:2305.06761

Dzmitry Dudko, Mikhail Hlushchanka, Dierk Schleicher
A canonical decomposition of postcritically finite rational maps and their maximal expanding quotients
Abstract:

We provide a natural canonical decomposition of postcritically finite rational maps with non-empty Fatou sets based on the topological structure of their Julia sets. The building blocks of this decomposition are maps where all Fatou components are Jordan disks with disjoint closures (Sierpiński maps), as well as those where any two Fatou components can be connected through a countable chain of Fatou components with common boundary points (crochet or Newton-like maps). We provide several alternative characterizations for our decomposition, as well as an algorithm for its effective computation. We also show that postcritically finite rational maps have dynamically natural quotients in which all crochet maps are collapsed to points, while all Sierpiński maps become small spheres; the quotient is a maximal expanding cactoid. The constructions work in the more general setup of Böttcher expanding maps, which are metric models of postcritically finite rational maps.

arXiv.2209.02800

Pages