Analyticity of the Hausdorff dimension and metric structures on Misiurewicz families of polynomials

Abstract

Consider a holomorphic family $(f_λ)_{λ\in Λ}$ of polynomial maps on $\mathbb C$ with the property that a critical point of $f_λ$ is persistently preperiodic to a repelling periodic point of $f_λ$. Let $Ω$ be a bounded stable component of $Λ$ with the property that, for all $λ\in Ω$, all the other critical points of $f_λ$ belong to attracting basins. In this paper, we introduce a dynamically meaningful geometry on $Ω$ by constructing a natural path metric on $Ω$ coming from a 2-form $\langle \cdot, \cdot \rangle_G$. Our construction uses thermodynamic formalism. A key ingredient is the spectral gap of adapted transfer operators on suitable Banach spaces, which also implies the analyticity of $\langle \cdot, \cdot \rangle_G$ on the unit tangent bundle of $Ω$. As part of our construction, we recover a result of Skorulski and Urbański stating that the Hausdorff dimension of the Julia set of $f_λ$ varies analytically over $Ω$.