A non-Archimedean analogue of Teichmüller space and its tropicalization (Q2036427)

L'espace de Teichmüller \(\mathcal{T}_{g}\) d'une surface compacte est un objet central dans de nombreux domaine, dont le livre [\textit{J. H. Hubbard}, Teichmüller theory and applications to geometry, topology, and dynamics. Volume 1: Teichmüller theory. (2006; Zbl 1102.30001)] donne un petit aperçu. En particulier, l'espace de Teichmüller est le revêtement universel (orbifold) de l'espace des modules des surfaces de Riemann \(\mathcal{M}_{g}\). Un analogue à \(\mathcal{M}_{g}\) est l'espace des modules \(\mathbf{M}_{g}^{\operatorname{trop}}\) des courbes tropicales stables. Cet espace capture la combinatoire du graphe dual des courbes de la compactification de Deligne-Mumford. Un analogue de l'espace de Teichmüller \(\mathbf{T}_{g}^{\operatorname{trop}}\) est construit dans [\textit{M. Chan} et al., Contemp. Math. 589, 45--85 (2013; Zbl 1290.14037)] comme une complétion simpliciale de l'Outer space de Culler-Vogtmann. En effet, celui-ci peut être vu comme le revêtement universel de l'espace des modules des courbes tropicales. Comme la tropicalisation de l'espace analytique non-archimédien associé à \(\mathcal{M}_{g}\) est \(\mathbf{M}_{g}^{\operatorname{trop}}\), on peut se demander s'il existe un espace dont la tropicalisation est \(\mathbf{T}_{g}^{\operatorname{trop}}\). L'article construit et étudie cet espace de Teichmüller non-archimédien \(\bar{\mathcal{T}}_{g}\). Étant donné un corps algébriquement clos non-archimédien \(K\), un point de \(\bar{\mathcal{T}}_{g}\) est une courbe projective stable sur une extension non-archimédienne \(L\) de \(X\) avec une équivalence du groupe de Poincaré de \(X^{\operatorname{an}}\) dans le groupe libre à \(b_{1}\) éléments, où \(b_{1}\) est le premier nombre de Betti de \(X^{\operatorname{an}}\). Cet espace est un champ algébrique de Deligne-Mumford analytique lisse (Théorème A). La tropicalisation de \(\bar{\mathcal{T}}_{g}\) a une section qui fait de la tropicalisation un rétracte par déformation fort de \(\bar{\mathcal{T}}_{g}\) (Theorem B). Finalement l'auteur montre (Theorem D) que le quotient grossier de \(\bar{\mathcal{T}}_{g}\) par l'Outer space relativement à \(\mathcal{M}_{g}^{\operatorname{an}}\) est égal à \(\mathcal{M}_{g}^{\operatorname{an}}\).