Hyperbolic polynomial diffeomorphisms of \(\mathbb C^2\). III: Iterated monodromy groups (Q2445921)

Let \(f=f_{p_1,b_1}\circ \cdots \circ f_{p_k,b_k}\) where, for each \(j=1,\dots,k\), \(f_{p_j,b_j}: \mathbb{C}^2\to\mathbb{C}^2: (x, y)\mapsto (p_j(x)-b_jy, x)\) and where \(p_j\) is a polynomial. Let \(K^{+}\) (resp. \(K^-\)) be the set of points whose forward (resp. backward) orbit by \(f\) is bounded in \(\mathbb{C}^2\). Denote \(J^+=\partial K^+\) and \(J^-=\partial K^-\) and \(J=J^+\cup J^-\), called the Julia set. This paper mainly focuses on the correspondence on the three combinatorial descriptions of the Julia set of hyperbolic maps: Solenoid, automaton and Hubbard tree. In particular, the paper connects the Hubbard tree description and the description by a limit solenoid of the iterated monodromy group. That is, the induced map on the Hubbard tree is topologically conjugate to the self-map on the limit solenoid of the iterated monodromy group, which implies that the self-map on the Julia set is topologically conjugate to the map on the limit solenoid of the monodromy group. For Part I and II see [the author, ibid. 218, No. 2, 417--464 (2008; Zbl 1136.37028); ibid. 220, No. 4, 985--1022 (2009; Zbl 1168.37012); corrigendum ibid. 226, No. 4, 3850--3855 (2011)].