Primitively polarized genus $g$ Nikulin surfaces $(S,M,H)$ are of two types, that we call standard and non-standard depending on whether the lattice embedding $\mathbb{Z}[H] \oplus_{\perp} \mathbf{N} \subset \rm{Pic}(S)$ is primitive. Here $H$ is the genus $g$ polarization and $\mathbf{N}$ is the Nikulin lattice. We concentrate on the non-standard case, which only occurs in odd genus. In particular, we study the birational geometry of the moduli space of non-standard Nikulin surfaces of genus $g$ and prove its rationality for $g=7,11$ and the existence of a rational double cover of it when $g=9$. Furthermore, if $(S,M,H)$ is general in the above moduli space and $(C,M|_C)$ is a general Prym curve in $|H|$, we determine the dimension of the family of non-standard Nikulin surfaces of genus $g$ containing $(C, M|_C)$ for $3\leq g\leq 11$; this completes the study of the Prym-Nikulin map initiated in our previous work.
We study some natural linear systems carried by polarized Nikulin surfaces of genus g. We determine their positivity and establish their Brill-Noether theory. As an application, we compute the class of some natural effective divisors associated to these linear systems on the moduli space of Nikulin surfaces, relying upon recent work of Farkas and Rimányi.
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.
We study moduli spaces of K3 surfaces endowed with a Nikulin involution and their image in the moduli space R_g of Prym curves of genus g. We observe a striking analogy with Mukai's well-known work on ordinary K3 surfaces. Many of Mukai's results have a very precise Prym-Nikulin analogue, for instance: (1) A general Prym curve from R_g is a section of a Nikulin surface if and only if g\leq 7, g\neq 6. (2) R_7 has the structure of a Mori fibre space over the corresponding moduli space of polarized Nikulin surfaces. (3) In the case of genus next to maximal (g=6), the Prym-Nikulin locus in R_6 is…
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…
We consider the symplectic action of a finite group G on a K3 surface. The Picard group of the K3 surface has a primitive sublattice determined by G. We show how to compute the rank and discriminant of this sublattice. We then describe moduli spaces of K3 surfaces with symplectic G-action, extending results of Nikulin in the abelian case. We use our moduli spaces to develop techniques for classifying all possible symplectic actions of a group G.
We show that the moduli spaces of non-triple cyclic coverings of genus 2 curves and that of even spin curves of genus 2 are birationally isomorphic via the Prym map. We describe the log canonical models of the moduli space of even spin curves of genus 2 and use this to extend the above birational map.
Given a collection of boundary divisors in the moduli space of stable genus-zero n-pointed curves, Giansiracusa proved that their intersection is nonempty if and only if all pairwise intersections are nonempty. We give a complete classification of the pairs (g,n) for which the analogous statement holds in the moduli space of n-pointed curves of genus g.
We compute the rational cohomology of the moduli space of trigonal curves of genus 5. We do this by considering their natural embedding in the first Hirzebruch surface and by using Gorinov-Vassiliev's method.
The global geometry of the moduli spaces of higher spin curves and their birational classification is largely unknown for g >= 2 and r > 2. Using quite related geometric constructions, we almost complete the picture of the known results in genus g <= 4 showing the rationality of the moduli spaces of even and odd 4-spin curves of genus 3, of odd spin curves of genus 4 and of 3-spin curves of genus 4.
We compute cohomology of the moduli space of genus three curves with level two structure and some related spaces. In particular, we determine the cohomology groups of the moduli space of plane quartics with level two structure as representations of the symplectic group on a six dimensional vector space over the field of two elements. We also make the analogous computations for some related spaces such as moduli spaces of genus three curves with a marked points and strata of the moduli space of Abelian differentials of genus three.
We construct a smooth Artin stack parameterizing the stable weighted curves of genus one with twisted fields and prove that it is isomorphic to the blowup stack of the moduli of genus one weighted curves studied by Hu and Li. This leads to a blowup-free construction of Vakil-Zinger's desingularization of the moduli of genus one stable maps to projective spaces. This construction provides the cornerstone of the theory of stacks with twisted fields, which is thoroughly studied in arXiv:2005.03384 and leads to a blowup-free resolution of the stable map moduli of genus two.
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.
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 calculate the cycle class of the Hurwitz divisor $D_2$ on the moduli space of stable curves of genus $g=2k$ given by the degree $k+1$ covers of the projective line with simple ramification points, two of which lie in the same fibre. We also study some aspects of the geometry of the natural map of the Hurwitz space of admissible covers of degree $k+1$ and genus $2k$ to the moduli space of stable curves of genus $2k$.
We study here the tautological rings of the moduli spaces of compact Riemann surfaces of genus 1,2,3 and 4 with marked points. The paper presents the complete descriptions of these rings by describing the groups of all degrees.
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.
By the technique of 3-fold Mori theory, we prove that the moduli space whose general point parameterizes a couple of a smooth curve of genus 4 and a halfcanonical divisor with vanishing global section is rational.
We explicitly compute the diverging factor in the large genus asymptotics of the Weil-Petersson volumes of the moduli spaces of $n$-pointed complex algebraic curves. Modulo a universal multiplicative constant we prove the existence of a complete asymptotic expansion of the Weil-Petersson volumes in the inverse powers of the genus with coefficients that are polynomials in $n$. This is done by analyzing various recursions for the more general intersection numbers of tautological classes, whose large genus asymptotic behavior is also extensively studied.
We prove that the moduli space of polarized $K3$ surfaces of genus eleven with $n$ marked points is unirational when $n\leq 6$ and uniruled when $n\leq7$. As a consequence, we settle a long standing but not proved assertion about the unirationality of $\cal{M}_{11,n}$ for $n\leq6$. We also prove that the moduli space of polarized $K3$ surfaces of genus eleven with $9$ marked points has non-negative Kodaira dimension.
We compute the Picard group of the moduli stack of smooth curves of genus $g$ for $3\leq g\leq 5$, using methods of equivariant intersection theory. We base our proof on the computation of some relations in the integral Chow ring of certain moduli stacks of smooth complete intersections. As a byproduct, we compute the cycle classes of some divisors on $\mathcal{M}_g$.
We show that for $α\in (2/3, 7/10)$, the log canonical model $\bar M_4(α)$ of the pair $(\bar M_4, αδ)$ is isomorphic to the moduli space $\bar M_4^{hs}$ of h-semistable curves, and that there is a birational morphism $Ξ: \bar M_4^{hs} \to \bar M_4(2/3)$ that contracts the locus of curves $C_1\cup_p C_2$ consisting of genus two curves meeting in a node $p$ such that $p$ is a Weierstrass point of $C_1$ or $C_2$. To obtain this morphism, we construct a compact moduli space $\bar M_{2,1}^{hs}$ of pointed genus two curves that have nodes, ordinary cusps and tacnodes as singularity, and prove that …
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.
This informal note provides some elementary examples to motivate the local structural results of [1] on the moduli space of genus one stable maps to projective space. The hope is that these examples will be helpful for graduate students to learn this important subject.
This is the second in a pair of papers developing a framework to apply logarithmic methods in the study of singular curves of genus $1$. This volume focuses on logarithmic Gromov--Witten theory and tropical geometry. We construct a logarithmically nonsingular moduli space of genus $1$ curves mapping to any toric variety. The space is a birational modification of the principal component of the Abramovich--Chen--Gross--Siebert space of logarithmic stable maps and produces an enumerative genus $1$ curve counting theory. We describe the non-archimedean analytic skeleton of this moduli space and, a…
Tropical geometry is a relatively recent field in mathematics created as a simplified model for certain problems in algebraic geometry. We introduce the definition of abstract and planar tropical curves as well as their properties, including combinatorial type and degree. We also talk about the moduli space, a geometric object that parameterizes all possible types of abstract or planar tropical curves subject to certain conditions. Our research focuses on the moduli spaces of planar tropical curves of genus one, arbitrary degree d and any number of marked, unbounded edges. We prove that these …
We describe the final log canonical model of the moduli space of stable curves of genus four. We prove that the rational map from $\bar{M}_4$ to this model contracts the Petri and the boundary divisors and flips the hyperelliptic locus. As an application, we find an exact bound on slopes of moving divisors on $\bar{M}_4$.
