Compact quotients of large domains in a complex projective 3-space (Q854384)

A domain in a projective space \({{\mathbb P}^3}\) is called large if it contains a line (a linear dimension-1 subspace). The author proves that if a large domain \(\Omega\subset{{\mathbb P}^3}\) is the universal covering of a smooth compact complex manifold \(X\) carrying non-constant meromorphic functions, then \(\Omega\) is dense in \({{\mathbb P}^3}\); moreover, its complement is contained in a finite union of hypersurfaces and a set with Hausdorff dimension \(\leq 2\). With some extra assumptions on the structure of \({{\mathbb P}^3}\backslash \Omega\), it is also shown that this complement is a disjoint union of two lines, or a line, or empty. A key result, proved in a previous paper by the same author is that if \(\Omega\) is large, then \(\pi_1(X)\) is a subgroup of \(\text{ PGL}(4)\). The proof relies on results of S. Ivashkovich on extensions of meromorphic functions on Hartogs domains into complex manifolds with pluri-closed Hermitian metrics.