Proper holomorphic mappings between generalized Hartogs triangles (Q2362876): Difference between revisions

Let \(n, m\in\mathbb N\), \(p=(p_1,\dots,p_n)\in\mathbb R^n_{>0}\), \(q=(q_1,\dots,q_m)\in\mathbb R^m_{>0}\), and let \(\mathbb F_{p,q}:=\{(z,w)\in\mathbb C^n\times\mathbb C^m: \sum_{j=1}^n|z_j|^{2p_j}<\sum_{k=1}^m|w_k|^{2q_k}<1\}\) be the generalized Hartogs triangle. The main result of the paper is a complete characterization of the existence and form of proper holomorphic mappings \(\mathbb F_{p,q}\longrightarrow\mathbb F_{\tilde p,\tilde q}\) (\(\tilde p\in\mathbb R^n_{>0}\), \(\tilde q\in\mathbb R^m_{>0}\)). In particular, the author presents a complete description of the group of holomorphic automorphisms of \(\mathbb F_{p,q}\) and shows that any proper holomorphic mapping \(\mathbb F_{p,q}\longrightarrow\mathbb F_{p,q}\) is an automorphism if and only if \(n, m\geq2\). Moreover, he gives a complete description of all proper holomorphic mappings \(\mathbb E_p\longrightarrow\mathbb E_q\), \(p, q\in\mathbb R^n_{>0}\), where \(\mathbb E_p:=\{z\in\mathbb C^n: \sum_{j=1}^n|z_j|^{2p_j}<1\}\) and \(\mathbb E_q\) are complex ellipsoids.