The ideal of relations for the ring of invariants of n points on the line

From MaRDI portal
Publication:653287

DOI10.4171/JEMS/295zbMATH Open1255.14039arXiv0909.3230OpenAlexW2069182231MaRDI QIDQ653287FDOQ653287


Authors: Benjamin J. Howard, John Millson, Andrew Snowden, R. Vakil Edit this on Wikidata


Publication date: 9 January 2012

Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Abstract: The study of the projective coordinate ring of the (geometric invariant theory) moduli space of n ordered points on P^1 up to automorphisms began with Kempe in 1894, who proved that the ring is generated in degree one in the main (n even, unit weight) case. We describe the relations among the invariants for all possible weights. In the main case, we show that up to the symmetric group symmetry, there is a single equation. For n not 6, it is a simple quadratic binomial relation. (For n=6, it is the classical Segre cubic relation.) For general weights, the ideal of relations is generated by quadratics inherited from the case of 8 points. This paper completes the program set out in [HMSV1].


Full work available at URL: https://arxiv.org/abs/0909.3230




Recommendations




Cites Work


Cited In (15)





This page was built for publication: The ideal of relations for the ring of invariants of \(n\) points on the line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q653287)