RECENT RESULTS ON THE KOBAYASHI AND GREEN-GRIFFITHS-LANG CONJECTURES JEAN-PIERRE DEMAILLY Abstract. The study of entire holomorphic curves contained in projective algebraic varieties is intimately related to fascinating questions of geometry and number theory – especially through the concepts of curvature and positivity which are central themes in Kodaira’s contributions to mathematics. The aim of these lectures is to present recent results concerning the geometric side of the problem. The Green-Griffiths-Lang conjecture stipulates that for every projective variety X of general type over C, there exists a proper algebraic subvariety Y of X containing all entire curves f : C → X. Using the formalism of directed varieties and jet bundles, we show that this assertion holds true in case X satisfies a strong general type condition that is related to a certain jet-semi-stability property of the tangent bundle TX . It is possible to exploit similar techniques to investigate a famous conjecture of Shoshichi Kobayashi (1970), according to which a generic algebraic hypersurface of dimension n and of sufficiently large degree d > dn in the complex projective space Pn+1 is hyperbolic: in the early 2000’s, Yum-Tong Siu proposed a strategy that led in 2015 to a proof based on a clever use of slanted vector fields on jet spaces, combined with Nevanlinna theory arguments. In 2016, the conjecture has been settled in a different way by Damian Brotbek, making a more direct use of Wronskian differential operators and associated multiplier ideals; shortly afterwards, Ya Deng showed how the proof could be modified to yield an explicit value of dn. We give here a short proof based on a substantial simplification of their ideas, producing 1 2n+2 a bound very similar to Deng’s original estimate, namely dn = ⌊ 3 (en) ⌋. Key words: Kobayashi hyperbolic variety, directed manifold, genus of a curve, jet bundle, jet differential, jet metric, Chern connection and curvature, negativity of jet curvature, variety of general type, Kobayashi conjecture, Green-Griffiths conjecture, Lang conjecture. MSC Classification (2010): 32H20, 32L10, 53C55, 14J40 Contribution to the 16th Takagi lectures in celebration of the 100th anniversary of K. Kodaira’s birth Contents 0. Introduction ....................................................................................... 2 1. Basic hyperbolicity concepts..................................................................... 7 arXiv:1801.04765v2 [math.AG] 13 Feb 2020 2. Directed manifolds ................................................................................ 11 3. Algebraic hyperbolicity........................................................................... 15 4. The Ahlfors-Schwarz lemma for metrics of negative curvature ............................. 18 5. Projectivization of a directed manifold ........................................................ 21 6. Jets of curves and Semple jet bundles.......................................................... 23 7. Jet differentials .................................................................................... 26 8. k-jet metrics with negative curvature .......................................................... 36 9. Morse inequalities and the Green-Griffiths-Lang conjecture ................................ 41 10. Hyperbolicity properties of hypersurfaces of high degree.................................... 56 11. Strong general type condition and the GGL conjecture ..................................... 59 12. Proof of the Kobayashi conjecture on generic hyperbolicity ................................ 63 References ............................................................................................... 75 Expanded version of the Takagi lectures delivered at the University of Tokyo on November 6, 2015. Work supported by the advanced ERC grant ALKAGE No. 670846 started in September 2015. 1 2 JEAN-PIERRE DEMAILLY 0. Introduction The goal of these lectures is to study the conjecture of Kobayashi [Kob70] on the hyperbolicity of generic hypersurfaces of high degree in projective space, and the related conjecture by Green- Griffiths [GrGr80] and Lang [Lang86] on the structure of entire curve loci. Let us recall that a complex space X is said to be hyperbolic in the sense of Kobayashi if analytic disks f : D X through a given point form a normal family. By a well known result of Brody [Bro78], a compact→ complex space is Kobayashi hyperbolic iff it does not contain any entire holomorphic curve f : C X (“Brody hyperbolicity”). In this paper entire holomorphic→ curves are assumed to be non-constant and simply called entire curves. If X is not hyperbolic, a basic question is thus to analyze the geometry of entire holomorphic curves f : C X, and especially to understand the entire curve locus of X, defined as the Zariski closure → Zar (0.1) ECL(X)= f(C) . [f The Green-Griffiths-Lang conjecture, in its strong form, can be stated as follows. 0.2. GGL conjecture. Let X be a projective variety of general type. Then Y = ECL(X) is a proper algebraic subvariety Y ( X. Equivalently, there exists Y ( X such that every entire curve f : C X satisfies f(C) Y . A weaker form of the GGL conjecture states that entire curves are algebraically→ degenerate,⊂ i.e. that f(C) Y ( X where Y may depend on f. ⊂ f f If X PN is defined over a number field K (i.e. by polynomial equations with coefficients in ⊂ C 0 K0), one defines the Mordell locus, denoted Mordell(X), to be the smallest complex subvariety Y in X such that the set of K-points X(K)rY is finite for every number field K K0. Lang [Lang86] conjectured that one should always have Mordell(X) = ECL(X) in this situation.⊃ This conjectural arithmetical statement would be a vast generalization of the Mordell-Faltings theorem, and is one of the strong motivations to study the geometric GGL conjecture as a first step. S. Kobayashi [Kob70] had earlier made the following tantalizing conjecture. 0.3. Conjecture (Kobayashi). n+1 (a) A (very) generic hypersurface X P of degree d > dn large enough is hyperbolic, especially it does not possess any entire holomorphic⊂ curve f : C X. n → n ′ (b) The complement P r H of a (very) generic hypersurface H P of degree d > dn large enough is hyperbolic. ⊂ It should be noticed that the existence of a smooth hyperbolic hypersurface X Pn+1 in 0.3 (a), or a hyperbolic complement Pn r H with H smooth irreducible in 0.3 (b), is⊂ already a hard problem; many efforts were initially concentrated on this problem. As Zaidenberg observed, a smooth deformation of a union of 2n+1 hyperplanes in Pn is not necessarily Kobayashi hyperbolic, and the issue is non-trivial at all. The existence problem was initially solved for sufficiently high degree hypersurfaces through a number of examples: • case (a) for n = 2 and degree d > 50 by BrodyGreen [BrGr77] ; • case (b) for n = 2 by [AzSu80] (as a consequence of [BrGr77]) ; • cases (a) and (b) for n > 3 by MasudaNoguchi [MaNo96]. Improvements in the degree estimates were later obtained in [Shi98], [Fuj01], [ShZa02], in addition to many other papers dealing with low dimensional varieties (n = 2, 3). We now describe a number of known results concerning the question of generic hyperbolicity, according to the Kobayashi conjectures 0.3 (a,b). M. Zaidenberg observed in [Zai87] that the complement of a general hypersurface of degree 2n in Pn is not hyperbolic; as a consequence, one ′ must take dn > 2n + 1 in 0.3 (b). This observation, along with Fujimoto’s classical result that KOBAYASHIANDGREEN-GRIFFITHS-LANGCONJECTURES 3 the complement of 2n + 1 hyperplanes of Pn in general position is hyperbolic and hyperbolically n ′ embedded in P ([Fuj72]) led Zaidenberg to propose the bound dn = 2n +1 for n > 1. Another famous result due to Clemens [Cle86], Ein [Ein88, Ein91] and Voisin [Voi96], states that every subvariety Y of a generic algebraic hypersurface X Pn+1 of degree d > 2n + 1 is of general type for n > 2 (for surfaces X P3, Geng Xu [Xu94] also⊂ obtained some refined information for the ⊂ genera of algebraic curves drawn in X). The bound was subsequently improved to d > dn = 2n for n > 5 by Pacienza [Pac04]. That the same bound dn holds for Kobayashi hyperbolicity would then be a consequence of the Green-Griffiths-Lang conjecture. By these results, one can hope in the compact case that the optimal bound dn is d1 = 4, dn = 2n + 1 for n = 2, 3, 4 and n dn = 2n for n > 5. The case of complements P r H (the so-called “logarithmic case”) is a priori somewhat easier to deal with: in fact, on can then exploit the fact that the hyperbolicity of the hypersurface X = wd = P (z) Pn+1 implies the hyperbolicity of the complement Pn r H, when H = P (z) ={ 0 . Pacienza} and ⊂ Rousseau [PaRo07] proved that for H very general of degree d > 2n + 2{ k, any k}-dimensional log-subvariety (Y, D) of (Pn,H) is of log-general type, i.e. any − log-resolution µ : Y Y of (Y, D) has a big log-canonical bundle K (µ∗D). → Ye One of the earlye important result in the direction of Conjecture 0.2 is the proof of the Bloch conjecture, as proposed by Bloch [Blo26a] and Ochiai [Och77]: this is the special case of the 0 1 conjecture when the irregularity of X satisfies q = h (X, ΩX ) > dim X. Various solutions have then been obtained in fundamental papers of Noguchi [Nog77a, Nog81a, Nog81b], Kawamata [Kaw80], Green-Griffiths [GrGr80], McQuillan [McQ96], and the book of Noguchi-Winkelmann [NoWi13], by means of different techniques. Especially, assuming X to be of (log-) general type, it is now known by [NWY07, NWY13] and [LuWi12] that if the (log-) irregularity is q > dim X, then no entire curve f : C X has a Zariski dense image, and the GGL conjecture holds in the compact (i.e. non logarithmic)→ case. In the case of complex surfaces, major progress was achieved by Lu, Miyaoka and Yau [LuYa90], [LuMi95, 96], [Lu96]; McQuillan [McQ96] extended these results to the 2 case of all surfaces satisfying c1 > c2, in a situation where there are many symmetric differentials, 0 m ∗ e.g. sections of H (X,S TX ( 1)), m 1 (cf. also [McQ99], [DeEG00] for applications to hyperbolicity).