A new proof of a conjecture of Yoccoz

Buff, Xavier; Chéritat, Arnaud

Annales de l'Institut Fourier, Tome 61 (2011) no. 1, pp. 319-350.

Nous donnons une nouvelle preuve de la conjecture suivante de Yoccoz  :

$$(\exists C\in ℝ)(\forall \theta \in ℝ\setminus \mathbb{Q})log\mathrm{rad}\Delta \left(Q_{\theta }\right)\le -Y\left(\theta \right)+C,$$

où $Q_{\theta }\left(z\right)={\mathrm{e}}^{2\pi i\theta }z+z^2$, $\Delta \left(Q_{\theta }\right)$ est son disque de Siegel si $Q_{\theta }$ est linéarisable (ou $\varnothing$ sinon), $\mathrm{rad}\Delta \left(Q_{\theta }\right)$ est le rayon conforme du disque de Siegel de $Q_{\theta }$ (ou $0$ s’il n’y en a pas) et $Y\left(\theta \right)$ est la fonction de Brjuno de Yoccoz.

Dans un article précédent nous avons obtenu une première preuve basée sur le contrôle de l’explosion parabolique. Ici, nous présentons une preuve plus élémentaire basée sur les méthodes initiales de Yoccoz.

Nous étendons ce résultat à quelques nouvelles familles de polynômes telle que $z^d+c$ avec $d>2$. Nous montrons également que la conjecture ne tient pas pour ${\mathrm{e}}^{2\pi i\theta }(z+z^d)$ avec $d>2$.

We give a new proof of the following conjecture of Yoccoz:

$$(\exists C\in ℝ)(\forall \theta \in ℝ\setminus \mathbb{Q})log\mathrm{rad}\Delta \left(Q_{\theta }\right)\le -Y\left(\theta \right)+C,$$

where $Q_{\theta }\left(z\right)={\mathrm{e}}^{2\pi i\theta }z+z^2$, $\Delta \left(Q_{\theta }\right)$ is its Siegel disk if $Q_{\theta }$ is linearizable (or $\varnothing$ otherwise), $\mathrm{rad}\Delta \left(Q_{\theta }\right)$ is the conformal radius of the Siegel disk of $Q_{\theta }$ (or $0$ if there is none) and $Y\left(\theta \right)$ is Yoccoz’s Brjuno function.

In a former article we obtained a first proof based on the control of parabolic explosion. Here, we present a more elementary proof based on Yoccoz’s initial methods.

We then extend this result to some new families of polynomials such as $z^d+c$ with $d>2$. We also show that the conjecture does not hold for ${\mathrm{e}}^{2\pi i\theta }(z+z^d)$ with $d>2$.

Classification : 37F50
Keywords: Siegel disks, quadratic polynomials, harmonic and subharbonic functions, conformal radius, holomorphic motions
Mot clés : disques de Siegel, polynômes quadratiques, fonctions harmoniques et sous-harmoniques, rayon conforme, mouvement holomorphe

[1] Bers, Lipman; Royden, H. L. Holomorphic families of injections, Acta Math., Volume 157 (1986) no. 3-4, pp. 259-286 | DOI | MR | Zbl

[2] Buff, Xavier Virtually repelling fixed points, Publ. Mat., Volume 47 (2003) no. 1, pp. 195-209 | EuDML | MR | Zbl

[3] Buff, Xavier; Chéritat, Arnaud Upper bound for the size of quadratic Siegel disks, Invent. Math., Volume 156 (2004) no. 1, pp. 1-24 | DOI | MR | Zbl

[4] Buff, Xavier; Chéritat, Arnaud The Brjuno function continuously estimates the size of quadratic Siegel disks, Ann. of Math. (2), Volume 164 (2006) no. 1, pp. 265-312 | DOI | MR | Zbl

[5] Buff, Xavier; Epstein, Adam L. A parabolic Pommerenke-Levin-Yoccoz inequality, Fund. Math., Volume 172 (2002) no. 3, pp. 249-289 | DOI | MR | Zbl

[6] Chéritat, Arnaud Recherche d’ensembles de Julia de mesure de Lebesgue positive, Université Paris-Sud, décembre (2001) (thèse de doctorat)

[7] Douady, Adrien; Hubbard, John Hamal On the dynamics of polynomial-like mappings, Ann. Sci. École Norm. Sup. (4), Volume 18 (1985) no. 2, pp. 287-343 | EuDML | Numdam | MR | Zbl

[8] Epstein, A. L. Infinitesimal Thurston rigidity and the Fatou-Shishikura inequality (1991) (Stony Brook IMS Preprint)

[9] Geyer, Lukas Linearization of structurally stable polynomials, Progress in holomorphic dynamics (Pitman Res. Notes Math. Ser.), Volume 387, Longman, Harlow, 1998, pp. 27-30 | MR | Zbl

[10] Hardy, G. H.; Wright, E. M. An introduction to the theory of numbers, Oxford University Press, Oxford, 2008 (Revised by D. R. Heath-Brown and J. H. Silverman) | MR | Zbl

[11] Mañé, R.; Sad, P.; Sullivan, D. On the dynamics of rational maps, Ann. Sci. École Norm. Sup. (4), Volume 16 (1983) no. 2, pp. 193-217 | EuDML | Numdam | MR | Zbl

[12] Pommerenke, Christian Univalent functions, Vandenhoeck & Ruprecht, Göttingen, 1975 (With a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, Band XXV) | MR | Zbl

[13] Ransford, Thomas Potential theory in the complex plane, London Mathematical Society Student Texts, 28, Cambridge University Press, Cambridge, 1995 | DOI | MR | Zbl

[14] Risler, Emmanuel Linéarisation des perturbations holomorphes des rotations et applications, Mém. Soc. Math. Fr. (N.S.) (1999) no. 77, pp. viii+102 | EuDML | Numdam | MR | Zbl

[15] Shishikura, Mitsuhiro On the quasiconformal surgery of rational functions, Ann. Sci. École Norm. Sup. (4), Volume 20 (1987) no. 1, pp. 1-29 | EuDML | Numdam | MR | Zbl

[16] Slodkowski, Zbigniew Holomorphic motions and polynomial hulls, Proc. Amer. Math. Soc., Volume 111 (1991) no. 2, pp. 347-355 | DOI | MR | Zbl

[17] Sullivan, Dennis P.; Thurston, William P. Extending holomorphic motions, Acta Math., Volume 157 (1986) no. 3-4, pp. 243-257 | DOI | MR | Zbl

[18] Yoccoz, Jean-Christophe Théorème de Siegel, nombres de Bruno et polynômes quadratiques, Astérisque (1995) no. 231, pp. 3-88 (Petits diviseurs en dimension $1$) | Numdam | MR