A Cartan theorem for proper holomorphic mappings of complete circular domains (Q1580857)

A classical result of H.~Cartan states that a biholomorphic map between bounded complete circular domains in \(\mathbb C^{n+1} (n\geqslant 0)\) which fixes the origin is the restriction of a complex linear isomorphism. S.~Bell extended this result showing that a proper holomorphic map \(F:\varOmega_1 \to\varOmega_2\) between bounded complete circular domains in \(\mathbb C^{n+1}\) such that \(F^{-1}\{0\} =\{0\}\) is a polynomial map. The main result of the paper is the generalization of Cartan theorem. Let \(F_p\) be the homogeneous part of lower degree in the Taylor expansion of \(F\) at the origin. If \(F^{-1}\{0\}=F_p^{-1}\{0\} =\{0\}\) then \(F=F_p.\) If moreover \(\varOmega_1=\varOmega_2=:\varOmega\) and \(p\geqslant 2\), then \(\varOmega\) coincides with the basin of attraction of \(F\) at the origin. The proof, based on some remarks about pluripotential theory and on methods of holomorphic dynamics, does not use the Bell's result. The dynamical aspect of the authors' approach yields also a consequence for proper self-maps. The boundaries of basins of attraction of homogeneous polynomial maps in \(\mathbb C^{n+1}\) cannot be smooth when \(n\geqslant 1.\)