[Paper Review] Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space

Erwan Rousseau|ArXiv.org|Mar 30, 2006

Algebraic Geometry and Number Theory11 references4 citations

TL;DR

This paper establishes weak analytic hyperbolicity for the complement of a generic surface of degree $ d \geq 586 $ in $ \mathbb{P}^3_{\mathbb{C}} $, proving that every entire curve in this complement is algebraically degenerate. The proof combines logarithmic jet differentials and vector fields on logarithmic spaces, using Riemann-Roch and cohomological estimates to show that entire curves must lie in proper subvarieties, thus supporting a logarithmic version of Kobayashi's conjecture in dimension three.

ABSTRACT

In this article we prove that every entire curve in the complement of a generic hypersurface of degree $d\geq 586$ in $\mathbb{P}_{\mathbb{C}}^{3}$ is algebraically degenerate i.e there exists a proper subvariety which contains the entire curve.

Motivation & Objective

• To establish weak analytic hyperbolicity for the complement of a generic hypersurface in $ \mathbb{P}^3_{\mathbb{C}} $, extending Kobayashi's conjecture to the logarithmic setting.
• To prove that entire curves in $ \mathbb{P}^3 \setminus X $, where $ X $ is a generic surface of degree $ d \geq 586 $, are algebraically degenerate.
• To develop and apply techniques involving logarithmic jet differentials and holomorphic vector fields on logarithmic spaces to control the behavior of entire curves.
• To provide a quantitative bound on the degree $ d $ for which such hyperbolicity holds, improving upon previous results in the logarithmic case.

Proposed method

• Generalizes Clemens-Ein-Voisin-Siu methods to construct holomorphic vector fields on logarithmic spaces associated to $ \mathbb{P}^3 \setminus X $.
• Uses bundles of logarithmic jet differentials to generate algebraic differential equations satisfied by entire curves.
• Applies Riemann-Roch and cohomological estimates to control the dimension of global sections of logarithmic jet bundles.
• Constructs a holomorphic section $ P $ of a twisted jet bundle with controlled vanishing order, derived from the vector fields.
• Imposes conditions on the vanishing order of $ P $ and the pole order of vector fields to force entire curves into zero sets of jet differentials.
• Employs semicontinuity and global generation results on jet spaces to ensure the existence of such sections over a Zariski open set of hypersurfaces.

Experimental results

Research questions

• RQ1 For which degrees $ d $ is the complement of a generic surface $ X \subset \mathbb{P}^3 $ weakly analytically hyperbolic?
• RQ2 Can logarithmic jet differentials and vector fields be used to prove algebraic degeneracy of entire curves in $ \mathbb{P}^3 \setminus X $ for high-degree $ X $?
• RQ3 What is the minimal degree $ d $ such that all entire curves in $ \mathbb{P}^3 \setminus X $ are algebraically degenerate for a generic $ X $?
• RQ4 How does the interplay between vanishing order of jet differentials and pole order of vector fields constrain the image of entire curves?

Key findings

• For a generic surface $ X \subset \mathbb{P}^3 $ of degree $ d \geq 586 $, every entire curve $ f: \mathbb{C} \to \mathbb{P}^3 \setminus X $ is algebraically degenerate.
• The proof relies on constructing a holomorphic section $ P $ of a twisted logarithmic jet bundle with vanishing order $ \delta m(d-4) $, where $ \delta > 12/(d-4) $.
• The condition $ \delta(d-4) > 12 $ ensures that the derivative of $ P $ along vector fields does not vanish identically, forcing the image of the 3-jet of $ f $ into the zero set of a nontrivial jet differential.
• The construction yields a nontrivial global jet differential vanishing on an ample divisor, implying that $ f_{[3]}(\mathbb{C}) $ lies in a proper subvariety.
• The bound $ d \geq 586 $ is derived from the requirement that $ m(\frac{1}{6} - 3\delta) > 3d + 2 $, combined with cohomological estimates.
• The result confirms a weak form of the logarithmic Kobayashi conjecture for $ n = 3 $, extending previous results in lower dimensions.