Let $S$ be a very general smooth hypersurface of degree $6$ in $\mathbb{P}^3$. In this paper we will prove that the moduli space of $μ$-stable rank $2$ torsion free sheaves with respect to hyperplane section having $c_1 = \mathcal{O}_S(1)$, with fixed $c_2 \ge 27$ is irreducible.
We study moduli spaces of certain sextic curves with a singularity of multiplicity 3 from both perspectives of Deligne-Mostow theory and periods of K3 surfaces. In both ways we can describe the moduli spaces via arithmetic quotients of complex hyperbolic balls. We show in Theorem 7.4 that the two ball-quotient constructions can be unified in a geometric way.
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.
Let S be the variety of irreducible sextics with six cusps as singularities. Let W be one of irreducible components of W. Denoting by M_4 the space of moduli of smooth curves of genus 4, the moduli map of W is the rational map from W to M_4 sending the general point of W, corresponding to a plane curve D, to the point of M_4 parametrizing the normalization curve of D. The number of moduli of W is, by definition the dimension of the image of W with respect to the moduli map. We know that this number is at most equal to seven. In this paper we prove that both irreducible components of S have num…
We use the weighted moduli height as defined in \cite{sh-h} to investigate the distribution of fine moduli points in the moduli space of genus two curves. We show that for any genus two curve with equation $y^2=f(x)$, its weighted moduli height $\mathfrak h (\mathfrak{p}) \leq 2^3 \sqrt{3 \cdot 5 \cdot 7} \, \cdot H(f)$, where $H(f)$ is the minimal naive height of the curve as defined in \cite{height}. Based on the weighted moduli height $\mathfrak h$ we create a database of genus two curves defined over $\mathbb Q$ with small $\mathfrak h$ and show that for small such height ($\mathfrak h < 5…
EPW-sextics are special 4-dimensional sextic hypersurfaces (with 20 moduli) which come equipped with a double cover. We analyze the double cover of EPW-sextics parametrized by a certain prime divisor in the moduli space. We associate to the generic sextic parametrized by that divisor a K3 surface of genus 6 and we show that the double epw sextic is a contraction of the Hilbert square of the K3. This result has two consequences. First it gives a new proof of the following result of ours: smooth double EPW-sextics form a locally complete family of hyperkaehler projective deformations of the Hilb…
Let $S \subset \mathbb P^3$ be a very general sextic surface over complex numbers. Let $\mathcal{M}(H, c_2)$ be the moduli space of rank $2$ stable bundles on $S$ with fixed first Chern class $H$ and second Chern class $c_2$. In this article we study the configuration of points of certain reduced zero dimensional subschemes on $S$ satisfying Cayley-Bacharach property, which leads to the existence of non-trivial sections of a general memeber of the moduli space for small $c_2$. Using this study we will make an attempt to prove Mestrano-Simpson conjecture on the number of irreducible components …
The moduli space $M(c_2)$, of stable rank two vector bundles of degree one on a very general quintic surface $X\subset {\mathbb P}^3$, is irreducible for all $c_2\geq 4$ and empty otherwise.
We study the GIT quotient of the symplectic grassmannian parametrizing lagrangian subspaces of \bigwedge^3{\mathbb C}^6 by the natural action of SL_6, call it M. This is a compactification of the moduli space of smooth double EPW-sextics. We determine the stable points, the irreducible components of the GIT boundary and their dimensions. There are strong analogies with the moduli space of cubic 4-folds: we prove a result which is analogous to a theorem of Laza stating that cubic 4-folds with simple singularities are stable. Our final goal (not achieved in the present paper) is to understand th…
In this paper, we show the moduli spaces of stable sheaves on K3 surfaces are irreducible symplectic manifolds, if the associated Mukai vectors are primitive. More precisely, we show that they are related to the Hilbert scheme of points. We also compute the period of these spaces. As an application of our result, we discuss Montonen-Olive duality in Physics. In particular our computations of Euler characteristics of moduli spaces are compatible with Physical computations by Minahan et al.
We study the moduli spaces and compute the fundamental groups of plane sextics of torus type with at least two type $\bold{E}_6$ singular points. As a simple application, we compute the fundamental groups of 125 other sextics, most of which are new.
We prove that the space of mathematical instantons with second Chern class 5 over ${\mathbb P}_3$ is smooth and irreducible. Unified and simple proofs for the same statements in case of second Chern class $\leq 4$ are contained.
We give necessary and sufficient conditions for moduli spaces of semistable chains on a curve to be irreducible and non-empty. This gives information on the irreducible components of the nilpotent cone of GL_n-Higgs bundles and the irreducible components of moduli of systems of Hodge bundles on curves. As we do not impose coprimality restrictions, we can apply this to prove connectedness for moduli spaces of U(p,q)-Higgs bundles.
Let S be a general complex Nikulin surface of genus 8, a geometric construction of S is given as follows. Consider a smooth 3-fold linear section T of the Grassmannian G(1,4) and the Hilbert scheme of rational normal sextic curves of T. In it consider the special family of sextics A which are also contained in the congruence of bisecant lines to a rational normal quartic curve of P^4. We show that S is biregular to a quadratic section of T containing a sextic A. In particular A admits a 1-dimensional family of bisecant lines contained in G(1,4) and 8 of them are in S. This explicit constructio…
The problem of irreducibility of the moduli space I_n of rank-2 mathematical instanton vector bundles with arbitrary positive second Chern class n on the projective 3-space is considered. The irreducibility of I_n was known for small values of n: Barth 1977 (n=1), Hartshorne 1978 (n=2), Ellingsrud and Stromme 1981 (n=3), Barth 1981 (n=4), Coanda, Tikhomirov and Trautmann 2003 (n=5). In this paper we prove the irreducibility of I_n for an arbitrary odd n.
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.
An EPW-sextic is a special 4-dimensional hypersurfaces of degree 6 which comes equipped with a double cover which generically is a Hyperkaehler 4-fold deformation equivalent to the Hilbert square of a K3 surface. The family of EPW-sextics is analogous to the family of cubic 4-fold hypersurfaces, more precisely double EPW-sextics are analogous to varieties of lines on cubic 4-folds. This first paper in a series on moduli and periods of double EPW-sextics is mainly concerned with the classification of EPW-sextics which are analogous to cubic 4-folds whose singular locus has strictly positive dim…
We determine the number of irreducible components of the reduction mod p of any Hilbert-Blumenthal moduli space with a parahoric level structure, where p is unramified in the totally real field.
Denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, that is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb P^r$. A component of $\mathcal{H}_{d,g,r}$ is rigid in moduli if its image under the natural map $π:\mathcal{H}_{d,g,r} \dashrightarrow \mathcal{M}_{g}$ is a one point set. In this note, we provide a proof of the fact that $\mathcal{H}_{d,g,r}$ has no components rigid in moduli for $g > 0$ and $r=3$, from which it follows that the only smooth projective curves embedded in $\m…
We prove that the moduli space ${\mathcal A}_{g,Γ_0(p)}\otimes \bar {\mathbb F}_p$ of principally polarized abelian varieties of dimension $g$ with a $Γ_0(p)$-level structure in characteristic $p$ has $2^g$ irreducible components.The cases of other parahoric level structures are also considered.
Let SU_X(3) be the moduli space of semi-stable vector bundles of rank 3 and trivial determinant on a curve X of genus 2. It maps onto P^8 and the map is a double cover branched over a sextic hypersurface called the Coble sextic. In the dual P^8 there is a unique cubic hypersurface, the Coble cubic, singular exactly along the abelian surface of degree 1 line bundles on X. We give a new proof that these two hypersurfaces are dual. As an immediate corollary, we derive a Torelli-type result.
We prove the irreducibility of the moduli space of rank 2 semistable torsion free sheaves (with a generic polarization and any value of c_2) on a K3 or a del Pezzo surface. In the case of a K3 surface, we need to prove a result on the connectivity of the Brill-Noether locus for singular curves on the surface. In the case of a del Pezzo surface, we reduce the problem to the case of P^2 by first relating the moduli spaces of the plane and the blown-up plane, and then studying how the moduli space changes when we change the polarization.
In order to obtain existence criteria for orthogonal instanton bundles on $\mathbb{P}^n$, we provide a bijection between equivalence classes of orthogonal instanton bundles with no global sections and symmetric forms. Using such correspondence we are able to provide explicit examples of orthogonal instanton bundles with no global sections on $\mathbb{P}^n$ and prove that every orthogonal instanton bundle with no global sections on $\mathbb{P}^n$ and charge $c\geq 3$ has rank $r\leq (n-1)c$. We also prove that when the rank $r$ of the bundles reaches the upper bound, $\mathcal{M}_{\mathbb{P}^n}…
Let $X \subset \mathbb P^3$ be a very general sextic surface over complex numbers. In this paper we study certain Brill-Noether problems for moduli of rank $2$ stable bundles on $X$ and its relation with rank $2$ weakly Ulrich and Ulrich bundles. In particular, we show the non-emptiness of certain Brill-Noether loci and using the geometry of the moduli and the notion of the Petri map on higher dimensional varieties, we prove the existence of components of expected dimension. We also give sufficient conditions for the existence of rank $2$ weakly Ulrich bundles $\mathcal E$ on $X$ with $c_1(\ma…
Let $S$ be a birationally ruled surface. We show that the moduli schemes $M_S(r,c_1,c_2)$ of semistable sheaves on $S$ of rank $r$ and Chern classes $c_1$ and $c_2$ are irreducible for all $(r,c_1,c_2)$ provided the polarization of $S$ used satisfies a simple numerical condition. This is accomplished by proving that the stacks of prioritary sheaves on $S$ of fixed rank and Chern classes are smooth and irreducible.
Let $\mathcal N$ be the moduli space of sextics with 3 (3,4)-cusps. The quotient moduli space ${\mathcal N}/G$ is one-dimensional and consists of two components, ${\mathcal N}_{torus}/G$ and ${\mathcal N}_{gen}/G$. By quadratic transformations, they are transformed into one-parameter families $C_s$ and $D_s$ of cubic curves respectively. We study the Mordell-Weil torsion groups of cubic curves $C_s$ over $\bfQ$ and $D_s$ over $\bfQ(\sqrt{-3})$ respectively. We show that $C_{s}$ has the torsion group $\bf Z/3\bf Z$ for a generic $s\in \bf Q$ and it also contains subfamilies which coincide with …
In this paper, we prove the moduli spaces of genus zero stable log maps to a large class of wonderful compactifications are irreducible and unirational.
In analogy to the case of cubic fourfolds, we discuss the conditions under which the double cover $\tilde{Y}_A$ of the EPW sextic hypersurface associated to a Gushel-Mukai fourfold is birationally equivalent to a moduli space of (twisted) stable sheaves on a K3 surface. In particular, we prove that $\tilde{Y}_A$ is birational to the Hilbert scheme of two points on a K3 surface if and only if the Gushel-Mukai fourfold is Hodge-special with discriminant $d$ such that the negative Pell equation $\mathcal{P}_{d/2}(-1)$ is solvable in $\mathbb{Z}$.
In this paper I consider a quintic surface in $\pp^3$, general in the sense of Noether-Lefschetz theory. The vector bundles of rank 2 on this surface which are $μ$-stable with respect to the hyperplane section and have $c_1 = K$, the canonical class of the surface and fixed $c_2$, are parametrized by a moduli space. This space is known to be irreducible for large $c_2$ (work of K.G. O'Grady). I give an explicit bound, namely $c_2 \geq 16$.
Let L be a quadratic imaginary field, inert at the rational prime p. Fix an integer n at least 3, and let M be the moduli space (in characteristic p) of principally polarized abelian varieties of dimension n equipped with an action by O_L of signature of (1,n-1). We show that each Newton stratum of M, other than the supersingular stratum, is irreducible.
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 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.
Varieties of Nodal surfaces, coding theory and Discriminants of cubic hypersurfaces. Part 1: Generalities and nodal K3 surfaces. Part 2: Cubic Hypersurfaces, associated discriminants. Part 3: Nodal quintics. Part 4: Nodal sextics
We determine the possible even sets of nodes on sextic surfaces in $\Pn 3$, showing in particular that their cardinalities are exactly the numbers in the set $\{24, 32, 40, 56 \}$. We also show that all the possible cases admit an explicit description. The methods that we use are an interplay of coding theory and projective geometry on one hand, of homological and computer algebra on the other. We give a detailed geometric construction for the new case of an even set of 56 nodes, but the ultimate verification of existence relies on computer calculations. The construction gives a maximal family…
We prove irreducibility for the space of cyclic covers of fixed numerical type between smooth projective curves, and also for the space of cyclic covers of prime order and of fixed numerical-combinatorial type between moduli-stable projective curves. As an application we describe the irreducible components of the singular locus of the compactified moduli space of curves $\bar{\mahfrak M_g}$, extending the work of Cornalba, who described the irreducible components of the singular locus of the moduli space of curves $\mahfrak M_g}$.
We review the results on the cycle classes of the strata defined by the height and the Artin invariant on the moduli of K3 surfaces in positive characteristic obtained in joint work with Katsura and Ekedahl. In addition we prove a new irreducibility result for these strata.
We investigate versions of the Shafarevich conjecture, as proved for curves and abelian varieties by Faltings, for other classes of varieties. We first obtain analogues for certain Fano threefolds. We use these results to prove the Shafarevich conjecture for smooth sextic surfaces, which appears to be the first non-trivial result in the literature on the arithmetic of such surfaces. Moreover, we exhibit certain moduli stacks of Fano varieties which are not hyperbolic, which allows us to show that the analogue of the Shafarevich conjecture does not always hold for Fano varieties. Our results al…
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
In this paper, we compare the moduli spaces of rank-3 vector bundles stable with respect to different ample divisors over rational ruled surfaces. We also discuss the irreducibility, unirationality, and rationality of these moduli spaces.
Given a degree one del Pezzo surface with canonical singularities, the linear series generated by twice the anti-canonical divisor exhibits the surface as the double cover of the quadric cone branched along a sextic curve. It is natural to ask if this description extends to the boundary of a compactification of the moduli space of degree one del Pezzo surfaces. The goal of this paper is to show that this is indeed the case. In particular, we give an explicit classification of the boundary of the moduli space of anti-canonically polarized broken del Pezzo surfaces of degree one as double covers…
Mathematical instanton bundles of rank 4 and $c_2=2$ on ${\mathbb P}^4$ have a smoothquasiprojective moduli space, which is shown via a direct GIT construction. A complete classification of jumping lines of these vector bundles is obtained. The duals of these bundles are described. Dimension computations and irreducibility proofs for some "interesting" subsets of the moduli space are presented. Restrictions of vector bundles from ${\mathbb P}^4$ to ${\mathbb P}^3$ are shown to produce mathematical instanton bundles on ${\mathbb P}^3$.
Let G be a linear algebraic group, P be a parabolic subgroup of G and βbe a cycle of dimension 1 in the Chow group of the quotient G/P. Using geometric arguments and Borel's fixed point theorem, we prove that the moduli space \bar{M}_{0,n}(G/P, β) of n-pointed genus 0 stable maps representing βis irreducible.
We prove the connectedness of the moduli space of maps (of fixed genus and homology class) to the homogeneous space G/P by degeneration via the maximal torus action. In the genus 0 case, the irreducibility of the moduli of maps is a direct consequence of connectedness. An analysis of a related Bialynicki-Birula stratification of the map space yields a rationality result: the (coarse) moduli space of genus 0 maps to G/P is a rational variety. The rationality argument depends essentially upon rationality results for quotients of SL2 representations proven by Katsylo and Bogomolov.
Let $X$ be a smooth projective curve of genus $g(X)\geq 1$ over an algebraically closed field $k$ of characteristic $p>0$, $\M^s_X(r,d)$ the moduli space of stable vector bundles of rank $r$ and degree $d$ on $X$. We study the Frobenius stratification of $\M^s_X(r,d)$ in terms of Harder-Narasimhan polygons of Frobenius pull backs of stable vector bundles and obtain the irreducibility and dimension of each non-empty Frobenius stratum in case $(p,g,r)=(3,2,3)$.
In this note we describe a unique linear embedding of a prime Fano 4-fold F of genus 10 into the Grassmannian G(3,6). We use this to construct some moduli spaces of bundles on linear sections of F. In particular the moduli space of bundles with Mukai vector (3,L,3) on a generic polarized K3 surface (S,L) of genus 10 is constructed as a double cover of the projective plane branched over a smooth sextic.
We study the scheme of multi-jumping lines of an $n$-instanton bundle mainly for $n\leq 5$. We apply it to prove the irreducibility and smoothness of the moduli space of 5-instanton. Some particular situations with higher $c_2$ are also studied.
According to Mukai, any prime Fano threefold X of genus 7 is a linear section of the spinor tenfold in the projectivized half-spinor space of Spin(10). The orthogonal linear section of the spinor tenfold is a canonical genus-7 curve G, and the intermediate Jacobian J(X) is isomorphic to the Jacobian of G. It is proven that, for a generic X, the Abel-Jacobi map of the family of elliptic sextics on X factors through the moduli space of rank-2 vector bundles with c_1=-K_X and deg c_2=6 and that the latter is birational to the singular locus of the theta divisor of J(X).
