A family of critically finite maps with symmetry (Q558348)

The author gives examples of holomorphic endomorphisms of \(\mathbb{C}\mathbb{P}(k)\) which are critically finite and describes their Fatou set for \(k=1,2\). Observe that the permutation group \(\mathcal{S}_n\) acts canonically on \(H := \{ \sum_{k=1}^n x_k = 0 \} \subset \mathbb{C}^n\) : this induces an action on \(\mathbb{P} H \simeq \mathbb{C}\mathbb{P}^{n-2}\) by the projectivization of \(\mathcal{S}_n\), denoted \(\mathcal{G}_n\). The author proves that there exists a unique \(\mathcal{G}_n\)-invariant holomorphic endomorphism \(g\) of \(\mathbb{C}\mathbb{P}^{n-2}\). The critical locus of \(g\) is given by the hyperplanes \(\mathbb{P} L\), where \(L\) is running over the subspaces \(\{ x_i = x_j \}\), and \(g\) is critically finite. For \(n = 3,4\) the Fatou set of \(g\) consists in the union of attracting basins. Note that for \(n=4\) it relies on a theorem of \textit{J. E. Fornaess} and \textit{N. Sibony} [Astérisque 222, 201--231 (1994; Zbl 0813.58030)]. The last section contains beautiful graphical result in dimension \(1\) and \(2\).