There is a natural sequence of CY manifolds that are double covers of the projective g dimensional spaces ramified over 2g+2 hyperplanes. We observe that some of them are obtained as quotient of the action of the semi-direct product of g-1 copies of cyclic Z/2Z groups with the symmetric g group on the product of g-copies of hyper-elliptic curves of genus g. The quotient is a double cover of the projective g space ramified over 2g+2 hyperplanes. This construction generalizes the construction of a Kummer surface. The Kodaira-Spencer classes on the Jacobian are invariant under the action of the group. Thus they form a basis of Kodaira-Spencer classes on the CY manifold. Since the bracket of any Kodaira-Spencer classes on the Jacobian are zero, then they will be zero on the CY manifold. This implies that the moduli space of those CY manifolds is a locally symmetric space.
This is a survey paper on moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized abelian varieties.
We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms of locally free sheaves modulo a reductive or a nonreductive group. We find locally free resolutions of length one of all these sheaves and describe them.
In this paper we realize the moduli spaces of cubic fourfolds with specified automorphism groups as arithmetic quotients of complex hyperbolic balls or type IV symmetric domains, and study their compactifications. Our results mainly depend on the well-known works about moduli space of cubic fourfolds, including the global Torelli theorem proved by Voisin ([Voi86]) and the characterization of the image of the period map, which is given by Laza ([Laz09, Laz10]) and Looijenga ([Loo09]) independently. The key input for our study of compactifications is the functoriality of Looijenga compactificati…
We give a detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument we construct a dualizing sheaf and trace map, in the lisse-etale topology, for families of tame twisted curves, when the base stack is locally Noetherian.
We shall construct a moduli space of pairs of Kähler-Einstein structures and special lagrangians and obtain smoothness of the moduli space of these pairs. Further we show that the moduli space of these pairs is locally embedded in a certain relative cohomology group.
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.
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.
A new compactification for the scheme of moduli for Gieseker-stable vector bundles with prescribed Hilbert polynomial, on the smooth projective polarized surface (S,L), is constructed. Families of locally free sheaves on the surface S are completed by locally free sheaves on schemes which are modifications of S. Gieseker -- Maruyama moduli space has a birational morphism onto the new moduli space. We propose the functor for families of pairs polarized scheme -- vector bundle with moduli space of such type.
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.
We study the birational geometry of some moduli spaces of abelian varieties with extra structure: in particular, with a symmetric theta structure and an odd theta characteristic. For a $(d_1,d_2)$-polarized abelian surface, we show how the parities of the $d_i$ influence the relation between canonical level structures and symmetric theta structures. For certain values of $d_1$ and $d_2$, a theta characteristic is needed in order to define Theta-null maps. We use these Theta-null maps and preceding work of other authors on the representations of the Heisenberg group to study the birational geom…
We study the Brill-Noether stratification of the coarse moduli space of locally free stable and flat sheaves of a compact Kahler manifold, proving that these strata have quadratic algebraic singularities.
It is a folklore theorem that the Kuranishi slice method can be used to construct the moduli space of semistable Higgs bundles on a closed Riemann surface as a complex space. The purpose of this paper is to provide a proof in detail. We also give a direct proof that the moduli space is locally modeled on an affine GIT quotient of a quadratic cone by a complex reductive group.
In this article, we study the deformation theory of locally free sheaves and Hitchin pairs over a nodal curve. As a special case, the infinitesimal deformation of these objects gives the tangent space of the corresponding moduli spaces, which can be used to calculate the dimension of the corresponding moduli space. We show that the deformation of locally free sheaves and Hitchin pairs over a nodal curve is equivalent to the deformation of generalized parabolic bundles and generalized parabolic Hitchin pairs over the normalization of the nodal curve respectively.
Let $X$ be a smooth projective curve of genus $g \geq 2$ and $M$ be the moduli space of rank 2 stable vector bundles on $X$ whose determinants are isomorphic to a fixed odd degree line bundle $L$. There has been a lot of works studying the moduli and recently the bounded derived category of coherent sheaves on $M$ draws lots of attentions. It was proved that the derived category of $X$ can be embedded into the derived category of $M$ by the second named author and Fonarev-Kuznetsov. In this paper we prove that the derived category of the second symmetric product of $X$ can be embedded into der…
In this paper, we study moduli spaces of finite-dimensional Lie algebras with flat center, proving that the forgetful map from Lie p-algebras to Lie algebras is an affine fibration, and we point out a new case of existence of a p-mapping. Then we illustrate these results for the special case of Lie algebras of rank 3, whose moduli space we build and study over Z. We extend the classical equivalence of categories between locally free Lie p-algebras of finite rank with finite locally free group schemes of height 1, showing that the centers of these objects correspond to each other. We finish by …
In this paper we study spaces of algebras over an operad (non-symmetric) in symmetric monoidal model categories. We first compute the homotopy fiber of the forgetful functor sending an algebra to its underlying object, extending a result of Rezk. We then apply this computation to the construction of geometric moduli stacks of algebras over an operad in a homotopical algebraic geometry context in the sense of Toën and Vezzosi. We show under mild hypotheses that the moduli stack of unital associative algebras is a Zariski open substack of the moduli stack of non-necessarily unital associative al…
We introduce three non-compact moduli stacks parametrizing noncommutative deformations of Hirzebruch surfaces; the first is the moduli stack of locally free sheaf bimodules of rank 2, which appears in the definition of noncommutative $\mathbb{P}^1$-bundle in the sense of Van den Bergh arXiv:math/0102005, the second is the moduli stack of relations of a quiver in the sense of arXiv:1411.7770, and the third is the moduli stack of quadruples consisting of an elliptic curve and three line bundles on it. The main result of this paper shows that they are naturally birational to each other. We also g…
We show that the $n-$th symmetric product of an affine scheme $X=\mathrm{Spec} A$ over a characteristic zero field is isomorphic as a scheme to the quotient by the general linear group of the scheme parameterizing $n-$dimensional linear representations of $A$. As a consequence we give generators and relations of the related rings of invariants as well as the equations of any symmetric products in term of traces. In positive characteristic we prove an analogous result for the associated varieties.
We prove that actions of complex reductive Lie groups on a holomorphic vector bundle over a complex compact manifold are locally extendable to its local moduli space.
It is proved that the number of deformation types of complex structures on a fixed oriented smooth four-manifold can be arbitrarily large. The considered examples are locally simple abelian covers of rational surfaces.
We study the Simpson moduli space of semi-stable sheaves on the complex projective plane that have dimension 1, multiplicity 6 and Euler characteristic 2. We describe concretely these sheaves as cokernels of morphisms of locally free sheaves and we stratify the moduli space according to the types of sheaves that occur.
We construct a moduli space of adequately marked Enriques surfaces that have a supersingular K3 cover over fields of characteristic $p \geq 3$. We show that this moduli space exists as a scheme locally of finite type over $\mathbb{F}_p$. Moreover, there exists a period map from this moduli space to a period scheme and we obtain a Torelli theorem for supersingular Enriques surfaces.
We study the local properties of Artin stacks and their good moduli spaces, if they exist. We show that near closed points with linearly reductive stabilizer, Artin stacks formally locally admit good moduli spaces. We also give conditions for when the existence of good moduli spaces can be deduced from the existence of etale charts admitting good moduli spaces.
We study the moduli space of stable sheaves of Euler characteristic 2, supported on curves of arithmetic genus 2 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers and we give a classification of the stable sheaves involving locally free resolutions.
We give sufficient conditions for the (semi-)stability of torsion free sheaves on a primitive multiple curve. These conditions are used to prove that some moduli spaces of stable sheaves are not empty. We study mainly the quasi locally free sheaves of generic type (this includes the locally free sheaves). These sheaves are generic, i.e. for every moduli space of torsion free sheaves, the sheaves of this type correspond to an open subset of the moduli space.
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.
In the case of the fine Simpson moduli spaces of 1-dimensional sheaves supported on plane quartics, the subvariety of sheaves that are not locally free on their support is connected, singular, and has codimension 2.
We complete Mori's program with symmetric divisors for the moduli space of stable six pointed rational curves. As an application, we give an alternative proof of the complete Mori's program of the moduli space of genus two stable curves, done by Hassett.
We study the moduli space of Gieseker semi-stable sheaves on the complex projective plane supported on sextic curves and having Euler characteristic one. We determine locally free resolutions of length one for all such sheaves. We decompose the moduli space into strata which occur naturally as quotients modulo actions of certain algebraic groups. In some cases we give concrete geometric descriptions of the strata.
We study the moduli space of stable sheaves of Euler characteristic 1, supported on curves of arithmetic genus 2 contained in a smooth quadric surface. We show that this moduli space is rational. We give a classification of the stable sheaves involving locally free resolutions or extensions. We compute the Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs.
We complete Mori's program with symmetric divisors for the moduli space of stable seven pointed rational curves. We describe all birational models in terms of explicit blow-ups and blow-downs. We also give a moduli theoretic description of the first flip, which have not appeared in literature.
Using Margulis's results on lattices in semisimple Lie groups, we prove the Grothendieck-Katz $p$-Curvature Conjecture for certain locally symmetric varieties, including the moduli space of abelian varieties ${\cal A}_g$ when $g > 1.$
We show that the moduli space of rational elliptic surfaces admitting a section is locally a complex hyperbolic variety of dimension eight. We compare its Satake-Baily-Borel compactification with a compactification obtained by means of geometric invariant theory, considered by Miranda.
In this survey paper we study the relationships between the coarse moduli space which parameterizes the finite dimensional linear representations of an associative alegebra, the non commutative hilbert scheme and the affine scheme which is the spectrum of the abelianization of algebra of the divided powers. In particular we will show a map which specialize to the Hlibert - Chow morphism when the associative algebra is commutative. The extension to the positive characteristic case of some of the results due to L. Le Bruyn on noncommutative desingularization is outlined. The possibility to use o…
We study stable rank 2 vector bundles with trivial determinant whose Frobenius pull back is non stable over a general curve of genus g>1. In genus 2, we apply recent results about the theta divisor associated to the bundle B of locally exact differential forms and we derive a scheme-theoretic description of the Frobenius inverse image of the semi-stable boundary of the moduli space.
The main result of this article is that the component of the Alexeev-Kollár-Shepherd-Barron moduli space of stable surfaces parameterizing stable degenerations of symmetric squares of curves is isomorphic to the moduli space of stable curves. The moduli space of stable curves is used to ensure that any degeneration can be replaced by a degeneration to the symmetric square of a stable curve. These degenerations are not stable, however, but are partially resolved by the relative Hilbert scheme of length two subschemes in the fibers of a family of stable curves. The article gives a geometric desc…
We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic discrete group of automorphisms are of general type. This result corresponds through the Green-Griffiths-Lang's conjecture to a well-known result of Nadel.
Let X be a projective irreducible smooth algebraic variety. A "fine moduli space" of sheaves on X is a family F of coherent sheaves on X parametrized by an integral variety M such that : F is flat on M; for all distinct points x, y of M the sheaves F_x, F_y on X are not isomorphic and F is a complete deformation of F_x; F has an obvious local universal property. We define also a "fine moduli space defined locally", where F is replaced by a family (F_i), where F_i is defined on an open subset U_i of M, the U_i covering M. This paper is devoted to the study of such fine moduli spaces. We first g…
We give an explicit construction for the extension of a symmetric determinantal quartic K3 surface to a Fano 6-fold. Remarkably, the moduli of the 6-fold extension are in one-to-one correspondence with the moduli of the quartic surface. As a consequence, we determine a 16-parameter family of surfaces of general type with p_g=1 and K^2=2 as weighted complete intersections inside Fano 6-folds.
We determine the topological Euler number of certain moduli space of 1-dimensional closed subschemes in a smooth projective variety which admits a Zariski-locally trivial fibration with 1-dimensional fibers. The main approach is to use virtual Hodge polynomials and torus actions. The results might shed some light on the corresponding Donaldson-Thomas invariants.
In this note I generalize the classical results of Calabi-Vesentini to certain non-compact locally symmetric domains, namely those that are quotients of a hermitian symmetric domain by a neat arithmetic subgroup of the group of its holomorphic automorphisms.
We study the moduli spaces of polarised irreducible symplectic manifolds. By a comparison with locally symmetric varieties of orthogonal type of dimension 20, we show that the moduli space of 2d polarised (split type) symplectic manifolds which are deformation equivalent to degree 2 Hilbert schemes of a K3 surface is of general type if d is at least 12.
We classify the irreducible Hermitian real variations of Hodge structure admitting an infinitesimal normal function, and draw conclusions for cycle-class maps on families of abelian varieties with a given Mumford-Tate group.
We prove that the coarse moduli space of curves of genus 6 is birational to an arithmetic quotient of a bounded symmetric domain of type IV by giving a period map to the moduli space of some lattice-polarized K3 surfaces.
