All bounded type Siegel disks of rational maps are quasi-disks
type: Item
instance of: scholarly article
title: All bounded type Siegel disks of rational maps are quasi-disks
zbMATH Open document ID: 1232.37027
author: Gaofei Zhang
published in: Inventiones Mathematicae
publication date: 2011-08-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/0810.2733
review text: The author proves that every bounded type rotation number Siegel disk of a rational map must be a quasi-disk with at least one critical point on its boundary. This extends a result of Shishikura (unpublished) from the setting of polynomials to that of rational maps. It was conjectured by Douady and Sullivan that the boundary of any Siegel disk of a rational map is a Jordan curve [\textit{A. Douady}, ``Systèmes dynamiques holomorphes'', Sémin. Bourbaki, 35e année, 1980/81, Exp. 599, Astérisque 105--106, 39--63 (1983; Zbl 0532.30019)], so the above result verifies this conjecture in the case of bounded type rotation number. This result is deduced from the following main theorem of the present article: Let \(d \geq 2\) be an integer and \(0 < \theta < 1\) be an irrational number of bounded type. Then there exists a constant \(1 < K(d, \theta ) < \infty\) depending only on \(d\) and \(\theta\) such that for any rational map \(f\) of degree \(d\), if \(f\) has a fixed Siegel disk with rotation number \(\theta\), then the boundary of the Siegel disk is a \(K(d, \theta )\)-quasi-circle which passes through at least one critical point of \(f\). The idea of the proof is to show that the invariant curves of such a Siegel disk are uniform quasicircles, with bound depending only on the degree and the rotation number. To establish this, the author extends a result of Herman by means of the following result (Theorem B). To set up the statement, suppose \(d \geq 2\) is an integer, \(m=2d-1\), and \(\theta \in \mathbb{R}\) is of bounded type. ``Let \(\mathbf{B}_\theta^m\) denote the class of all the Blaschke products \[ B(z) = \lambda\prod^d_{i=1}\frac { z - p_i} {1 - \overline{p}_i z}\prod^{d -1}_{j=1}\frac {z - q_j}{1 - \overline{q}_j z}\tag{1} \] such that 1. \(|p_i | < 1\) and \(|q_j | > 1\) for all \(1 \leq i \leq d\) and \(1 \leq j \leq d - 1\), 2. \(|\lambda| = 1\), 3. \(B|_{\mathbb{T}} : \mathbb{T} \rightarrow\mathbb{T}\) is a circle homeomorphism of rotation number \(\thet…
Mathematics Subject Classification ID: 37F50
Mathematics Subject Classification ID: 37F30
Mathematics Subject Classification ID: 37F10
zbMATH DE Number: 5944327
zbMATH Keywords: Siegel disk
zbMATH Keywords: rotation number
zbMATH Keywords: bounded type
reviewed by: Kevin M. Pilgrim
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2012746078
arXiv ID: 0810.2733
cites work: Q5512337
cites work: Upper bound for the size of quadratic Siegel disks
cites work: Rigidity of critical circle mappings. I
cites work: Q3314128
cites work: Conformally natural extension of homeomorphisms of the circle
cites work: Are there critical points on the boundaries of singular domains?
cites work: Q4271974
cites work: Q4810403
cites work: Dynamics of cubic Siegel polynomials
DOI: 10.1007/S00222-011-0312-0
description: scientific article