On Poincaré series of unicritical polynomials at the critical point (Q375661)

Let \(f:\mathbb{C}\rightarrow\mathbb{C}\) be a degree \(d\geq2\) polynomial and let \(t>0\). A conformal measure of \(f\) of exponent \(t\) is a probability measure \(\mu\) supported on the Julia set \(J(f)\) of \(f\) such that for any Borel set \(E\subset\mathbb{C}\) on which \(f\) is injective, we have \[ \mu(f(E))=\int_E|Df|^t\, \mathrm{d}\mu~. \] It is known that any polynomial \(f\) admits conformal measures and that the associated exponent are at least the hyperbolic dimension \(\mathrm{HD}_{\mathrm{hyp}}(f)\) of \(f\): \[ \mathrm{HD}_{\mathrm{hyp}}(f):=\sup\{\dim_{\mathrm{H}}(X)\, ; X \text{ hyperbolic set for }f\}~. \] The article under review deals with the properties of conformal measures of unicritical polynomials, i.e. polynomials having a unique (finite) critical point. More precisely, the authors focus on uncritical polynomials having a priori bounds, which is a geometric property satisfied by a large class of polynomials. Such polynomials are known to have a unique conformal measure of minimal exponent \(\mathrm{HD}_{\mathrm{hyp}}(f)\). They prove two main results. The first one states that the unique conformal measure of minimal exponent for a unicritical polynomial \(f\) having a priori bounds does not have an atom at the critical point of \(f\). For unicritical polynomials, the existence of an atom at a critical point \(c\) of \(f\) for a conformal measure of exponent \(t\) is equivalent to the convergence of the Poincaré series \[ \mathcal{P}(c,t):=\sum_{n=0}^\infty\sum_{z\in f^{-n}\{c\}}|Df^n(z)|^{-t}~. \] The second result of the paper says that, if \(f\) has a priori bounds and if \(t>\mathrm{HD}_{\mathrm{hyp}}(f)\), then the series \(\mathcal{P}(c,t)\) converges if and only if the series \(\sum_{n\geq0}|Df^n(f(c))|^{-d/t}\) converges. In particular, a conformal measure for \(f\) of exponent \(t\) has an atom at a its critical point if an only if it satisfies the above summability condition. The proof is quite technical and relies on a very delicate combinatorial argument.