Simultaneous linearization and centralizers of parabolic self-maps II: positive hyperbolic step

The study of holomorphic self-mappings of the unit disc commuting under the composition goes back to this http URL (1964), this http URL (1970), this http URL (1973), and this http URL (1984).

In many situations, the centralizer of a holomorphic self-map ${\varphi:\mathbb D \to \mathbb D}$, i.e. the semigroup $\mathcal Z_\forall(\varphi):=\{\psi\in\mathsf{Hol}(\mathbb D):\psi\circ\varphi=\varphi\circ\psi\}$ turns out to be commutative.

However, this does not hold for the case of a parabolic self-map $\varphi$ of positive hyperbolic step, which is analyzed in detail in this paper.

We investigate the relationships among commutativity, simultaneous linearization, and holomorphic models.

In particular, we obtain existence and uniqueness results for the simultaneous linearization of commuting pairs $\varphi$, $\psi\in \mathcal Z_\forall(\varphi)$.

Furthermore, extending this notion to arbitrary families of holomorphic self-mappings, we show that a given (finite or infinite) family in the centralizer ${\Delta\subset\mathcal Z_\forall(\varphi)}$ can be simultaneously linearized together with$~\varphi$ if and only if any two elements of$~\Delta$ commute with each other.

This gives a far reaching extension of Cowen's result concerning commuting pairs in$~\mathsf{Hol}(\mathbb D)$.