Related papers: Computer aided Unirationality Proofs of Moduli Spa…

In this paper, we study moduli spaces of 2-dimensional complex associative algebras. We give a complete calculation of the cohomology of every element in the moduli space, as well as compute their versal deformations.

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…

We introduce the Macaulay2 package $\mathtt{LinearTruncations}$ for finding and studying the truncations of a multigraded module over a standard multigraded ring that have linear resolutions.

We construct the moduli space, $M_d$, of degree $d$ rational maps on $\mathbb{P}^1$ in terms of invariants of binary forms. We apply this construction to give explicit invariants and equations for $M_3$. Using classical invariant theory, we…

Let SU_C(2) be the moduli space of rank 2 semistable vector bundles with trivial de terminant on a smooth complex algebraic curve C of genus g > 1, we assume C non-hyperellptic if g > 2. In this paper we construct large families of pointed…

For the purpose of minimizing the number of sample model evaluations, we propose and study algorithms that utilize (sequential) versions of likelihood-to-evidence ratio neural estimation.We apply our algorithms to a supersymmetric…

Using the isomorphism between the moduli space of polarized K3 surfaces of genus 14 and the moduli space of special cubic fourfolds of discriminant 26, we establish the rationality of the universal K3 surface of genus 14. Precisely, we show…

We find a natural $L_{\omega_1,\omega}$-axiomatisation $\Sigma$ of a structure on the upper half-plane $\mathbb{H}$ as the covering space of modular curves. The main theorem states that $\Sigma$ has a unique model in every uncountable…

Let $\L_g^G$ denote the locus of hyperelliptic curves of genus $g$ whose automorphism group contains a subgroup isomorphic to $G$. We study spaces $\L_g^G$ for $G \iso \Z_n, \Z_2{\o}\Z_n, \Z_2{\o}A_4$, or $SL_2(3)$. We show that for $G \iso…

We study the moduli space of stable sheaves of Euler characteristic 1 supported on curves of arithmetic genus 3 contained in a smooth quadric surface. We show that this moduli space is rational. We compute its Betti numbers by studying the…

We give a combinatorial description of the rational cohomology of the moduli spaces of pointed genus 1 curves with $n$ marked points and level $N$ structures. More precisely, we explicitly describe the $E_2$ term of the Leray spectral…

We prove rationality of the moduli variety of curves of genus 3.

We prove that the moduli spaces A_3(D) of polarized abelian threefolds with polarizations of types D=(1,1,2), (1,2,2), (1,1,3) or (1,3,3) are unirational. The result is based on the study of families of simple coverings of elliptic curves…

This tutorial illustrates how to use Grayson and Stillman's computer algebra system, Macaulay2, to study schemes. The examples are taken from the homework for an algebraic geometry class given at the University of California, Berkeley in…

We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as…

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.

This short note provides a quick introduction to relative canonical resolutions of curves on rational normal scrolls. We present our Macaulay2-package which computes the relative canonical resolution associated to a curve and a pencil of…

We calculate the quantum cohomology of the moduli space of stable $\PGL_2$-bundles over a smooth curve of genus $g\ge 2$.

We first describe the local and global moduli spaces of germs of foliations defined by analytic functions in two variables with p transverse smooth branches, and with integral multiplicities (in the univalued holomorphic case) or complex…

We explicitly compute the moduli space pointed algebraic curves with a given numerical semigroup as Weierstrass semigroup for many cases of genus at most seven and determine the dimension for all semigroups of genus seven.