32 pages, Latex2e, uses the pb-diagram package. Accent added in a certain mathematician's name. We are forever indebted to Sándor Kovács for saving us from great embárrássment. Also minor change in abstract
Families of stable curves of genus $γ$ over a smooth curve $C$ correspond to morphisms from $C$ to the moduli stack of stable curves $\bar{\cal M}_γ$. It is natural to compactify the corresponding moduli problem using stable maps into the stack. In order to get a complete moduli problem, the source curves must acquire extra structure, and you will have to read the paper to find what that is.
In this paper, we define these stable maps into $\bar{\cal M}_γ$ in characteristic 0, and show that they form a proper Deligne-Mumford stack admitting a projective coarse moduli space. A comparison with Alexeev's work is given.
Natural generalizations for stable maps into other Deligne-Mumford stacks will appear in a follow up paper, along with applications to areas such as admissible covers, level structures and higher dimensional families.
We use the theory of twisted stable maps to Deligne-Mumford stacks to construct compactifications of the moduli space of pairs $(X \to C, S + F)$ where $X \to C$ is a fibered surface, $S$ is a sum of sections, $F$ is a sum of marked fibers, and $(X, S + F)$ is a stable pair in the sense of the minimal model program. This generalizes the work of Abramovich-Vistoli, who compactified the moduli space of fibered surfaces without marked fibers. Furthermore, we compare our compactification to Alexeev's space of stable maps and the KSBA compactification of stable pairs. As an application, we describe…
We exhibit new examples of rational cubic fourfolds, parametrized by a countably infinite union of codimension-two subvarieties in the moduli space. Our examples are fibered in sextic del Pezzo surfaces over the projective plane; they are rational whenever the fibration has a rational section.
We introduce the concept of strict ample sequence in a fibered triangulated category and define the stability of the objects in a triangulated category. Then we construct the moduli space of (semi) stable objects by GIT construction.
Gopakumar-Vafa invariants of fiber classes on Calabi-Yau 4-folds fibered over curves
Morningside Center of Mathematics, Institute of Mathematics & State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Northeast Normal University（东北师范大学）
Let $S\to C$ be a smooth projective surface with numerically trivial canonical bundle fibered onto a curve. We prove the multiplicativity of the perverse filtration with respect to the cup product on $H^*(S^{[n]},\mathbb{Q})$ for the natural morphism $S^{[n]}\to C^{(n)}$. We also prove the multiplicativity for five families of Hitchin systems obtained in a similar way and compute the perverse numbers of the Hitchin moduli spaces. We show that for small values of $n$ the perverse numbers match the predictions of the numerical version of the de Cataldo-Hausel-Migliorini $P=W$ conjecture and of t…
Based on Teichmüller theory, we construct a degenerating family $\overline{Y}_g^{orb} \rightarrow \overline{M}_g^{orb}$ over the Deligne-Mumford compactification of the moduli space with the natural orbifold structure such that any fibered complex surface admitting unstable fibers can be pulled back from this family.
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…
A central role in recent investigations of the duality of F-theory and heterotic strings is played by the moduli of principal bundles, with various structure groups G, over an elliptically fibered Calabi-Yau manifold on which the heterotic theory is compactified. In this note we propose a simple algebro-geometric technique for studying the moduli spaces of principal G-bundles on an arbitrary variety X which is elliptically fibered over a base S: The moduli space itself is naturally fibered over a weighted projective base parametrizing spectral covers $\tilde{S}$ of S, and the fibers are identi…
Given X a K3 surface, a mirror dual to X can be identified with a component of the moduli space of semistable sheaves on X. We consider fibrations by K3 surfaces over a one dimensional base that are Calabi-Yau and we obtain a dual fibration that turns to be derived equivalent to the original one and we relate the problem to mirror symmetry.
Roughly speaking, a conic bundle is a surface, fibered over a curve, such that the fibers are conics (not necessarily smooth). We define stability for conic bundles and construct a moduli space. We prove that (after fixing some invariants) these moduli spaces are irreducible (under some conditions). Conic bundles can be thought of as generalizations of orthogonal bundles on curves. We show that in this particular case our definition of stability agrees with the definition of stability for orthogonal bundles. Finally, in an appendix by I. Mundet i Riera, a Hitchin-Kobayashi correspondence is st…
For $L \hookrightarrow X$ a Lagrangian embedding associated with a real homogeneous space, we construct the moduli space of stable holomorphic discs mapping to $(X,L)$ as an orbifold with corners equipped with a group action. Some essential constructions involving orbifolds with corners are also discussed, including the existence of fibered products and pushforward and pullback of differential forms with values in a local system.
The heterotic string compactified on an (n-1)-dimensional elliptically fibered Calabi-Yau Z-->B is conjectured to be dual to F-theory compactified on an n-dimensional Calabi-Yau X-->B, fibered over the same base with elliptic K3 fibers. In particular, the moduli of the two theories should be isomorphic. The cases most relevant to the physics are n=2, 3, 4, i.e. the compactification is to dimensions d=8, 6 or 4 respectively. Mathematically, the richest picture seems to emerge for n=3, where the moduli space involves an analytically integrable system whose fibers admit rather different descripti…
In this paper, we first construct varieties of any dimension $n>2$ fibered over curves with low slopes. These examples violate the conjectural slope inequality of Barja and Stoppino [BS14b]. Led by their conjecture, we focus on finding the lowest possible slope when $n=3$. Based on a characteristic $p > 0$ method, we prove that the sharp lower bound of the slope of fibered $3$-folds over curves is $4/3$, and it occurs only when the general fiber is a $(1, 2)$-surface. Otherwise, the sharp lower bound is $2$. We also obtain a Cornalba-Harris-Xiao type slope inequality for families of surfaces o…
Let $X$ be a compact Riemann surface of genus $g \geq 2$, and let $D \subset X$ be a fixed finite subset. Let $\mathcal{M}(r,d,α)$ denote the moduli space of stable parabolic $G$-bundles (where $G$ is a complex orthogonal or symplectic group) of rank $r$, degree $d$ and weight type $α$ over $X$. Hitchin discovered that the cotangent bundle of the moduli space of stable bundles on an algebraic curve is an algebraically completely integrable system fibered, over a space of invariant polynomials, either by a Jacobian or a Prym variety of spectral curves. In this paper we study the Hitchin fibers …
We provide a general method for computing rational Chow rings of moduli of smooth complete intersections. We specialize this result in different ways: to compute the integral Picard group of the associated stack ; to obtain an explicit presentation of rational Chow rings of moduli of smooth complete intersections of codimension two; to prove old and new results on moduli of smooth curves of genus $\leq 5$ and polarized K3 surfaces of degree $\leq 8$.
We study the moduli space of smooth complete intersections of two quadrics in $\mathbb{P}^n$ by relating it to the geometry of the singular members of the corresponding pencils. Giving an alternative presentation for the moduli space of complete intersections, we compute the Picard group for all $n\geq 3$.
We study here the tautological rings of the moduli spaces of compact Riemann surfaces of genus 1,2,3 and 4 with marked points. The paper presents the complete descriptions of these rings by describing the groups of all degrees.
We study each of the 16 types of complete intersection Calabi-Yau threefolds in projective n-space times the projective line, for various n, and prove existence of isolated rational curves of bidegree (d,0) for all positive integers d on a general threefold of each of these types. As a corollary we find isolated rational curves in all degrees on a general CICY of each of the 5 possible types in usual projective n-space.
Building on an idea of Borcherds, Katzarkov, Pantev, and Shepherd-Barron (who treated the case $e=14$), we prove that the moduli space of polarized K3 surfaces of degree $2e$ contains complete curves for all $e\geq 62$ and for some sporadic lower values of $e$ (starting at $14$). We also construct complete curves in the moduli spaces of polarized hyper-Kähler manifolds of $\mathrm{K3}^{[n]}$-type or $\mathrm{Kum}_n$-type for all $n\ge 1$ and polarizations of various degrees and divisibilities.
The aim of this paper is to prove the existence of large complete subvarieties in moduli spaces of rank two stable sheaves with arbitrary $c_1$ and sufficiently large $c_2$ on algebraic surfaces. Then we study the restriction of these sheaves to curves of high degree embedded in the surface. In the final section we gives a relation with the spin strata defined by Pidstrigach and Tyurin.
We construct stable sheaves over K3 fibrations using a relative Fourier-Mukai transform which describes the sheaves in terms of spectral data similar to the construction for elliptic fibrations. On K3 fibered Calabi-Yau threefolds we show that the Fourier-Mukai transform induces an embedding ion of the relative Jacobian of spectral line bundles on spectral covers into the moduli space of sheaves of given invariants. This makes the moduli space of spectral sheaves to a generic torus fibration over the moduli space of curves of given arithmetic genus on the Calabi-Yau manifold.
For a semi simple group G it is known the moduli stack of principal G-bundles over a fixed nodal curve is not complete. Finding a completion requires compactifying the group G. However it was shown in [34] that this is not sufficient to complete the moduli stack over a family of curves. In this paper I describe how to use an embedding of the loop group LG to provide a completion of the stack of G-bundles over a one dimensional family of curves degenerating to a nodal curve. The completion comes with a modular interpretation inspired by the work of Gieseker, Seshadri, Kausz and Thaddeus and Mar…
In the infinite series of complete families of Calabi-Yau manifolds $\tilde{f}_n: \tilde{\mathcal{X}}_n\rightarrow \mathfrak{M}_{n, n+3}$, where $n$ is an odd number, arising from cyclic covers of $\mathbb{P}^n$ branching along hyperplane arrangements (\cite{SXZ13}), the set of CM points is dense for $n=1, 3$ and finite for $n\geq 5$.
This paper is to give some concrete examples of the general fibers of the evaluation map of some Kontsevich mapping spaces parametrize low degree rational curves on low degree complete intersection varieties. We prove these examples are Fano or Calabi-Yau vareities of low dimension, e.g, surface and threefold. In usual, the "moduli" fibers are constructed in an abstract way, but here we give a down-to-earth interpretation to some of these fibers from the perspective of projective geometry.
The cohomology ring of the moduli space of stable holomorphic vector bundles of rank n and degree d over a Riemann surface of genus g>1 has a standard set of generators when n and d are coprime. When n=2 the relations between these generators are well understood, and in particular a conjecture of Mumford, that a certain set of relations is a complete set, is known to be true. In this article generalisations are given of Mumford's relations to the cases when n>2 and also when the bundles are parabolic bundles, and these are shown to form complete sets of relations.
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
I prove the existence, and describe the structure, of moduli space of pairs $(p,Θ)$ consisting of a projective variety $P$ with semiabelian group action and an ample Cartier divisor on it satisfying a few simple conditions. Every connected component of this moduli space is proper. A component containing a projective toric variety is described by a configuration of several polytopes, the main one of which is the secondary polytope. On the other hand, the component containing a principally polarized abelian variety provides a moduli compactification of $A_g$. The main irreducible component of th…
We prove that in characteristic p>0 the locus of stable curves of p-rank at most f is pure of codimension g-f in the moduli space of stable curves. Then we consider the Prym map and analyze it using tautological classes. We study the locus of curves with an etale double cover of p-rank 0 in some detail. In particular, in genus 2 we obtain a formula for the number of such curves. We end with several examples illustrating our formula.
We classify curves in the moduli space of curves that are both Shimura- and Teichmueller curves: Except for the moduli space of genus one curves there is only a single such curve. We start with a Hodge-theoretic description of Shimura curves and of Teichmueller curves that reveals similarities and differences of the two classes of curves. The proof of the classification relies on the geometry of square-tiled coverings and on estimating the numerical invariants of these particular fibered surfaces. Finally we translate our main result into a classification of Teichmueller curves with totally de…
We give a complete classification of equivariant vector bundles of rank two over smooth complete toric surfaces and construct moduli spaces of such bundles. This note is a direct continuation of an earlier note where we developed a general description of equivariant sheaves on toric varieties. Here we give a first application of that description.
We study the birational geometry of the moduli space of complete $n$-quadrics $X$. We exhibit generators for Eff$(X)$ and Nef$(X)$, the cone of effective divisors and the cone of nef divisors, respectively. As a corollary X is a Mori Dream space. Furthermore, we run the MMP on $X$ and find a moduli interpretation for the models induced by the generators of the nef cone. In the case of complete quadric surfaces, we describe all the birational models of $X$ induced by the movable cone and find a moduli interpretation for some of these models.
We complete Mori's program for Kontsevich's moduli space of degree 2 stable maps to Grassmannian of lines. We describe all birational models in terms of moduli spaces (of curves and sheaves), incidence varieties, and Kirwan's partial desingularization.
The intermediate Jacobian map, which associates to a smooth cubic threefold its intermediate Jacobian, does not extend to the GIT compactification of the space of cubic threefolds, not even as a map to the Satake compactification of the moduli space of principally polarized abelian fivefolds. A much better "wonderful" compactification of the space of cubic threefolds was constructed by the first and fourth authors --- it has a modular interpretation, and divisorial normal crossing boundary. We prove that the intermediate Jacobian map extends to a morphism from the wonderful compactification to…
We present an explicit method to produce upper bounds for the dimension of the moduli spaces of complete integral Gorenstein curves with prescribed symmetric Weierstrass semigroups.
This paper proves the existence of homeomorphic (diffeomorphic) complex 6-dimensional (7-dim) complete intersections that belong to components of the moduli space of different dimensions. These results are given as a supplement to earlier result on 5-dimensional complete intersections.
We use hypersurfaces containing unexpected linear spaces to construct interesting vector bundles on complete intersection surfaces in projective space. We discover examples of moduli spaces of rank 2 stable bundles on surfaces of Picard rank one with arbitrarily many connected components.
Let $π: X \longrightarrow C$ be a fibration with reduced fibers over a curve $C$ and consider a polarization $H$ on the surface $X$. Let $E$ be a stable vector bundle of rank $2$ on $C$. We prove that the pullback $π^*E$ is a $H-$stable bundle over $X$. This result allows us to relate the corresponding moduli spaces of stable bundles $\mathcal{M}_C(2,d)$ and $\mathcal{M}_{X,H}(2,df,0)$ through an injective morphism. We study the induced morphism at the level of Brill-Noether loci to construct examples of Brill-Noether loci on fibered surfaces. Results concerning the emptiness of Brill-Noether …
Let $g \geq 2$. Let $M_{g,n}^{rt}$ be the moduli space of $n$-pointed genus $g$ curves with rational tails. Let $C_g^n$ be the $n$-fold fibered power of the universal curve over $M_g$. We prove that the tautological ring of $M_{g,n}^{rt}$ has Poincaré duality if and only if the same holds for the tautological ring of $C_g^n$. We also obtain a presentation of the tautological ring of $M_{g,n}^{rt}$ as an algebra over the tautological ring of $C_g^n$. This proves a conjecture of Tavakol. Our results are valid in the more general setting of wonderful compactifications.
The purpose of this paper is to formulate a number of conjectures giving a rather complete description of the tautological ring of M_g and to discuss the evidence for these conjectures.
We carry out a complete birational classification of the universal theta divisor Th_g over the moduli space of curves of genus g, and show that Th_g enjoys good rationality properties for g<12, and is a variety of general type for g\geq 12. The key ingredient is an intersection-theoretic study of the universal antiramification locus of the Gauss map. We also present a complete classification of the universal symmetric product of degree g-2 over M_g.
