Pseudoconvex domains in the Hopf surface (Q2339653)

Let \(a\in {\mathbb{C}}^*:={\mathbb{C}}\setminus \{0\}\) with \(| a| >1\) and let \(\mathbb H_a\) be the \textit{Hopf manifold with respect to} \(a\), i.e, \(\mathbb H_a={\mathbb{C}}^n\setminus \{(0,\dots ,0)\}/{\sim}\) where \(z'\sim z\) if and only if there exists \(m\in {\mathbb{Z}}\) such that \(z'=a^m z\) in \({\mathbb{C}}^n\setminus \{0\}\). In a previous paper [\textit{K.-T. Kim} et al., Mem. Am. Math. Soc. 984, 111 p. (2011; Zbl 1228.32001)], it was shown that any pseudoconvex domain \(D\subset \mathbb H_a\) with \({\mathcal{C}}^{\omega}\)-smooth boundary which is not Stein, is biholomorphic to \(T_a\times D_0\) where \(D_0\) is a Stein domain in \(\mathbb P^{n-1}\) with \({\mathcal{C}}^{\omega}\)-smooth boundary and \(T_a\) is a one-dimensional torus. The authors achieved this using the technique of variation of domains in a complex Lie group developed in [loc. cit.] applied to \(\mathbb H_a\) as a complex homogeneous space with transformation group \(GL(n,{\mathbb{C}})\). Now the present authors use this aforementioned technique of variation of domains to characterize the domains with \({\mathcal{C}}^{\omega}\)-smooth boundary in \({\mathcal{H}}_{(a,b)}\) which are not Stein. Here \(a, b\in {\mathbb{C}}^*\) with \(| b| \geq | a| >1\) and \({\mathcal{H}}_{(a,b)}\) is the \textit{Hopf surface with respect to} \((a,b)\), i.e. \({\mathcal{H}}_{(a,b)}={\mathbb{C}}^2\setminus\{(0,0)\}/{\sim}\), where \((z,w)\sim (z',w')\) if and only if there exists \(n\in {\mathbb{Z}}\) such that \(z'=a^n z\), \(w'=b^n w\). Observe that the complex two-dimensional compact manifold \({\mathcal{H}}_{(a,b)}\) is not a complex Lie group. However, \({\mathcal{H}}^*_{(a,b)}={\mathcal{H}}_{(a,b)}\setminus ({\mathbf T}_a \cup {\mathbf T}_b)\) is both a complex Lie group and a complex homogeneous space. And this will play a crucial role in the work. As a matter of fact, with the aid of these facts the authors are able to achieve their aforementioned characterization. Here \({\mathbf T}_a=T_a\times \{0\}\), \({\mathbf T}_b=\{0\}\times T_b\) are disjoint compact analytic curves and \(T_a:={\mathbb{C}}^*/{\sim_a}\) and \(T_b:={\mathbb{C}}^*/{\sim_b}\) are complex one-dimensional tori. Recall the definition of the equivalence relation \(\sim_a\), say: For \(z,\, z'\in {\mathbb{C}}^*\) one defines \(z\sim_a z'\) if and only if there exists \(n\in {\mathbb{Z}}\) such that \(z'=a^nz\) in \({\mathbb{C}}^*\).