Let C be a smooth projective curve of genus at least 2 over a field k. Given a line bundle L on C, we consider the moduli stack of rank 2n vector bundles E on C endowed with a nowhere degenerate symplectic form $b: E \otimes E \to L$ up to scalars. We prove that this stack is birational to BG_m times an affine space A^s if n and the degree of L are both odd and C admits a k-rational point as well as a line bundle of degree 0 whose square is nontrivial. It follows that the corresponding coarse moduli scheme is rational in this case.
Moduli spaces of semistable sheaves on a K3 or abelian surface with respect to a general ample divisor are shown to be locally factorial, with the exception of symmetric products of a K3 or abelian surface and the class of moduli spaces found by O'Grady. Consequently, since singular moduli space that do not belong to these exceptional cases have singularities in codimension $\geq4$ they do no admit projective symplectic resolutions.
We construct quasi-projective moduli spaces of $K$-general lattice polarized irreducible holomorphic symplectic manifolds. Moreover, we study their Baily--Borel compactification and investigate a relation between one-dimensional boundary components and equivalence classes of rational Lagrangian fibrations defined on mirror manifolds.
In this note we prove that the moduli space of torsion-free modules of rank one over an Azumaya algebra on a K3-surface is an irreducible symplectic variety deformation equivalent to a Hilbert scheme of points on the K3-surface.
A 10-dimensional symplectic moduli space of torsion sheaves on the cubic 4-fold is constructed. It parametrizes the stable rank 2 vector bundles on the hypeplane sections of the cubic 4-fold which are obtained by Serre's construction from normal elliptic quintics. The natural projection to the dual projective 5-space parametrizing the hyperplane sections is a Lagrangian fibration. The symplectic structure is closely related (and conjecturally, is equal) to the quasi-symplectic one, induced by the Yoneda pairing on the moduli space.
We prove that the moduli spaces of parabolic symplectic/orthogonal bundles on a smooth curve are globally F regular type. As a consequence, all higher cohomology of theta line bundle vanish. During the proof, we develop a method to estimate codimension, and consider the infinite grassmannians for parabolic $G$ bundles.
We view the moduli space of semistable sheaves on a K3 surface as a global quotient stack, and compute its cotangent complex in terms of the universal sheaf on the Quot scheme. Relevant facts on the classical and reduced Atiyah classes are reviewed. We also define the notion of a symplectic stack, and show that it includes all moduli stacks of semistable sheaves on K3 surfaces.
Given an action of a finite group $G$ on the derived category of a smooth projective variety $X$ we relate the fixed loci of the induced $G$-action on moduli spaces of stable objects in $D^b(\mathrm{Coh}(X))$ with moduli spaces of stable objects in the equivariant category $D^b(\mathrm{Coh}(X))_G$. As an application we obtain a criterion for the equivariant category of a symplectic action on the derived category of a symplectic surface to be equivalent to the derived category of a surface. This generalizes the derived McKay correspondence, and yields a general framework for describing fixed lo…
We show that the moduli space of polarized irreducible symplectic manifolds of $K3^{[n]}$-type, of fixed polarization type, is not always connected. This can be derived as a consequence of Eyal Markman's characterization of polarized parallel-transport operators of $K3^{[n]}$-type.
Let X be an irreducible smooth complex projective curve of genus at least 3. Fix a line bundle L on X. Let M_{Sp}(L) be the moduli space of symplectic bundles (E, ExE ---> L) on X, with the symplectic form taking values in L. We show that the automorphism group of M_{Sp}(L) is generated by automorphisms sending E to ExM, where M is a 2-torsion line bundle, and automorphisms induced by automorphisms of X.
The variety of minimal rational tangents associated to Hecke curves was used by J.-M.Hwang [8] to prove the simplicity of the tangent bundle on the moduli of vector bundles over a curve. In this paper, we use the tangent maps of the symplectic and orthogonal Hecke curves to prove an analogous result for symplectic and orthogonal bundles. In particular, we show the nondegeneracy of the associated variety of minimal rational tangents, which implies the simplicity of the tangent bundle on the moduli spaces of symplectic and orthogonal bundles over a curve. We also show that for large enough genus…
We show that the moduli spaces of sheaves on a projective K3 surface are irreducible symplectic varieties, and that the same holds for the fibers of the Albanese map of moduli spaces of sheaves on an Abelian surface.
We describe here a degeneration of the symplectic desingularization of the moduli spaces of topologically trivial $GL(2,\mathbb{C})$ and $SL(2,\mathbb{C})$-Higgs bundles over a hyperelliptic curve, into O'Grady's ten and six dimensional exceptional examples of irreducible holomorphic symplectic manifolds. Most of this note is a survey of work on these degenerations by Donagi-Ein-Lazarsfeld, de Cataldo-Maulik-Shen and Felissetti-Mauri, although in certain cases we provide details that were missing the previous articles.
In a recent paper \cite{3}, a semi-stable degeneration of moduli space of Higgs bundles on a curve has been constructed. In this paper, we show that there is a relative log-symplectic form on this degeneration, whose restriction to the generic fibre is the classical symplectic form discovered by Hitchin. We compute the Poisson ranks at every point and describe the symplectic foliation on the closed fibre. We also show that the closed fibre, which is a variety with normal crossing singularities, acquires a structure of an algebraically completely integrable system.
Let $C$ be an algebraic curve of genus $g$ and $L$ a line bundle over $C$. Let $\mathcal{MS}_C(n,L)$ and $\mathcal{MO}_C(n,L)$ be the moduli spaces of $L$-valued symplectic and orthogonal bundles respectively, over $C$ of rank $n$. We construct rational curves on these moduli spaces which generalize Hecke curves on the moduli space of vector bundles. As a main result, we show that these Hecke type curves have the minimal degree among the rational curves passing through a general point of the moduli spaces. As its byproducts, we show the non-abelian Torelli theorem and compute the automorphism …
We provide generalizations of the notions of Atiyah class and Kodaira-Spencer map to the case of framed sheaves. Moreover, we construct closed two-forms on the moduli spaces of framed sheaves on surfaces. As an application, we define a symplectic structure on the moduli spaces of framed sheaves on some birationally ruled surfaces.
Moduli spaces of polarised (with fixed polarisation type) irreducible holomorphic symplectic manifolds deformation equivalent to Hilbert schemes of points on $K3$ surfaces are not connected in general and A. Apostolov counted the number of their components. We extend Apostolov's results to the case of manifolds deformation equivalent to generalised Kummer varieties.
Let X be a complex projective curve which is smooth and irreducible of genus 2. The moduli space M_2 of semistable symplectic vector bundles of rank 4 over X is a variety of dimension 10. After assembling some results on vector bundles of rank 2 and odd degree over X, we construct a generically finite cover of M_2 by a family of 5-dimensional projective spaces, and outline some applications.
A symplectic or orthogonal bundle $V$ of rank $2n$ over a curve has an invariant $t(V)$ which measures the maximal degree of its isotropic subbundles of rank $n$. This invariant $t$ defines stratifications on moduli spaces of symplectic and orthogonal bundles. We study this stratification by relating it to another one given by secant varieties in certain extension spaces. We give a sharp upper bound on $t(V)$, which generalizes the classical Nagata bound for ruled surfaces and the Hirschowitz bound for vector bundles, and study the structure of the stratifications on the moduli spaces. In part…
The moduli space of K3 surfaces $X$ with a purely non-symplectic automorphism $σ$ of order $n\geq 2$ is one dimensional exactly when $φ(n)=8$ or $10$. In this paper we classify and give explicit equations for the very general members $(X,σ)$ of the irreducible components of maximal dimension of such moduli spaces. In particular we show that there is a unique one-dimensional component for $n=20,22, 24$, three irreducible components for $n=15$ and two components in the remaining cases.
We define the moduli problem of Hitchin pairs over Deligne-Mumford Stack and prove this moduli problem is represented by a separated and locally finitely presented algebraic space, which is considered as the moduli space of Hitchin pairs over Deligne-Mumford stack.
In this paper we give a construction of algebraic (Artin) stacks endowed with a modular map onto the moduli stack of n-pointed stable curves of genus g, for g greater than 2. These stacks are smooth, irreducible and have dimension 4g-3+n, yielding a geometrically meaningful compactification of the degree d universal Picard stack over the moduli stack of smooth curves with marked points.
Several situations are known when a holomorphic 2-form on a moduli space of sheaves over some base S is induced by a holomorphic 2-form on S. Moreover, the closedness of the 2-form on the base implies the closedness on the moduli space, which provides a stock of symplectic structures on moduli spaces (Mukai, Kobayashi, O'Grady, Tyurin, Huybrechts--Lehn). A parallel theory was developed for bivector fields and Poisson structures (Bottacin). However, there exist symplectic moduli spaces of sheaves over bases that have no holomorphic forms at all. A well-known example (Beauville--Donagi) is the f…
We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks.
Symplectic instanton vector bundles on the projective space $\mathbb{P}^3$ constitute a natural generalization of mathematical instantons of rank 2. We study the moduli space $I_{n,r}$ of rank-$2r$ symplectic instanton vector bundles on $\mathbb{P}^3$ with $r\ge2$ and second Chern class $n\ge r,\ n\equiv r({\rm mod}2)$. We give an explicit construction of an irreducible component $I^*_{n,r}$ of this space for each such value of $n$ and show that $I^*_{n,r}$ has the expected dimension $4n(r+1)-r(2r+1)$.
Let $X$ be a projective K3 surface with generic polarization $\cO_X(1)$ and let $M_c=M(2,0,c)$ be the moduli space of semistable torsion-free sheaves on $X$ of rank 2, with Chern classes $c_1=0$ and $c_2=c$. When $c=2n\ge 4$ is even, $M_c$ is a singular projective variety. We show that there is no symplectic desingularization of $M_{2n}$ if $\frac{n a_n}{2n-3}$ is not an integer where $a_n$ is the Euler number of the Hilbert scheme $X^{[n]}$ of $n$ points in $X$.
We generalize the construction of M. Lieblich for the compactification of the moduli stack of $\PGL_r$-bundles on algebraic spaces to the moduli stack of Tanaka-Thomas $\PGL_r$-Higgs bundles on algebraic schemes. The method we use is the moduli stack of Higgs version of Azumaya algebras. In the case of smooth surfaces, we obtain a virtual fundamental class on the moduli stack of $\PGL_r$-Higgs bundles. An application to the Vafa-Witten invariants is discussed.
We determine the Artin-Mazur étale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the étale fundamental groups of these moduli stacks. Finally we analyse the Torelli morphism between the moduli stacks of algebraic curves and principally polarised abelian schemes from an étale homotopy point of view.
Let $(X,D)$ and $(X',D')$ be two compact Riemann surfaces of genus $g \geq 4$ with the set of marked points $D \subset X$ and $D' \subset X'$. Fix a parabolic line bundle $L$ with trivial parabolic structure. Let $\mathcal{N}_{\textnormal{Sp}}(2m,α,L)$ and $\mathcal{N}'_{\textnormal{Sp}}(2m,α,L)$ be the moduli spaces of stable symplectic parabolic Higgs bundles over $X$ and $X'$ respectively, with rank $2m$ and fixed parabolic structure $α$, with the symplectic form taking values in $L$. We prove that if $\mathcal{N}_{\textnormal{Sp}}(2m,α,L)$ is isomorphic to $\mathcal{N}'_{\textnormal{Sp}}(2…
In this paper, we define $Λ$-quot-functors on Deligne-Mumford stacks. We prove that the $Λ$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $Λ$-modules on a projective Deligne-Mumford stack. We prove that this moduli space is a quasi-projective scheme.
Here we calculate the Chern classes of ${\bar {\mathcal M}}_{g,n}$, the moduli stack of stable n-pointed curves. In particular, we prove that such classes lie in the tautological ring.
We construct explicitly a finite cover of the moduli stack of compact Riemann surfaces with a given group of symmetries by a smooth quasi-projective variety.
We show the equivalence between two notions of log moduli stacks which appear in literatures. In particular, we generalize M.Olsson's theorem of representation of log algebraic stacks and answer a question posted by him (\cite{Ol4} 3.5.3). As an application, we obtain several fundamental results of algebraic log stacks which resemble to those in algebraic stacks.
The notion of $m/Γ$-pointed stable curves is introduced. It should be viewed as a generalization of the notion of m-pointed stable curves of a given genus, where the labels of the marked points are only determined up to the action of a group of permutations $Γ$. The classical moduli spaces and moduli stacks are generalized to this wider setting. Finally, an explicit construction of the new moduli stack of $m/Γ$-pointed stable curves as a quotient stack is given.
Recent results in geometric invariant theory (GIT) for non-reductive linear algebraic group actions allow us to stratify quotient stacks of the form [X/H], where X is a projective scheme and H is a linear algebraic group with internally graded unipotent radical acting linearly on X, in such a way that each stratum [S/H] has a geometric quotient S/H. This leads to stratifications of moduli stacks (for example, sheaves over a projective scheme) such that each stratum has a coarse moduli space.
There is a well-known stratification of the moduli space $M_g$ of Deligne-Mumford stable curves of genus $g$ by the loci of stable curves with a fixed number $i$ of nodes, where $i \le 3g-3$. The associated moduli stack ${\cal M}_g$ admits an analogous stratification. Our main objects of study are those one-dimensional substacks of the moduli stack, which are the irreducible components of the stratum corresponding to stable curves with exactly $3g-4$ nodes. We describe these substacks explicitely as quotient stacks, and relate them to other, and simpler, moduli stacks of (permutation classes o…
In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space is projective over $S$ as an algebraic space.
We study the geometry of the moduli stack of vector bundles of fixed rank and degree over an algebraic curve by introducing a filtration made of open substacks build from $(k, l)$-stable vector bundles. $(k, l)$-stability was introduced by Narasimhan and Ramanan to study the geometry of the coarse moduli space of stable bundles. We will exhibit the stacky picture and analyse the geometric and cohomological properties of the moduli stacks of $(k, l)$-stable vector bundles. For particular pairs $(k, l) $ of integers we also show that these moduli stacks admit coarse moduli spaces and we discuss …
The aim of the present paper is to study the (abstract) Picard group and the Picard group scheme of the moduli stack of stable pointed curves over an arbitrary scheme. As a byproduct, we compute the Picard groups of the moduli stack of stable or smooth pointed curves over a field of characteristic different from two.
We consider the stack of stable curves of genus g with a given dual graph and we give an explicit desingularization of its closure in the moduli stack of stable curves. We study in particular the one-dimensional substack of curves with at least 3g-4 nodes.
We compute the Picard group of the moduli stack of stable hyperelliptic curves of any genus, exhibiting explicit and geometrically meaningful generators and relations.
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction morphism for moduli stacks of sheaves has fibers that are schemes.
We show that on a derived Artin N-stack, there is a canonical equivalence between the spaces of n-shifted symplectic structures and non-degenerate n-shifted Poisson structures.
Let X be a geometrically irreducible smooth projective curve over a field k. We describe the algebra of endomorphisms of indecomposable unstable vector bundles over X of rank 2 and degree d. Fixing some numerical invariants, namely the Harder-Narasimhan type and the dimension of the algebra of endomorphisms, we construct algebraic stacks and moduli schemes for such bundles.
We describe a compactification by KSBA stable pairs of the five-dimensional moduli space of K3 surfaces with purely non-symplectic automorphism of order four and $U(2)\oplus D_4^{\oplus2}$ lattice polarization. These K3 surfaces can be realized as the minimal resolution of the double cover of $\mathbb{P}^1\times\mathbb{P}^1$ branched along a specific $(4,4)$ curve. We show that, up to a finite group action, this stable pair compactification is isomorphic to Kirwan's partial desingularization of the GIT quotient $(\mathbb{P}^1)^8//\mathrm{SL}_2$ with the symmetric linearization.
We define Reichstein transforms to be certain birational transformations of Artin stacks with good moduli spaces. Our main technical result is that the Reichstein transform of an Artin toric stack is again an Artin toric stack. This leads to our main theorem which states that for Artin toric stacks there is a canonical sequence of Reichstein transforms which produces a Deligne-Mumford toric stack. When the good moduli space of an Artin toric stack is projective our procedure can be interpreted in terms of Kirwan's partial desingularization of geometric invariant theory quotients.
We find upper bounds for the essential dimension of various moduli stacks of $\sln$-bundles over a curve. When $n$ is a prime power, our calculation computes the essential dimension of the stack of stable bundles exactly and the essential dimension is not equal to the dimension in this case.
We show that the moduli stacks of semistable sheaves on smooth projective varieties are analytic locally on their coarse moduli spaces described in terms of representations of the associated Ext-quivers with convergent relations. When the underlying variety is a Calabi-Yau 3-fold, our result describes the above moduli stacks as critical locus analytic locally on the coarse moduli spaces. The results in this paper will be applied to the wall-crossing formula of Gopakumar-Vafa invariants defined by Maulik and the author.
