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.
Let $K$ be a complete algebraically closed non-archimedean valued field of characteristic zero, and let $X$ be a finite type scheme over $K$. We say $X$ is $K$-analytically Borel hyperbolic if, for every finite type reduced scheme $S$ over $K$, every rigid analytic morphism from the rigid analytification $S^{\mathrm{an}}$ of $S$ to the rigid analytification $X^{\mathrm{an}}$ of $X$ is algebraic. Using the Viehweg-Zuo construction and the $K$-analytic big Picard theorem of Cherry-Ru, we show that, for $N \geq 3$ and $g \geq 2$, the fine moduli space $\mathcal{M}^{[N]}_{g,K}$ over $K$ of genus $…
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…
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…
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 show an example of a non-archimedean version of the Calabi-Yau theorem in complex geometry. Precisely, we consider totally degenerate abelian varieties and certain probability measures on their associated analytic spaces in the sense of Berkovich.
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.
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 the tropicalizations of analytic subvarieties of normal toric varieties over complete non-archimedean valuation fields. We show that a Zariski closed analytic subvariety of a normal toric variety is algebraic if its tropicalization is a finite union of polyhedra. Previously, the converse direction was known by the theorem of Bieri and Groves. Over the field of complex numbers, Madani, L. Nisse, and M. Nisse proved similar results for analytic subvarieties of tori.
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 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.
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)（基础科学研究院复杂几何中心）
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.
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$.
Tropical toric varieties are partial compactifications of finite dimensional real vector spaces associated with rational polyhedral fans. We introduce plurisubharmonic functions and a Bedford--Taylor product for Lagerberg currents on open subsets of a tropical toric variety. The resulting tropical toric pluripotential theory provides the link to give a canonical correspondence between complex and non-archimedean pluripotential theories of invariant plurisubharmonic functions on toric varieties. We will apply this correspondence to solve invariant non-archimedean Monge--Ampère equations on tori…
We prove a non-archimedean analogue of the fact that a closed subvariety of a semi-abelian variety is hyperbolic modulo its special locus, and thereby generalize a result of Cherry.
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 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 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…
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…
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…
We study the convergence of volume forms on a degenerating holomorphic family of log-Calabi-Yau varieties to a non-Archimedean measure, extending a result of Boucksom and Jonsson. More precisely, let $(X,B)$ be a holomorphic family of sub log canonical, log-Calabi-Yau complex varieties parameterized by the punctured unit disk. Let $η$ be a meromorphic volume form on $X$ with poles along $B$. We show that the (possibly infinite) measures induced by the restriction of the $η$ to a fiber converge to a measure on the Berkovich analytification as we approach the puncture. The convergence takes plac…
We generalize results about local heights previously proved in the case of discrete absolute values to arbitrary non-archimedean absolute values of rank 1. First, this is done for the induction formula of Chambert-Loir and Thuillier. Then we prove the formula of Burgos--Philippon--Sombra for the toric local height of a proper normal toric variety in this more general setting. We apply the corresponding formula for Moriwaki's global heights over a finitely generated field to a fibration which is generically toric. We illustrate the last result in a natural example where non-discrete non-archime…
In this short note, we deduce the classical Néron--Ogg--Shafarevich criterion on good reduction of abelian varieties from its archimedean analogue: a holomorphic family of abelian varieties over a punctured disc extends to the whole unit disc if and only if the topological monodromy representation is trivial.
A coamoeba is the image of a subvariety of a complex torus under the argument map to the real torus. Similarly, a non-archimedean coamoeba is the image of a subvariety of a torus over a non-archimedean field with complex residue field under an argument map. The phase tropical variety is the closure of the image under the pair of maps, tropicalization and argument. We describe the structure of non-archimedean coamoebae and phaseropical varieties in terms of complex coamoebae and their phase limit sets. The argument map depends upon a section of the valuation map, and we explain how this choice …
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…
I describe an algebro-geometric theory of skeleta, which provides a unified setting for the study of tropical varieties, skeleta of non-Archimedean analytic spaces, and affine manifolds with singularities. Skeleta are spaces equipped with a structure sheaf of topological semirings, and are locally modelled on the spectra of the same. The primary result of this paper is that the topological space underlying a non-Archimedean analytic space may locally be recovered from the sheaf of `pointwise valuations' of its analytic functions.
For a closed d-dimensional subvariety X of an abelian variety A and a canonically metrized line bundle L on A, Chambert-Loir has introduced measures $c_1(L|_X)^{\wedge d}$ on the Berkovich analytic space associated to A with respect to the discrete valuation of the ground field. In this paper, we give an explicit description of these canonical measures in terms of convex geometry. We use a generalization of the tropicalization related to the Raynaud extension of A and Mumford's construction. The results have applications to the equidistribution of small points.
We construct non-archimedean SYZ fibrations for maximally degenerate Calabi-Yau varieties, and we show that they are affinoid torus fibrations away from a codimension two subset of the base. This confirms a prediction by Kontsevich and Soibelman. We also give an explicit description of the induced integral affine structure on the base of the SYZ fibration. Our main technical tool is a study of the structure of minimal dlt-models along one-dimensional strata.
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 develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable subsets in o-minimal expansions of the tropical semi-group $Γ_\infty$, where $Γ$ denotes the value group of $K$. For quasi-projective varieties, both cohomologies are strongly related by a deformation retraction of the stable completion homeomorphic to a definable subset of $Γ_\infty$. In both contexts, we show that the corresponding cohomology theory satisf…
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 define a tropicalization procedure for theta functions on abelian varieties over a non-Archimedean field. We show that the tropicalization of a non-Archimedean theta function is a tropical theta function, and that the tropicalization of a non-Archimedean Riemann theta function is a tropical Riemann theta function, up to scaling and an additive constant. We apply these results to the construction of rational functions with prescribed behavior on the skeleton of a principally polarized abelian variety. We work with the Raynaud--Bosch--Lütkebohmert theory of non-Archimedean theta functions for…
