A hyperbolic sextic surface in \(\mathbb P^3(\mathbb C)\) (Q707413)

The aim of this paper is to construct a hyperbolic sextic in \(\mathbb{P}^3(\mathbb{C})\), therefore showing the existence of such a surface. A subset of \(\mathbb{P}^3(\mathbb{C})\) is called hyperbolic if it does not contain an entire curve, this is a non-constant holomorphic image of \(\mathbb{C}\). The interest in the subject comes from Kobayashi's conjecture that states that a generic surface of degree greater than 4 in \(\mathbb{P}^3(\mathbb{C})\) is hyperbolic. The result has been proved first for degree \(\geq 36\) by \textit{M. McQuillan} [Geom. Funct. Anal. 9, No. 2, 370--392 (1999; Zbl 0951.14014)], and then for degree \(\geq 21\) by \textit{J.-P. Demailly} and \textit{J. El Goul} [Am. J. Math. 122, No. 3, 515--546 (2000; Zbl 0966.32014)]. Parallel to this, an effort to construct examples of hyperbolic surfaces of lowest degree possible has been performed: prior to the article under review, the best known result corresponded to degree 8.