Analytic dynamics in some pseudoconvex domains (Q4032209)

Let \(X\) be a 2-dimensional compact complex manifold, and let \(\Omega\) be a domain in \(X\) such that each point \(\zeta\in\partial\Omega\) has a neighbourhood \(U\) in \(X\) on which there is a continuous plurisubharmonic function \(h\) such that \(\Omega\cap U=\{x\in U| h(x)<0\}\). Let \(\varphi\) be a holomorphic self-map of \(\Omega\) whose iterates form a relatively compact family in \(\text{Hol}(\Omega,X)\), and suppose there exists some point \(p\in\Omega\) which is nonwandering for \(\varphi\). Then exactly one of the following is true: (I) \(p\) is an attractive fixed point whose basin of attraction is \(\Omega\). (II) There is a one-dimensional complex submanifold \(S\subset\Omega\) passing through \(p\) such that \(\varphi(S)\subset S\), \(\varphi|_ S\) is an automorphism, and \(S\) attracts all points of \(\Omega\). Furthermore the iterates of \(\varphi|_ S\) contain a subsequence which converges to the identity. (III) \(\varphi\) is a biholomorphic map of \(\Omega\) to itself, and the iterates of \(\varphi\) contain a subsequence which converges to the identity. The stability of the various possible types of behaviour is considered for analytic families of maps of plane domains. One application obtained here (a self-map of the polydisc which fixes 2 points must fix on embedded disc) is known [cf. \textit{J. P. Vigué}, Adv. Math. 52, 241-247 (1984; Zbl 0555.32015)]. It is also of interest to compare Theorem 1.1 of \textit{E. Bedford}, Math. Ann. 266, 215-227 (1983; Zbl 0532.32014). The introduction of the dynamical systems notion of nonwandering point is, from the point of view of several complex variables, the main novelty of the present paper.