Abstract:The ring of projective invariants of eight ordered points on the line is a quotient of the polynomial ring on V, where V is a fourteen-dimensional representation of S_8, by an ideal I_8, so the modular fivefold (P^1)^8 // GL(2) is Proj(Sym* (V)/I_8). We show that there is a unique cubic hypersurface S in PV whose equation s is skew-invariant, and that the singular locus of S is the modular fivefold. In particular, over Z[1/3], the modular fivefold is cut out by the 14 partial derivatives of s. Better: these equations generate I_8. In characteristic 3, the cubic s is needed to generate the ideal. The existence of such a cubic was predicted by Dolgachev. Over Q, we recover the 14 quadrics found by computer calculation by Koike, and our approach yields a conceptual representation-theoretic description of the presentation. Additionally we find the graded Betti numbers of a minimal free resolution in any characteristic. The proof over Q is by pure thought, using Lie theory and commutative algebra. Over Z, the assistance of a computer was necessary. This result will be used as the base case describing the equations of the moduli space of an arbitrary number of points on P^1, with arbitrary weighting, in a later paper, completing the program of our previous paper (Duke Math. J.). The modular fivefold, and corresponding ring, are known to have a number of special incarnations, due to Deligne-Mostow, Kondo, and Freitag-Salvati Manni, for example as ball quotients or ring of modular forms respectively.

The Cohomology Ring of the Deligne-Mumford Moduli Space of Real Rational Curves with Conjugate Marked Points

The (Co)homology of the Deligne-Mumford Moduli Spaces of Marked Rational Curves

Curvatures of Moduli Space of Curves and Applications

Blowdowns of the Deligne-Mumford Spaces of Real Rational Curves

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Real moduli space of stable rational curves revised

Logarithmic tautological rings of the moduli spaces of curves

Cohomology and geometry of Deligne–Lusztig varieties for

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Cohomology of Moduli Space of Multiscale Differentials in Genus 0

Relative cycles with moduli and regulator maps

The integral Chow rings of moduli of Weierstrass fibrations

On the Chow and cohomology rings of moduli spaces of stable curves

Cohomological amplitude for constructible sheaves on moduli spaces of curves

The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Cohomological -dependence of ring structure for the moduli of one-dimensional sheaves on

Weierstrass Cycles and Tautological Rings in Various Moduli Spaces of Algebraic Curves

The ring of projective invariants of eight points on the line via representation theory

The cohomology of $p$-adic Deligne-Luszitg schemes of Coxeter type

The Chow rings of the moduli spaces of curves of genus 7, 8, and 9

Rational cohomology of $\mathcal M_{4,1}$