Topological groupoids with involution and real algebraic stacks

Résumé technique : Groupoïdes topologiques avec involution et empilements algébriques réels

Énoncé du problème
L'article aborde le défi consistant à étudier la topologie des espaces de modules réels associés aux empilements algébriques réels. Alors que la topologie du lieu réel $X(\mathbb{R})$ d'une variété algébrique réelle $X$ est bien comprise via l'inégalité de Smith–Thom (relatant la cohomologie de $X(\mathbb{R})$ à celle de $X(\mathbb{C})$), ce cadre échoue pour les problèmes de modules généraux. Dans de nombreux cas, tels que les modules des variétés abéliennes ou des courbes, l'espace de modules réel ne coïncide pas avec le lieu réel de l'espace de modules grossier. Par conséquent, les méthodes topologiques standard pour les espaces munis d'une involution sont insuffisantes. Les auteurs visent à développer un cadre topologique capable de gérer la structure intrinsèque de champ de ces problèmes de modules, spécifiquement en généralisant la notion de points fixes des espaces topologiques aux groupoïdes topologiques.

Méthodologie
Les auteurs adoptent une perspective topologique, traduisant la géométrie algébrique des empilements de Deligne–Mumford (DM) réels dans le langage des groupoïdes topologiques équipés d'une involution.

1. G-groupoïdes topologiques : Les auteurs définissent un G-groupoïde topologique (où $G \cong \mathbb{Z}/2$) comme un groupoïde topologique $\mathcal{X} = [R \rightrightarrows U]$ muni d'une involution $\sigma$. Cette structure généralise les espaces topologiques munis d'une involution.
2. Construction du lieu fixe : Une contribution méthodologique centrale est la définition du lieu fixe $|\mathcal{X}^G|$ pour un tel groupoïde. Contrairement à l'ensemble naïf des points fixes de l'espace grossier, $|\mathcal{X}^G|$ est défini comme l'ensemble des classes d'isomorphisme d'un « groupoïde de points fixes » spécifique $\mathcal{X}^G$. Les objets de $\mathcal{X}^G$ sont des paires $(x, \phi)$ où $x \in U$ et $\phi: x \xrightarrow{\sim} \sigma(x)$ est un isomorphisme satisfaisant $\sigma(\phi) \circ \phi = \text{id}$.
3. Comparaison avec les empilements réels : Les auteurs établissent une correspondance entre les empilements DM réels et les G-groupoïdes topologiques. Pour un empilement DM réel $\mathcal{X}$, ils construisent un groupoïde topologique $\mathcal{X}_{\mathbb{C}} = [R(\mathbb{C}) \rightrightarrows U(\mathbb{C})]$ muni d'une involution anti-holomorphe naturelle. Ils prouvent que le lieu fixe de ce groupoïde est canoniquement équivalent au groupoïde des points réels $\mathcal{X}(\mathbb{R})$.
4. Analyse topologique : L'article utilise les propriétés des « équivalences ouvertes » de groupoïdes topologiques pour montrer que les invariants topologiques (comme la topologie de l'espace grossier) sont indépendants du choix de la présentation étale. Cela permet une analyse locale du lieu réel.
5. Généralisation de Smith–Thom : Les auteurs enquêtent sur la question de savoir si l'inégalité de Smith–Thom, qui borne la cohomologie du lieu fixe par celle de l'espace total, vaut pour les groupoïdes. Ils démontrent que l'inégalité naïve échoue pour l'espace grossier $|\mathcal{X}|$ car elle ignore les automorphismes. Ils proposent une conjecture corrigée impliquant le groupoïde d'inertie $\mathcal{I}\mathcal{X}$, qui encode les automorphismes.

Contributions et résultats clés

