Arxiv:1801.04765V2 [Math.AG] 13 Feb 2020 Okspotdb H Dacdecgatakg O 786St 670846 No

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1801.04765V2 [Math.AG] 13 Feb 2020 Okspotdb H Dacdecgatakg O 786St 670846 No 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).
Recommended publications
  • On Some Problems of Kobayashi and Lang
    On some problems of Kobayashi and Lang Claire Voisin ii Contents 0 Introduction 3 1 The analytic setting 9 1.1 Basic results and definitions . 9 1.1.1 Definition of the pseudo-metrics/volume forms . 9 1.1.2 First properties . 11 1.1.3 Brody’s theorem, applications . 14 1.1.4 Relation between volume and metric . 18 1.2 Curvature arguments . 18 1.2.1 Hyperbolic geometry and the Ahlfors-Schwarz lemma 19 1.2.2 Another definition of the Kobayashi infinitesimal pseudo- metric . 22 1.2.3 Jet differentials . 24 1.3 Conjectures, examples . 26 1.3.1 Kobayashi’s conjecture on volumes . 26 1.3.2 Conjectures on metrics . 30 1.3.3 Campana’s construction and conjectures . 32 2 Algebraic versions, variants, Lang’s conjectures 33 2.1 Subvarieties and hyperbolicity . 33 2.1.1 Algebraic hyperbolicity . 33 2.1.2 Lang’s conjectures . 37 2.1.3 Algebraic measure-hyperbolicity . 40 2.2 K-correspondences and a variant of Kobayashi’s conjecture . 42 2.2.1 K-correspondences . 42 2.2.2 Existence theorem for K-correspondences . 45 2.2.3 A variant of the Kobayashi-Eisenman pseudo-volume form . 48 3 General hypersurfaces in projective space 51 3.1 Hyperbolicity of hypersurfaces and their complements . 51 3.1.1 Algebraic hyperbolicity . 51 iii CONTENTS 1 3.1.2 Geometry of the complement . 56 3.1.3 Kobayashi’s hyperbolicity . 58 3.2 Calabi-Yau hypersurfaces . 61 3.2.1 Rational curves on Calabi-Yau hypersurfaces . 61 3.2.2 Sweeping out a general hypersurface by subvarieties .
    [Show full text]
  • Arxiv:1308.5667V3 [Math.AG] 1 Apr 2021 R-S,R Oenetgat G 11.G34.31.0023
    L.Kamenova, S.Lu, M.Verbitsky Kobayashi metric on hyperk¨ahler manifolds Kobayashi pseudometric on hyperk¨ahler manifolds Ljudmila Kamenova, Steven Lu1, Misha Verbitsky2 Abstract The Kobayashi pseudometric on a complex manifold is the maximal pseudometric such that any holomorphic map from the Poincar´edisk to the manifold is distance-decreasing. Kobayashi has conjectured that this pseudometric vanishes on Calabi-Yau manifolds. Using ergodicity of complex structures, we prove this conjecture for any hyperk¨ahler manifold that admits a deformation with two Lagrangian fibrations and whose Picard rank is not maximal. The Strominger-Yau-Zaslow (SYZ) conjecture claims that parabolic nef line bundles on hyperk¨ahler manifolds are semi-ample. We prove that the Kobayashi pseudomet- ric vanishes for any hyperk¨ahler manifold with b2 > 13 if the SYZ conjecture holds for all its deformations. This proves the Kobayashi conjecture for all K3 surfaces and their Hilbert schemes. Contents 1 Introduction 2 1.1 Teichm¨uller spaces and hyperk¨ahler geometry . 3 1.2 Ergodiccomplexstructures . 5 1.3 Kobayashi pseudometric/pseudodistance . 5 1.4 Upper semi-continuity . 7 2 Vanishing of the Kobayashi pseudometric 8 2.1 Kobayashi pseudometric and ergodicity . 8 2.2 Lagrangian fibrations in hyperk¨ahler geometry . 9 2.3 Kobayashi pseudometrics and Lagrangian fibrations . 11 arXiv:1308.5667v3 [math.AG] 1 Apr 2021 3 Vanishing of the infinitesimal pseudometric 13 4 Appendix on abelian fibrations 14 1Partially supported by an NSERC discovery grant 2Partially supported by RFBR grants 12-01-00944-a, NRI-HSE Academic Fund Pro- gram in 2013-2014, research grant 12-01-0179, Simons-IUM fellowship, and AG Laboratory NRI-HSE, RF government grant, ag.
    [Show full text]
  • Abstract FINSLER METRICS with PROPERTIES of the KOBAYASHI METRIC on CONVEX DOMAINS
    Publicacions Matemátiques, Vol 36 (1992), 131-155. FINSLER METRICS WITH PROPERTIES OF THE KOBAYASHI METRIC ON CONVEX DOMAINS MYUNG-YULL PANG Abstract The structure of complex Finsler manifolds is studied when the Finsler metric has the property of the Kobayashi metric on con- vex domains: (real) geodesics locally extend to complex curves (extremal disks) . lt is shown that this property of the Finsler metric induces a complex foliation of the cotangent space closely related to geodesics. Each geodesic of the metric is then shown to have a unique extension to a maximal totally geodesic complex curve E which has,properties of extremal disks. Under the addi- tional conditions that the metric is complete and the holomorphic sectional curvature is -4, E coincides with an extrema¡ disk and a theorem of Faran is recovered: the Finsler metric coincides with the Kobayashi metric. 1. Introduction The Riemann mapping theorem says that all simply connected do- mains in C, different from C are biholomorphically equivalent . It is a well known fact that this theorem does not hold for domains in T' for n > 1, and the classification of bounded domains up to biholomorphism has been an important problem in several complex variables. One approach to understanding the structure of bounded domains is to study biholo- morphically invariant métrics such as the Kobayashi or Carathéodory metrics [K]] [BD] [L3] [Pa] . In [L1] and [L2], Lempert showed that these metrics are extremely well-behaved in the special case when the domain is strictly linearly convex and has smooth boundary: In this case, the two metrics coincide, and the infinitesimal form FK of the Kobayashi metric falls into a special class of smooth Finsler metrics with constant holomorphic sectional curvature K = -4.
    [Show full text]
  • Invariant Metrics on Negatively Pinched Complete Kähler Manifolds
    INVARIANT METRICS ON NEGATIVELY PINCHED COMPLETE KAHLER¨ MANIFOLDS DAMIN WU AND SHING{TUNG YAU Abstract. We prove that a complete K¨ahlermanifold with holomorphic curvature bounded between two negative constants admits a unique complete K¨ahler-Einstein metric. We also show this metric and the Kobayashi-Royden metric are both uni- formly equivalent to the background K¨ahler metric. Furthermore, all three metrics are shown to be uniformly equivalent to the Bergman metric, if the complete K¨ahler manifold is simply-connected, with the sectional curvature bounded between two negative constants. In particular, we confirm two conjectures of R. E. Greene and H. Wu posted in 1979. Table of Contents 1. Introduction1 2. Effective quasi-bounded geometry5 3. Wan-Xiong Shi's Lemmas 13 Appendix A. Maximum principles 16 4. Kobayashi-Royden metric and holomorphic curvature 19 5. Bergman metric and sectional curvature 21 6. K¨ahler-Einsteinmetric and holomorphic curvature 28 References 31 1. Introduction The classical Liouville's theorem tells us that the complex plane C has no bounded nonconstant holomorphic functions, while, by contrast, the unit disk D has plenty of bounded nonconstant holomorphic functions. From a geometric viewpoint, the complex plane does not admit any metric of negative bounded-away-from-zero curva- ture, while the unit disk admits a metric, the Poincar´emetric, of constant negative curvature. The first author was partially supported by the NSF grant DMS-1611745. The second author was partially supported by the NSF grant DMS-1308244 and DMS-1607871. The first author would like to thank Professor H. Wu for bringing his attention to the Bergman metric in 2006.
    [Show full text]
  • Integrating We’Re Actually So ) Z ( = D 0 R = ) Integrating − Dt T Log + Ihe Mcquillan Michael Z ∆( Esnsformula
    ICM 2002 · Vol. I · 547–554 Integrating ∂∂ Michael McQuillan∗ Abstract We consider the algebro-geometric consequences of integration by parts. 2000 Mathematics Subject Classification: 32, 14. Keywords and Phrases: Jensen’s formula. 1. Jensen’s formula Recall that for a suitably regular function ϕ on the unit disc ∆ we can apply integration by parts/Stoke’s formula twice to obtain for r< 1, r dt ddcϕ = ϕ − ϕ(0) (1.1) t Z0 Z∆(t) Z∂∆(r) c 1 1 where d = 4πi (∂ − ∂) so actually we’re integrating 2πi ∂∂. In the presence of singularities things continue to work. For example suppose f : ∆ → X is a holo- morphic map of complex spaces and D a metricised effective Cartier divisor on X, ∗ with f(0) ∈/ D, and ϕ = − log f k1IDk, where 1ID ∈ OX (D) is the tautological section, then we obtain, r dt f ∗c (D) = − log kf ∗1I k + log kf ∗1I k(0) t 1 D D Z0 Z∆(t) Z∂∆(r) (1.2) ∗ r arXiv:math/0212409v1 [math.AG] 1 Dec 2002 + ord (f D) log . z z 0<|z|<r X Obviously it’s not difficult to write down similar formulae for not necessarily effective Cartier divisors, meromorphic functions, drop the condition that f(0) ∈/ D provided f(∆) 6⊂ D, extend to ramified covers p : Y → ∆, etc., but in all cases what is clear is, ∗Institut des Hautes Etudes Scientifiques, 35 route de Chartres, 91440 Bures-sur-Yvette, France and Department of Mathematics, University of Glasgow G128QW, Scotland. E-mail: mquil- [email protected] 548 Michael McQuillan r dt ∗ Facts 1.3.
    [Show full text]
  • Moduli Spaces of Riemann Surfaces
    MODULI SPACES OF RIEMANN SURFACES ALEX WRIGHT Contents 1. Different ways to build and deform Riemann surfaces 2 2. Teichm¨uller space and moduli space 4 3. The Deligne-Mumford compactification of moduli space 11 4. Jacobians, Hodge structures, and the period mapping 13 5. Quasiconformal maps 16 6. The Teichm¨ullermetric 18 7. Extremal length 24 8. Nielsen-Thurston classification of mapping classes 26 9. Teichm¨uller space is a bounded domain 29 10. The Weil-Petersson K¨ahlerstructure 40 11. Kobayashi hyperbolicity 46 12. Geometric Shafarevich and Mordell 48 References 57 These are course notes for a one quarter long second year graduate class at Stanford University taught in Winter 2017. All of the material presented is classical. For the softer aspects of Teichm¨ullertheory, our reference was the book of Farb-Margalit [FM12], and for Teichm¨ullertheory as a whole our comprehensive ref- erence was the book of Hubbard [Hub06]. We also used Gardiner and Lakic's book [GL00] and McMullen's course notes [McM] as supple- mental references. For period mappings our reference was the book [CMSP03]. For Geometric Shafarevich our reference was McMullen's survey [McM00]. The author thanks Steve Kerckhoff, Scott Wolpert, and especially Jeremy Kahn for many helpful conversations. These are rough notes, hastily compiled, and may contain errors. Corrections are especially welcome, since these notes will be re-used in the future. 2 WRIGHT 1. Different ways to build and deform Riemann surfaces 1.1. Uniformization. A Riemann surface is a topological space with an atlas of charts to the complex plane C whose translation functions are biholomorphisms.
    [Show full text]
  • Differential Geometry of Complex Vector Bundles
    DIFFERENTIAL GEOMETRY OF COMPLEX VECTOR BUNDLES by Shoshichi Kobayashi This is re-typesetting of the book first published as PUBLICATIONS OF THE MATHEMATICAL SOCIETY OF JAPAN 15 DIFFERENTIAL GEOMETRY OF COMPLEX VECTOR BUNDLES by Shoshichi Kobayashi Kan^oMemorial Lectures 5 Iwanami Shoten, Publishers and Princeton University Press 1987 The present work was typeset by AMS-LATEX, the TEX macro systems of the American Mathematical Society. TEX is the trademark of the American Mathematical Society. ⃝c 2013 by the Mathematical Society of Japan. All rights reserved. The Mathematical Society of Japan retains the copyright of the present work. No part of this work may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior permission of the copy- right owner. Dedicated to Professor Kentaro Yano It was some 35 years ago that I learned from him Bochner's method of proving vanishing theorems, which plays a central role in this book. Preface In order to construct good moduli spaces for vector bundles over algebraic curves, Mumford introduced the concept of a stable vector bundle. This concept has been generalized to vector bundles and, more generally, coherent sheaves over algebraic manifolds by Takemoto, Bogomolov and Gieseker. As the dif- ferential geometric counterpart to the stability, I introduced the concept of an Einstein{Hermitian vector bundle. The main purpose of this book is to lay a foundation for the theory of Einstein{Hermitian vector bundles. We shall not give a detailed introduction here in this preface since the table of contents is fairly self-explanatory and, furthermore, each chapter is headed by a brief introduction.
    [Show full text]
  • Kobayashi Pseudometric on Hyperkähler Manifolds
    L.Kamenova, S.Lu, M.Verbitsky Kobayashi metric on hyperk¨ahler manifolds Kobayashi pseudometric on hyperk¨ahler manifolds Ljudmila Kamenova, Steven Lu1, Misha Verbitsky2 Abstract The Kobayashi pseudometric on a complex manifold M is the maxi- mal pseudometric such that any holomorphic map from the Poincar´e disk to M is distance-decreasing. Kobayashi has conjectured that this pseudometric vanishes on Calabi-Yau manifolds. Using ergodicity of complex structures, we prove this result for any hyperk¨ahler manifold if it admits a deformation with a Lagrangian fibration, and its Picard rank is not maximal. The SYZ conjecture claims that any parabolic nef line bundle on a deformation of a given hyperk¨ahler manifold is semi-ample. We prove that the Kobayashi pseudometric vanishes for all hyperk¨ahler manifolds satisfying the SYZ property. This proves the Kobayashi conjecture for K3 surfaces and their Hilbert schemes. Contents 1 Introduction 1 1.1 Teichm¨uller spaces and hyperk¨ahler geometry . 3 1.2 Ergodiccomplexstructures . 5 1.3 Kobayashi pseudometric/pseudodistance . 5 1.4 Uppersemi-continuity . 7 2 Vanishing of the Kobayashi pseudometric 8 2.1 Kobayashipseudometricandergodicity . 8 2.2 Lagrangian fibrations in hyperk¨ahler geometry . 9 2.3 Kobayashi pseudometrics and Lagrangian fibrations . 11 3 Vanishingoftheinfinitesimalpseudometric 13 4 Appendix on abelian fibrations 15 1 Introduction The Kobayashi pseudometric on a complex manifold M is the maximal pseudometric such that any holomorphic map from the Poincar´edisk to 1Partially supported by an NSERC discovery grant 2Partially supported by RFBR grants 12-01-00944-a, NRI-HSE Academic Fund Pro- gram in 2013-2014, research grant 12-01-0179, Simons-IUM fellowship, and AG Laboratory NRI-HSE, RF government grant, ag.
    [Show full text]
  • Entropy, Algebraic Integers, and Moduli of Surfaces
    Algebraic integers Entropy, What is the smallest integer λ > 1? Algebraic Integers, and moduli of surfaces Curtis T McMullen Harvard University Lehmer’s number 1 Introduction Mahler measure Gross, Hironaka In this paper we use the gluing theory of lattices to constructK3surface λ =1.1762808182599175065 ... M(λ) = product of conjugates with |λi| > 1 automorphisms with small entropy. 3 4 5 6 7 9 10 Algebraic integers. A Salem number λ > 1 is an algebraic integer which p(x)=1+x − x − x − x − x − x + x + x is conjugate to 1/λ, and whose remaining conjugates lie on S1. There is a unique minimum Salem number λd of degree d for each even d. The smallest Lehmer’s Number known Salem number is Lehmer’s number, λ10. These numbers and their 1 Smallest Salem Numbers, by Degree minimal polynomials Pd(x), for d ≤ 14, are shown in Table 1. Pd(x) 0.5 2 λ2 2.61803398 x − 3x +1 λ10 4 3 2 λ4 1.72208380 x − x − x − x +1 -1 -0.5 0.5 1 6 4 3 2 λ6 1.40126836 x − x − x − x +1 8 5 4 3 λ8 1.28063815 x − x − x − x +1 -0.5 10 9 7 6 5 4 3 λ10 1.17628081 x + x − x − x − x − x − x + x +1 12 11 10 9 6 3 2 λ12 1.24072642 x − x + x − x − x − x + x − x +1 14 11 10 7 4 3 -1 λ14 1.20002652 x − x − x + x − x − x +1 λ Table 1.
    [Show full text]
  • Hyperbolic Algebraic Varieties and Holomorphic Differential Equations
    Hyperbolic algebraic varieties and holomorphic differential equations Jean-Pierre Demailly Universit´ede Grenoble I, Institut Fourier VIASM Annual Meeting 2012 Hanoi – August 25-26, 2012 Contents §0. Introduction ................................................... .................................... 1 §1. Basic hyperbolicity concepts ................................................... .................... 2 §2. Directed manifolds ................................................... .............................. 7 §3. Algebraic hyperbolicity ................................................... ......................... 9 §4. The Ahlfors-Schwarz lemma for metrics of negative curvature ......................................12 §5. Projectivization of a directed manifold ................................................... ......... 16 §6. Jets of curves and Semple jet bundles ................................................... .......... 18 §7. Jet differentials ................................................... ................................ 22 §8. k-jet metrics with negative curvature ................................................... ........... 29 §9. Morse inequalities and the Green-Griffiths-Lang conjecture ........................................ 36 §10. Hyperbolicity properties of hypersurfaces of high degree .......................................... 53 References ................................................... .........................................59 §0. Introduction The goal of these notes is to explain recent results in
    [Show full text]
  • Sharp Estimates of the Kobayashi Metric and Gromov Hyperbolicity 3
    SHARP ESTIMATES OF THE KOBAYASHI METRIC AND GROMOV HYPERBOLICITY FLORIAN BERTRAND ABSTRACT. Let D = {ρ < 0} be a smooth relatively compact domain in a four dimensional almost com- plex manifold (M, J), where ρ is a J-plurisubharmonic function on a neighborhood of D and strictly J- plurisubharmonic on a neighborhood of ∂D. We give sharp estimates of the Kobayashi metric. Our approach is based on an asymptotic quantitative description of both the domain D and the almost complex structure J near a boundary point. Following Z.M.Balogh and M.Bonk [1], these sharp estimates provide the Gromov hyperbolicity of the domain D. INTRODUCTION One can define different notions of hyperbolicity on a given manifold, based on geometric structures, and it seems natural to try to connect them. For instance, the links between the symplectic hyperbolicity and the Kobayashi hyperbolicity were studied by A.-L.Biolley [3]. In the article [1], Z.M.Balogh and M.Bonk established deep connections between the Kobayashi hyperbolicity and the Gromov hyperbolocity, based on sharp asymptotic estimates of the Kobayashi metric. Since the Gromov hyperbolicity may be defined on any geodesic space, it is natural to understand its links with the Kobayashi hyperbolicity in the most general manifolds on which the Kobayashi metric can be defined, namely the almost complex manifolds. As emphasized by [1], it is necessary to study precisely the Kobayashi metric. Since there is no exact expression of this pseudometric, except for particular domains where geodesics can be determined explicitely, we are interested in the boundary behaviour of the Kobayashi metric and in its asymptotic geodesics.
    [Show full text]
  • Open Torelli Locus and Complex Ball Quotients
    OPEN TORELLI LOCUS AND COMPLEX BALL QUOTIENTS SAI-KEE YEUNG Abstract. We study the problem of non-existence of totally geodesic complex ball quo- tients in the open Torelli locus in a moduli space of principally polarized Abelian varieties using analytic techniques. x1. Introduction 1.1 Let Mg be the moduli space or stack of Riemann surfaces of genus g > 2. Let Mg be the Deligne-Mumford compactification of Mg. Let Ag be the moduli space of principally polarized Abelian varieties of complex dimension g. We know that Ag = Sg=Sp(2g; Z) is the quotient of the Siegel Upper Half Space Sg of genus g. Let Ag be the Bailey-Borel compactification of Ag. Associating a smooth Riemann surface represented by a point in Mg to its Jacobian, we obtain the Torelli map jg : Mg !Ag. The Torelli map extends o to jg : Mg ! Ag. The image Tg := jg(Mg) is called the open Torelli locus of Ag. It is well-known that the Torelli map jg is injective on Mg. As a mapping between stacks, the mapping tgjMg is known to be an immersion apart from the hyperelliptic locus, which is denoted by Hg. Hg is the set of points in Mg parametrizing hyperelliptic curves of genus g. It is a natural problem to study Mg, jg and to characterize the Torelli locus in Ag. There are many interesting directions and approaches to the problems. Our motivation comes from the following conjecture in the literature. o Conjecture 1. (Oort [O]) Let Tg be the open Torelli locus in the Siegel modular variety o Ag: Then for g sufficiently large, the intersection of Tg with any Shimura variety M ⊂ Ag of strictly positive dimension is not Zariski dense in M.
    [Show full text]