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$.
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.
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.
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 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_…
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…
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…
For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically yields another one, $(S^τ,L^τ)$. We prove that $S^τ$ is isomorphic to the moduli space of stable coherent sheaves on $S$ with Mukai vector $(3,L,d/6)$. We also explain for which $d$ the Hilbert schemes $\text{Hilb}^n(S)$ and $\text{Hilb}^n(S^τ)$ are birational.
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.
For a smooth canonically embedded curve $C$ of genus $9$ together with a pencil $|L|$ of degree $6$, we study the relative canonical resolution of $C\subset X\subset \mathbb{P}^8$, where $X$ is the scroll swept out by the pencil $|L|$. We show that the second syzygy bundle in this resolution of $C\subset X$ is unbalanced. The proof reveals a new geometric connection between the universal Brill--Noether variety $\mathcal{W}^1_{9,6}$ and a moduli space $\mathcal{F}^\mathfrak{h}$ of lattice polarized $K3$ surfaces (for a certain rank $3$ lattice $\mathfrak{h}$). As a by-product we prove the unira…
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.
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.
We show that the algebraic group SL(2) acts on any polarized abelian variety A through correspondences. As a consequence we recover the action of SL(2) on the Chow group CH(A) (with rational coefficients), and this gives rise to Lefschetz type properties for algebraic cycles on A .
We extend the notion of lattice polarization for K3 surfaces to families over a (not necessarily simply connected) base, in a way that gives control over the action of monodromy on the algebraic cycles, and discuss the uses of this new theory in the study of families of K3 surfaces admitting fibrewise symplectic automorphisms. We then give an application of these ideas to the study of Calabi-Yau threefolds admitting fibrations by lattice polarized K3 surfaces.
We prove that for any polarized symplectic automorphism of the Fano variety of lines of a cubic fourfold (equipped with the Plücker polarization), the induced action on the Chow group of 0-cycles is identity, as predicted by Bloch-Beilinson conjecture.
We consider the natural action of a finite group on the moduli space of polarized K3 surfaces which induces a duality defined by Mukai for surfaces of this type. We show that the group permutes polarized Fourier-Mukai partners of polarized K3 surfaces and we study the divisors in the fixed loci of the elements of this finite group.
We compute the image of the $p$-adic period map for polarized K3 surfaces with supersingular reduction. This gives rise to a Rapoport-Zink type uniformization of their moduli space by an explicit open rigid analytic subvariety of a local Shimura variety of orthogonal type. In contrast to the case of Rapoport-Zink uniformization of Shimura varieties and in analogy to the complex case, the uniformizing domain does not carry an action of a $p$-adic Lie group, but only of a discrete subgroup. We briefly sketch how the same arguments can be applied to obtain a uniformization for the moduli space of…
Consider an algebraic action of a connected complex reductive algebraic group on a complex polarized projective variety. In this paper, we first introduce the nilpotent quotient, the quotient of the polarized projective variety by a maximal unipotent subgroup. Then, we introduce and investigate three induced actions: one by the reductive group, one by a Borel subgroup, and one by a maximal torus, respectively. Our main result is that there are natural correspondences among quotients of these three actions. In the end, we mention a possible application to the moduli spaces of parabolic bundles …
Suppose given a linearized action on a polarized complex projective manifold (M,L), and assume that the stable locus is non-empty. We study the leading asymptotics of the dimension of the equivariant summands appearing in the space of global sections of high powers of L. We use Kirwan resolutions and an elementary algebro-geometric argument to reduce the problem to the case of non-singular actions (that is, actions for which the stable and semistable loci coincide and are non-empty).