• Théorème 1.4 (Homéomorphisme des topologies) : Les auteurs prouvent que pour un empilement de Deligne–Mumford séparé de type fini sur $\mathbb{R}$, la bijection entre le lieu fixe du groupoïde topologique associé $|\mathcal{X}^G|$ et l'ensemble des classes d'isomorphisme des points réels $|\mathcal{X}(\mathbb{R})|$ est un homéomorphisme. Ici, $|\mathcal{X}^G|$ porte la topologie quotient du groupoïde de points fixes, et $|\mathcal{X}(\mathbb{R})|$ porte la topologie analytique réelle. Ce résultat valide l'utilisation des groupoïdes topologiques comme cadre rigoureux pour la topologie des empilements réels.
• Théorème 1.5 (Structure des applications des lieux réels) : Pour un empilement DM séparé $\mathcal{X}$ où l'ordre du groupe d'automorphismes est constant, l'application du lieu réel $|\mathcal{X}(\mathbb{R})|$ vers le lieu réel de l'espace de modules grossier $M(\mathbb{R})$ est montrée comme étant une application ouverte et un revêtement topologique sur son image. Ce résultat repose sur un travail « localement euclidien » via la structure de groupoïde topologique, analogue au travail localement analytique pour les variétés.
• Conjecture 1.6 (Smith–Thom pour les groupoïdes) : L'article formule une inégalité de Smith–Thom généralisée. Il conjecture que pour un G-groupoïde topologique $\mathcal{X}$, la dimension de la cohomologie du lieu fixe est bornée par la dimension de la cohomologie de l'espace grossier d'inertie :
  $$\dim H^*(|\mathcal{X}^G|, \mathbb{Z}/2) \leq \dim H^*(|\mathcal{I}\mathcal{X}|, \mathbb{Z}/2)$$
  Les auteurs notent que la borne naïve utilisant $|\mathcal{X}|$ échoue (par exemple, pour les empilements classifiants $B\Gamma$).
• Proposition 1.8 (Vérification pour les empilements classifiants) : La conjecture est vérifiée pour le groupoïde classifiant $B\Gamma$ d'un groupe fini $\Gamma$ muni d'une involution. La preuve réduit l'inégalité topologique à une affirmation de théorie des groupes : $\#H^1(G, \Gamma) \leq \#(\Gamma/\Gamma)$, où le membre de droite est le nombre de classes de conjugaison. Cette inégalité est prouvée en utilisant des arguments d'orbite-stabilisateur.
• Variantes de la cohomologie de groupoïde : L'article explore une approche complémentaire utilisant la cohomologie de groupoïde. Il note que bien que la cohomologie de groupoïde soit souvent de dimension infinie, le rapport des sommes partielles des nombres de Betti pour $B\Gamma$ et son lieu fixe converge vers une valeur rationnelle dérivée des séries de Poincaré. Cela conduit à la Question 5.6 concernant l'existence d'une borne uniforme pour ces rapports.

Signification
L'article revendique une signification principalement en tant que première partie d'une série en deux volets établissant un cadre topologique pour les empilements algébriques réels.

• Validation du cadre : Il démontre que les groupoïdes topologiques munis d'une involution fournissent un cadre naturel et rigoureux pour étudier les espaces de modules réels, surmontant les limitations des espaces de modules grossiers qui échouent souvent à capturer la topologie correcte du lieu réel.
• Résultats fondamentaux : En prouvant que la topologie analytique réelle coïncide avec la topologie quotient du groupoïde de points fixes (Théorème 1.4), les auteurs fournissent les fondations topologiques nécessaires pour les futurs calculs.
• Nouvelles inégalités : La formulation de la conjecture de type Smith–Thom pour les groupoïdes (Conjecture 1.6) offre une nouvelle direction en géométrie algébrique réelle, suggérant que la « taille » du lieu réel est contrôlée non seulement par le lieu complexe, mais par l'empilement d'inertie complexe.
• Vérification : La vérification de la conjecture pour les empilements classifiants (Proposition 1.8) sert de cas test crucial, confirmant que l'inégalité proposée tient dans des situations de champ non triviales où l'inégalité naïve échoue.

Les auteurs déclarent explicitement que le développement de techniques pour calculer la topologie de $|\mathcal{X}(\mathbb{R})|$ pour les empilements généraux et la vérification complète de la conjecture dans le cadre algébrique feront l'objet de l'article subséquent [AGF25].