All Bounded Type Siegel Disks of Rational Maps Are Quasi-Disks

Gaofei Zhang

DOI: https://doi.org/10.1007/s00222-011-0312-0

IF: 3.128

2011-01-01

Inventiones mathematicae

Abstract:We prove that every bounded type Siegel disk of a rational map must be a quasi-disk with at least one critical point on its boundary. This verifies Douady-Sullivan's conjecture in the case of bounded type rotation numbers.

What problem does this paper attempt to address?

Rational Maps Whose Julia Sets Are Cantor Circles

Weiyuan Qiu,Fei Yang,Yongcheng Yin

DOI: https://doi.org/10.1017/etds.2013.53

2013-01-01

Abstract:In this paper, we give a family of rational maps whose Julia sets are Cantor circles and show that every rational map whose Julia set is a Cantor set of circles must be topologically conjugate to one map in this family on their corresponding Julia sets. In particular, we give the specific expressions of some rational maps whose Julia sets are Cantor circles, but they are not topologically conjugate to any McMullen maps on their Julia sets. Moreover, some non-hyperbolic rational maps whose Julia sets are Cantor circles are also constructed.
Bounded-Type Siegel Disks of A One-Dimensional Family of Entire Functions

Linda Keen,Gaofei Zhang

DOI: https://doi.org/10.1017/s0143385708000205

2009-01-01

Abstract:AbstractLet 0<θ<1 be an irrational number of bounded type. We prove that for any map in the family (e2πiθz+αz2)ez, α∈ℂ, the boundary of the Siegel disk, with fixed point at the origin, is a quasi-circle passing through one or both of the critical points.
Dynamics of Siegel Rational Maps with Prescribed Combinatorics

Gaofei Zhang

DOI: https://doi.org/10.48550/arXiv.0811.3043

2008-11-19

Dynamical Systems

Abstract:We extend Thurston's combinatorial criterion for postcritically finite rational maps to a class of rational maps with bounded type Siegel disks. The combinatorial characterization of this class of Siegel rational maps plays a special role in the study of general Siegel rational maps. As one of the applications, we prove that for any quadratic rational map with a bounded type Siegel disk, the boundary of the Siegel disk is a quasi-circle which passes through one or both of the critical points.
Bounded Critical Fatou Components Are Jordan Domains for Polynomials

Roesch Pascale,Yin Yongcheng

DOI: https://doi.org/10.1007/s11425-020-1827-4

2021-01-01

Science China Mathematics

Abstract:We prove that any bounded Fatou component of a polynomial of degree at least two, which is not(eventually) a Siegel disk, is a Jordan domain.
Fatou Components and Julia Sets of Singularly Perturbed Rational Maps with Positive Parameter

Wei Yuan Qiu,Lan Xie,Yong Cheng Yin

DOI: https://doi.org/10.1007/s10114-012-0586-1

2012-01-01

Abstract:In this paper, we discuss the rational maps F_λ (z) = z^n + λ /z^n ,n ⩾ 2 with the positive real parameter λ . It is shown that the immediately attracting basin B λ of ∞ for F λ is always a Jordan domain if the Julia set of F λ is not a Cantor set. Furthermore, B λ is a quasidisk if there is no parabolic fixed point on the boundary of B λ . It is also shown that if the Julia set of F λ is connected, then it is locally connected and all Fatou components are Jordan domains. Finally, a complete description to the problem when the Julia set is a Sierpiński curve is given.
Quadratic Rational Maps with a 2-Cycle of Siegel Disks

Yuming Fu,Fei Yang,Gaofei Zhang

DOI: https://doi.org/10.1007/s12220-022-00989-x

2022-01-01

Journal of Geometric Analysis

Abstract:For the family of quadratic rational functions having a 2-cycle of bounded type Siegel disks, we prove that each of the boundaries of these Siegel disks contains at most one critical point. In the parameter plane, we prove that the locus for which the boundaries of the 2-cycle of Siegel disks contain two critical points is a Jordan curve.
Density of Hyperbolicity for Rational Maps with Cantor Julia Sets

Wenjuan Peng,Yongcheng Yin,Yu Zhai

DOI: https://doi.org/10.1017/s0143385711000356

2011-01-01

Abstract:AbstractIn this paper, taking advantage of quasi-conformal surgery, we prove that each non-hyperbolic rational map with a Cantor Julia set can be approximated by hyperbolic rational maps with Cantor Julia sets of the same degree.
Topological Characterisation of Rational Maps with Siegel Disks

Gaofei Zhang

DOI: https://doi.org/10.1017/s0305004121000098

