Weak analytic hyperbolicity of generic hypersurfaces of high degree in \(\mathbb P^4\) (Q2470986)

Let \(X\) be a general hypersurface in the complex projective space \(\mathbb P^n\). A famous conjecture of Kobayashi claims that if the degree of \(X\) is at least \(2n-1\), the variety \(X\) is hyperbolic, i.e. every morphism from \(\mathbb{C} \rightarrow X\) is constant. This very difficult conjecture has attracted many mathematicians : \textit{Y.-T. Siu} has shown that the conjecture holds for hypersurfaces of very high degree [in: The legacy of Niels Henrik Abel. Oslo 2002. 543--566 (2004; Zbl 1076.32011)]. \textit{J.-P. Demailly} and \textit{J. El Goul} have shown that a very general surface of degree at least \(21\) in projective threespace is hyperbolic [Am. J. Math. 122, No. 3, 515--546 (2000; Zbl 0966.32014)]. In the paper under review a weak version of the Kobayashi's conjecture is established in dimension three. More precisely, we have the following theorem: Let \(X\) be a general hypersurface in \(\mathbb P^4\) of degree at least \(593\). Then every entire curve \(f:\mathbb{C} \rightarrow X\) is algebraically degenerated, i.e. its image is contained in a proper algebraic subvariety. The proof of the theorem follows a general strategy in hyperbolicity questions to construct global sections of the bundle of jet differentials that vanish on an ample divisor. These sections give algebraic differential equations every entire curve in \(X\) has to satisfy [cf. \textit{J.-P. Demailly}, in: Algebraic geometry. Santa Cruz 1995: AMS Proc. Symp. Pure Math. 62(pt.2), 285--360 (1997; Zbl 0919.32014)]. Based on his earlier paper [J. Math. Pures Appl. (9) 86, No. 4, 322--341 (2006; Zbl 1115.14009)], the author provides an effective bound for the dimension of the space of global sections. A second important ingredient is the careful construction of meromorphic vector fields on the space of vertical 3-jets of the universal hypersurface.