Suppose X is a smooth projective 3-fold of general type and |mK_X| is composed of a pencil of surfaces with m>1. This pencil naturally induces a fibration f:X->C onto a smooth curve C after the Stein-factorization, which is the main objects of this article. Based on Koll'ar's earlier works, we improve on it and try to understand the family in terms of discrete birational invariants of the total space as well as those of the general fiber and the base curve. The aim of this note is to build a little bit basic facts.
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.
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.
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.
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.
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.
We prove that a generic canonically or bicanonically embedded smooth curve has semistable m-th Hilbert points for all m. We also prove that a generic bicanonically embedded smooth curve has stable m-th Hilbert points for all m \geq 3. In the canonical case, this is accomplished by proving finite Hilbert semistability of special singular curves with G_m-action, namely the canonically embedded balanced ribbon and the canonically embedded balanced double A_{2k+1}-curve. In the bicanonical case, we prove finite Hilbert stability of special hyperelliptic curves, namely Wiman curves. Finally, we giv…
This note aims to improve known numerical bounds proved earlier by Chen \cite{PAMS} and Chen-Hacon \cite{Chen-Hacon} and to present some new examples of smooth minimal 3-folds canonically fibred by surfaces (resp. curves) of geometric genus as large as 19 (resp. 13). As an interesting by-product, we present a new class of general type surfaces which are canonically fibred by curves of genus 13.
This paper is a sequel to arXiv:1109.4986, where we proved that a general smooth curve of odd genus, canonically or bicanonically embedded, has semistable finite Hilbert points. Here, we prove that a generic canonically embedded curve of even genus has semistable finite Hilbert points. More precisely, we prove that a generic canonically embedded trigonal curve of even genus has semistable finite Hilbert points. Furthermore, we show that the analogous result fails for bielliptic curves. Namely, the Hilbert points of bielliptic curves are asymptotically semistable but become non-semistable below…
A canonically fibered surface is a surface whose canonical series maps it to a curve. Using Miyaoka-Yau inequality, A. Beauville proved that a canonically fibered surface has relative genus at most 5 when its geometric genus is sufficiently large. G. Xiao further conjectured that the relative genus cannot exceed 4. We give a proof of this conjecture.
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 …
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…
A canonically-embedded curve of genus $g$ is a pure 1-dimensional, non-degenerate subscheme $C$ of ${\bf P}^{g-1}$ over an algebraically closed field $k$, for which ${\cal O}_C(1) \cong ω_C$, (the dualizing sheaf)$ and $h^0(C, {\cal O}_C) = 1$, $h^0(C, ω_C) = g$. The singularities of $C$ (if any) are Gorenstein, and $C$ is connected of degree $2g-2$ and arithmetic genus $g$. In a recent paper, Schreyer has proved that Petri's normalization of the homogeneous ideal $I(C)$ of a smooth canonically-embedded curve can be also carried out for singular curves, provided that the curve has a simple $(g…
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…
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.
Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical map of $X$ and so $F$ is a smooth curve or a smooth surface. The main result of the paper is that there is a computable constant $K$ (independent of $X$) such that $g(F)\leq 647$ or $p_g(F)\leq 38$ whenever $p_g(X)\geq K$. The method heavily relies on both a Noether type of inequality and a Miyaoka-Yau inequality and that is the reason we only treat a Goren…
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 define a cone curve to be a reduced sextic space curve which lies on a quadric cone and does not go through the vertex. We classify families of bitangent planes of cone curves. The methods we apply can be used for any space curve with ADE singularities, though in this paper we concentrate on cone curves. An embedded complex projective surface which is adjoint to a degree one weak Del Pezzo surface contains families of minimal degree rational curves, which cannot be defined by the fibers of a map. Such families are called minimal non-fibration families. Families of bitangent planes of cone c…
This paper deals with a study of the rational elliptic surfaces whose $J$-invariant functions are of degree one. Almost all of these elliptic surfaces have four singular fibers, while the remaining surfaces have only three singular fibers. The moduli space of these elliptic surfaces is canonically isomorphic to the projective line by taking the $J$-values for a certain fixed type of singular fibers. Over the moduli space, we discuss our elliptic surfaces, and investigate how their sections are described by the parameter of the moduli space. By using a covering space of the moduli, we construct…
By a theorem of Wahl, for canonically embedded curves which are hyperplane sections of K3 surfaces, the first gaussian map is not surjective. In this paper we prove that if C is a general hyperplane section of high genus (greater than 280) of a general polarized K3 surface, then the second gaussian map of C is surjective. The resulting bound for the genus g of a general curve with surjective second gaussian map is decreased to g >152.
In previous work we determined automorphism groups of cyclic algebraic curves defined over fields of any odd characteristic. In this paper we determine parametric equations of families of curves for each automorphism group for such curves.
This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the direct images of powers of the dualizing sheaf. For families of Abelian varieties we recall the characterization of Shimura curves by Arakelov equalities. For families of curves we recall the characterization of Teichmueller curves in terms of the existence of certain sub variation of Hodge structures. We sketch the proof that the moduli scheme of curves of …
We give restrictions on the existence of families of curves on smooth projective surfaces $S$ of nonnegative Kodaira dimension all having constant geometric genus $g \geq 2$ and hyperelliptic normalizations. In particular, we prove a Reider-like result whose proof is ``vector bundle-free'' and relies on deformation theory and bending-and-breaking of rational curves in $\Sym^2(S)$. We also give examples of families of such curves.
We study families of n-gonal curves with maximal variation of moduli, which have a rational section. Certain numerical results on the degree of the modular map are obtained for such families of hyperelliptic and trigonal curves. In the last case we use the description of the relative Picard group of the universal family of trigonal curves.
By the Lefschetz hyperplane theorem, if X is a smooth quasi-projective variety and C a general curve section of X then the fundamental group of C surjects onto the fundamental group of X. Here we consider when this conclusion holds for a general member of an arbitrary family of curves that covers X. The most interesting case is families of rational curves.
The main subject is the difference between the coarse moduli space and the stack of hyperelliptic curves. In particular, we compute their Picard groups, giving explicit description of the generators. We also study how many families of hyperelliptic curves may have the same modular map as well as the existence of the tautological family over the coarse moduli space of hyperelliptic curves.
We study families of $K3$ surfaces obtained by double covering of the projective plane branching along curves of $(2,3)$-torus type. In the first part, we study the Picard lattices of the families, and a lattice duality of them. In the second part, we describe a deformation of singularities of Gorenstein $K3$ surfaces in these families.
We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.
Using abelian differentials and periods of the universal Mumford curve, we study the universal expression and asymptotic behavior of tau functions defined for stably degenerating families of algebraic curves with additional data. Furthermore, we apply this study to constructing solutions to the KP hierarchy which are expressed by nonarchimedean theta functions and by mixtures of quasi-periodic solutions with solitons containing real solutions defined on families of M-curves.
We construct the first non-trivial examples of complete families of non-degenerate smooth space curves, and show that the base of such a family cannot be a rational curve. Both results rely on the study of the strong semistability of certain vector bundles.
A minimal family of curves on an embedded surface is defined as a 1-dimensional family of rational curves of minimal degree, which cover the surface. We classify such minimal families using constructive methods. This allows us to compute the minimal families of a given surface. The classification of minimal families of curves can be reduced to the classification of minimal families which cover weak Del Pezzo surfaces. We classify the minimal families of weak Del Pezzo surfaces and present a table with the number of minimal families of each weak Del Pezzo surface up to Weyl equivalence. As an a…
We prove the existence of fine moduli spaces of simple coherent sheaves on families of irreducible curves. Our proof is based on the existence of a universal upper bound of the Castelnuovo-Mumford regularity of such sheaves, which we provide.
This revision contains some additional corrections and references, including a reference to Zeuthen suggested by Kleiman. For possible subsequent revisions, check http://math.ucr.edu/~ziv/papers/1nodal.pdf
This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then the families are equivalent to morphisms of curves into M. In order to have complete moduli for such families, one needs to compactify the stack of stable maps into M. It turns out that in the boundary, the curve must acquire extra structure and you'd better read the paper to see what that structure is. Applications to fibered surfaces (see math.AG/9804097), a…
This is a continuation of "Rational families of vector bundles on curves, I". Let C be a smooth projective curve of genus at least 2 and let M be the moduli space of rank 2, stable vector bundles on C, with fixed determinant of degree 1. For any k>0, we find all the irreducible components of the space of rational curves of degree k on M and their maximal rationally connected quotients.
We extend results of Chang and Ran regarding large dimensional families of immersed curves of positive genus in projective space in two directions. In one direction, we prove a sharp bound for the dimension of a complete family of smooth rational curves immersed into projective space, completing the picture in projective space. In another direction, we isolate the necessary positivity condition on the tangent bundle of projective space used to run the argument, which allows us to rule out large dimensional families of immersed curves of positive genus in generalized flag varieties.
We introduce the notion of families of n-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of n-marked abstract rational tropical curves.
We construct two pencils of bielliptic curves of genus three and genus five. The first pencil is associated with a general abelian surface with a polarization of type $(1,2)$. The second pencil is related to the first by an unramified double cover, the Prym variety of which is canonically isomorphic to the Jacobian of a very general curve of genus two. Our results are obtained by analyzing suitable elliptic fibrations on the associated Kummer surfaces and rational double covers among them.
We prove constancy of Newton polygons of all convergent $F$-isocrystals on Abelian varieties over finite fields. Applying the constancy, we prove the isotriviality of projective smooth families of curves over Abelian varieties. We also study the isotriviality over simply connected projective smooth varieties.
It is a well-known fact that families of minimal rational curves on rational homogeneous manifolds of Picard number one are uniform, in the sense that the tangent bundle to the manifold has the same splitting type on each curve of the family. In this note we prove that certain --stronger-- uniformity conditions on a family of minimal rational curves on a Fano manifold of Picard number one allow to prove that the manifold is homogeneous.
This article is a generalisation of results of Ciliberto and Sernesi. For a general canonically embedded curve $C$ of genus $g\geq 5$, let $d\le g-1$ be an integer such that the Brill--Noether number $ρ(g,d,1)=g-2(g-d+1)\geq 1$. We study the family of $d$-secant $\mathbb{P}^{d-2}$'s to $C$ induced by the smooth locus of the Brill--Noether locus $W^1_d(C)$. Using the theory of foci and a structure theorem for the rank one locus of special $1$-generic matrices by Eisenbud and Harris, we prove a Torelli-type theorem for general curves by reconstructing the curve from its Brill--Noether loci $W^1_…
In this paper, we investigate higher order minimal families $H_i$ of rational curves associated to Fano manifolds $X$. We prove that $H_i$ is also a Fano manifold if the Chern characters of $X$ satisfy some positivity conditions. We also provide a sufficient condition for Fano manifolds to be covered by higher rational manifolds.
We show that if a family of complex varieties over a base B admits a section when restricted to a very general curve in B, then the family must contain a subfamily of rationally connected varieties dominating B. As an application, we deduce the existence of one parameter families of Enriques surfaces with no section.
Let $C$ be a nodal curve, and let $E$ be a union of semistable subcurves of $C$. We consider the problem of contracting the connected components of $E$ to singularities in a way that preserves the genus of $C$ and makes sense in families, so that this contraction may induce maps between moduli spaces of curves. In order to do this, we introduce the notion of mesa curve, a nodal curve $C$ with a logarithmic structure and a piecewise linear function $\overlineλ$ on the tropicalization of $C$. This piecewise linear function determines a subcurve $E$. We then construct a contraction of $E$ inside …
Let Y be a projective non-singular curve of genus g, X a projective manifold, both defined over the field of complex numbers, and let f:X ---> Y be a surjective morphism with general fibre F. If the Kodaira dimension of X is non-negative, and if Y is the projective line we show that f has at least 3 singular fibres. In general, for non-isotrivial morphisms f, one expects that the number of singular fibres is at least 3, if g=0, or at least 1, if g=1. Using the strong additivity of the Kodaira dimension, this is verified, if either F is of general type, or if F has a minimal model with a semi-a…
We explore some equisingularity criteria in one parameter families of generically reduced curves. We prove the equivalence between Whitney regularity and Zariski's discriminant criterion. We prove that topological triviality implies smoothness of the normalized surface. Examples are given to show that Witney regularity and equisaturation are not stable under the blow-up of the singular locus nor under the Nash modification.
Given a family of nodal curves, a semistable modification of it is another family made up of curves obtained by inserting chains of rational curves of any given length at certain nodes of certain curves of the original family. We give comparison theorems between torsion-free, rank-1 sheaves in the former family and invertible sheaves in the latter. We apply them to show that there are functorial isomorphisms between the compactifications of relative Jacobians of families of nodal curves constructed through Caporaso's approach and those constructed through Pandharipande's approach.
Very few examples of obstructed equsingular families of curves on surfaces other than the projective plane are known. Combining results from Westenberger and Hirano with an idea from math.AG/9802009 we give in the present paper series of examples of families of irreducible curves with simple singularities on surfaces in projective three-space which are not T--smooth, i.e. do not have the expected dimension, and we compare this with conditions (showing the same asymptotics) which ensure the existence of a T--smooth component.
We determine all genus 2 curves, defined over $\mathbb C$, which have simultaneously degree 2 and 3 elliptic subcovers. The locus of such curves has three irreducible 1-dimensional genus zero components in $\mathcal M_2$. For each component we find a rational parametrization and construct the equation of the corresponding genus 2 curve and its elliptic subcovers in terms of the parameterization. Such families of genus 2 curves are determined for the first time. Furthermore, we prove that there are only finitely many genus 2 curves (up to $\mathbb C$-isomorphism) defined over $\mathbb Q$, which…
We study the Hodge structure of elliptic surfaces which are canonically defined from bielliptic curves of genus three. We prove that the period map for the second cohomology has one dimensional fibers, and the period map for the total cohomology is of degree twelve, and moreover, by adding the information of the Hodge structure of the canonical divisor, we prove a generic Torelli theorem for these elliptic surfaces. Finally, we give explicit examples of the pair of non-isomorphic elliptic surfaces which have the same Hodge structure on themselves and the same Hodge structure on their canonical…
