Simultaneous linearization and centralizers of parabolic self-maps I: zero hyperbolic step

Abstract

Let $φ:\mathbb D \to \mathbb D$ be a parabolic self-map of the unit disc $\mathbb D$ having zero hyperbolic step. We study holomorphic self-maps of $\mathbb D$ commuting with $φ$. In particular, we answer a question from Gentili and Vlacci (1994) by proving that $ψ\in\mathsf{Hol(\mathbb D,\mathbb D)}$ commutes with $φ$ if and only if the two self-maps have the same Denjoy-Wolff point and $ψ$ is a pseudo-iterate of $φ$ in the sense of Cowen. Moreover, we show that the centralizer of $φ$, i.e. the semigroup $\mathcal Z_\forall(φ):=\{ψ:ψ\circφ=φ\circψ\}$ is commutative. We also prove that if $φ$ is univalent, then all elements of $\mathcal Z_\forall(φ)$ are univalent as well, and if $φ$ is not univalent, then the identity map is an isolated point of $\mathcal Z_\forall(φ)$. The main tool is the machinery of simultaneous linearization, which we develop using holomorphic models for iteration of non-elliptic self-maps originating in works of Cowen and Pommerenke.