Abstract We study integral points on varieties with infinite étale fundamental groups. More precisely, for a number field $F$ and $X/F$ a smooth projective variety, we prove that for any geometrically Galois cover $\varphi \colon Y \to X$ of degree at least $2\dim (X)^{2}$, there exists an ample line bundle $\mathscr{L}$ on $Y$ such that for a general member $D$ of the complete linear system $|\mathscr{L}|$, $D$ is geometrically irreducible and any set of $\varphi (D)$-integral points on $X$ is finite. We apply this result to varieties with infinite étale fundamental group to give new examples of irreducible, ample divisors on varieties for which finiteness of integral points is provable.
more »
« less
Hyperbolicity and Uniformity of Varieties of Log General type
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 is false—the log cotangent bundle is never ample. Instead, we define a notion called almost ample that roughly asks that it 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 contain finitely many integral points. In another direction, we show that the Lang–Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with almost ample log cotangent sheaf are uniformly bounded.
more » « less- Award ID(s):
- 1704261
- PAR ID:
- 10362908
- Publisher / Repository:
- Oxford University Press
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2022
- Issue:
- 4
- ISSN:
- 1073-7928
- Format(s):
- Medium: X Size: p. 2532-2581
- Size(s):
- p. 2532-2581
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
more » « less
Abstract We develop a Hodge theoretic invariant for families of projective manifolds that measures the potential failure of an Arakelov-type inequality in higher dimensions, one that naturally generalizes the classical Arakelov inequality over regular quasi-projective curves.We show that, for families of manifolds with ample canonical bundle, this invariant is uniformly bounded.As a consequence, we establish that such families over a base of arbitrary dimension satisfy the aforementioned Arakelov inequality, answering a question of Viehweg.
-
Bott proved a strong vanishing theorem for sheaf cohomology on projective space, namely that the higher cohomology of every bundle of differential forms tensored with an ample line bundle is zero. This holds for toric varieties, but not for most other varieties. We classify the smooth Fano threefolds that satisfy Bott vanishing. There are many more than expected.more » « less
-
We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anti-canonical volume. We conjecture that our examples have the smallest volume in every dimension, and we give low-dimensional evidence for that. In order to improve on earlier examples, we are forced to consider weighted hypersurfaces that are not quasi-smooth. We show that our Fano varieties are exceptional by computing their global log canonical threshold (or alpha-invariant) exactly; it is extremely large, roughly 2^{2^n} in dimension n. These examples give improved lower bounds in Birkar’s theorem on boundedness of complements for Fano varieties.more » « less
-
more » « less
Abstract We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasi-projective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period map to the image of the period map of the associated graded. On the one hand, we show in a precise manner that the parts of this map parametrizing extension data of non-adjacent-weight pure Hodge structures are quasi-affine. On the other hand, extensions of adjacent-weight pure polarized Hodge structures are parametrized by a compact complex torus (the intermediate Jacobian) equipped with a natural theta bundle which is ample in Griffiths transverse directions.Our proof makes heavy use of o-minimality, and recent work with B. Klingler associating an
{\mathbb{R}_{\mathrm{an},\exp}}
