Simplicial equations for the moduli space of stable rational curves (Q2302260)

Le but de cet article est de déduire de la structure simplicielle de \(\overline{\mathcal{M}}_{0,n}\) des équations pour cet espace dans \((\overline{\mathcal{M}}_{0,n-1})^{n+1}\) lorsque \(n\geq 5\). Cet article est écrit avec soin et est agréable à lire même sans être spécialiste du sujet. Plus précisément, ces équations sont obtenues grâce à la théorie des \(\Delta\)-ensembles. Rappelons qu'un \(\Delta\)-ensemble \(X\) est une suite d'ensembles \(X_{0},X_{1},\dots\) avec pout tout \(n\geq1\) des applications \(\partial_{i}\colon X_{n} \to X_{n-1}\) pour \(i = 0, 1, \dots , n\) qui satisfont à \(\partial_{i} \circ \partial_{j} = \partial_{j-1} \circ \partial_{i}\) pour tout \(i < j\). La structure de \(\Delta\)-ensemble de la suite d'ensembles \(\overline{\mathcal{M}}_{0,n}\) est donnée par les fonctions \(\partial_{i}\colon \overline{\mathcal{M}}_{0,n} \to \overline{\mathcal{M}}_{0,n-1}\) qui oublie le \(i\)ème point, collapse les composantes non-stables éventuellement créées et réindexent les points d'indices strictement supérieurs à \(i\). Les auteurs montrent que ce \(\Delta\)-ensemble satisfait à la propriété d'unique extension de la définition 1 et en déduisent les équations recherchées. Notons qu'afin de faciliter l'exposition, les auteurs traduisent ces propriétés dans le langage des graphes. Enfin, les auteurs étendent cette étude aux compactifications de Fulton-MacPherson et d'Ulyanov de l'espace de configurations de \(n\) points distincts sur une variété algébrique.