Topological groupoids with involution and real algebraic stacks

Resumo Técnico: Groupoides Topológicos com Involutão e Pilhas Algébricas Reais

Enunciado do Problema
O artigo aborda o desafio de estudar a topologia dos espaços de módulos reais associados a pilhas algébricas reais. Enquanto a topologia do lugar real $X(\mathbb{R})$ de uma variedade algébrica real $X$ é bem compreendida através da desigualdade de Smith–Thom (relacionando a cohomologia de $X(\mathbb{R})$ com a de $X(\mathbb{C})$), essa estrutura falha para problemas de módulos gerais. Em muitos casos, como nos módulos de variedades abelianas ou curvas, o espaço de módulos real não coincide com o lugar real do espaço de módulos grosseiro. Consequentemente, os métodos topológicos padrão para espaços com involução são insuficientes. Os autores visam desenvolver uma estrutura topológica capaz de lidar com a estrutura intrínseca de pilha desses problemas de módulos, especificamente generalizando a noção de pontos fixos de espaços topológicos para groupoides topológicos.

Metodologia
Os autores adotam uma perspectiva topológica, traduzindo a geometria algébrica das pilhas de Deligne–Mumford (DM) reais para a linguagem de groupoides topológicos equipados com uma involução.

1. G-Groupoides Topológicos: Os autores definem um G-groupóide topológico (onde $G \cong \mathbb{Z}/2$) como um groupóide topológico $\mathcal{X} = [R \rightrightarrows U]$ equipado com uma involução $\sigma$. Essa estrutura generaliza espaços topológicos com involução.
2. Construção do Lugar Fixo: Uma contribuição metodológica central é a definição do lugar fixo $|\mathcal{X}^G|$ para tal groupóide. Diferentemente do conjunto de pontos fixos ingênuo do espaço grosseiro, $|\mathcal{X}^G|$ é definido como o conjunto de classes de isomorfismo de um "groupóide de pontos fixos" específico $\mathcal{X}^G$. Os objetos de $\mathcal{X}^G$ são pares $(x, \phi)$ onde $x \in U$ e $\phi: x \xrightarrow{\sim} \sigma(x)$ é um isomorfismo satisfazendo $\sigma(\phi) \circ \phi = \text{id}$.
3. Comparação com Pilhas Reais: Os autores estabelecem uma correspondência entre pilhas DM reais e groupoides topológicos G. Para uma pilha DM real $\mathcal{X}$, eles constroem um groupóide topológico $\mathcal{X}_{\mathbb{C}} = [R(\mathbb{C}) \rightrightarrows U(\mathbb{C})]$ com uma involução anti-holomorfa natural. Eles provam que o lugar fixo desse groupóide é canonicamente equivalente ao groupóide de pontos reais $\mathcal{X}(\mathbb{R})$.
4. Análise Topológica: O artigo utiliza propriedades de "equivalências abertas" de groupoides topológicos para mostrar que invariantes topológicos (como a topologia do espaço grosseiro) são independentes da escolha da apresentação étale. Isso permite uma análise local do lugar real.
5. Generalização de Smith–Thom: Os autores investigam se a desigualdade de Smith–Thom, que limita a cohomologia do lugar fixo pela do espaço total, vale para groupoides. Eles demonstram que a desigualdade ingênua falha para o espaço grosseiro $|\mathcal{X}|$ porque ignora os automorfismos. Eles propõem uma conjectura corrigida envolvendo o groupóide de inércia $\mathcal{I}\mathcal{X}$, que codifica os automorfismos.

Principais Contribuições e Resultados

