Related papers: Computer aided Unirationality Proofs of Moduli Spa…

Let $M_{g, n}$ (respectively, $\overline{M_{g, n}}$) be the moduli space of smooth (respectively stable) curves of genus $g$ with $n$ marked points. Over the field of complex numbers, it is a classical problem in algebraic geometry to…

The Macaulay2 package Cremona performs some computations on rational and birational maps between irreducible projective varieties. For instance, it provides methods to compute degrees and projective degrees of rational maps without any…

Using the geometry of an almost del Pezzo threefold, we show that the moduli space of genus $g$ one-pointed ineffective spin hyperelliptic curves is rational for every $g\geq 2$.

The main characters of this paper are the moduli spaces $TM_{g,n}$ of rational tropical curves of genus $g$ with $n$ marked points, with $g\geq 2$. We reduce the study of the homotopy type of these spaces to the analysis of compact spaces…

We compute the first, second, third, and fifth rational cohomology groups of the moduli space of stable n-pointed genus g curves, for all g and n, using (mostly) algebro-geometric techniques.

Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…

We introduce the VirtualResolution package for the computer algebra system Macaulay2. This package has tools to construct, display, and study virtual resolutions for products of projective spaces. The package also has tools for generating…

We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality…

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.

The aim of the present paper is to prove the rationality of the universal family of polarized $ K3 $ surfaces of degree 14. This is achieved by identifying it with the moduli space of cubic fourfolds plus the data of a quartic scroll. The…

We present two approaches to the study of the cohomology of moduli spaces of curves. Together, they allow us to compute the rational cohomology of the moduli space \Mbar_4 of stable complex curves of genus 4, with its Hodge structure.

The purpose of these notes is to provide the details of the Jacobian ring computations carried out in [1], based on the computer algebra system Magma [2].

By associating to a curve C of genus g=2k and a pencil of degree d=k+1 the so-called trace curve (resp. the reduced trace curve) we define a rational map from the Hurwitz space of admissible covers of genus g=2k and degree d=k+1 to a moduli…

We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational…

By the geometry of the 3-fold quadric we show that the coarse moduli space of genus g ineffective spin hyperelliptic curves with two marked points is a rational variety for every $g \geq 2$.

We prove that the moduli spaces of K3 surfaces with non-symplectic involutions are unirational. As a by-product we describe configuration spaces of 4<d<9 points in the projective plane as arithmetic quotients of type IV.

We study the rationality properties of the moduli space $\mathcal{A}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular we show that any principally polarised abelian…

We study the compactification of the moduli space of a certain class of rank-two irregular connections on the Riemann sphere, presenting one double pole and two simple poles. To construct the compactification explicitly, we identify a class…

We prove that the moduli spaces of rational curves of degree at most $3$ in linear sections of the Grassmannian $Gr(2,5)$ are all rational varieties. We also study their compactifications and birational geometry.

The unirationality of the moduli space of mathematical instantons on the projective 3-space is proved for charges less than or equal to 7.