In this paper we answer a question posed by Horikawa in 1978, who showed that the above moduli space is composed of 11 locally closed strata building up 4 irreducible components and having at most 3 connected components. We prove that the number of connected components is at most two and pose the question whether this number is exactly two. The main new idea is to analyse the strata in the moduli space where the canonical divisor is 2-divisible on the canonical model (as a Weil divisor). In this way we obtain a semicanonical ring $\B$ which is a Gorenstein ring of codimension 4 for type $III_b$ and of codimension 1 for type II. We use one of the formats introduced by Dicks and Reid for Gorenstein rings of codimension 4, the one of 4x4 Pfaffians of antisymmetric extrasymmetric 6x6 matrices.
The moduli spaces of stable surfaces serve as compactifications of the moduli spaces of canonical models of smooth surfaces in the same way the moduli spaces of stable curves compactify the moduli spaces of smooth curves. However, the natural definition of the moduli functor of stable surfaces allows in extra components parameterizing surfaces which do not smooth. This article verifies that these components are also proper.
Periods of moduli spaces of stable sheaves on K3 surfaces were computed by Mukai, O'Grady and the author. In this paper, we shall treat moduli spaces of stable sheaves on abelian surfaces.
We discuss some relations of moduli of sheaves on rational surfaces by using universal extensions. These are a generalization of Maruyama's method to construct Uhlenbeck compactification of moduli of vector bundles.
In this paper we consider moduli spaces of polarized and numerically polarized Enriques surfaces. The moduli spaces of numerically polarized Enriques surfaces can be described as open subsets of orthogonal modular varieties of dimension 10. One of the consequences of our description is that there are only finitely many isomorphism classes of moduli spaces of polarized and numerically polarized Enriques surfaces. We use modular forms to prove for a number of small degrees that the Kodaira dimension of the moduli space of numerically polarized Enriques surfaces is negative. Finally we prove that…
Motivated by the relation between (twisted) K3 surfaces and special cubic fourfolds, we construct moduli spaces of polarized twisted K3 surfaces of any fixed degree and order. We do this by mimicking the construction of the moduli space of untwisted polarized K3 surfaces as a quotient of a bounded symmetric domain.
We describe compactifications of moduli spaces of Burniat surfaces with $2\leq K_{X}^{2}\leq5$ obtained by adding KSBA surfaces, i.e. slc surfaces $X$ with ample canonical class $K_{X}$.
The Hessian of a general cubic surface is a nodal quartic surface, hence its desingularisation is a K3 surface. We determine the transcendental lattice of the Hessian K3 surface for various cubic surfaces (with nodes and/or Eckardt points for example). Classical invariant theory shows that the moduli space of cubic surfaces is a weighted projective space. We describe the singular locus and some other subvarieties of the moduli space.
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 prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
We shall show the existence of 15 automorphic forms of weight 8 on the moduli space of marked Hessian quartic surfaces of cubic surfaces. These automorphic forms can be interpreted in terms of the coefficients of the Sylvester form of a general cubic surface.
This is the first in a series of articles on the moduli spaces of Burniat surfaces. We prove that Burniat surfaces are Inoue surfaces and we calculate their fundamental groups. As a main result of this paper we prove that every smooth projective surface which is homotopically equivalent to a primary Burniat surface (i.e., a Burniat surface with K^2 = 6) is indeed a primary Burniat surface.
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.
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.
This paper studies deformations and birational maps between singular moduli spaces of semistable sheaves with 2-divisible Mukai vectors on K3 surfaces. It is showed that under certain conditions, two such moduli spaces of the same dimension can be connected by deformations and birational maps.
We examine the moduli of framed holomorphic bundles over the blowup of a complex surface, by studying a filtration induced by the behavior of the bundles on a neighborhood of the exceptional divisor.
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.
Using the connection discovered by Hassett between the Noether-Lefschetz moduli space of special cubic fourfolds of discriminant 42 and the moduli space F_{22} of polarized K3 surfaces of genus 22, we show that the universal K3 surface over F_{22} is unirational.
We study birational geometry of the moduli space of stable sheaves on a quadric surface with Hilbert polynomial $5m + 1$ and $c_{1} = (2, 3)$. We describe a birational map between the moduli space and a projective bundle over a Grassmannian as a composition of smooth blow-ups/downs.
We study the moduli space of rank 0 semistable sheaves on some rational surfaces. We show the irreducibility and stable rationality of them under some conditions. We also compute several (virtual) Betti numbers of those moduli spaces by computing their motivic measures.
We investigate the moduli spaces of one- and two-dimensional sheaves on projective K3 and abelian surfaces that are semistable with respect to a nongeneral ample divisor with regard to the symplectic resolvability. We can exclude the existence of new examples of projective irreducible symplectic manifolds lying birationally over components of the moduli spaces of one-dimensional semistable sheaves on K3 surfaces, and over components of many of the moduli spaces of two-dimensional sheaves on K3 surfaces, in particular, of those for rank two sheaves.
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.
We construct explicitly moduli curves of polarized supersingular K3 surfaces in characteristic 2 with Artin invariant 2. As an application, we detect a "jump" phenomenon in a family of automorphism groups of supersingular K3 surfaces with a constant Néron-Severi lattice.
We consider the singuralities of 2-dimensional moduli spaces of semi-stable sheaves on K3 surfaces. We show that the moduli space is normal, in particular the singuralities are rational double points. We also describe the exceptional locus on the resolution in terms of exceptional sheaves.
The moduli space of abelian surfaces with polarisation of type (1,6) and a bilevel structure has positive Kodaira dimension. By contrast, Mukai has shown that the moduli space of bilevel-t abelian sufaces is rational for t=2,3,4,5.
We give a short and "classical" proof of Borcherds' theorem that the moduli space of Enriques surfaces is quasi-affine. The use of the Borcherds' product is replaced in our proof by an application of the Grothendieck-Riemann-Roch theorem.
K3 surfaces with non-symplectic involution are classified by open sets of seventy-five arithmetic quotients of type IV. We prove that those moduli spaces are rational except two classical cases.
We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of bidegree (3, 3) contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the variation of the moduli spaces of alpha-semi-stable pairs.
We prove that every proper subspace of the moduli space of stable surfaces with fixed volume over an algebraically closed field of characteristic p>5 is projective. As a consequence we also deduce that the same moduli space is projective over Z[1/30] modulo two conjectural local properties of the moduli functor.
The article is a slightly extended version of the talk, with the same title, which I gave at the Kinosaki Symposium on Algebraic Geometry in October 2011, and dealing with the classification of complex projective surfaces of general type with vanishing geometric genus, and especially with the moduli spaces of Burniat surfaces.
We shall study the existence condition of slope stable sheaves on Enriques surfaces. We also gives a different proof of the irreducibility of the moduli spaces of rank 2 stable sheaves.
We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such framed sheaves may be considered as stable pairs in the sense of Huybrechts and Lehn. We characterize the obstruction to the smoothness of the moduli space, and discuss some examples on rational surfaces.
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.
In this article, we classify the irreducible components of moduli stacks of torsion free sheaves of rank 2 on K3 surfaces of Picard number 1. For ruled surfaces, the components of moduli stacks of torsion free sheaves were classified by C.Walter. Moreover, by virtue of our result, we classify the irreducible components of Brill-Noether loci of Hilbert schemes of points on K3 surfaces.
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.
Compactifications of moduli spaces of (1,p)-polarized abelian surfaces with level structures of canonical type have been described in great detail by Hulek, Kahn and Weintraub. The aim of this paper is to determine some invariants of smooth models of these moduli spaces. In particular, a geometric description of their canonical divisors is given and their Chern numbers are computed.
We study the moduli space of minimal surfaces of general type with $K_S^2 = 1$ and $p_g = 2$ and show that it is irreducible, has dimension $28$ and admits a compactification which is unirational.
K3 surfaces with non-symplectic symmetry of order 3 are classified by open sets of twenty-four complex ball quotients associated to Eisenstein lattices. We show that twenty-two of those moduli spaces are rational.
In this paper we show that the moduli space of nodal cubic surfaces is isomorphic to a quotient of a 4-dimensional complex ball by an arithmetic subgroup of the unitary group. This complex ball uniformization uses the periods of certain K3 surfaces which are naturally associated to cubic surfaces. A similar uniformization is given for the covers of the moduli space corresponding to geometric markings of the Picard group or to the choice of a line on the surface. We also give a detailed description of the boundary components corresponding to singular surfaces.
We prove in one go that each of the 4 families of Burniat surfaces with K^2 = 6,5,4, is a connected component of the moduli space of surfaces of general type. We prove also the rationality of each component. In the nodal case (one of the two families for K^2_S = 4) a very surprising and new phenomenon occurs. Both the moduli space for the minimal models and the Gieseker moduli space for canonical models are everywhere non reduced. But the nilpotence order is higher for the first.
We describe some one-dimensional moduli spaces of rank 2 Gieseker semistable sheaves on an Enriques surface improving earlier results of H. Kim. In case of a nodal Enriques surface the obtained moduli spaces are reducible for general polarizations. For unnodal Enriques surfaces we show how to reduce the study of moduli spaces of high even rank Gieseker semistable sheaves to low ranks. To prove this we use the method of K. Yoshioka who showed that in the odd rank one can reduce to rank 1.
Looijenga's vanishing theorem on the moduli space of curves $M_g$ says that the tautological ring vanishes above degree $g-2$. We prove an analogous result for the tautological cohomology ring of the moduli space of K3 surfaces.
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 present a structure theorem for the moduli space R_7 of Prym curves of genus 7 as a projective bundle over the moduli space of 7-nodal rational curves. The existence of this parametrization implies the unirationality of R_7 and that of the moduli space of Nikulin surfaces of genus 7, as well as the rationality of the moduli space of Nikulin surfaces of genus 7 with a distinguished line. Using the results in genus 7, we then establish that R_8 is uniruled.
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…