2021-01-01

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:AbstractWe extend Thurston’s topological characterisation theorem for postcritically finite rational maps to a class of rational maps which have a fixed bounded type Siegel disk. This makes a small step towards generalizing Thurston’s theorem to geometrically infinite rational maps.
On quadratic Siegel disks with a class of unbounded type rotation numbers

Hongyu Qu,Jianyong Qiao,Guangyuan Zhang

DOI: https://doi.org/10.48550/arXiv.2307.10851

2023-07-20

Abstract:In this paper we explore a class of quadratic polynomials having Siegel disks with unbounded type rotation numbers. We prove that any boundary point of Siegel disks of these polynomials is a Lebesgue density point of their filled-in Julia sets, which generalizes the corresponding result of McMullen for bounded type rotation numbers. As an application, this result can help us construct more quadratic Julia sets with positive area. Moreover, we also explore the canonical candidate model for quasiconformal surgery of quadratic polynomials with Siegel disks. We prove that for any irrational rotation number, any boundary point of ``Siegel disk'' of the canonical candidate model is a Lebesgue density point of its ``filled-in Julia set'', in particular the critical point $1$ is a measurable deep point of the ``filled-in Julia set''.

Dynamical Systems
On PZ Type Siegel Disks of the Sine Family

Gaofei Zhang

DOI: https://doi.org/10.1017/etds.2014.89

2014-01-01

Abstract:We prove that for typical rotation numbers 0 < theta < 1, the boundary of the Siegel disk of f(theta)(z) = e(2 pi i theta) sin(z) centered at the origin is a Jordan curve which passes through exactly two critical points pi/2 and -pi/2.
Local connectivity of Julia sets of some rational maps with Siegel disks

Shuyi Wang,Fei Yang,Gaofei Zhang,Yanhua Zhang

2023-10-24

Abstract:We prove that a long iteration of rational maps is expanding near boundaries of bounded type Siegel disks. This leads us to extend Petersen's local connectivity result on the Julia sets of quadratic Siegel polynomials to a general case. A new key feature in the proof is that the puzzles are not used.

Dynamical Systems,Complex Variables
Local Connectivity of the Julia Sets with Bounded Type Siegel Disks

Shuyi Wang,Fei Yang,Gaofei Zhang,Yanhua Zhang

2021-01-01

Abstract:We prove that the Julia sets of a number of rational maps and transcendental entire functions with bounded type Siegel disks are locally connected. This is based on establishing an expanding property of a long iteration of a class of quasi-Blaschke models near the unit circle.
The high type quadratic Siegel disks are Jordan domains

Mitsuhiro Shishikura,Fei Yang

2024-04-20

Abstract:Let $\alpha$ be an irrational number of sufficiently high type and suppose $P_\alpha(z)=e^{2\pi i\alpha}z+z^2$ has a Siegel disk $\Delta_\alpha$ centered at the origin. We prove that the boundary of $\Delta_\alpha$ is a Jordan curve, and that it contains the critical point $-e^{2\pi i\alpha}/2$ if and only if $\alpha$ is a Herman number.

Dynamical Systems
Rigidity of bounded type cubic Siegel polynomials

Jonguk Yang,Runze Zhang

2024-08-01

Abstract:We prove that if two non-renormalizable cubic Siegel polynomials with bounded type rotation numbers are combinatorially equivalent, then they are also conformally equivalent. As a consequence, we show that in the one-parameter slice of cubic Siegel polynomials considered by Zakeri [Za2], the locus of non-renormalizable maps is homeomorphic to a double-copy of a quadratic Siegel filled Julia set (minus the Siegel disk) glued along the Siegel boundary. This verifies the the conjecture of Blokh-Oversteegen-Ptacek-Timorin [BlOvPtTi] for bounded type rotation numbers.

Dynamical Systems
On David type Siegel Disks of the Sine family

Gaofei Zhang

2008-01-01

Abstract:In this paper, we develop a method to verify David's integrability condition for certain Beltrami differentials without using Petersen puzzles. Using this method and trans-quasiconformal surgery, we prove that for any David type rotation number, the boundary of the Siegel disk of $f_{\theta}(z) = e^{2 \pi i \theta} \sin (z)$ is a Jordan curve which passes through exactly two critical points $\pi/2$ and $-\pi/2$.
Rational maps with smooth degenerate Herman rings

Fei Yang

2023-11-02

