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.


Yusheng Luo, Mahan Mj, Sabyasachi Mukherjee
Teichmüller spaces, polynomial loci, and degeneration in spaces of algebraic correspondences
Abstract:

We develop an analog of the notion of a character variety in the context of algebraic correspondences. It turns out that matings of certain Fuchsian groups and polynomials are contained in this ambient character variety. This gives rise to two different analogs of the Bers slice by fixing either the polynomial or the Fuchsian group. The Bers-like slices are homeomorphic copies of Teichmüller spaces or combinatorial copies of polynomial connectedness loci. We show that these slices are bounded in the character variety, thus proving the analog of a theorem of Bers. To produce compactifications of the Bers-like slices, we initiate a study of degeneration of algebraic correspondences on trees of Riemann spheres, revealing a new degeneration phenomenon in conformal dynamics. There is no available analog of Sullivan's 'no invariant line field' theorem in our context. Nevertheless, for the four times punctured sphere, we show that the compactifications of Teichmüller spaces are naturally homeomorphic.

Submitted 17 April, 2025; originally announced April 2025.

  arXiv:2504.13107
ims25-02
Dzmitry Dudko, Yusheng Luo, Mikhail Lyubich
Uniform a priori bounds for neutral renormalization. Variation II: -ql Siegel maps
Abstract:

We extend uniform pseudo-Siegel bounds for neutral quadratic polynomials to    -quadratic-like Siegel maps. In this form, the bounds are compatible with the  -quadratic-like renormalization theory and are easily transferable to various families of rational maps. The main theorem states that the degeneration of a Siegel disk is equidistributed among combinatorial intervals. This provides… ▽ More

Submitted 30 September, 2025; v1 submitted 26 September, 2025; originally announced September 2025.

arXiv:2509.23031

ims25-03
Mikhail Lyubich, Jacob Mazor, Sabyasachi Mukherjee
Antiholomorphic correspondences and mating II: Shabat polynomial slices
Abstract:

We study natural one-parameter families of antiholomorphic correspondences arising from univalent restrictions of Shabat polynomials, indexed by rooted dessin d'enfants. We prove that the parameter spaces are topological quadrilaterals, giving a partial description of the univalency loci for the uniformizing Shabat polynomials. We show that the escape loci of our parameter spaces are naturally (real-analytically) uniformized by disks. We proceed with designing a puzzle structure (dual to the indexing dessin) for non-renormalizable maps, yielding combinatorial rigidity in these classes. Then we develop a renormalization theory for pinched (anti-)polynomial-like maps in order to describe all combinatorial Multibrot and Multicorn copies contained in our connectedness loci (a curious feature of these parameter spaces is the presence of multiple period one copies). Finally, we construct locally connected combinatorial models for the connectedness loci into which the indexing dessins naturally embed.

Submitted 15 September, 2025; originally announced September 2025.

arXiv:2509.12357  

ims25-04
Sabyasachi Mukherjee, S. Viswanathan
Correspondences on hyperelliptic surfaces, combination theorems, and Hurwitz spaces
Abstract:

We construct a general class of correspondences on hyperelliptic Riemann surfaces of arbitrary genus that combine finitely many Fuchsian genus zero orbifold groups and Blaschke products. As an intermediate step, we first construct analytic combinations of these objects as partially defined maps on the Riemann sphere. We then give an algebraic characterization of these analytic combinations in terms of hyperelliptic involutions and meromorphic maps on compact Riemann surfaces. These involutions and meromorphic maps, in turn, give rise to the desired correspondences. The moduli space of such correspondences can be identified with a product of Teichmüller spaces and Blaschke spaces. The explicit description of the correspondences then allows us to construct a dynamically natural injection of this product space into appropriate Hurwitz space.

Submitted 26 August, 2025; originally announced August 2025.

arXiv:2508.18711

ims25-05
Rashmita, Sabyasachi Mukherjee
On topology and singularities of quadrature domains.
Abstract:

