The relations among invariants of points on the projective line

We consider the ring of invariants of n points on the projective line. The space n(P1)//SL2 is perhaps the first nontrivial example of a GIT quotient. The construction depends on the weighting of the n points. Kempe found generators (in the unit weight case) in 1894. We describe the full ideal of relations for all weightings. In some sense, there is only one equation, which is quadratic except for the classical case of the Segre cubic primal, for n=6 and weight 16. The cases of up to 6 points are long known to relate to beautiful familiar geometry. The case of 8 points turns out to be richer still. To cite this article: B. Howard et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).

RésuméNous considérons l'anneau des invariants de n points ordonnés sur la droite projective. L'espace n(P1)//SL2 est peut-être le premier exemple intéressant d'un quotient GIT. La construction dépend du choix des poids pour les n points. En 1894, Kempe a introduit un ensemble de générateurs (dans le cas où tous les poids sont égaux à 1). Ici, nous décrivons les relations entre les générateurs pour tous les choix de poids. En un sens il n'y a qu'une relation, qui est quadratique sauf dans le cas classique de la cubique de Segre, lorsque n=6 et que les poids sont 16. Pour n inférieur ou égal à 6, la géométrie est classique. Le cas n=8 est plus riche encore et est développé dans cet article. Pour citer cet article : B. Howard et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).