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 of the Arakelov inequalities valid for any variation of Hodge structures on higher-dimensional algebraic varieties, which implies that the hyperbolicity of the subvarieties of $X$ is controlled by the positivity of a single line bundle. We then show in general that a big line bundle on a normal proper algebraic variety $\bar X$ can be made more and more positive by going to finite covers of $\bar X$ defined using level structures of a local system defined on a Zariski-dense open subset.
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.
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 study the hyperbolicity of compactifications of quotients of bounded symmetric domains by arithmetic groups. We prove that, up to an étale cover, they are Kobayashi hyperbolic modulo the boundary. Applying our techniques to Siegel modular varieties, we improve some former results of Nadel on the non-existence of certain level structures on abelian varieties over complex function fields.
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 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.
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.
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…
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…
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.
We prove a Second Main Theorem type inequality for any log-smooth projective pair $(X,D)$ such that $X\setminus D$ supports a complex polarized variation of Hodge structures. This can be viewed as a Nevanlinna theoretic analogue of the Arakelov inequalities for variations of Hodge structures due to Deligne, Peters and Jost-Zuo. As an application, we obtain in this context a criterion of hyperbolicity that we use to derive a vast generalization of a well-known hyperbolicity result of Nadel. The first ingredient of our proof is a Second Main Theorem type inequality for any log-smooth projective …
We use the theory of Hodge modules to construct Viehweg-Zuo sheaves on the base spaces of families with maximal variation and fibers of general type, or more generally whose geometric generic fiber has a good minimal model. We deduce Viehweg's hyperbolicity conjecture in this context, namely the fact that the base spaces of such families are of log general type. This is approached as part of a general problem of identifying what spaces can support Hodge theoretic objects with certain positivity properties.
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.
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.
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（大阪大学）
We study the hyperbolicity of singular quotients of bounded symmetric domains. We give effective criteria for such quotients to satisfy Green-Griffiths-Lang's conjectures in both analytic and algebraic settings. As an application, we show that Hilbert modular varieties, except for a few possible exceptions, satisfy all expected conjectures.
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 Hodge bundles on Siegel varieties and their various extensions to smooth toroidal compactifications. Precisely, we construct a canonical Hodge bundle on an arbitrary Siegel variety so that the holomorphic tangent bundle can be embedded into the Hodge bundle, and we observe that the Bergman metric on the Siegel variety is compatible with the induced Hodge metric. Therefore we obtain the asymptotic estimate of the Bergman metric explicitly. Depending on these properties and the uniformitarian of Kähler-Einstein manifold, we study extensions of the tangent bundle over any smooth toroidal…
We introduce an algebraic method for describing the Hodge filtration of degenerating hypersurfaces in projective toric varieties. For this purpose, we show some fundamental properties of logarithmic differential forms on proper equivariant morphisms of toric varieties.
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.
If X is a complex projective variety with klt singularities, then the mixed Hodge structures on the first two singular cohomology groups are pure. We describe the pieces of the Hodge decomposition in terms of reflexive differential forms. Applications include a Lefschetz (1,1) Theorem and a weak analogue of the Hodge-Riemann bilinear relations for klt varieties.
This paper gives an introduction to Kuga-Satake varieties and discusses some aspects of the Hodge conjecture related to them. Kuga-Satake varieties are abelian varieties associated to certain weight two Hodge structures, for example the second cohomology group of a K3 surface. We give a detailed account of the construction of Kuga-Satake varieties and of their decomposition in simple subvarieties. We recall the Hodge conjecture and we point out a connection between the Hodge conjecture for abelian fourfolds and Kuga-Satake varieties. We discuss the implications of the Hodge conjecture on the g…
We show that certain abelian varieties A have the property that for every Hodge structure V in the cohomology of A, every effective Tate twist of V occurs in the cohomology of some abelian variety. We deduce the general Hodge conjecture for certain non-simple abelian varieties of type IV.
The main result of this paper concerns the positivity of the Hodge bundles of abelian varieties over global function fields. As applications, we obtain some partial results on the Tate--Shafarevich group and the Tate conjecture of surfaces over finite fields.
In this paper we study Hodge classes on complex abelian varieties. We prove some general results that allow us, in certain cases, to compute the Hodge group of a product abelian variety $X = X_1 \times X_2$ once we know the Hodge groups of the two factors. Using these results we can compute the Hodge groups of all abelian varieties of dimension $\leq 5$. We prove that the Hodge ring of any such abelian variety $X$ is generated by divisor classes together with the so-called Weil classes on (quotients of) $X$.
In this article we construct a Koszul-type resolution of the p-th exterior power of the sheaf of holomorphic differential forms on smooth toric varieties and use this to prove a Nadel-type vanishing theorem for Hodge ideals associated to effective \mathbb{Q}-divisors on smooth projective toric varieties. This extends earlier results of Mustaţă and Popa.
We introduce the notion of mixed Hodge complex on an algebraic variety, improving Du Bois' filtered complex, and relate Deligne's theory of mixed Hodge structure with the theory of mixed Hodge module. This was supposed to be true, but is quite nontrivial, because the theory of mixed Hodge module does not work on a simplicial scheme. Some application to the Du Bois singularity is given.
In this paper, we show that the mixed Hodge structures of character varieties are of Hodge--Tate type and that the mixed Hodge polynomials are independent of the choice of generic eigenvalues, which is a conjecture due to Hausel, Letellier and Rodriguez-Villegas. Moreover, we investigate the mixed Hodge structures of the moduli space of semistable parabolic Higgs bundles and the moduli space of semistable regular singular parabolic connections. We show that the mixed Hodge structures of these moduli spaces are pure.
We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties.
We show that very general hypersurfaces in odd-dimensional simplicial projective toric varieties verifying a certain combinatorial property satisfy the Hodge conjecture (these include projective spaces). This gives a connection between the Oda conjecture and Hodge conjecture. We also give an explicit criterion which depends on the degree for very general hypersurfaces for the combinatorial condition to be verified.
We give upper and lower bounds for the order of the top Chern class of the Hodge bundle on the moduli space of principally polarized abelian varieties. We also give a generalization to higher genera of the famous formula $12 λ_1=δ$ for genus 1.
In this paper we investigate the exactness of the Grassmannian BGG complexes introduced in a previous work (arXiv:1211.2486), and obtain some inequalities between some Hodge numbers of some irregular varieties. In particular, we obtain sharp lower bounds for the Hodge numbers of smooth subvarieties of Abelian varieties, as well as some improvements of results of Lazarsfeld and Popa and Lombardi concerning threefolds and fourfolds.
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 give a new proof of a theorem by Pareschi, Popa and Schnell that the direct image of the canonical bundle of a smooth projective variety along a morphism to an abelian variety admits a Chen-Jiang decomposition, without using the theory of Hodge modules.
The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the conjecture if $X$ is rational.