• Teorema 1.4 (Homeomorfismo de Topologias): Os autores provam que, para uma pilha de Deligne–Mumford separada $\mathcal{X}$ de tipo finito sobre $\mathbb{R}$, a bijeção entre o lugar fixo do groupóide topológico associado $|\mathcal{X}^G|$ e o conjunto de classes de isomorfismo de pontos reais $|\mathcal{X}(\mathbb{R})|$ é um homeomorfismo. Aqui, $|\mathcal{X}^G|$ carrega a topologia quociente do groupóide de pontos fixos, e $|\mathcal{X}(\mathbb{R})|$ carrega a topologia analítica real. Este resultado valida o uso de groupoides topológicos como uma estrutura rigorosa para a topologia de pilhas reais.
• Teorema 1.5 (Estrutura dos Mapas de Lugares Reais): Para uma pilha DM separada $\mathcal{X}$ onde a ordem do grupo de automorfismos é constante, o mapa do lugar real $|\mathcal{X}(\mathbb{R})|$ para o lugar real do espaço de módulos grosseiro $M(\mathbb{R})$ é mostrado ser um mapa aberto e uma cobertura topológica sobre sua imagem. Este resultado depende de trabalhar "localmente no sentido euclidiano" via a estrutura de groupóide topológico, análogo a trabalhar localmente no sentido analítico para variedades.
• Conjectura 1.6 (Smith–Thom para Groupoides): O artigo formula uma desigualdade de Smith–Thom generalizada. Conjectura-se que, para um G-groupóide topológico $\mathcal{X}$, a dimensão da cohomologia do lugar fixo é limitada pela dimensão da cohomologia do espaço grosseiro de inércia:
  $$\dim H^*(|\mathcal{X}^G|, \mathbb{Z}/2) \leq \dim H^*(|\mathcal{I}\mathcal{X}|, \mathbb{Z}/2)$$
  Os autores observam que o limite ingênuo usando $|\mathcal{X}|$ falha (por exemplo, para pilhas classificantes $B\Gamma$).
• Proposição 1.8 (Verificação para Pilhas Classificantes): A conjectura é verificada para o groupóide classificante $B\Gamma$ de um grupo finito $\Gamma$ com uma involução. A prova reduz a desigualdade topológica a uma afirmação de teoria de grupos: $\#H^1(G, \Gamma) \leq \#(\Gamma/\Gamma)$, onde o lado direito é o número de classes de conjugação. Essa desigualdade é provada usando argumentos de órbita-estabilizador.
• Variantes de Cohomologia de Groupoides: O artigo explora uma abordagem complementar usando cohomologia de groupoides. Observa-se que, embora a cohomologia de groupoides seja frequentemente de dimensão infinita, a razão das somas parciais dos números de Betti para $B\Gamma$ e seu lugar fixo converge para um valor racional derivado de séries de Poincaré. Isso leva à Questão 5.6 sobre a existência de um limite uniforme para essas razões.

Significado
O artigo reivindica significado principalmente como a primeira parte de uma série de dois artigos estabelecendo uma estrutura topológica para pilhas algébricas reais.

• Validação da Estrutura: Demonstra que groupoides topológicos com involução fornecem um ambiente natural e rigoroso para estudar espaços de módulos reais, superando as limitações dos espaços de módulos grosseiros que frequentemente falham em capturar a topologia correta do lugar real.
• Resultados Fundamentais: Ao provar que a topologia analítica real coincide com a topologia quociente do groupóide de pontos fixos (Teorema 1.4), os autores fornecem o fundamento topológico necessário para futuros cálculos.
• Novas Desigualdades: A formulação da conjectura do tipo Smith–Thom para groupoides (Conjectura 1.6) oferece uma nova direção na geometria algébrica real, sugerindo que o "tamanho" do lugar real é controlado não apenas pelo lugar complexo, mas pela pilha de inércia complexa.
• Verificação: A verificação da conjectura para pilhas classificantes (Proposição 1.8) serve como um caso de teste crucial, confirmando que a desigualdade proposta vale em situações de pilha não triviais onde a desigualdade ingênua falha.

Os autores afirmam explicitamente que o desenvolvimento de técnicas para calcular a topologia de $|\mathcal{X}(\mathbb{R})|$ para pilhas gerais e a verificação completa da conjectura no contexto algébrico serão o assunto do artigo subsequente [AGF25].