Classification of proper holomorphic mappings between generalized pseudoellipsoids of different dimensions (Q6829319)

Let \N\[\N \begin{multlined} E\big(m;(m_j)_{j=1}^N;(\alpha_j)_{j=1}^N\big)\\:=\Big\{(z,w_1,\dots,w_N)\in\mathbb C\times\mathbb C^{m_1}\times\dots\times\mathbb C^{m_N}:|z|^2+\sum_{j=1}^N\|w_j\|^{2\alpha_j}<1\Big\}, \end{multlined} \N\]\N where \(\alpha_j\in\mathbb N\), \(\alpha_j>1\), \(j=1,\dots,N\), \(\sum_{j=1}^Nm_j=m\), and \(\|w_j\|\) is a Euclidean norm of \(w_j\in\mathbb C^{m_j}\), be the \textit{generalized pseudoellipsoid}.\N\NThe main result of the paper is the following. \N\N\N\N Let \(E\big(m;(m_j)_{j=1}^N;(\alpha_j)_{j=1}^N\big)\) and \(E\big(n;(n_j)_{j=1}^N;(\beta_j)_{j=1}^N\big)\) be two generalized pseudoellipsoids and let \N\[\N (F,G_1,\dots,G_N):E\big(m;(m_j)_{j=1}^N;(\alpha_j)_{j=1}^N\big)\longrightarrow E\big(n;(n_j)_{j=1}^N;(\beta_j)_{j=1}^N\big) \N\]\N be a proper holomorphic mapping which fixes the origin and extends holomorphically to the boundary. Assume that there exists a permutation \(\sigma\) of order \(N\) such that one the follwing holds: {\parindent=6mm \begin{itemize} \item[(a)] \(2\leq m_{\sigma(j)}\leq n_j\leq2m_{\sigma(j)}-2\), \item [(b)] \(3\leq m_{\sigma(j)}\), \(n_j=2m_{\sigma(j)}-1\), \item [(c)] \(4\leq m_{\sigma(j)}\), \(2m_{\sigma(j)}\leq n_j\leq3m_{\sigma(j)}-4\). \N\N\end{itemize}} Then \(\alpha_{\sigma(j)}=\beta_j\) and \((F,G_1,\dots,G_N)\) is equivalent up to automorphisms of \(E\big(m;(m_j)_{j=1}^N;(\alpha_j)_{j=1}^N\big)\) and \(E\big(n;(n_j)_{j=1}^N;(\beta_j)_{j=1}^N\big)\)\big), to \N\[\N (z,w_1,\dots,w_N)\longmapsto(z,\tilde G_1,\dots,\tilde G_N), \N\]\N where \(\tilde G_j(w_j)=(w_{\sigma(j)},0\dots,0)\) with the first \(m_{\sigma(j)}\) components being \(w_{\sigma(j)}\) and the rest being zeros.\N\NFor the entire collection see [Zbl 1328.32001].