We prove a linear upper bound for the number of singular points on the boundary of a quadrature domain, improving a previously known quadratic bound due to Gustafsson \cite{Gus88}. This linear upper bound on the number of boundary double points also strengthens the bound on the connectivity (i.e., the number of complementary components) of a quadrature domain given by Lee and Makarov \cite{LM16}. Our proofs use conformal dynamics and hyperbolic geometry arguments. Finally, we introduce a new dynamical method to construct multiply connected quadrature domains.

Submitted 25 September, 2025; originally announced September 2025.

arXiv:2509.21468

Authors: Sylvain Crovisier, Mikhail Lyubich, Enrique Pujals, Jonguk Yang
Renormalization of Unicritical Diffeomorphisms of the Disk
Abstract:

We introduce a class of infinitely renormalizable, unicritical diffeomorphisms of the disk (with a non-degenerate "critical point"). In this class of dynamical systems, we show that under renormalization, maps eventually become Hénon-like, and then converge super-exponentially fast to the space of one-dimensional unimodal maps. We also completely characterize the local geometry of every stable and… ▽ More

arXiv:2401.13559

Yusheng Luo, Yongquan Zhang
On quasiconformal non-equivalence of gasket Julia sets and limit sets
Abstract:

This paper studies quasiconformal non-equivalence of Julia sets and limit sets. We proved that any Julia set is quasiconformally different from the Apollonian gasket. We also proved that any Julia set of a quadratic rational map is quasiconformally different from the gasket limit set of a geometrically finite Kleinian group.

Submitted 19 February, 2024; originally announced February 2024.

arXiv:2402.12709  

Yusheng Luo, Mikhail Lyubich, Sabyasachi Mukherjee
A general dynamical theory of Schwarz reflections, B-involutions, and algebraic correspondences
Abstract:

In this paper, we study matings of (anti-)polynomials and Fuchsian, reflection groups as Schwarz reflections, B-involutions or as (anti-)holomorphic correspondences, as well as their parameter spaces. We prove the existence of matings of generic (anti-)polynomials, such as periodically repelling, or geometrically finite (anti-)polynomials, with circle maps arising from the corresponding groups. These matings emerge naturally as degenerate (anti-)polynomial-like maps, and we show that the corresponding parameter space slices for such matings bear strong resemblance with parameter spaces of polynomial maps. Furthermore, we provide algebraic descriptions for these matings, and construct algebraic correspondences that combine generic (anti-)polynomials and genus zero orbifolds in a common dynamical plane, providing a new concrete evidence to Fatou's vision of a unified theory of groups and maps.

Submitted 31 July, 2024; originally announced August 2024.

arXiv:2408.00204

ims24-04
Shaun Bullett, Luna Lomonaco, Mikhail Lyubich, Sabyasachi Mukherjee
Mating parabolic rational maps with Hecke groups
Abstract:

We prove that any degree d rational map having a parabolic fixed point of multiplier 1 with a fully invariant and simply connected immediate basin of attraction is mateable with the Hecke group Hd+1, with the mating realized by an algebraic correspondence. This solves the parabolic version of the Bullett-Freiberger Conjecture from 2003 on mateability between rational maps and Hecke groups. The proof is in two steps. The first is the construction of a pinched polynomial-like map which is a mating between a parabolic rational map and a parabolic circle map associated to the Hecke group. The second is lifting this pinched polynomial-like map to an algebraic correspondence via a suitable branched covering.

Submitted 20 July, 2024; originally announced July 2024.

arXiv:2407.14780

ims24-05
Yusheng Luo, Yongquan Zhang
Disk patterns, quasi-duality and the uniform bounded diameter conjecture
Abstract:

We show that the diameter of the image of the skinning map on the deformation space of an acylindrical reflection group is bounded by a constant depending only on the topological complexity of the components of its boundary, answering a conjecture of Minsky in the reflection group setting. This result can be interpreted as a uniform rigidity theorem for disk patterns. Our method also establishes a connection between the diameter of the skinning image and certain discrete extremal width on the Coxeter graph of the reflection group.

Submitted 19 August, 2024; originally announced August 2024.

arXiv:2408.10344  

Pages