Hyperbolicity of Generic Surfaces of High Degree in Projective 3-Space
Jean-Pierre Demailly, Jawher El Goul
备注：
28 pages, Plain TeX. The 2nd version clarifies somewhat the presentation and improves the explicit bound by a factor 2. Accepted for Publication in American Journal of Mathematics
The main goal of this work is to prove that a very generic surface of degree at least 21 in complex projective 3-dimensional space is hyperbolic in the sense of Kobayashi. This means that every entire holomorphic map $f:{\Bbb C} \to X$ to the surface is constant. In 1970, Kobayashi conjectured more generally that a (very) generic hypersurface of sufficiently high degree in projective space is hyperbolic (here, the terminology "very generic" refers to complements of countable unions of proper algebraic subsets). Our technique follows the stream of ideas initiated by Green and Griffiths in 1979, which consists in considering jet differentials and their associated base loci. However, a key ingredient is the use of a different kind of jet bundles, namely the "Semple jet bundles" previously studied by the first named author (Santa Cruz Summer School, July 1995, Proc. Symposia Pure Math., Vol. 62.2, 1997). The base locus calculation is achieved through a sequence of Riemann-Roch formulas combined with a suitable generic vanishing theorem for order 2-jets. Our method covers the case of surfaces of general type with Picard group ${\Bbb Z}$ and $(13+12θ_2) c_1^2 - 9 c_2 > 0$, where $θ_2$ is what we call the "2-jet threshold" (the 2-jet threshold turns out to be bounded below by -1/6 for surfaces in ${\Bbb P}^3$). The final conclusion is obtained by using very recent results of McQuillan on holomorphic foliations.
The main goal of this work is to prove that every entire curve in a generic hypersurface of degree greater than or equal to 593 in the complex projective space of dimension 4 is algebraically degenerated i.e contained in a proper subvariety.
These are lecture notes of a course held at IMPA, Rio de Janiero, in september 2010: the purpose was to present recent results on Kobayashi hyperbolicity in complex geometry. Our ultimate goal is to describe the results obtained on questions related to the geometry of entire curves traced in generic complex projective hypersurfaces of high degree. For the convenience of the reader, this survey tries to be as self contained as possible.
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.
In this paper we prove that every quasi-projective base space $V$ of smooth family of minimal projective manifolds with maximal variation is pseudo Kobayashi hyperbolic, i.e. $V$ is Kobayashi hyperbolic modulo a proper subvariety $Z\subsetneq V$. In particular, $V$ is algebraically degenerate, that is, every nonconstant entire curve $f:\mathbb{C}\to V$ has image $f(\mathbb{C})$ which lies in that proper subvariety $Z\subsetneq V$. As a direct consequence, we prove the Brody hyperbolicity of moduli spaces of minimal projective manifolds, which answers a question by Viehweg-Zuo in 2003.
For smooth families with maximal variation, whose general fibers have semi-ample canonical bundle, the generalized Viehweg hyperbolicity conjecture states that the base spaces of such families are of log general type. This deep conjecture was recently proved by Popa-Schnell using the theory of Hodge modules and a theorem by Campana-Păun. In this paper we prove that those base spaces are pseudo Kobayashi hyperbolic, as predicted by the Lang conjecture: any complex quasi-projective manifold is pseudo Kobayashi hyperbolic if it is of log general type. As a consequence, we prove the Brody hyperbol…
Motivated by the finiteness of the set of automorphisms Aut(X) of a projective manifold X, and by Kobayashi-Ochiai's conjecture that a projective manifold dim(X)-analytically hyperbolic (also known as strongly measure hyperbolic) should be of general type, we investigate the finiteness properties of Aut(X) for a complex manifold satisfying a (pseudo-) intermediate hyperbolicity property. We first show that a complex manifold X which is (dim(X) -- 1)-analytically hyperbolic has indeed finite automorphisms group. We then obtain a similar statement for a pseudo-(dim(X) -- 1)-analytically hyperbol…
For a quasi-compact Kähler manifold $U$ endowed with a nilpotent harmonic bundle whose Higgs field is injective at one point, we prove that $U$ is pseudo-algebraically hyperbolic, pseudo-Picard hyperbolic, and is of log general type. Moreover, we prove that there is a finite unramified cover $\tilde{U}$ of $U$ from a quasi-projective manifold $\tilde{U}$ so that any projective compactification of $\tilde{U}$ is pseudo-algebraically hyperbolic, pseudo-Picard hyperbolic and is of general type. As a byproduct, we establish some criterion of pseudo-Picard hyperbolicity and pseudo-algebraic hyperbo…
We introduce the notion of the $\textit{Nevanlinna pair}$ for a pair $(X, D)$, where $X$ is a projective variety and $D$ is an effective Cartier divisor on $X$. This notion links and unifies the Nevanlinna theory, the complex hyperbolicity (Brody and Kobayashi hyperbolicity), the big Picard type extension theorem (more generally the Borel hyperbolicity), as well as the algebraic hyperbolicity. The key is to use the Nevanlinna theory on parabolic Riemann surfaces recently developed by Pǎun and Sibony.
Consider the moduli functor of canonically polarized complex manifolds with Hilbert polynomial h, and let M_h be the corresponding coarse quasi-projective moduli scheme. We show that M_h is Brody hyperbolic in the following sense: Assume that for some quasi-projective variety U there exists a morphism U --> M_h, quasi-finite over its image, which is induced by a family f: V --> U, belonging to the moduli problem. Then all holomorphic maps from the complex plane to U are constant.
Hyperbolicity and fundamental groups of complex quasi-projective varieties (III): applications
Université de Lorraine（洛林大学）；CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Sorbonne Université（法国国家科学研究中心，巴黎左岸数学研究所，索邦大学）；Osaka University（大阪大学）
Inspired by the computation of the Kodaira dimension of symmetric powers Xm of a complex projective variety X of dimension n $\ge$ 2 by Arapura and Archava, we study their analytic and algebraic hyperbolic properties. First we show that Xm is special if and only if X is special (except when the core of X is a curve). Then we construct dense entire curves in (suf-ficiently hig) symmetric powers of K3 surfaces and product of curves. We also give a criterion based on the positivity of jet differentials bundles that implies pseudo-hyperbolicity of symmetric powers. As an application, we obtain the…
We present two methods of constructing low degree Kobayashi hyperbolic hypersurfaces in the projective space: the projection method and the deformation method. The talk is based on joint works of the speaker with B. Shiffman and C. Ciliberto.
We study the algebraic hyperbolicity of very general hypersurfaces in $\mathbb{P}^m \times \mathbb{P}^n$ by using three techniques that build on past work by Ein, Voisin, Pacienza, Coskun and Riedl, and others. As a result, we completely answer the question of whether or not a very general hypersurface of bidegree $(a,b)$ in $\mathbb{P}^m \times \mathbb{P}^n$ is algebraically hyperbolic, except in $\mathbb{P}^3 \times \mathbb{P}^1$ for the bidegrees $(a,b)= (7,3), (6,3)$ and $(5,b)$ with $b\geq 3.$ As another application of these techniques, we improve the known result that very general hypers…
In this article we prove that the complement of a very generic curve of degree at least equal to 14 in the complex projective plane is hyperbolic in the sense of Kobayashi. Thus, using a new method, we improve the former known bound obtained by El Goul. We also improve the case of a very generic curve with two components.
The Green-Griffiths-Lang conjecture stipulates that for every projective variety $X$ of general type over ${\mathbb C}$, there exists a proper algebraic subvariety of $X$ containing all non constant entire curves $f:{\mathbb C}\to X$. Using the formalism of directed varieties, we prove here that this assertion holds true in case $X$ satisfies a strong general type condition that is related to a certain jet-semistability property of the tangent bundle $T\_X$. We then use this fact to confirm a long-standing conjecture of Kobayashi (1970), according to which a very general algebraic hypersurface…
We prove that a cyclic cover of a smooth complex projective variety is Brody hyperbolic if its branch divisor is a generic small deformation of a large enough multiple of a Brody hyperbolic base-point-free ample divisor. We also show the hyperbolicity of complements of those branch divisors. As an application, we find new examples of Brody hyperbolic hypersurfaces in $\mathbb{P}^{n+1}$ that are cyclic covers of $\mathbb{P}^n$.
In this paper, we prove that the quasi-projective base of any maximally variational smooth family of Calabi-Yau klt pairs is both of log general type, and pseudo Kobayashi hyperbolic. Moreover, such a base is Brody hyperbolic if the family is effectively parametrized.
In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by S. Kobayashi in 1970. Our proof, based on the theory of jet differentials, is obtained by reducing the problem to the construction of a particular example with strong hyperbolicity properties. This approach relies the construction of higher order logarithmic connections allowing us to construct logarithmic Wronskians. These logarithmic Wronskians are the buil…
This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.
We modify the deformation method explored previously in a joint work of B. Shiffman and the author, in order to construct further examples of Kobayashi hyperbolic surfaces in the projective 3-space of any even degree starting with degree 8.
Demailly's conjecture, which is a consequence of the Green-Griffiths-Lang conjecture on varieties of general type, states that an algebraically hyperbolic complex projective variety is Kobayashi hyperbolic. Our aim is to provide evidence for Demailly's conjecture by verifying several predictions it makes. We first define what an algebraically hyperbolic projective variety is, extending Demailly's definition to (not necessarily smooth) projective varieties over an arbitrary algebraically closed field of characteristic zero, and we prove that this property is stable under extensions of algebraic…
If G_0 is a real form of a complex semisimple Lie group G and Z is compact G-homogeneous projective algebraic manifold, then G_0 has only finitely many orbits on Z. Complex analytic properties of open G_0-orbits D (flag domains) are studied. Schubert incidence-geometry is used to prove the Kobayashi hyperbolicity of certain cycle space components C_q(D). Using the hyperbolicity of C_q(D) and analyzing the action of Aut(D) on it, an exact description of Aut(D) is given. It is shown that, except in the easily understood case where D is holomorphically convex with a nontrivial Remmert reduction, …
These notes grew out of a mini-course given from May 13th to May 17th at UQAM in Montreal during a workshop on Diophantine Approximation and Value Distribution Theory. We start with an overview of Lang-Vojta's conjectures on pseudo-hyperbolic projective varieties. These conjectures relate various different notions of hyperbolicity. We begin with Brody hyperbolicity and discuss conjecturally related notions of hyperbolicity in arithmetic geometry and algebraic geometry in subsequent sections. We slowly work our way towards the most general version of Lang-Vojta's conjectures and provide a summa…
In this paper, we prove the Kobayashi hyperbolicity of the coarse moduli spaces of canonically polarized or polarized Calabi-Yau manifolds in the sense of complex $V$-spaces (a generalization of complex $V$-manifolds in the sense of Satake). As an application, we prove the following hyperbolic version of Campana's isotriviality conjecture: for the smooth family of canonically polarized or polarized Calabi-Yau manifolds, when the Kobayashi pseudo-distance of the base vanishes identically, the family must be isotrivial, that is, any two fibers are isomorphic. We also prove that for the smooth pr…
In this paper we examine different problems regarding complete intersection varieties of high degree in a complex projective space. First we show how one can deduce hyperbolicity for generic complete intersection of high multidegree and high codimension from the known results on hypersurfaces. Then we prove a existence theorem for jet differentials that generalizes a theorem of S. Diverio. Finally, motivated by a conjecture of O. Debarre, we focus on the positivity of the cotangent bundle of complete intersections, and prove some results towards this conjecture; among other things, we prove th…
We prove that quasi-projective base spaces of smooth families of minimal varieties of general type with maximal variation do not admit Zariski dense entire curves. We deduce the fact that moduli stacks of polarized varieties of this sort are Brody hyperbolic, answering a special case of a question of Viehweg and Zuo. For two-dimensional bases, we show analogous results in the more general case of families of varieties admitting a good minimal model.
Consider a smooth projective family of complex polarized manifolds with semi-ample canonical sheaf over a quasi-projective manifold $V$. When the associated moduli map $V\to P_h$ from the base to coarse moduli space is quasi-finite, we prove that the generalized big Picard theorem holds for the base manifold $V$: for any projective compactification $Y$ of $V$, any holomorphic map $f:Δ-\{0\}\to V$ from the punctured unit disk to $V$ extends to a holomorphic map of the unit disk $Δ$ into $Y$. This result generalizes our previous work on the Brody hyperbolicity of $V$ (i.e. there are no entire cu…
Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the log cotangent bundle is never ample. Instead, we define a notion called almost ample which roughly asks that the log cotangent is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties…
We show that if the automorphism group of a projective variety is torsion, then it is finite. Motivated by Lang's conjecture on rational points of hyperbolic varieties, we use this to prove that a projective variety with only finitely many rational points has only finitely many automorphisms. Moreover, we investigate to what extent finiteness of $S$-integral points on a variety over a number field persists over finitely generated fields. To this end, we introduce the class of mildly bounded varieties and prove a general criterion for proving this persistence.
In 1970, Kobayashi conjectured that general hypersurfaces of sufficiently large degree in $P^n$ are hyperbolic. In this paper we prove that a general sufficiently ample hypersurface in a smooth projective variety is hyperbolic. To prove this statement, we construct hypersurfaces satisfying a property which is Zariski open and which implies hyperbolicity. These hypersurfaces are chosen such that the geometry of their higher order jet spaces can be related to the geometry of a universal family of complete intersections. To do so, we introduce a Wronskian construction which associates a (twisted)…
We prove the analogue of Viehweg's hyperbolicity conjecture for Whitney equisingular families of projective varieties with Gorenstein rational singularities whose geometric generic fiber has a good minimal model. Namely, for such families with maximal variation, the base spaces are of log general type. The main new ingredient is the use of intersection complexes as Hodge modules in the construction of logarithmic Higgs sheaves by Viehweg-Zuo and Popa-Schnell. This construction suggests an equisingular stratification of the moduli space of varieties of general type, with each stratum being hype…
A projective manifold is algebraically hyperbolic if the degree of any curve is bounded from above by its genus times a constant, which is independent from the curve. This is a property which follows from Kobayashi hyperbolicity. We prove that hyperkahler manifolds are non algebraically hyperbolic when the Picard rank is at least 3, or if the Picard rank is 2 and the SYZ conjecture on existence of Lagrangian fibrations is true. We also prove that if the automorphism group of a hyperkahler manifold is infinite then it is algebraically non-hyperbolic.
Using degeneration to scrolls, we give an easy proof of non-existence of curves of low genera on general surfaces in P3 of degree d >=5. We show, along the same lines, boundedness of families of curves of small enough genera on general surfaces in P3. We also show that there exist Kobayashi hyperbolic surfaces in P3 of degree d = 7 (a result so far unknown), and give a new construction of such surfaces of degree d = 6. Finally we provide some new lower bounds for geometric genera of surfaces lying on general hypersurfaces of degree 3d > 15 in P4.
A projective manifold $M$ is algebraically hyperbolic if there exists a positive constant $A$ such that the degree of any curve of genus $g$ on $M$ is bounded from above by $A(g-1)$. A classical result is that Kobayashi hyperbolicity implies algebraic hyperbolicity. It is known that Kobayashi hyperbolic manifolds have finite automorphism groups. Here we prove that, more generally, algebraically hyperbolic projective manifolds have finite automorphism groups.
We prove that a curve of degree $dk$ on a very general surface of degree $d \geq 5$ in $\mathbb{P}^3$ has geometric genus at least $\frac{dk(d-5)+k}{2} + 1$. This improves bounds given by G. Xu. As a corollary, we conclude that the very general quintic surface in $\mathbb{P}^3$ is algebraically hyperbolic.
The specialized Vámos polynomial is a hyperbolic polynomial of degree four in four variables with the property that none of its powers admits a definite determinantal representation. We will use a heuristical method to prove that its hyperbolicity cone is a spectrahedron.
We study the hyperbolicity of the log variety $(\mathbb{P}^n, X)$, where $X$ is a very general hypersurface of degree $d\geq 2n+1$ (which is the bound predicted by the Kobayashi conjecture). Using a positivity result for the sheaf of (twisted) logarithmic vector fields, which may be of independent interest, we show that any log-subvariety of $(\mathbb{P}^n, X)$ is of log-general type, give a new proof of the algebraic hyperbolicity of $(\mathbb{P}^n, X)$, and exclude the existence of maximal rank families of entire curves in the complement of the universal degree $d$ hypersurface. Moreover, we…
We introduce two notions of hyperbolicity for not necessarily Kähler $n$-dimensional compact complex manifolds $X$. The first, called {\it balanced hyperbolicity}, generalises Gromov's Kähler hyperbolicity by means of Gauduchon's balanced metrics. The second, called {\it divisorial hyperbolicity}, generalises the Brody hyperbolicity by ruling out the existence of non-degenerate holomorphic maps from $\C^{n-1}$ to $X$ that have what we term a subexponential growth. Our main result in the first part of the paper asserts that every balanced hyperbolic $X$ is also divisorially hyperbolic. We provi…
This is a recent conference report on the Kobayashi Problem on hyperbolicity of generic projective hypersurfaces. As an appendix, a (non-updated) author's survey article of 1992 on the same subject, published in an edition with a limited distribution, is added.
