Compact quotients with positive algebraic dimensions of large domains in a complex projective 3-space (Q616660)

The author studies holomorphic actions of discrete subgroups \(\Gamma\subset PGL(4,\mathbb C)\) on large open domains in \(\mathbb P^3(\mathbb C)\) and the structure of their quotients, hereby extending and generalizing results of his paper [K]: [Tokyo J. Math. 29, No.~1, 209--232 (2006; Zbl 1116.32011)]. A domain in \(\mathbb P^3\) is called large if it contains a projective line. The group Aut\((\Omega)\) of biholomorphisms of a large domain \(\Omega\) can be identified with a subgroup of \(PGL(4,\mathbb C)\). Using results of \textit{P. J. Myrberg} [Acta Math. 46, 215--336 (1925; JFM 51.0298.02)] about limit sets of normal sequences in \(\Gamma\), the author shows that a properly discontinuous action of \(\Gamma\) on a large domain \(\Omega\) is only possible if \(\Gamma\) is of so-called type L, i.e., there is an open subdomain \(W\subset \mathbb P^3\) biholomorphic to \(\{[z_0:z_1:z_2:z_3]\in\mathbb P^3\mid |z_0|^2+|z_1|^2<|z_2|^2+|z_3|^2\}\) which satisfies \(\gamma(W)\cap W=\emptyset\) for any \(\gamma\in\Gamma\backslash\{\text{id}\}\). For \(\Gamma\subset PGL(4,\mathbb C)\) of type \(L\) the limit set \(\Lambda(\Gamma)\) is a union of projective lines and a closed, nowhere dense \(\Gamma\)-invariant subset of \(\mathbb P^3\) with the property that \(\Gamma\) operates properly discontinuously on the complement \(\Omega(\Gamma)=\mathbb P^3\backslash\Lambda(\Gamma)\) which is large. The quotient \(\Omega(\Gamma)/\Gamma\) may have infinitely many components [see \textit{M. E. Kapovich} and \textit{L. D. Potyagailo}, Sib. Math. J. 32, No.~2, 227--237 (1991; Zbl 0741.30038)]. Let \(\Omega\) be a large domain in \(\mathbb P^3\) and assume that the quotient \(X=\Omega/\Gamma\) by a properly discontinuous holomorphic action of \(\Gamma\subset\Aut(\Omega)\) on \(\Omega\) is compact. Then \(\Omega\) is a connected component of \(\Omega(\Gamma)\). If moreover \(\Gamma\) acts fixed point free on \(\Omega\) and the algebraic dimension \(a(X)\) of \(X\) is positive, then \(\Omega=\Omega(\Gamma)\), see [K], and the universal covering space of \(X\) is biholomorphic equivalent to the complement of one or two disjoint projective lines in \(\mathbb P^3\). The latter statement is the main result of the paper and the extensive proof uses a broad spectrum of classical methods from algebraic geometry including deformation theory of Kodaira surfaces. The main difficulty occurs for \(a(X)=1\) and is solved by a thorough analysis of the possible singularities of the singular fibers of the algebraic reduction map of \(X\), with additional detailed considerations about free abelian group actions on \(\mathbb P^2\) and \(\mathbb P^3\).