Escaping sets are not sigma-compact
Let be a transcendental entire function. The escaping set consists of those points that tend to infinity under iteration of . We show that is not -compact, resolving a question of Rippon from 2009.
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
Let f be a transcendental entire function. The escaping set I(f) consists of those points that tend to infinity under iteration of f. We show that I(f) is not σ-compact, resolving a question of Rippon from 2009.
Let f be a hyperbolic transcendental entire function of finite order in the Eremenko-Lyubich class (or a finite composition of such maps), and suppose that f has a unique Fatou component. We show that the Julia set of f is a Cantor bouquet; i.e. is ambiently homeomorphic to a straight brush in the sense of Aarts and Oversteegen. In particular, we show that any two such Julia sets are ambiently homeomorphic. We also show that if $f\in\B$ has finite order (or is a finite composition of such maps), but is not necessarily hyperbolic, then the Julia set of f contains a Cantor bouquet. As part of our proof, we describe, for an arbitrary function $f\in\B$, a natural compactification of the dynamical plane by adding a "circle of addresses" at infinity.
Let f be a transcendental meromorphic function. Suppose that the finite part of the postsingular set of f is bounded, that f has no recurrent critical points or wandering domains, and that the degree of pre-poles of f is uniformly bounded. Then we show that f supports no invariant line fields on its Julia set. We prove this by generalizing two results about rational functions to the transcendental setting: a theorem of Mane about the branching of iterated preimages of disks, and a theorem of McMullen regarding absence of invariant line fields for "measurably transitive" functions. Both our theorems extend results previously obtained by Graczyk, Kotus and Swiatek.
Let X be a Riemann surface of genus at most 1, i.e. X is the Riemann sphere or a torus. We construct a variety of examples of analytic functions g:W->X, where W is an arbitrary subdomain of X, that satisfy Epstein's "Ahlfors islands condition". In particular, we show that the accumulation set of any curve tending to the boundary of W can be realized as the omega-limit set of a Baker domain of such a function. As a corollary of our construction, we show that there are entire functions with Baker domains in which the iterates converge to infinity arbitrarily slowly. We also construct Ahlfors islands maps with wandering domains and logarithmic singularities, as well as examples where X is a compact hyperbolic surface.
In this note, we give an elementary proof of the absence of invariant line fields on the conical Julia set of an analytic function of one variable. This proof applies not only to rational as well as transcendental meromorphic functions (where it was previously known), but even to the extremely general setting of Ahlfors islands maps as defined by Adam Epstein. In fact, we prove a more general result on the absence of invariant_differentials_, measurable with respect to a conformal measure that is supported on the (unbranched) conical Julia set. This includes the study of cohomological equations for log∣f′∣, which are relevant to a number of well-known rigidity questions.
Beginning with Devaney, several authors have studied transcendental entire functions for which every point in the escaping set can be connected to infinity by a curve in the escaping set. Such curves are often called Devaney hairs. We show that, in many cases, every point in such a curve, apart from possibly a finite endpoint of the curve, belongs to the fast escaping set. We also give an example of a Devaney hair which lies in a logarithmic tract of a transcendental entire function and contains no fast escaping points.
We show that for many complex parameters a, the set of points that converge to infinity under iteration of the exponential map f(z)=e^z+a is connected. This includes all parameters for which the singular value escapes to infinity under iteration.
We construct an entire function in the Eremenko-Lyubich class $\B$ whose Julia set has only bounded path-components. This answers a question of Eremenko from 1989 in the negative. On the other hand, we show that for many functions in $\B$, in particular those of finite order, every escaping point can be connected to ∞ by a curve of escaping points. This gives a partial positive answer to the aforementioned question of Eremenko, and answers a question of Fatou from 1926.
Let f and g be transcendental entire functions, each with a bounded set of singular values, and suppose that f and g are affinely equivalent (that is, g∘ϕ=ψ∘f, where $ϕ,ψ:\C\to\C$ are affine). We show that the escaping sets of f and g have the same Hausdorff dimension. Using a result of the second author, we deduce that there exists a family of transcendental entire functions for which the escaping set has Hausdorff dimension equal to one.
We study the affine orbifold laminations that were constructed by Lyubich and Minsky. An important question left open in their construction is whether these laminations are always locally compact. We show that this is not the case. The counterexample we construct has the property that the regular leaf space contains (many) hyperbolic leaves that intersect the Julia set; whether this can happen is itself a question raised by Lyubich and Minsky.
We show that the points that converge to infinity under iteration of the exponential map form a connected subset of the complex plane.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.