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 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…
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…
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)…
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.
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 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…
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 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$.
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.
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…
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(大阪大学)
In this article, we prove that there does not exist a family of entire curves in the universal family of hypersurfaces of degree $d\geq 2n$ in the complex projective space ${\mathbb P}^n$. This can be seen as a weak version of the Kobayashi conjecture asserting that a general projective hypersurface of high degree is hyperbolic in the sense of Kobayashi.
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…
Of the two techniques introduced by Bloch, Green-Griffiths and developed by Siu, Demailly to establish Kobayashi hyperbolicity of generic high degree complex algebraic hypersurfaces X in P^(n+1), the second one, initiated by Clemens, Ein, Voisin and developed by Siu, Paun, Rousseau consists in constructing meromorphic frames on the space of the so-called vertical k-jets J_vert^k (X_univ) of the universal hypersurface X_univ parametrizing all X in P^(n+1) of degree d. In 2004, Siu announced that there exists a constant c_n such that the twisting of the tangent bundle to J_vert^n (X_univ) by O (…
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.
We show the following algebraicity result for a complex projective variety $X$ with big representation of $π_1$ into a semi-simple algebraic group: There exists a proper subvariety $Z \subset X$ such that for any algebraic curve $C$, any holomorphic map $γ:\, C \to X$ with $γ(C) \not\subset Z$ is induced from an algebraic morphism. As an application, we prove pseudo-Brody hyperbolicity of certain varieties with big reductive representations of $π_1$.
We introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
Let $n=2,3,4,5$ and let $X$ be a smooth complex projective hypersurface of $\mathbb P^{n+1}$. In this paper we find an effective lower bound for the degree of $X$, such that every holomorphic entire curve in $X$ must satisfy an algebraic differential equation of order $k=n=\dim X$, and also similar bounds for order $k>n$. Moreover, for every integer $n\ge 2$, we show that there are no such algebraic differential equations of order $k<n$ for a smooth hypersurface in $\mathbb P^{n+1}$.
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.
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,…
Let $X\subset\mathbb P^{n+1}$ be a smooth complex projective hypersurface. In this paper we show that, if the degree of $X$ is large enough, then there exist global sections of the bundle of invariant jet differentials of order $n$ on $X$, vanishing on an ample divisor. We also prove a logarithmic version, effective in low dimension, for the log-pair $(\mathbb P^n,D)$, where $D$ is a smooth irreducible divisor of high degree. Moreover, these result are sharp, \emph{i.e.} one cannot have such jet differentials of order less than $n$.
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.
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…
For a hypersurface in a projective space, we consider the set of pairs of a point and a line in the projective space such that the line intersects the hypersurface at the point with a fixed multiplicity. We prove that this set of pairs forms a smooth variety for a general hypersurface.
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 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 study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves with balanced normal bundle, and reprove some results on irreducibility of spaces of rational curves of low degree.
In this paper, we discuss classical derivation of the residue integral representation of the d=1 rational Gromov-Witten invariants of projective hypersurfaces that followed from localization technique.
In this paper we present some properties for projective hypersurfaces, smooth and singular, to be criteria for identification. To make the decision with these criteria, we have included procedures written in Singular language.
We prove Viehweg's hyperbolicity conjecture over compact bases and over bases with non-uniruled compactification. The most general case of the conjecture states that the the base space of a maximal variation family of smooth projective manifolds with semi-ample canonical sheaf is of log-general type.
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
The numbers of $\mathbb{F}_q$-points of nonsingular hypersurfaces of a fixed degree in an odd-dimensional projective space are investigated, and an upper bound for them is given. Also we give the complete list of nonsingular hypersurfaces each of which realizes the upper bound. This is a natural generalization of our previous study of surfaces in projective $3$-space.
This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid.
The paper is a contribution to the conjecture of Kobayashi that the complement of a generic curve in the projective plane is hyperbolic, provided the degree is at least five. Previously the authors treated the cases of two quadrics and a line and three quadrics. The main results are Let C be the union of three curves in P_2 whose degrees are at least two, one of which is at least three. Then for generic such configurations the complement of C is hyperbolic and hyperbolically embedded. The same statement holds for complements of curves in generic hypersurfaces X of degree at least five and curv…
We study Gauss-Manin systems of non tame Laurent polynomial functions. We focuse on Hori-Vafa models, which are the expected mirror partners of the small quantum cohomology of smooth hypersurfaces in weighted projective spaces.
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.