Permutohedral complexes and rational curves with cyclic action (Q6050181)

L'espace des modules \(\mathcal{M}_{0,n}\) de \(n\) points numérotés distincts sur la sphère de Riemann est un objet fondamental. Ses compactifications sont donc particulièrement importantes. Celle de Deligne-Mumford est sans doute la plus célèbre, mais il existe de nombreuses autres possibilités: voir le travail fondateur [\textit{D. I. Smyth}, Invent. Math. 192, No. 2, 459--503 (2013; Zbl 1277.14023)] ou [\textit{I. I. Nekrasov} and \textit{G. Yu. Panina}, Proc. Steklov Inst. Math. 305, 232--250 (2019; Zbl 1441.14092); translation from Tr. Mat. Inst. Steklova 305, 250--270 (2019)]. L'une des idées est de laisser des points s'entrechoquer (ce qui est interdit dans la compactification de Deligne-Mumford). En particulier, [\textit{A. Losev} and \textit{Y. Manin}, Mich. Math. J. 48, 443--472 (2000; Zbl 1078.14536)] ont obtenu une compacification torique de \(\mathcal{M}_{0,n}\). Ils ont de plus montré que les strates au bord sont en bijection avec les faces d'un permutohèdre. Cette dernière propriété a été généralisée dans [\textit{V. Batyrev} and \textit{M. Blume}, Pure Appl. Math. Q. 7, No. 4, 1053--1084 (2011; Zbl 1316.14050); Tôhoku Math. J. (2) 63, No. 4, 581--604 (2011; Zbl 1255.14041)] au cas où la configuaration des points possède une involution. Le présent article généralise les travaux de Batyrev et Blume au cas où la configuaration possède un automorphisme cyclique d'ordre \(r\geq3\). Le résultat principal est une bijection entre les strates au bord de la compacification, certaines classes d'un groupe de matrices à coefficients dans les racines \(r\)ièmes de l'unité et les faces d'un complexe polytopique. Ces correspondances sont bien illustrés par deux exemples dans l'introduction. La section 3 montre que l'espace construit est l'espace des modules des objets considérés. Le reste de l'article est essentiellement constitué de la preuve du théorème principal. Finalement, il est à noter que cet article possède une suite [``Wonderful compactifications and rational curves with cyclic action'', Preprint, \url{arXiv:2208.05463}] dans laquelle quatre des auteurs du présent article montrent que \(\bar{\mathcal{L}}_{n}^{r}\) est la compacification merveilleuse d'un arrangement d'hyperplans et en déduisent une présentation du groupe de Chow.