Related papers: Computer aided Unirationality Proofs of Moduli Spa…

Let $Y$ be a smooth, projective curve of genus $g\geq 1$ over the complex numbers. Let $H^0_{d,A}(Y)$ be the Hurwitz space which parametrizes coverings $p:X \to Y$ of degree $d$, simply branched in $n=2e$ points, with monodromy group equal…

We prove that the moduli space of double covers ramified at two points $\mathcal{R}_{g,2}$ is uniruled for $3\leq g\leq 6$ and of general type for $g\geq 16$. Furthermore, we consider Prym-canonical divisorial strata in the moduli space…

In this article we consider rational functions on algebraic curves, which have one zero and one pole (and call pair of such function and curve Abel pair). We investigate moduli spaces of such functions on curves of genus one; the number of…

We show how the output of the algorithm to compute modular Galois representations described in our previous article can be certified. We have used this process to compute certified tables of such Galois representations obtained thanks to an…

We prove that the moduli space of plane curves of degree d is rational for all sufficiently large d.

We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan…

We prove that the moduli spaces of framed bundles over a smooth projective curve are rational. We compute the Brauer group of these moduli spaces to be zero under some assumption on the stability parameter.

We determine all of lines in the moduli space $M$ of stable bundles for arbitrary rank and degree. A further application of minimal rational curves is also given in last section.

We carry out a complete birational classification of the universal theta divisor Th_g over the moduli space of curves of genus g, and show that Th_g enjoys good rationality properties for g<12, and is a variety of general type for g\geq 12.…

We construct explicit examples of algebraic cycles in \bar M_g (for large g congruent to 2 mod 4) and in M_2,20 (no bar) which are not in the tautological ring. In an appendix we give a general method for computing intersections in the…

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…

In this article we give a survey of homology computations for moduli spaces $\mathfrak{M}_{g,1}^m$ of Riemann surfaces with genus $g\geqslant 0$, one boundary curve, and $m\geqslant 0$ punctures. While rationally and stably this question…

We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows us to prove termination in a truly modular way. We consider…

We study moduli spaces $M_X(r,c_1,c_2)$ parametrizing slope semistable vector bundles of rank $r$ and fixed Chern classes $c_1, c_2$ on a ruled surface whose base is a rational nodal curve. We show that under certain conditions, these…

We describe the moduli space G^r_d of triples consisting of a curve C, a line bundle L on C of degree d, and a linear system V on L of dimension r. This moduli space extends over a partial compactification {\tilde M_g} of M_g inside {\bar…

The moduli space M(r,d) of stable, rank r, degree d vector bundles on a smooth projective curve of genus g>1 is shown to be birational to M(h,0) x A, where h=hcf(r,d) and A is affine space of dimension (r^2-h^2)(g-1). The birational…

We build a database of genus 2 curves defined over $\mathbb Q$ which contains all curves with minimal absolute height $h \leq 5$, all curves with moduli height $\mathfrak h \leq 20$, and all curves with extra automorphisms in standard form…

This paper is devoted to the study of the uniformization of the moduli space of pairs (X, E) consisting of an algebraic curve and a vector bundle on it. For this goal, we study the moduli space of 5-tuples (X, x, z, E, \phi), consisting of…

We investigate the birational geometry (in the sense of Mori's program) of the moduli space of rank 2 semistable parabolic vector bundles on a rational curve. We compute the effective cone of the moduli space and show that all birational…

We describe an algorithm for computing Macaulay dual spaces for multi-graded ideals. For homogeneous ideals, the natural grading is inherited by the Macaulay dual space which has been leveraged to develop algorithms to compute the Macaulay…