Topological groupoids with involution and real algebraic stacks

Resumen Técnico: Groupoides Topológicos con Involutión y Pilas Algebraicas Reales

Enunciado del Problema
El artículo aborda el desafío de estudiar la topología de los espacios de móduli reales asociados a pilas algebraicas reales. Si bien la topología del lugar real $X(\mathbb{R})$ de una variedad algebraica real $X$ está bien entendida mediante la desigualdad de Smith–Thom (que relaciona la cohomología de $X(\mathbb{R})$ con la de $X(\mathbb{C})$), este marco falla para problemas de móduli generales. En muchos casos, como en los móduli de variedades abelianas o curvas, el espacio de móduli real no coincide con el lugar real del espacio de móduli grueso. En consecuencia, los métodos topológicos estándar para espacios con involución son insuficientes. Los autores tienen como objetivo desarrollar un marco topológico capaz de manejar la estructura intrínsecamente de pila de estos problemas de móduli, específicamente generalizando la noción de puntos fijos de espacios topológicos a groupoides topológicos.

Metodología
Los autores adoptan una perspectiva topológica, traduciendo la geometría algebraica de las pilas de Deligne–Mumford (DM) reales al lenguaje de groupoides topológicos equipados con una involución.

1. Groupoides G-Topológicos: Los autores definen un grupoide G-topológico (donde $G \cong \mathbb{Z}/2$) como un grupoide topológico $\mathcal{X} = [R \rightrightarrows U]$ equipado con una involución $\sigma$. Esta estructura generaliza los espacios topológicos con involución.
2. Construcción del Lugar Fijo: Una contribución metodológica central es la definición del lugar fijo $|\mathcal{X}^G|$ para tal grupoide. A diferencia del conjunto ingenuo de puntos fijos del espacio grueso, $|\mathcal{X}^G|$ se define como el conjunto de clases de isomorfismo de un "grupoide de puntos fijos" específico $\mathcal{X}^G$. Los objetos de $\mathcal{X}^G$ son pares $(x, \phi)$ donde $x \in U$ y $\phi: x \xrightarrow{\sim} \sigma(x)$ es un isomorfismo que satisface $\sigma(\phi) \circ \phi = \text{id}$.
3. Comparación con Pilas Reales: Los autores establecen una correspondencia entre pilas DM reales y groupoides G-topológicos. Para una pila DM real $\mathcal{X}$, construyen un grupoide topológico $\mathcal{X}_{\mathbb{C}} = [R(\mathbb{C}) \rightrightarrows U(\mathbb{C})]$ con una involución antiholomorfa natural. Demuestran que el lugar fijo de este grupoide es canónicamente equivalente al grupoide de puntos reales $\mathcal{X}(\mathbb{R})$.
4. Análisis Topológico: El artículo utiliza propiedades de las "equivalencias abiertas" de groupoides topológicos para mostrar que los invariantes topológicos (como la topología del espacio grueso) son independientes de la elección de la presentación étale. Esto permite un análisis local del lugar real.
5. Generalización de Smith–Thom: Los autores investigan si la desigualdad de Smith–Thom, que acota la cohomología del lugar fijo por la del espacio total, se cumple para groupoides. Demuestran que la desigualdad ingenua falla para el espacio grueso $|\mathcal{X}|$ porque ignora los automorfismos. Proponen una conjetura corregida que involucra al grupoide de inercia $\mathcal{I}\mathcal{X}$, que codifica los automorfismos.

Contribuciones y Resultados Clave

