Given a generically smooth stable curve over a discrete valuation ring such that its special fibre is irreducible with one double point, we construct a moduli stack over that descrete valuation ring which is a model for the moduli stack of vector bundles over the generic fibre of the curve. The model has the following nice properties:
1. It is regular.
2. Its special fibre is a normal crossing divisor.
3. The normalization of its special fibre is a locally trivial KGl-bundle over the moduli stack of vector bundles over the normalization of the special fibre of the curve.
Here KGl is a canonical compactification of the general linear group. Our motivation is that such a model may help to give recursion formulae for such cohomological invariants of the moduli stack of vector bundles on smooth curves which depend only on the genus of the curve.
In this paper I present a new geometric approach to the factorization rule for generalised theta functions. Let $X$ be an irreducible projective nodal curve with one singularity and let $Y$ be its normalization. Recently I have constructed the moduli stack $GVB(X)$ of rank $n$ Gieseker vector bundles on $X$ and have shown that its normalization is a locally trivial fibration over the moduli stack $VB(Y)$ of vector bundles on $Y$, where the fibre is a canonical compactification of $Gl_n$. In this paper I prove a canonical direct sum decomposition of the space of global sections of a power of th…
We construct a degeneration of the moduli space of Hitchin pairs on smooth projective curves when the curve degenerates to an irreducible curve with a single node. The degeneration constructed here is analogous to the models constructed by Gieseker and Nagaraj-Seshadri for the case of the usual moduli spaces (i.e when the Higgs structure is trivial). There is an canonical relative Hitchin map which is shown to be proper and the general fibre of the relative Hitchin map provides a new compactification of the Picard variety of smooth curves with normal crossing singularities.
The moduli space of Gieseker vector bundles is a compactification of moduli of vector bundles on a nodal curve. This moduli space has only normal crossing singularity and it provides a flat degeneration. We prove a Torelli type theorem for a nodal curve using the moduli space of stable Gieseker vector bundles of fixed rank (strictly greater than $1$) and fixed degree such that rank and degree are co-prime.
The new compactification of moduli scheme of Gieseker-stable vector bundles with the given Hilbert polynomial on a smooth projective polarized surface (S;H), over the field k = \bar k of zero characteristic, is constructed in previous papers of the author. Families of locally free sheaves on the surface S are completed by the locally free sheaves on the schemes which are certain modifications of S. We obtain the class of modified surfaces to appear in the construction. Keywords: moduli space, semistable coherent sheaves, blowup algebra, algebraic surface.
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…
We construct relative moduli spaces of semistable pairs on a family of projective Deligne-Mumford stacks. We define moduli stacks of stable orbifold Pandharipande-Thomas pairs on stacks of expanded degenerations and pairs, and then show they are separated and proper Deligne-Mumford stacks of finite type. As an application, we present the degeneration formula for the absolute and relative orbifold Pandharipande-Thomas invariants.
We generalize the notion of expanded degenerations and pairs for a simple degeneration or smooth pair to the case of smooth Deligne-Mumford stacks. We then define stable quotients on the classifying stacks of expanded degenerations and pairs and prove the properness of their moduli's. On 3-dimensional smooth projective DM stacks this leads to a definition of relative Donaldson-Thomas invariants and the associated degeneration formula.
We construct good degenerations of Quot-schemes and coherent systems using the stack of expanded degenerations. We show that these good degenerations are separated and proper DM stacks of finite type. Applying to the projective threefolds, we derive degeneration formulas for DT-invariants of ideal sheaves and PT stable pair invariants.
We present a Geometric Invariant Theory (GIT) construction which allows us to construct good projective degenerations of Hilbert schemes of points for simple degenerations. A comparison with the construction of Li and Wu shows that our GIT stack and the stack they construct are isomorphic, as are the associated coarse moduli schemes. Our construction is sufficiently explicit to obtain good control over the geometry of the singular fibres. We illustrate this by giving a concrete description of degenerations of degree $n$ Hilbert schemes of a simple degeneration with two components.
We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces of these semi-orthogonal decompositions are derived categories of products of Hilbert schemes of points on the surface.
In this paper, we describe explicit relations in the symplectomorphism groups of toric hypersurfaces. To define the elements involved, we construct a proper stack of toric hypersurfaces with compactifying boundary representing toric hypersurface degenerations. Our relations arise through the study of the one dimensional strata of this stack. The results are then examined from the perspective of homological mirror symmetry where we view sequences of relations as maximal degenerations of Landau-Ginzburg models. We then study the B-model mirror to these degenerations, which gives a new mirror sym…
We prove that K-polystable degenerations of Q-Fano varieties are unique. Furthermore, we show that the moduli stack of K-stable Q-Fano varieties is separated. Together with [Jia17,BL18], the latter result yields a separated Deligne-Mumford stack parametrizing all uniformly K-stable Q-Fano varieties of fixed dimension and volume. The result also implies that the automorphism group of a K-stable Q-Fano variety is finite.
The introduction is modified in the revised version. Also, many typos and errors were corrected. Let $W\to C$ be degeneration of smooth varieties so that the special fiber has normal crossing singularity. In this paper, we first constructed the stack of expanded degenerations of $W$. We then constructed the moduli space of stable morphisms to this stack, which provides a degeneration of the moduli spaces of stable morphisms associated to $W/C$. Using similar technique, for a pair of smooth variety and a smooth divisor $(Z,D)$, we constructed the stack of expanded relative pairs and then the mo…
We prove a rigidity result for automorphisms of points of certain stacks admitting adequate moduli spaces. It encompasses as special cases variations of the moduli of $G$-bundles on a smooth projective curve for a reductive algebraic group $G$. For example, our result applies to the stack of semistable $G$-bundles, stacks of semistable Hitchin pairs, and stacks of semistable parabolic $G$-bundles. Similar arguments apply to Gieseker semistable $G$-bundles in higher dimensions. We present two applications of the main result. First, we show that in characteristic $0$ every stack of semistable de…
We introduce a notion of a Hodge-proper stack and extend the method of Deligne-Illusie to prove the Hodge-to-de Rham degeneration in this setting. In order to reduce the statement in characteristic $0$ to characteristic $p$, we need to find a good integral model of a stack (a so-called spreading), which, unlike in the case of schemes, need not to exist in general. To address this problem we investigate the property of spreadability in more detail by generalizing standard spreading out results for schemes to higher Artin stacks and showing that all proper and some global quotient stacks are Hod…
This paper provides some technical results needed in "Formalism for Relative Gromov-Witten Invariants." We study line-bundles on the moduli stacks of relative stable and rubber maps that are used to define relative Gromov-Witten invariants in the sense of J. Li. Relations between these line-bundles yield degeneration formulae. In addition we prove a technical result called the Trivial Cylinders Theorem.
We show that the moduli stacks of Bridgeland semistable objects on smooth projective 3-folds are proper algebraic stacks of finite type, if they satisfy the Bogomolov-Gieseker (BG for short) inequality conjecture proposed by Bayer, Macrì and the second author. The key ingredients are the equivalent form of the BG inequality conjecture and its generalization to arbitrary very weak stability conditions. This result is applied to define Donaldson-Thomas invariants counting Bridgeland semistable objects on smooth projective Calabi-Yau 3-folds satisfying the BG inequality conjecture, for example on…
Given a strict simple degeneration $f \colon X\to C$ the first three authors previously constructed a degeneration $I^n_{X/C} \to C$ of the relative degree $n$ Hilbert scheme of $0$-dimensional subschemes. In this paper we investigate the geometry of this degeneration, in particular when the fibre dimension of $f$ is at most $2$. In this case we show that $I^n_{X/C} \to C$ is a dlt model. This is even a good minimal dlt model if $f \colon X \to C$ has this property. We compute the dual complex of the central fibre $(I^n_{X/C})_0$ and relate this to the essential skeleton of the generic fibre. …
For a regular pair $(X,Y)$ of schemes of pure codimension 1 on which 2 is invertible, we consider quadric bundles on $X$ which are nondegenerate on $X-Y$, but are minimally degenerate on $Y$. We give a formula for the behaviour of the cohomological invariants (characteristic classes) of the nondegenerate quadric bundle on $X-Y$ under the Gysin boundary map to the etale cohomology of $Y$ with mod 2 coefficients. The results here are the algebro-geometric analogs of topological results for complex bundles proved earlier by Holla and Nitsure, continuing further the algebraization program which wa…
Let $Y$ be a smooth projective curve of genus $g\ge 2$ and let $M_{r,d}(Y)$ be the moduli space of stable vector bundles of rank $r$ and degree $d$ on $Y$. A classical conjecture of Newstead and Ramanan states that $ c_i(M_{2,1}(Y))=0$ for $i>2(g-1)$ i.e. the top $2g-1$ Chern classes vanish. The purpose of this paper is to generalize this vanishing result to the rank 3 case by generalizing Gieseker's degeneration method. More precisely, we prove that $c_i(M_{3,1}(Y))=0$ for $i>6g-5$. In other words, the top $3g-3$ Chern classes vanish. Notice that we also have $c_i(M_{3,2}(Y))=0$ for $i>6g-5$.
We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The second result proves general separatedness Langton type theorem for such moduli spaces. More precisely, we prove S-completness of some moduli stacks of semistable modules. In some special cases this result identifies closed points of the moduli space of Gieseker semistable sheaves on a projective scheme and of the Donaldson--Uhlenbeck compactification of the…
In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.
We introduce a notion of Gieseker stability for coherent sheaves on tame Deligne-Mumford stacks with projective moduli scheme and some chosen generating sheaf on the stack in the sense of Olsson and Starr \cite{MR2007396}. We prove that this stability condition is open, and pure dimensional semistable sheaves form a bounded family. We explicitly construct the moduli stack of semistable sheaves as a finite type global quotient, and study the moduli scheme of stable sheaves and its natural compactification in the same spirit as the seminal paper of Simpson \cite{MR1307297}. With this general mac…
The purpose of these notes is to give an introduction to Deligne-Mumford stacks and their moduli spaces, with emphasis on the moduli problem for curves. The paper has 4 sections. In section 1 we discuss the general problem of constructing a moduli "space" of curves. In section 2 we give an introduction to Deligne-Mumford stacks and their moduli spaces. In section 3 we return to curves and outline Deligne and Mumford's proof that the stack of stable curves is a smooth and irreducible Deligne-Mumford stack which is proper over Spec Z. In section 4 we explain how to use geometric invariant to con…
Using an existence criterion for good moduli spaces of Artin stacks by Alper-Fedorchuk-Smyth we construct a proper moduli space of rank two sheaves with fixed Chern classes on a given complex projective manifold that are Gieseker-Maruyama-semistable with respect to a fixed Kähler class.
We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable Fano varieties. Specifically, we prove that if the stability threshold of every K-unstable Fano variety is computed by a divisorial valuation, then such K-moduli spaces are proper. The argument relies on studying certain optimal destabilizing test configurations and constructing a Theta-stratification on the moduli stack of Fano varieties.
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This article and the first two that preceded it are the first in a series aimed to explore this new approach. In Part I, we set up the combinatorial framework and showed how graphs weighted with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes associat…
Consider a smooth variety $X$ and a smooth divisor $D\subset X$. Kim and Sato (arXiv:0806.3819) define a natural compactification of $(X\setminus D)^n$, denoted $X_D^{[n]}$, which is a moduli space of stable configurations of $n$ points lying on expansions of $(X,D)$ in the sense of Jun Li (arXiv:math/0009097, arXiv:math/0110113). The purpose of this note is to generalize Kim and Sato's construction to the case where $X$ is an algebraic stack; and to construct an analogous projective moduli space $W_π^{[n]}$ for a degeneration $π:W \to B$. We construct $X^n_D$ and $W_π^{[n]}$ and prove their p…
We explicitly describe the KSBA/Hacking compactification of a moduli space of log surfaces of Picard rank 2. The space parametrizes log pairs $(S, D)$ where $S$ is a degeneration of $\mathbb{P}^1 \times \mathbb{P}^1$ and $D \subset S$ is a degeneration of a curve of class $(3,3)$. We prove that the compactified moduli space is a smooth Deligne--Mumford stack with 4 boundary components. We relate it to the moduli space of genus 4 curves; we show that it compactifies the blow-up of the hyperelliptic locus. We also relate it to a compactification of the Hurwitz space of triple coverings of $\math…
For each simply connected, simple complex group $G$ we show that the direct sum of all vector bundles of conformal blocks on the moduli stack $\bar{\mathcal{M}}_{g, n}$ of stable marked curves carries the structure of a flat sheaf of commutative algebras. The fiber of this sheaf over a smooth marked curve $(C, \vec{p})$ agrees with the Cox ring of the moduli of quasi-parabolic principal $G-$bundles on $(C, \vec{p})$. We use the factorization rules on conformal blocks to produce flat degenerations of these algebras. These degenerations are toric in the case $G = SL_2(\mathbb{C}),$ and the resul…
We construct a compactification M_d of the moduli space of plane curves of degree d. We regard a plane curve C as a surface-divisor pair (P^2,C) and define M_d as a moduli space of pairs (X,D) where X is a degeneration of the plane. We show that, if d is not divisible by 3, the stack M_d is smooth and the degenerate surfaces X can be described explicitly.
We prove a decomposition formula of logarithmic Gromov-Witten invariants in a degeneration setting. A one-parameter log smooth family X->B with singular fibre over b_0 \in B yields a family M(X/B,β) -> B of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over b_0 in terms of rigid tropical curves. This generalizes one aspect of known results in the case that the fibre X_{b_0} is a normal crossings union of two divisors. We exhibit our formulas in explicit examples.
We prove finite generation of the algebra of type A conformal blocks over arbitrary stable curves of any genus. As an application we construct a flat family of irreducible normal projective varieties over the moduli stack of stable pointed curves, whose fiber over a smooth curve is a moduli space of semistable parabolic bundles. This generalizes a construction of a degeneration of the moduli space of vector bundles presented in a recent work of Belkale and Gibney.
We prove that a very general hypersurface of bidegree (2, n) in P^2 x P^2 for n bigger than or equal to 2 is not stably rational, using Voisin's method of integral Chow-theoretic decompositions of the diagonal and their preservation under mild degenerations. At the same time, we also analyse possible ways to degenerate Prym curves, and the way how various loci inside the moduli space of stable Prym curves are nested. No deformation theory of stacks or sheaves of Azumaya algebras like in recent work of Hasset-Kresch-Tschinkel is used, rather we employ a more elementary and explicit approach via…
Let $\overline{\mathcal{M}}_{g,A[n]}$ be the Hassett moduli stack of weighted stable curves, and let $\overline{M}_{g,A[n]}$ be its coarse moduli space. These are compactifications of $\mathcal{M}_{g,n}$ and $M_{g,n}$ respectively, obtained by assigning rational weights $A = (a_{1},...,a_{n})$, $0< a_{i} \leq 1$ to the markings; they are defined over $\mathbb{Z}$, and therefore over any field. We study the first order infinitesimal deformations of $\overline{\mathcal{M}}_{g,A[n]}$ and $\overline{M}_{g,A[n]}$. In particular, we show that $\overline{M}_{0,A[n]}$ is rigid over any field, if $g\ge…
