Related papers: Computer aided Unirationality Proofs of Moduli Spa…
In this paper we prove the unirationality of the locus of bielliptic curves in the Hilbert scheme of canonical curves of genus $g \geq 11$. As a consequence, we obtain another proof for the unirationality of the bielliptic locus in the…
The moduli spaces of trigonal curves are proven to be rational when the genus is divisible by 4.
In this note, we explain how certain matrix factorizations on cubic threefolds lead to families of curves of genus 15 and degree 16 in P^4. We prove that the moduli space M={(C,L) | C a curve of genus 15, L a line bundle on C of degree 16…
In this paper we prove a theorem stated by Castelnuovo which bounds the dimension of linear systems of plane curves in terms of two invariants, one of which is the genus of the curves in the system. Then we classify linear systems whose…
We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.
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…
We compute the rational cohomology of the moduli space of non-singular complex projective curves of genus 3 with two marked points.
In this article we show how to compute a matrix representation and the implicit equation by means of the method developed in [Botbol: arXiv:1007.3437], using the computer algebra system Macaulay2 \cite{M2}. As it is probably the most…
We discuss some examples of geometrically meaningful rational self-maps of moduli space of curves of low genus and homogeneous forms.
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…
Mukai showed that the GIT quotient $\operatorname{Gr}(7,16) /\!/ \operatorname{Spin}(10)$ is a birational model of the moduli space of Deligne-Mumford stable genus 7 curves $\overline{M}_7$. The key observation is that a general smooth…
A well-known principle of Mumford asserts that all moduli spaces of curves are varieties of general type, except a finite number of cases that occur for relatively small genus, when these varieties tend to be uniruled. In all known cases,…
In this, largely expository, note, we show how the simplicial structure of the moduli spaces of stable rational curves with marked points allows to produce explicit equations for these spaces. The key argument is an elementary combinatorial…
The moduli space R_{g,2n} parametrizes double covers of smooth curves of genus g ramified at 2n points. We will prove the (uni)rationality of R_{g,2}, R_{g,4} and R_{g,6} in low genera.
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…
In this short note we prove the unirationality of Hurwitz spaces of 6-gonal curves of genus $g$ with $5\leq g\leq 28$ or $g=30,31,33,35,36,40,45$. Key ingredient is a liaison construction in $\PP^1 \times \PP^2$. By semicontinuity, the…
Based on computeralgebra experiments we formulate a refined version of Green's conjecture and a conjecture of Schicho-Schreyer-Weimann which conjecturally also holds in positive characteristic. The experiments are done by using our…
We study the weight 2 graded piece of the compactly supported rational cohomology of the moduli spaces of curves $M_{g,n}$ and show that this can be computed as the cohomology of a graph complex that is closely related to graph complexes…
We compute the rational cohomology of the moduli space $\mathcal{M}_{4,1}$ of non-singular genus $4$ curves with $1$ marked point, using Gorinov-Vassiliev's method.
We describe the singular locus of the compactification of the moduli space $R_{g,l}$ of curves of genus $g$ paired with an $l$-torsion point in their Jacobian. Generalising previous work for $l\le 2$, we also describe the sublocus of…