Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are treated. In the case of varying targets, bounds on the complexity of Chow varieties are used.
In this paper we prove that a smooth family of canonically polarized manifolds parametrized by a special (in the sense of Campana) quasi-projective variety is isotrivial.
A Finsler metric, whose holomorphic curvature is bounded from above by a negative constant, is constructed on the moduli stack of canonically polarized manifolds including singularities. Demailly's version of Ahlfors' lemma yields hyperbolicity of the moduli stack.
This paper investigates the geometry of smooth canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit real valued function f(x) is obtained such that if $X$ is a smooth canonically polarized surface defined over an algebraically closed field of characteristic p>0 such that $K_X^2 <f(p)$, then $X$ is unirational and the order of its algebraic fundamental group is at most two. As a con…
We study canonically polarized Gorenstein $3$-folds with at most terminal singularities and satisfying $K_X^3=\frac 43p_g(X)-\frac {10}3$ and $p_g(X) \ge 7$. We characterize the canonical maps of such $3$-folds, describe a structure theorem for the locally factorial ones and completely classify the smooth ones. New examples of canonically polarized smooth $3$-folds with $K_X^3=\frac 43p_g(X)-\frac {10}3$ and $p_g(X) \ge 7$ are constructed. These examples are natural extensions of those constructed by M.~Kobayashi.
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.
1) We give a 3-dimensional analogue of M. Noether's inequality for canonically polarized threefolds: $K^3\ge 2(2p_g-5)/3$. This inequality is sharp by known examples of M. Kobayashi. 2) Given a minimal 3-fold $X$ of general type with canonical singularities, if $K^3< (3p_g-5)/2$, we show that $X$ must be birationally fibred by curves of genus 2.
This paper studies the existence of non trivial $μ_p$ actions on a canonically polarized surface X defined over an algebraically closed field of characteristic p>0. In particular, an explicit function $f(K_X^2)$ is obtained such that if $p>f(K_X^2)$, then there does not exist a non trivial $μ_p$-action on X. This implies that the connected component of the automorphism scheme of X containing the identity is either smooth or is obtained by successive extensions by $α_p$.
This paper investigates the structure of the automorphism scheme of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic 2. In particular it is investigated when Aut(X) is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain numerical invariants of X are obtained in order for Aut(X) to be smooth or not and information is provided about the structure of the component of Aut(X) containing the identity.…
This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain numerical invariants of $X$ are obtained in order for Aut(X) to be smooth or not and information is provided about the structure of the component of Aut(X) containing the identity. In particular, it i…
In this article we establish a version of Y. Miyaoka generic semi-positivity theorem in the context of log-canonical orbifold pairs. As an application, we show that the canonical bundle associated to a lc pair is big as soon as there exists a generically injective morphism from an ample line bundle to some symmetric power of the cotangent bundle associated to the orbifold pair.
This paper investigates the geometry of canonically polarized surfaces defined over a field of positive characteristic which have a nontrivial global vector field, and the implications that the existence of such surfaces has in the moduli problem of canonically polarized surfaces. In particular, an explicit integer valued function f(x) is obtained with the following properties. If X is a canonically polarized surface with canonical singularities defined over an algebraically closed field of characteristic p>0 such that p>f(K_X^2) and X has a nontrivial global vector field, then X is unirationa…
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.
Determining the number of singular fibers in a family of varieties over a curve is a generalization of Shafarevich's Conjecture and has implications for the types of subvarieties that can appear in the corresponding moduli stack. We consider families of log canonically polarized varieties over $¶^1$, i.e. families $g:(Y,D)\to ¶^1$ where $D$ is an effective snc divisor and the sheaf $ω_{Y/¶^1}(D)$ is $g$-ample. After first defining what it means for fibers of such a family to be singular, we show that with the addition of certain mild hypotheses (the fibers have finite automorphism group, $\sO_…
In the moduli space of polarized varieties the same unpolarized variety can occur multiple times However, for K3 surfaces, compact hyperkähler manifolds, and abelian varieties the number is finite. This may be viewed as a consequence of the Kawamata-Morrison cone conjecture. In this note we provide a proof of this finiteness not relying on the cone conjecture and, in fact, not even on the global Torelli theorem. Instead, it uses the geometry of the moduli space of polarized varieties to conclude the finiteness by means of Baily-Borel type arguments. We also address related questions concerning…
Given an effectively parameterized family of canonically polarized manifolds the Kaehler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle. We use a global elliptic equation to show that this metric is strictly positive. For degenerating families we obtain a singular hermitian metric. Main application is an analytic proof of the quasi-projectivity of the moduli space of canonically polarized manifolds. Further applications in arXiv:1002.4858v2.
Consider the moduli functor of canonically polarized complex manifolds with Hilbert polynomial h, and let M_h be the corresponding coarse quasi-projective moduli scheme. We show that M_h is Brody hyperbolic in the following sense: Assume that for some quasi-projective variety U there exists a morphism U --> M_h, quasi-finite over its image, which is induced by a family f: V --> U, belonging to the moduli problem. Then all holomorphic maps from the complex plane to U are constant.
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.
Let (X,D) be a dlt pair, where X is a normal projective variety. Let S denote the support of the rounddown of D, and K the canonical divisor of X. We show that any smooth family of canonically polarized varieties over X§is isotrivial if the divisor -(K+D) is ample. This result extends results of Viehweg-Zuo and Kebekus-Kovacs. To prove this result we show that any extremal ray of the moving cone is generated by a family of curves, and these curves are contracted after a certain run of the minimal model program. In the log Fano case, this generalizes a theorem by Araujo from the klt to the dlt …
We extend some of the results obtained for subvarieties of the moduli stack of canonically polarized manifolds in "Base spaces of non-isotrivial families of smooth minimal models" (math.AG/0103122) to moduli of polarized minimal models of Kodaira dimension zero. To this aim we first show that for those manifolds there are no non isotrivial families of minimal models, which are birationally isotrivial. In the last chapter, we discuss the rigidity of curves in the moduli stack of canonically polarized manifolds and of polarized minimal models of Kodaira dimension zero.
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 threefold Y that admits a non-constant map 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 Y: in all relevant cases the minimal model program leads to a fiber space whose fibration facto…
In this paper, we prove the Kobayashi hyperbolicity of the coarse moduli spaces of canonically polarized or polarized Calabi-Yau manifolds in the sense of complex $V$-spaces (a generalization of complex $V$-manifolds in the sense of Satake). As an application, we prove the following hyperbolic version of Campana's isotriviality conjecture: for the smooth family of canonically polarized or polarized Calabi-Yau manifolds, when the Kobayashi pseudo-distance of the base vanishes identically, the family must be isotrivial, that is, any two fibers are isomorphic. We also prove that for the smooth pr…
To every abelian subvariety of a principally polarized abelian variety $(A, \mathcal{L})$ we canonically associate a numerical class in the Néron-Severi group of $A$. We prove that these classes are characterized by their intersection numbers with $ \mathcal{L}$; moreover, the cycle class induced by an abelian subvariety in the Chow ring of $A$ modulo algebraic equivalence can be described in terms of its numerical divisor class. Over the field of complex numbers, this correspondence gives way to an explicit description of the (coarse) moduli space that parametrizes non-simple principally pola…
Let $f : (X, Δ) \to Y$ be a flat, projective family of sharply $F$-pure, log-canonically polarized pairs over an algebraically closed field of characteristic $p >0$ such that $p \nmid \ind(K_{X/Y} + Δ)$. We show that $K_{X/Y} + Δ$ is nef and that $f_* (\sO_X(m (K_{X/Y} + Δ)))$ is a nef vector bundle for $m \gg 0$ and divisible enough. Some of the results also extend to non log-canonically polarized pairs. The main motivation of the above results is projectivity of proper subspaces of the moduli space of stable pairs in positive characteristics. Other applications are Kodaira vanishing free, al…
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.
In a previous paper we showed that for every polarization on an abelian variety there is a dual polarization on the dual abelian variety. In this note we extend this notion of duality to families of polarized abelian varieties. As a main consequence we obtain an involution on the set of moduli spaces of polarized abelian varieties of dimension $g$. In particular, the moduli spaces $\mathcal A_{(d_1,...,d_g)}$ and $\mathcal A_{(d_1,\frac{d_1d_g}{d_{g-1}},...,\frac{d_1d_g}{d_2},d_g)}$ are canonically isomorphic.
We provide examples of families of (log) smooth canonically polarized varieties, including smooth weighted pointed curves and smooth hypersurfaces in $P^3$ with large degree such that the Chow semistable limits under distinct pluricanonical embeddings do not stabilize.
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.
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…
We show that an everywhere regular foliation $\mathcal F$ with compact canonically polarized leaves on a quasi-projective manifold $X$ has isotrivial family of leaves when the orbifold base of this family is special. By a recent work of Berndtsson, Paun and Wang, the same proof works in the case where the leaves have trivial canonical bundle. The specialness condition means that the $p$-th exterior power of the logarithmic extension of its conormal bundle does not contain any rank-one subsheaf of maximal Kodaira dimension $p$, for any $p>0$. This condition is satisfied, for example, in the ver…
Let M be the moduli scheme of canonically polarized manifolds with Hilbert polynomial h. We construct for a given finite set I of natural numbers m>1 with h(m)>0 a projective compactification M' of the reduced scheme underlying M such that the ample invertible sheaf L corresponding to the determinant of the direct image of the m-th power of the relative dualizing sheaf on the moduli stack, has a natural extension L' to M'. A similar result is shown for moduli of polarized minimal models of Kodaira dimension zero. In both cases "natural" means that the pullback of L' to a curve C --> M', induce…
We look into a construction of principal abelian varieties attached to certain spin manifolds, due to Witten and Moore-Witten around 2000 and try to place it in a broader framework. This is related to Weil intermediate Jacobians but it also suggests to associate abelian varieties to polarized even weight Hodge structures. The latter construction can also be explained in terms of algebraic groups which might be useful from the point of view of Tannakian categories. The constructions depend on moduli much as in Teichmüller theory although the period maps in general are only real analytic. One of…