On the hyperbolicity of general hypersurfaces (Q679649): Difference between revisions

It is proved that a general sufficiently ample hypersurface in a smooth projective variety is hyperbolic. Precisely the main result is the following: Let \(X\) be a smooth projective variety, for any ample line bundle \(A\) on \(X\) there exists \(d_0\in \mathbb N\) such that for any \(d\geq d_0\), a general hypersurface \(H\in |A^d|\) is hyperbolic. A conjecture of \textit{S. Kobayashi} [Hyperbolic manifolds and holomorphic mappings. New York: Marcel Dekker, Inc. (1970; Zbl 0207.37902)] states that general hypersurfaces of sufficiently large degree in \(\mathbb P^n\) are hyperbolic. Hence for \(X=\mathbb P^n\) and \(A=\mathcal O_{\mathbb P^n} (1)\) the main result is the Kobayashi conjecture. The main tool of the proof is the use of jet differential equations. Precisely the author constructs hypersurfaces with a property which is Zariski open and implies hyperbolicity. The geometry of higher-order jet spaces of these hypersurfaces is related to the geometry of a universal family of complete intersection by introducing a Wronskian construction.