Typical orbits of quadratic polynomials with a neutral fixed point: Brjuno type (Q358816)

The article under review deals with the complex dynamics of the quadratic polynomial \(P_\alpha(z):=e^{2i\pi\alpha}z+z^2\), where \(\alpha\) is an irrational number. The author focuses on the case when \(\alpha\) is a Brjuno number of high return type, i.e., the continuous fraction expansion of \(\alpha\) has all entries greater than or equal to a given integer \(N\geq1\). The \textit{postcritical set} \(\mathcal{PC}(P_\alpha)\) of \(P_\alpha\) is the the closure of the forward orbit of the critical point \(-e^{2i\pi\alpha}\) of \(P_\alpha\), i.e., \(\mathcal{PC}(P_\alpha)=\overline{\bigcup_nP_\alpha^{\circ n}(-e^{2i\pi\alpha})}\). It is known that \(\mathcal{PC}(P_\alpha)\) is the measure theoretic attractor of the dynamics of \(P_\alpha\) on the Julia set. In this paper, the main result is that for a Brjuno number \(\alpha\) of high return type, then \(\mathcal{PC}(P_\alpha)\) has Lebesgue measure zero. As a consequence, the author proves that, in this case, \(P_\alpha\) can not have any absolutely continuous invariant measure. In a second time, he proves that, still in the above case, the Julia set of \(P_\alpha\) is ``non-uniformly porous'' at any point not lying in the closure of the Siegel disk of \(P_\alpha\). The proofs are very technical and mainly rely on a near-parabolic renormalization ``à la Inou-Shishikura''.