• Teorema 1.4 (Homeomorfismo de Topologías): Los autores prueban que para una pila de Deligne–Mumford separada $\mathcal{X}$ de tipo finito sobre $\mathbb{R}$, la biyección entre el lugar fijo del grupoide topológico asociado $|\mathcal{X}^G|$ y el conjunto de clases de isomorfismo de puntos reales $|\mathcal{X}(\mathbb{R})|$ es un homeomorfismo. Aquí, $|\mathcal{X}^G|$ porta la topología cociente del grupoide de puntos fijos, y $|\mathcal{X}(\mathbb{R})|$ porta la topología analítica real. Este resultado valida el uso de groupoides topológicos como un marco riguroso para la topología de pilas reales.
• Teorema 1.5 (Estructura de los Mapas de Lugares Reales): Para una pila DM separada $\mathcal{X}$ donde el orden del grupo de automorfismos es constante, se demuestra que el mapa desde el lugar real $|\mathcal{X}(\mathbb{R})|$ hacia el lugar real del espacio de móduli grueso $M(\mathbb{R})$ es un mapa abierto y una cubierta topológica sobre su imagen. Este resultado depende de trabajar "localmente euclidiano" a través de la estructura de grupoide topológico, análogo a trabajar localmente analíticamente para variedades.
• Conjetura 1.6 (Smith–Thom para Groupoides): El artículo formula una desigualdad de Smith–Thom generalizada. Conjetura que para un grupoide G-topológico $\mathcal{X}$, la dimensión de la cohomología del lugar fijo está acotada por la dimensión de la cohomología del espacio grueso de inercia:
  $$\dim H^*(|\mathcal{X}^G|, \mathbb{Z}/2) \leq \dim H^*(|\mathcal{I}\mathcal{X}|, \mathbb{Z}/2)$$
  Los autores señalan que el límite ingenuo usando $|\mathcal{X}|$ falla (por ejemplo, para pilas clasificantes $B\Gamma$).
• Proposición 1.8 (Verificación para Pilas Clasificantes): La conjetura se verifica para el grupoide clasificante $B\Gamma$ de un grupo finito $\Gamma$ con una involución. La prueba reduce la desigualdad topológica a una afirmación de teoría de grupos: $\#H^1(G, \Gamma) \leq \#(\Gamma/\Gamma)$, donde el lado derecho es el número de clases de conjugación. Esta desigualdad se demuestra utilizando argumentos de órbita-estabilizador.
• Variantes de Cohomología de Groupoides: El artículo explora un enfoque complementario utilizando cohomología de groupoides. Señala que, aunque la cohomología de groupoides es a menudo de dimensión infinita, la razón de las sumas parciales de los números de Betti para $B\Gamma$ y su lugar fijo converge a un valor racional derivado de series de Poincaré. Esto conduce a la Pregunta 5.6 sobre la existencia de un límite uniforme para estas razones.

Significado
El artículo reclama importancia principalmente como la primera parte de una serie de dos partes que establece un marco topológico para pilas algebraicas reales.

• Validación del Marco: Demuestra que los groupoides topológicos con involución proporcionan un entorno natural y riguroso para estudiar espacios de móduli reales, superando las limitaciones de los espacios de móduli gruesos que a menudo fallan en capturar la topología correcta del lugar real.
• Resultados Fundacionales: Al probar que la topología analítica real coincide con la topología cociente del grupoide de puntos fijos (Teorema 1.4), los autores proporcionan la base topológica necesaria para futuros cálculos.
• Nuevas Desigualdades: La formulación de la conjetura tipo Smith–Thom para groupoides (Conjetura 1.6) ofrece una nueva dirección en la geometría algebraica real, sugiriendo que el "tamaño" del lugar real no está controlado solo por el lugar complejo, sino por la pila de inercia compleja.
• Verificación: La verificación de la conjetura para pilas clasificantes (Proposición 1.8) sirve como un caso de prueba crucial, confirmando que la desigualdad propuesta se cumple en situaciones de pila no triviales donde la desigualdad ingenua falla.

Los autores declaran explícitamente que el desarrollo de técnicas para calcular la topología de $|\mathcal{X}(\mathbb{R})|$ para pilas generales y la verificación completa de la conjetura en el contexto algebraico serán el tema del artículo subsiguiente [AGF25].