For a non-isotrivial family of surfaces of general type over a complex projective curve, we give upper bounds for the degree of the direct images of powers of the relative dualizing sheaf. They imply that, fixing the curve and the possible degeneration locus, the induced morphisms to the moduli scheme of stable surfaces of general type are parameterized by a scheme of finite type. The method extends to families of canonically polarized manifolds, but the modular interpretation requires the existence of relative minimal models.
This article is devoted to examples of (orbifold) Kähler groups from the perspective of the so-called Shafarevich conjecture on holomorphic convexity. It aims at pointing out that every quasi-projective complex manifold with an 'interesting' fundamental group gives rise to interesting instances of this long-standing open question. Complements of line arrangements are one of the better known classes of quasi-projective complex surfaces with an interesting fundamental group. We solve the corresponding instance of the Shafarevich conjecture partially giving a proof that the universal covering sur…
We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonically polarized varieties.
We extend to compact Kähler manifolds some classical results on linear representation of fundamental groups of complex projective manifolds. Our approach based on an interversion lemma for fibrations with tori versus general type manifolds as fibers gives a refinement of the classical work of Zuo. We extend to the kahler case some general results on holomorphic convexity of coverings such as the linear shafarevich conjecture. In the first version, the proof of the statement that a linear Kahler group is virtually complex-projective was wrong. We removed it from this new version. The proof will…
In this article we give a general approach to the following analogue of Shafarevich's conjecture for some polarized algebraic varieties; suppose that we fix a type of an algebraic variety and look at families of such type of varieties over a fixed Riemann surface with fixed points over which we have singular varieties, then one can ask if the set of such families, up to isomorphism, is finite. In this paper we give a general approach to such types of problems. The main observation is the following; suppose that the moduli space of a fixed type of algebraic polarized variety exists and suppose …
In this paper we first study the moduli spaces related to Calabi-Yau manifolds. We then apply the results to the following problem. Let $C$ be a fixed Riemann surface with fixed finite number of points on it. Given a CY manifold with fixed topological type, we consider the set of all families of CY manifolds of the fixed topological type over $C$ with degenerate fibres over the fixed points up to isomorphism. This set is called Shafarevich set. The analogue of Shafarevich conjecture for CY manifolds is for which topological types of CY the Shafarevich set is finite. It is well-known that the a…
The paper's main result is an effective uniform bound for the finiteness statement of the Shafarevich Conjecture over function fields. Several results on the projective geometry of curves are established in the course of the proof. These results should be of independent interest. As a corollary, a uniform effective bound for the Mordell Conjecture over function fields is derived via Parshin's trick.
The Shafarevich conjecture for K3 surfaces asserts the finiteness of isomorphism classes of K3 surfaces over a fixed number field admitting good reduction away from a fixed finite set of finite places. André proved this conjecture for polarized K3 surfaces of fixed degree, and recently She proved it for polarized K3 surfaces of unspecified degree. In this paper, we prove a certain generalization of their results, which is stated by the unramifiedness of l-adic étale cohomology groups for K3 surfaces over finitely generated fields of characteristic 0. As a corollary, we get the original Shafare…
Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was proved by Y. She. For hyper-Kähler varieties, which are higher-dimensional analogs of K3 surfaces, Y. André has verified the Shafarevich conjecture for hyper-Kähler varieties of a given dimension and admitting a very ample polarization of bounded degree. In this paper, we provide a unification of both results by proving the (unpolarized) Shafarevich conjecture f…
Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and only Tate's conjecture for divisors on $X$ holds and the Tate-Shafarevich group of the Albanese variety of $X$ is finite, generalizing a theorem of Artin and Grothendieck for surfaces to arbitrary relative dimension. We also give a formula relating the orders of the group under the assumption that they are finite, generalizing the formula given for a surfac…
Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture
Université de Strasbourg（斯特拉斯堡大学）；Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）；Saitama University（埼玉大学）；Universität Bielefeld（比勒费尔德大学）
The main result of this note is an effective uniform bound for the number of deformation types of certain nonisotrivial families of canonically polarized manifolds. It extends the author's earlier such bound for the classical Shafarevich Conjecture over function fields to the case of higher dimensional fibers, but without the disadvantageous iterated use of Chow or Hilbert varieties that was the core of the proofs in the earlier approaches.
Proven by A. Parshin and S. Arakelov in the early 70's, Shafaverich hyperbolicity conjecture states that a family of curves of genus $g\ge2$ parametrized by a non hyperbolic curve (\emph{i.e.} isomorphic to $\mathbb{P}^1$, $\mathbb{C}$, $\mathbb{C}^*$ or an elliptic curve) has to be isotrivial : the moduli of smooth fibres are constant. In higher dimensions, Viehweg's works on moduli of canonically polarized manifolds led him to generalize this statement in the following way: if a family of canonically polarized manifolds (parametrized by a quasi-projective base) has maximal variation, the bas…
We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.
Following (and elaborating on) a method of Logan and van Luijk, we exhibit explicit genus-2 curves whose Jacobians have nontrivial 2-torsion in their Tate-Shafarevich groups.
Let $C$ be a hyperelliptic curve of genus $g\geq 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$, $S$ and $K$. In particular, we obtain that for any given number field $K$, finite set of places $S$ of $K$ and integer $g\geq 1$ one can in principle determine the set of $K$-isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside $S$.
Let $B$ be a smooth projective curve of genus $g$, and $S \subset B$ be a finite subset of cardinality $s$. We give an effective upper bound on the number of deformation types of admissible families of canonically polarized manifolds of dimension $n$ with canonical volume $v$ over $B$ with prescribed degeneracy locus $S$. The effective bound only depends on the invariants $g, s, n$ and $v$. The key new ingredient which allows for this kind of result is a careful study of effective birationality for families of canonically polarized manifolds.
We investigate versions of the Shafarevich conjecture, as proved for curves and abelian varieties by Faltings, for other classes of varieties. We first obtain analogues for certain Fano threefolds. We use these results to prove the Shafarevich conjecture for smooth sextic surfaces, which appears to be the first non-trivial result in the literature on the arithmetic of such surfaces. Moreover, we exhibit certain moduli stacks of Fano varieties which are not hyperbolic, which allows us to show that the analogue of the Shafarevich conjecture does not always hold for Fano varieties. Our results al…
We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate-Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite.
We study the arithmetic of complete intersections in projective space over number fields. Our main results include arithmetic Torelli theorems and versions of the Shafarevich conjecture, as proved for curves and abelian varieties by Faltings. For example, we prove an analogue of the Shafarevich conjecture for cubic and quartic threefolds and intersections of two quadrics.
Let $\mathbb{F}_q$ be a finite field of odd characteristic $p$. We exhibit elliptic curves over the rational function field $K = \mathbb{F}_q(t)$ whose Tate-Shafarevich groups are large. More precisely, we consider certain infinite sequences of explicit elliptic curves $E$, for which we prove that their Tate-Shafarevich group $\mathrm{III}(E)$ is finite and satisfies $|\mathrm{III}(E)| = H(E)^{1+o(1)}$ as $H(E)\to\infty$, where $H(E)$ denotes the exponential differential height of $E$. The elliptic curves in these sequences are pairwise neither isogenous nor geometrically isomorphic. We furthe…
We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the complex numbers.
Let $E$ be an optimal elliptic curve over $\Q$ of conductor $N$ having analytic rank one, i.e., such that the $L$-function $L_E(s)$ of $E$ vanishes to order one at $s=1$. Let $K$ be a quadratic imaginary field in which all the primes dividing $N$ split and such that the $L$-function of $E$ over $K$ vanishes to order one at $s=1$. Suppose there is another optimal elliptic curve over $\Q$ of the same conductor $N$ whose Mordell-Weil rank is greater than one and whose associated newform is congruent to the newform associated to $E$ modulo an integer $r$. The theory of visibility then shows that u…
We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double covers of abelian varieties, and reduce the Shafarevich conjecture for hypersurfaces to the case of hypersurfaces of high dimension. These are special cases of a general set-up for integral points on moduli stacks of cyclic covers, and our arithmetic results are achieved via a version of the Chevalley-Weil theorem for stacks.
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.
The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be non-residually finite. Using the construction we also suggest a series of potential counterexamples to the Shafarevich conjecture which claims that the universal covering of smooth projective variety is holomorphically convex. The examples are only potential since they depend on group theoretic questions, which we formulate, but we do not know how to answer. A…
Let f: X -> Y be a smooth family of canonically polarized complex varieties over a smooth base. Generalizing the classical Shafarevich hyperbolicity conjecture, Viehweg conjectured that Y is necessarily of log general type if the family has maximal variation. A somewhat stronger and more precise version of Viehweg's conjecture was shown by the authors in arXiv:math/0511378 in the case where Y is a quasi-projective surface. Assuming that the minimal model program holds, this very short paper proves the same result for projective base manifolds Y of arbitrary dimension.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmativ…
Shafarevich's hyperbolicity conjecture asserts that a family of curves over a quasi-projective 1-dimensional base is isotrivial unless the logarithmic Kodaira dimension of the base is positive. More generally it has been conjectured by Viehweg that the base of a smooth family of canonically polarized varieties is of log general type if the family is of maximal variation. In this paper, we relate the variation of a family to the logarithmic Kodaira dimension of the base and give an affirmative answer to Viehweg's conjecture for families parametrized by surfaces.
We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational numbers. As an application we confirm finiteness conjectures of Shafarevich and Coleman in the CM case. In addition we prove the uniform boundedness of the Galois invariant subgroup of the geometric Brauer group for forms of a smooth projective variety satisfying the integral Mumford--Tate conjecture. When applied to K3 surfaces, this affirms a conjecture of …
Let X be a smooth and proper variety over a number field k. Conjectures on the image of the Chow group of zero-cycles of X in the product of the corresponding groups over all completions of k were put forward by Colliot-Thélène, Kato and Saito. We prove these conjectures for the total space of fibrations, over curves with finite Tate-Shafarevich group, into rationally connected varieties which satisfy weak approximation, under an abelianness assumption on the singular fibers. ---- Soit X une variété propre et lisse sur un corps de nombres k. Des conjectures sur l'image du groupe de Chow des zé…
We study real elliptic surfaces and trigonal curves (over a base of an arbitrary genus) and their equivariant deformations. We calculate the real Tate-Shafarevich group and reduce the deformation classification to the combinatorics of a real version of Grothendieck's {\it dessins d'enfants}. As a consequence, we obtain an explicit description of the deformation classes of $M$- and $(M-1)$- (i.e., maximal and submaximal in the sense of the Smith inequality) curves and surfaces.
We investigate sections of arithmetic fundamental groups of hyperbolic curves over function fields. As a consequence we prove that the anabelian section conjecture of Grothendieck holds over all finitely generated fields over $\Bbb Q$ if it holds over all number fields, under the condition of finiteness (of the $\ell$-primary parts) of certain Shafarevich-Tate groups. We also prove that if the section conjecture holds over all number fields then it holds over all finitely generated fields for curves which are defined over a number field.
We prove an effective version of the Shafarevich conjecture (as proven by Faltings) for smooth quartic curves. To do so, we establish an effective version of Scholl's finiteness result for smooth del Pezzo surfaces of degree at most four.
Let $k$ be a number field, and let $S$ be a finite set of maximal ideals of the ring of integers of $k$. In his 1962 ICM address, Shafarevich asked if there are only finitely many $k$-isomorphism classes of algebraic curves of a fixed genus $g\ge 1$ with good reduction outside $S$. He verified this for $g=1$ by reducing the problem to Siegel's theorem. Parshin extended this argument to all hyperelliptic curves (cf. also the work of Oort). The general case was settled by Faltings' celebrated work. In this note we give a short proof of Shafarevich's conjecture for hyperelliptic curves, by reduci…
We study arithmetic of the algebraic varieties defined over number fields by applying Lagrange interpolation to fibrations. Assuming the finiteness of the Tate-Shafarevich group of a certain elliptic curve, we show, for Châtelet surface bundles over curves, that the violation of Hasse principle being accounted for by the Brauer-Manin obstruction is not invariant under an arbitrary finite extension of the ground field.
Assuming the finiteness of the Shafarevich-Tate group of elliptic curves over number fields we make several observations on the birational Grotendieck anabelian setion conjecture. We prove that the birational setion conjecture for curves over number fields can be reduced to the case of elliptic curves. In this case we prove that, as a consequence of a result of Stoll, a section of the exact sequence of the absolute Galois group of an elliptic curve over a number field arises from a rational point if and only if the induced section of the corresponding (geometrically abelianised) arithmetic fun…
