The projective invariants of ordered points on the line

Abstract

The space of n (ordered) points on the projective line, modulo automorphisms of the line, is one of the most important and classical examples of an invariant theory quotient, and is one of the first examples given in any course. Generators for the ring of invariants have been known since the end of the nineteenth century, but the question of the relations has remained surprisingly open, and it was not even known that the relations have bounded degree. We show that the ideal of relations is generated in degree at most four, and give an explicit description of the generators. The result holds for arbitrary weighting of the points. If all the weights are even (e.g. in the case of equal weight for odd n), we show that the ideal of relations is generated by quadrics. The proof is by degenerating the moduli space to a toric variety, and following an enlarged set of generators through this degeneration.

References in corpus (2)

• Toric degenerations of weight varieties and applications
• Stable Configurations of Linear Subspaces and Quotient Coherent Sheaves

Cited by in corpus (10)

• Moduli of representations of quivers
• Presentations of Semigroup Algebras of Weighted Trees
• Nef divisors on ${\bar{M}}_{0,n}$ from GIT
• Toric Degenerations and tropical geometry of branching algebras
• Semigroups of $s{l}_3(\mathbb{C})$ tensor product invariants
• Equations for Chow and Hilbert Quotients
• The ring of projective invariants of eight points on the line via representation theory
• Gorenstein Semigroup Algebras of Weighted Trees
• The moduli space of n points on the line is cut out by simple quadrics when n is not six
• Quivers, Invariants and Quotient Correspondence