Abstract:We prove the existence of rational maps having smooth degenerate Herman rings. This answers a question of Eremenko affirmatively. The proof is based on the construction of smooth Siegel disks by Avila, Buff and Chéritat as well as the classical Siegel-to-Herman quasiconformal surgery. A crucial ingredient in the proof is the surgery's continuity, which relies on the control of the loss of the area of quadratic filled-in Julia sets by Buff and Chéritat. As a by-product, we prove the existence of rational maps having a nowhere dense Julia set of positive area for which these maps have no irrationally indifferent periodic points, no Herman rings, and are not renormalizable.

Dynamical Systems
Disk patterns, quasi-duality and the uniform bounded diameter conjecture

Yusheng Luo,Yongquan Zhang

2024-08-20

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.

Geometric Topology,Complex Variables,Dynamical Systems
Cubic Siegel polynomials and the bifurcation measure

Matthieu Astorg,Davoud Cheraghi,Arnaud Chéritat

2024-10-26

Abstract:We prove that cubic polynomial maps with a fixed Siegel disk and a critical orbit eventually landing inside that Siegel disk lie in the support of the bifurcation measure. This answers a question of Dujardin in positive. Our result implies the existence of holomorphic disks in the support of the bifurcation measure, and also implies that the set of rigid parameters is not closed in the moduli space of cubic polynomials.

Dynamical Systems,Complex Variables
On the area rate of perturbed Siegel disks

Jianyong Qiao,Hongyu Qu

DOI: https://doi.org/10.1088/1361-6544/ad8c0e

2024-11-10

Nonlinearity

Abstract:In the famous work by Buff and Chéritat constructing quadratic Julia sets with positive area, the control of the shape of perturbed Siegel disks is a key technique. To do it, Buff and Chéritat added a restrictive condition on rotation numbers. In this paper, we show that this restrictive condition is not necessary. As a consequence, more quadratic Julia sets with positive area can be constructed.

mathematics, applied,physics, mathematical
$\mathbb{Z}$-disks in $\mathbb{C} P^2$

Anthony Conway,Irving Dai,Maggie Miller

2024-03-15

Abstract:We study locally flat disks in $(\mathbb{C} P^2)^\circ:=(\mathbb{C} P^2)\setminus \mathring{B^4}$ with boundary a fixed knot $K$ and whose complement has fundamental group $\mathbb{Z}$. We show that up to topological isotopy rel. boundary, such disks necessarily arise by performing a positive crossing change on $K$ to an Alexander polynomial one knot and capping off with a $\mathbb{Z}$-disk in $D^4.$ Such a crossing change determines a loop in $S^3 \setminus K$ and we prove that the homology class of its lift to the infinite cyclic cover leads to a complete invariant of the disk. We prove that this determines a bijection between the set of rel. boundary topological isotopy classes of $\mathbb{Z}$-disks with boundary $K$ and a quotient of the set of unitary units of the ring $\mathbb{Z}[t^{\pm 1}]/(\Delta_K)$. Number-theoretic considerations allow us to deduce that a knot $K \subset S^3$ with quadratic Alexander polynomial bounds $0,1,2,4$, or infinitely many $\mathbb{Z}$-disks in $(\mathbb{C} P^2)^\circ$. This leads to the first examples of knots bounding infinitely many topologically distinct disks whose exteriors have the same fundamental group and equivariant intersection form. Finally we give several examples where these disks are realized smoothly.

Geometric Topology

All Bounded Type Siegel Disks of Rational Maps Are Quasi-Disks

Rational Maps Whose Julia Sets Are Cantor Circles

Bounded-Type Siegel Disks of A One-Dimensional Family of Entire Functions

Dynamics of Siegel Rational Maps with Prescribed Combinatorics

Bounded Critical Fatou Components Are Jordan Domains for Polynomials

Fatou Components and Julia Sets of Singularly Perturbed Rational Maps with Positive Parameter

Quadratic Rational Maps with a 2-Cycle of Siegel Disks

Density of Hyperbolicity for Rational Maps with Cantor Julia Sets

Topological Characterisation of Rational Maps with Siegel Disks

On quadratic Siegel disks with a class of unbounded type rotation numbers

On PZ Type Siegel Disks of the Sine Family

Local connectivity of Julia sets of some rational maps with Siegel disks

Local Connectivity of the Julia Sets with Bounded Type Siegel Disks

The high type quadratic Siegel disks are Jordan domains

Rigidity of bounded type cubic Siegel polynomials

On David type Siegel Disks of the Sine family

Rational maps with smooth degenerate Herman rings

Disk patterns, quasi-duality and the uniform bounded diameter conjecture

Cubic Siegel polynomials and the bifurcation measure

On the area rate of perturbed Siegel disks

$\mathbb{Z}$-disks in $\mathbb{C} P^2$