Domains in \({\mathbb{C}}^{n+1}\) with noncompact automorphism group (Q810208)

The authors classify certain domains in complex Euclidean space that have non-compact holomorphic automorphism groups. Let \(\Omega\) be a relatively compact domain in \({\mathbb{C}}^{n+1}\). Assume the following: (1) The boundary \(\partial \Omega\) is smooth, (2) There is a number k such that for any point \(p\in \partial \Omega\) and any germ of a holomorphic variety \(V_ p\) containing p, the germ \(V_ p\) cannot be tangent to \(\partial \Omega\) to order higher than k, (3) the Levi form of \(\partial \Omega\) has rank at least \(n-1,\) (4) The holomorphic automorphism group of \(\Omega\) is non-compact. Then the authors prove that the domain \(\Omega\) is biholomorphically equivalent to the domain \[ E_ m=\{(w,z_ 1,...,z_ n)\in {\mathbb{C}}^{n+1}:\;| w|^ 2+| z_ 1|^{2m}+| z_ 2|^ 2+...+| z_ n|^ 2<1\}\text{ for some integer } m\geq 1. \] A domain satisfying (2) is said to be of finite type, a condition satisfied by any bounded domain with a real analytic boundary. It was previously known that if \(\Omega\) is strictly pseudoconvex and has a non-compact holomorphic automorphism group, then \(\Omega\) is biholomorphically equivalent to the unit ball in \({\mathbb{C}}^{n+1}\) [see \textit{B. Wong}, Invent. Math. 41, 253-257 (1977; Zbl 0385.32016)].