Related papers: Computer aided Unirationality Proofs of Moduli Spa…

We prove that the moduli space M_L of L"uroth quartics in P^2, i.e. the space of quartics which can be circumscribed around a complete pentagon of lines modulo the action of PGL_3(CC) is rational, as is the related moduli space of Bateman…

Let phi: P^1 --> P^1 be a rational map defined over a field K. We construct the moduli space M_d(N) parameterizing conjugacy classes of degree-d maps with a point of formal period N and present an algebraic proof that M_2(N) is…

We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…

The moduli space of parabolic bundles with fixed determinant over a smooth curve of genus greater than one is proved to be rational whenever one of the multiplicities associated to the quasi-parabolic structure is equal to one. It follows…

We analyze Weierstrass cycles and tautological rings in moduli space of smooth algebraic curves and in moduli spaces of integral algebraic curves with embedded disks with special attention to moduli spaces of curves having genus $\leq 6$.…

Let $C$ be a chain-like curve over $\mathbb{C}$. In this paper, we investigate the rationality of moduli spaces of $w$-semistable vector bundles on $C$ of arbitrary rank and fixed determinant by putting some restrictions on the Euler…

We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…

We show that the moduli space of $U\oplus \langle -2k \rangle$-polarized K3 surfaces is unirational for $k \le 50$ and $k \notin \{11,35,42,48\}$, and for other several values of $k$ up to $k=97$. Our proof is based on a systematic study of…

We study moduli spaces of certain sextic curves with a singularity of multiplicity 3 from both perspectives of Deligne-Mostow theory and periods of K3 surfaces. In both ways we can describe the moduli spaces via arithmetic quotients of…

We complete Mori's program with symmetric divisors for the moduli space of stable six pointed rational curves. As an application, we give an alternative proof of the complete Mori's program of the moduli space of genus two stable curves,…

This article surveys modularity, level raising and level lowering questions for two-dimensional representations modulo prime powers of the absolute Galois group of the rational numbers. It contributes some new results and describes…

We construct the moduli space for equivalence classes of n-pointed tropical curves of genus g, together with its compactification given by weighted tropical curves, and establish some of its basic topological properties. We compare it to…

We prove that the Poincare' polynomial of the moduli space of smooth genus 4 curves is 1+t^2+t^4+t^5. We show this by producing a stratification of the space, such that all strata are geometric quotients of complements of discriminants.

We survey the application of computer algebra in the context of gravitational theories. After some general remarks, we show of how to check the second Bianchi-identity by means of the Reduce package Excalc. Subsequently we list some…

Abstract. In this article, we provide an algorithm to compute the number of moduli of a germ of curve which is an union of germs of smooth curves in the complex plane.

The modular curves serve as excellent objects for testing conjectures in arithmetic geometry. They possess a natural geometric definition in contrast with rather nontrivial structure. On the other hand, they are well-studied from the…

We show that for $\alpha \in (2/3, 7/10)$, the log canonical model $\bar M_4(\alpha)$ of the pair $(\bar M_4, \alpha \delta)$ is isomorphic to the moduli space $\bar M_4^{hs}$ of h-semistable curves, and that there is a birational morphism…

We give an asymptotic formula for the number of $\mathbb{F}_{q}$-rational points over a fixed determinant moduli space of stable vector bundles of rank $r$ and degree $d$ over a smooth, projective curve $X$ of genus $g \geq 2$ defined over…

Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic…

Let ${mathcal M}_g^n$ be the moduli space of n-pointed Riemann surfaces of genus g. Denote by ${\bar {\mathcal M}}_g^n$ the Deligne-Mumford compactification of ${mathcal M}_g^n$. In the present paper, we calculate the orbifold and the…