pith. sign in

arxiv: 1703.07439 · v1 · pith:R7QLYV6Unew · submitted 2017-03-21 · 🧮 math.AG

Equations of \,overline{{M}}_(0,n)

classification 🧮 math.AG
keywords mathbboverlineequationsgivepolynomialstimescanonicalcdots
0
0 comments X
read the original abstract

Following work of Keel and Tevelev, we give explicit polynomials in the Cox ring of $\mathbb{P}^1\times\cdots\times\mathbb{P}^{n-3}$ that, conjecturally, determine $\overline{M}_{0,n}$ as a subscheme. Using Macaulay2, we prove that these equations generate the ideal for $n=5, 6, 7, 8$. For $n \leq 6$ we give a cohomological proof that these polynomials realize $\overline{M}_{0,n}$ as a projective variety, embedded in $\mathbb{P}^{(n-2)!-1}$ by the complete log canonical linear system.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.