Addressed some inaccuracies and typos pointed out by the referees and some readers. Slight change of title. To appear in CRM short courses (Arithmetic Geometry of Logarithmic Pairs and Hyperbolicity of Moduli Spaces: Hyperbolicity in Montréal)
These notes provide an overview of various notions of hyperbolicity for varieties of log general type from the viewpoint of both arithmetic and birational geometry. The main results are based on our paper entitled "Hyperbolicity and uniformity of varieties of log general type." They are expanded notes from a minicourse the authors gave as part of the Geometry and arithmetic of orbifolds workshop at UQÁM.
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…
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.
The moduli stacks of Calabi-Yau varieties are known to enjoy several hyperbolicity properties. The best results have so far been proven using sophisticated analytic tools such as complex Hodge theory. Although the situation is very different in positive characteristic (e.g. the moduli stack of principally polarized abelian varieties of dimension at least 2 contains rational curves), we explain in this note how one can prove many hyperbolicity results by reduction to positive characteristic, relying ultimately on the nonabelian Hodge theory in positive characteristic developed by Ogus and Volog…
Inspired by the work of Cherry, we introduce and study a new notion of Brody hyperbolicity for rigid analytic varieties over a non-archimedean field $K$ of characteristic zero. We use this notion of hyperbolicity to show the following algebraic statement: if a projective variety admits a non-constant morphism from an abelian variety, then so does any specialization of it. As an application of this result, we show that the moduli space of abelian varieties is $K$-analytically Brody hyperbolic in equal characteristic zero. These two results are predicted by the Green-Griffiths-Lang conjecture on…
We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic discrete group of automorphisms are of general type. This result corresponds through the Green-Griffiths-Lang's conjecture to a well-known result of Nadel.
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…
We generalize former results of Zuo and the first author showing some hyperbolicity properties of varieties supporting a variation of Hodge structure. Our proof only uses the special curvature properties of period domains. In particular, in contrast to the former approaches, it does not use any result on the asymptotic behaviour of the Hodge metric.
Firstly, we pursue the work of W. Cherry on the analogue of the Kobayashi semi distance dCK that he introduced for analytic spaces defined over a non-Archimedean metrized field k. We prove various characterizations of smooth projective varieties for which dCK is an actual distance. Secondly, we explore several notions of hyperbolicity for a smooth algebraic curve X defined over k. We prove a non-Archimedean analogue of the equivalence between having negative Euler characteristic and the normality of certain families of analytic maps taking values in X.
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 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.
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.
Algebraic hyperbolicity of adjoint linear systems on spherical varieties
Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);Department of Mathematical Sciences, KAIST(韩国科学技术院数学科学系);Center for Complex Geometry, Institute for Basic Science (IBS)(基础科学研究院复杂几何中心)
Looking at the finite étale congruence covers $X(p)$ of a complex algebraic variety $X$ equipped with a variation of integral polarized Hodge structures whose period map is quasi-finite, we show that both the minimal gonality among all curves contained in $X(p)$ and the minimal volume among all subvarieties of $X(p)$ tend to infinity with $p$. This applies for example to Shimura varieties, moduli spaces of curves, moduli spaces of abelian varieties, moduli spaces of Calabi-Yau varieties, and can be made effective in many cases. The proof goes roughly as follows. We first prove a generalization…
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…
By implementing jet differential techniques in non-archimedean geometry, we obtain a big Picard type extension theorem, which generalizes a previous result of Cherry and Ru. As applications, we establish two hyperbolicity-related results. Firstly, we prove a non-archimedean Ax-Lindemann theorem for totally degenerate abelian varieties. Secondly, we show the pseudo-Borel hyperbolicity for subvarieties of general type in abelian varieties.
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…
We give two kinds of generalizations of Arakelov type inequalities for higher dimensional families. These results give higher dimensional generalizations (in both fibers and bases) of the weakly boundedness in Paršin-Arakelov's reformulation of the geometric Shafarevich conjecture. As a consequence, we deduce the following results. Hyperbolicity: We give an alternative proof (using the theory of degeneration of Hodge structure) to the hyperbolicity (in Paršin-Arakelov's reformulation, i.e. Viehweg's hyperbolicity conjecture) of the base of a family with maximal variation whose general fibers a…
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 note, we prove the generic Kobayashi volume measure hyperbolicity of singular directed varieties $(X, V)$, as soon as the canonical sheaf $\mathcal{K}\_V$ of $V$ is big in the sense of Demailly.
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…
We prove that the base space of a log smooth family of log canonical pairs of log general type is of log general type as well as algebraically degenerate, when the family admits a relative good minimal model over a Zariski open subset of the base and the relative log canonical model is of maximal variation.
We investigate the stratified hyperbolicity properties of Birkar's moduli stack of log canonical (lc) stable minimal models. The main technical result is a construction of Viehweg-Zuo's system of Higgs sheaves associated with an admissible family of lc stable minimal models, using the theory of degenerations of Hodge structure and non-abelian Hodge theory.
We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus. This answers Svaldi's question completely. We also treat the uniruledness of the degenerate locus of an extremal contraction morphism for quasi-log schemes. Furthermore, we prove that every fiber of a relative quasi-log Fano scheme is rationally chain connected modulo the non-qlc locus.
We define and study jet bundles in the geometric orbifold category. We show that the usual arguments from the compact and the logarithmic settings do not all extend to this more general framework. This is illustrated by simple examples of orbifold pairs of general type that do not admit any global jet differential, even if some of these examples satisfy the Green-Griffiths-Lang conjecture. This contrasts with an important result of Demailly (2010) proving that compact varieties of general type always admit jet differentials. We illustrate the usefulness of the study of orbifold jets by establi…
We prove several statements about arithmetic hyperbolicity of certain blow-up varieties. As a corollary we obtain multiple examples of simply connected quasi-projective varieties that are pseudo-arithmetically hyperbolic. This generalizes results of Corvaja and Zannier obtained in dimension 2 to arbitrary dimension. The key input is an application of the Ru-Vojta's strategy. We also obtain the analogue results for function fields and Nevanlinna theory with the goal to apply them in a future paper in the context of Campana's conjectures.
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.
We study (weak) log abelian varieties with constant degeneration in the log flat topology. If the base is a log point, we further study the endomorphism algebras of log abelian varieties. In particular, we prove the dual short exact sequence for isogenies, Poincaré complete reducibility theorem for log abelian varieties, and the semi-simplicity of the endomorphism algebras of log abelian varieties.
We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal to the dimension of the variety. We study hyperbolic varieties with a special interest in the case of hypersurfaces that admit a real algebraic ruling. The central part of the paper is concerned with secant varieties of real algebraic curves where the real locus has the maximal number of connected components, which is determined by the genus of the curve. Fo…
Given a log canonical pair $(X, Δ)$, we show that $K_X+Δ$ is nef assuming there is no non-constant map from the affine line with values in the open strata of the stratification induced by the non-klt locus of $(X, Δ)$. This implies a generalization of the Cone Theorem where each $K_X+Δ$-negative extremal ray is spanned by a rational curve that is the closure of a copy of the affine line contained in one of the open strata of $\mathrm{Nklt}(X, Δ)$. Moreover, we give a criterion of Nakai type to determine when under the above condition $K_X+Δ$ is ample and we prove some partial results in the ca…