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.
Let ℂv be a characteristic zero algebraically closed field which is complete with respect to a non-Archimedean absolute value. We provide a necessary and sufficient condition for two tame polynomials in ℂv[z] of degree d≥2 to be analytically conjugate on their basin of infinity. In the space of monic centered polynomials, tame polynomials with all their critical points in the basin of infinity form the tame shift locus. We show that a tame map f∈ℂv[z] is in the closure of the tame shift locus if and only if the Fatou set of f coincides with the basin of infinity.
Let K be an algebraically closed and complete nonarchimedean field with characteristic 0 and let f∈K[z] be a polynomial of degree d≥2. We study the Lyapunov exponent L(f,μ) of f with respect to an f-invariant and ergodic Radon probability measure μ on the Berkovich Julia set of f and the lower Lyapunov exponent L−f(f(c)) of f at a critical value f(c). Under an integrability assumption, we show L(f,μ) has a lower bound only depending on d and K. In particular, if f is tame and has no wandering nonclassical Julia points, then L(f,μ) is nonnegative; moreover, if in addition f possesses a unique Julia critical point c0, we show L−f(f(c0)) is also nonnegative.
This paper studies polynomials with core entropy zero. We give several characterizations of polynomials with core entropy zero. In particular, we show that a degree d post-critically finite polynomial f has core entropy zero if and only if f is in the degree d main molecule. The characterizations define several quantities which measure the complexities of polynomials with core entropy zero. We show that these measures are all comparable.
In this paper we initiate the study of birational Kleinian groups, i.e.\ groups of birational transformations of complex projective varieties acting in a free, properly discontinuous and cocompact way on an open set of the variety with respect to the usual topology. We obtain a classification in dimension two.
arXiv:2103.09350 |
Abstract: We develop a general technique for realising full closed subsets of the complex plane as wandering sets of entire functions. Using this construction, we solve a number of open problems. (1) We construct a counterexample to Eremenko's conjecture, a central problem in transcendental dynamics that asks whether every connected component of the set of escaping points of a transcendental entire function is unbounded. (2) We prove that there is a transcendental entire function for which infinitely many Fatou components share the same boundary. This resolves the long-standing problem whether "Lakes of Wada continua" can arise in complex dynamics, and answers the analogue of a question of Fatou from 1920 concerning Fatou components of rational functions. (3) We answer a question of Rippon concerning the existence of non-escaping points on the boundary of a bounded escaping wandering domain, that is, a wandering Fatou component contained in the escaping set. In fact we show that the set ofsuch points can have positive Lebesgue measure. (4) We give the first example of an entire function having a simply connected Fatou component whose closure has a disconnected complement, answering a question of Boc Thaler. In view of (3), we introduce the concept of "maverick points": points on the boundary of a wandering domain whose accumulation behaviour differs from that of internal points. We prove that the set of such points has harmonic measure zero, but that both escaping and oscillating wandering domains can contain large sets of maverick points.
We study Henon maps which are perturbations of a hyperbolic polynomial p with connected Julia set. We give a complete description of the critical locus of these maps. In particular, we show that for each critical point c of p, there is a primary component of the critical locus asymptotic to the line y = c. Moreover, primary components are conformally equivalent to the punctured disk, and their orbits cover the whole critical set. We also describe the holonomy maps from such a component to itself along the leaves of two natural foliations. Finally, we show that a quadratic Henon map taken along with the natural pair of foliations, is a rigid object, in the sense that a conjugacy between two such maps respecting the foliations is a holomorphic or antiholomorphic affine map.
arXiv:2101.12148 |
This note will describe an effective procedure for constructing critically finite real polynomial maps with specified combinatorics.
arXiv:2005.07800 |
Recent work of Dylan Thurston gives a condition for when a post-critically finite branched self-cover of the sphere is equivalent to a rational map. We apply D. Thurston's positive criterion for rationality to give a new proof of a theorem of Rees, Shishikura, and Tan about the mateability of quadratic polynomials when one polynomial is in the main molecule. These methods may be a step in understanding the mateability of higher degree post-critically finite polynomials and demonstrate how to apply the positive criterion to classical problems.
arXiv:2010.11382 |
A study of real quadratic maps with real critical points, emphasizing the effective construction of critically finite maps with specified combinatorics. We discuss the behavior of the Thurston algorithm in obstructed cases, and in one exceptional badly behaved case, and provide a new description of the appropriate moduli spaces. There is also an application to topological entropy.
We introduce a method for constructing Weil-Petersson (WP) geodesics with certain behavior in the Teichmüller space. This allows us to study the itinerary of geodesics among the strata of the WP completion and its relation to subsurface projection coefficients of their end invariants. As an application we demonstrate the disparity between short curves in the universal curve over a WP geodesic and those of the associated hyperbolic 3-manifold.