Related papers: Computer aided Unirationality Proofs of Moduli Spa…
We present an algorithm for computing instanton numbers of curve singularities. A comparison is made between these and some other invariants of curve singularities. The algorithm has been implemented in the symbolic computer algebra program…
We prove that the Kodaira dimension of the moduli space M_{23} of curves of genus 23 is at least 2. We also present some evidence for the hypothesis that the Kodaira dimension of the moduli space is actually equal to 2. Note that for g > 23…
Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously…
We propose an approach for showing rationality of an algebraic variety $X$. We try to cover $X$ by rational curves of certain type and count how many curves pass through a generic point. If the answer is $1$, then we can sometimes reduce…
We show, for each algebraically closed field, the rationality of the following two moduli spaces: M(3,3) parametrizing pairs (C, \eta) where C has genus 3 and \eta is a 3-torsion divisor class, respectively of M(3,<3>) parametrizing pairs…
We consider the deformation theory of asymptotically conical (AC) and of conically singular (CS) $G_2$-manifolds. In the AC case, we show that if the rate of convergence $\nu$ to the cone at infinity is generic in a precise sense and lies…
We describe the main functions of the Macaulay2 package Quasidegrees. The purpose of this package is to compute the quasidegree set of a finitely generated A-graded module presented as the cokernel of a monomial matrix. We provide examples…
The aim of this paper is to estimate the irrationality of moduli spaces of hyperk\"ahler manifolds of types K3$^{[n]}$, Kum$_{n}$, OG6, and OG10. We prove that the degrees of irrationality of these moduli spaces are bounded from above by a…
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…
We study the spaces of stable real and quaternionic vector bundles on a real algebraic curve. The basic relationship is established with unitary representations of an extension Z/2 by the fundamental group. By comparison with the space of…
We consider the space $\mathcal{M}_{2,1}$ --- the open moduli space of complex curves of genus 2 with one marked point. Using language of chord diagrams we describe the cell structure of $\mathcal{M}_{2,1}$ and cell adjacency. This allows…
We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine $H^k(\sgbar, \Q)$ for $g \ge 2$ and $k \le 3$, where $\sgbar$ denotes the moduli…
We compute the Mori cone of curves of the moduli space \M_{g,n} of stable n-pointed curves of genus g in the case when g and n are relatively small. For instance, we show that for g<14 every curve in \M_g is numerically equivalent to an…
We prove that the moduli space of cubic fourfolds $\mathcal{C}$ contains a divisor $\mathcal{C}_{42}$ whose general member has a unirational parametrization of degree 13. This result follows from a thorough study of the Hilbert scheme of…
The rational Chow ring of the moduli space $\mathcal{M}_g$ of curves of genus $g$ is known for $g \leq 6$. Here, we determine the rational Chow rings of $\mathcal{M}_7, \mathcal{M}_8,$ and $\mathcal{M}_9$ by showing they are tautological.…
We investigate the possible homological classes of rational curves on the moduli space $X_n=\bar{\mathcal{M}_{0,n}}$ of rational nodal curves with $n$ marked points. In the case of $X_5$ and $X_6$ the relevant homology classes belong to…
This is the sequel to arXiv:math/0001089. In this paper, we complete the promised description of moduli of abelian surfaces of low degree, covering the cases of degree (1,12), (1,14), (1,16), (1,18) and (1,20). In each case, we describe…
We give an informal survey, emphasizing examples and open problems, of two interconnected research programs in moduli of curves: the systematic classification of modular compactifications of $M_{g,n}$, and the study of Mori chamber…
We prove that the orbifold desingularization of the moduli space of stable maps of genus g = 1 recently constructed by Vakil and Zinger has vanishing rational cohomology groups in odd degree k < 10.