Dynamics of holomorphic self-maps of regular domains and the injectivity theorem (Q2494332)

After the cornerstone work of \textit{H. Alexander} [Indiana Univ. Math. J. 26, No. 1, 137--146 (1977; Zbl 0391.32015)], many papers have been devoted to the study of proper holomorphic mappings. A very basic question is whether any proper holomorphic self-map of a bounded pseudoconvex domain with smooth boundary in \(\mathbb C^n\), \(n>1\), is necessarily an automorphism. In this direction, a big contribution for the strongly pseudoconvex case comes from the scaling method of S. Pinchuk, followed by many works of several authors, as contained in the bibliography of the paper under review. In the present paper the author studies the dynamic of a proper holomorphic self-map extending smoothly on the boundary of a bounded and suitably regular pseudoconvex domain with smooth boundary. The author's method concerns in considering the dynamic of the map on the boundary of the domain. In particular he gives results on both the case the sequence of the iterates of the map is recurrent (namely the orbit of every point stays away from the boundary) and the non-recurrent case. In the first case, he proves that the limit manifold of the map must have dimension at least two. In the non-recurrent case, he proves that either the limit set of the iterates (both in the domain and on the strongly pseudoconvex subsets of the boundary) is made of weakly pseudoconvex points or the sequence of iterates converges uniformly on compacta to a unique strongly pseudoconvex point. In both cases the non-wandering set of the (restriction of the) map on the boundary is contained in the weakly pseudoconvex part. In particular, in dimension two, this is used to prove that holomorphic proper self-maps (of pseudoconvex, circular and suitably regular domains) are automorphisms. As a by-pass product, the author shows that a bounded domain with smooth boundary which has a global defining plurisubharmonic function cannot be the basin of attraction of any of its points for a proper holomorphic self-map.