Proper holomorphic mappings between rigid polynomial domains in \(\mathbb C^{n+1}\) (Q5940003)

A rigid polynomial domain \(D\) in \({\mathbb C}^{n+1}\) is one which is given as \(\{(z,z_0)\in{\mathbb C}^{n+1}:2 \Re (z_0)+P(z,\bar z) <0\}\) where \(P(z,\bar z)\) is a polynomial. It is assumed that \(\partial D\) is pseudoconvex and of finite D'Angelo type at every point. Naturally, the weakly pseudoconvex locus of \(\partial D\) is the product of a real algebraic subset \(A\) of \({\mathbb C}_z^n\) by the real line \({\mathbb R}_{\text{Im} z_0}\). NEWLINENEWLINENEWLINELet \(B\subset A\) be the uniquely defined algebraic subset of \({\mathbb C}^n\) with the property that the regular part of \((B\times {\mathbb R}_{\Im z_0})\cap \partial D\) is maximally complex of real dimension equal to \(2n-1\).NEWLINENEWLINEBased on the algebraicity result proved in a paper by \textit{B. Coupet} and \textit{S. Pinchuk} [Chirka, E. M. (ed.), Complex analysis in modern mathematics. On the 80th anniversary of the birth of Boris Vladimirovich Shabat. Moscow: Izdatel'stvo FAZIS, 57--70 (2001; Zbl 1057.32008)], the authors show that the branch locus of every proper holomorphic mappings from \(D\) onto another domain \(D'\) satisfying the same assumptions as \(D\) is necessarily contained in \(B\times {\mathbb R}_{\Im z_0}\). As in a previous work of \textit{E. Bedford} [Am. J. Math. 106, 745--760 (1984; Zbl 0556.32013)], this is done by analyzing the order of vanishing of the Levi determinant. As a corollary, it follows that every proper self-mapping of \(D\) is biholomorphism. NEWLINENEWLINEThe article is very clearly written.