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.
Recent works [MMO1, arXiv:1802.03853, arXiv:1802.04423, arXiv:2101.08956] have shed light on the topological behavior of geodesic planes in the convex core of a geometrically finite hyperbolic 3-manifolds M of infinite volume. In this paper, we focus on the remaining case of geodesic planes outside the convex core of M, giving a complete classification of their closures in M. In particular, we show that the behavior is different depending on whether exotic roofs exist or not. Here an exotic roof is a geodesic plane contained in an end E of M, which limits on the convex core boundary ∂E, but cannot be separated from the core by a support plane of ∂E. A necessary condition for the existence of exotic roofs is the existence of exotic rays for the bending lamination. Here an exotic ray is a geodesic ray that has finite intersection number with a measured lamination L but is not asymptotic to any leaf nor eventually disjoint from L. We establish that exotic rays exist if and only if L is not a multicurve. The proof is constructive, and the ideas involved are important in the construction of exotic roofs. We also show that the existence of geodesic rays satisfying a stronger condition than being exotic, phrased in terms of only the hyperbolic surface ∂E and the bending lamination, is sufficient for the existence of exotic roofs. As a result, we show that geometrically finite ends with exotic roofs exist in every genus. Moreover, in genus 1, when the end is homotopic to a punctured torus, a generic one (in the sense of Baire category) contains uncountably many exotic roofs.
Submitted 15 August, 2024; v1 submitted 8 October, 2022; originally announced October 2022.
For a post-critically finite hyperbolic rational map f, we show that the Julia set Jf has Ahlfors-regular conformal dimension one if and only if f is a crochet map, i.e., there is an f-invariant graph G containing the post-critical set such that f|G has topological entropy zero. We use finite subdivision rules to obtain graph virtual endomorphisms, which are 1-dimensional simplifications of post-critically finite rational maps, and approximate the asymptotic conformal energies of the graph virtual endomorphisms to estimate the Ahlfors-regular conformal dimensions. In particular, we develop an idea of reducing finite subdivision rules and prove the monotonicity of asymptotic conformal energies under the decomposition of rational maps.
Submitted 27 September, 2022; originally announced September 2022.
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 |
In this paper, we develop a theory on the degenerations of Blaschke products d to study the boundaries of hyperbolic components. We give a combinatorial classification of geometrically finite polynomials on the boundary of the main hyperbolic componentd containing zd. We show the closure d⎯⎯⎯⎯⎯⎯⎯⎯ is not a topological manifold with boundary for d≥4 by constructing self-bumps on its boundary.
In this paper, we study quasi post-critically finite degenerations for rational maps. We construct limits for such degenerations as geometrically finite rational maps on a finite tree of Riemann spheres. We prove the boundedness for such degenerations of hyperbolic rational maps with Sierpinski carpet Julia set and give criteria for the convergence for quasi-Blaschke products d, making progress towards the analogues of Thurston's compactness theorem for acylindrical 3-manifold and the double limit theorem for quasi-Fuchsian groups in complex dynamics. In the appendix, we apply such convergence results to show the existence of certain polynomial matings.
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.