Mapping class group action on the cohomology of the $\mathrm{SL}_n$ character variety

Resumo Técnico: Ação do Grupo de Classes de Mapeamento na Cohomologia da Variedade de Caracteres de SLn

1. O Problema

O artigo investiga a ação do grupo de classes de mapeamento (mapping class group), denotado por $\text{Mod}(\Sigma_g \setminus p)$, na cohomologia da variedade de caracteres "torcida" (twisted) de $\text{SL}_n$ sobre uma superfície de Riemann $\Sigma_g$ de gênero $g \geq 2$ com um ponto removido $p$.

A variedade em questão, $M_{\text{SL}}$, é definida como o espaço de módulos de sistemas locais $\text{SL}_n$ com monodromia fixa $e^{2\pi i d/n} \text{Id}_n$ ao redor do ponto $p$ (onde $n$ e $d$ são inteiros coprimos). O objetivo central é descrever o grupo de monodromia algébrica (a componente conexa do fecho de Zariski da imagem da ação do grupo de classes de mapeamento) atuando na cohomologia $H^*(M_{\text{SL}}, \mathbb{C})$.

Diferentemente do caso $\text{GL}_n$, onde a cohomologia é gerada por classes "tautológicas" e a ação é controlada pela homologia da superfície base $H_1(\Sigma_g)$, o caso $\text{SL}_n$ é mais complexo. A cohomologia de $M_{\text{SL}}$ contém classes variantes sob a ação de um grupo finito $\Gamma \cong H^1(\Sigma_g, \mathbb{Z}/n)$, o que impede uma descrição direta via a homologia da superfície original.

2. Metodologia

A abordagem do artigo combina topologia algébrica, geometria algébrica e a correspondência de Hodge não abeliana. A estratégia principal segue os seguintes passos:

1. Correspondência de Hodge Não Abeliana: O autor utiliza o difeomorfismo entre a variedade de caracteres $M_{\text{SL}}$ e o espaço de módulos de fibrados de Higgs estáveis de $\text{SL}_n$ de grau $d$ sobre uma curva complexa. Isso permite o uso de métodos algebrico-geométricos, que são mais robustos para o estudo de cohomologia.
2. Decomposição Endoscópica Relativa (Maulik-Shen): O núcleo técnico do trabalho é uma versão "relativa" (compatível com a ação do grupo de classes de mapeamento) da decomposição endoscópica desenvolvida por Maulik e Shen [MS21].
   • A construção relaciona a cohomologia do espaço de módulos de Higgs de $\text{SL}_n$ com a cohomologia de espaços de módulos de Higgs de $\text{GL}_r$ sobre coberturas étale finitas da curva base.
   • Especificamente, para cada elemento $\gamma$ no grupo de torção $\Gamma$, constrói-se uma cobertura $\pi_\gamma: C_\gamma \to C$.
3. Correspondência de Ngô-Yun: O artigo generaliza a isomorfismo de Ngô-Yun para o contexto relativo, estabelecendo uma correspondência cohomológica entre o espaço de módulos de $\text{SL}_n$ e o espaço de módulos de $\text{GL}_r$ sobre a cobertura $C_\gamma$, respeitando as ações de grupos de Galois e de torção.
4. Truque dos Ciclos de Vanishing: Para lidar com a diferença de graus e a estrutura dos fibrados de Higgs, o autor emprega o funtor de ciclos de vanishing (vanishing cycles) para induzir isomorfismos entre cohomologias de espaços com diferentes graus de fibrados, permitindo reduzir o problema a casos mais simples.

3. Principais Contribuições e Resultados

Teorema Principal (Teorema 1.1 / 3.4):
O núcleo da ação do grupo de classes de mapeamento $\text{Mod}(\Sigma_g \setminus p)$ na cohomologia $H^*(M_{\text{SL}}, \mathbb{Z})$ é comensurável ao núcleo da ação do mesmo grupo na cohomologia da primeira homologia da cobertura finita canônica $\tilde{\Sigma}_g^n \to \Sigma_g$.

• A cobertura $\tilde{\Sigma}_g^n$ corresponde à projeção canônica $\pi_1(\Sigma_g) \twoheadrightarrow H_1(\Sigma_g, \mathbb{Z}/n)$.
• Isso significa que, embora a ação não seja controlada por $H_1(\Sigma_g)$ (como no caso $\text{GL}$), ela é controlada pela homologia de uma cobertura abeliana finita específica da superfície.

Descrição do Grupo de Monodromia Algébrica (Corolário 1.2 / 3.5):
Para $g > 2$ (ou $g=2$ com $(n,6)=1$), o grupo de monodromia algébrica da ação de $\text{Mod}(\Sigma_g \setminus p)$ em $H^*(M_{\text{SL}}, \mathbb{C})$ é o subgrupo comutador (derived subgroup) do grupo simplético generalizado $\text{Sp}^{\hat{\Gamma}}(H_1(\tilde{\Sigma}_g^n, \mathbb{C}))$.

• Este grupo consiste em transformações lineares invertíveis que respeitam tanto a forma de interseção quanto a ação de Galois de $H_1(\Sigma_g, \mathbb{Z}/n)$ sobre a cobertura.
• O resultado explora trabalhos anteriores de Looijenga [Loo97] sobre a ação do grupo de classes de mapeamento em coberturas abelianas finitas.

Estrutura da Cohomologia:
O trabalho demonstra que as classes variantes (aquelas que não são invariantes sob a ação de $\Gamma$) na cohomologia de $M_{\text{SL}}$ podem ser completamente descritas através da cohomologia de espaços de módulos sobre as coberturas $C_\gamma$. Isso resolve a dificuldade de que essas classes não possuem uma construção geométrica "óbvia" como as classes tautológicas.

4. Significado e Impacto

• Generalização de Resultados Clássicos: O artigo estende o entendimento da ação do grupo de classes de mapeamento de variedades de caracteres $\text{GL}_n$ (onde a ação é bem compreendida via classes tautológicas) para o caso $\text{SL}_n$, que é fundamental para a teoria de gauge e a simetria espelho (SYZ).
• Conexão com a Simetria Espelho: As classes variantes em $H^*(M_{\text{SL}})$ foram anteriormente interpretadas por Hausel e Thaddeus no contexto da simetria espelho entre espaços de módulos de $\text{SL}_n$ e $\text{PGL}_n$. Este trabalho fornece uma descrição precisa da ação monodrômica sobre essas classes, validando e refinando a estrutura algébrica subjacente à simetria espelho.
• Ferramenta Técnica: A construção de uma versão relativa da decomposição endoscópica de Maulik-Shen é uma contribuição metodológica significativa. Ela permite transferir problemas de cohomologia de espaços de módulos complicados (com restrições de determinante) para espaços sobre coberturas, onde a estrutura é mais tratável e a ação do grupo de classes de mapeamento é melhor compreendida.
• Precisão Algébrica: Ao identificar o grupo de monodromia como um subgrupo comutador de um grupo simplético generalizado, o artigo fornece uma descrição concreta e completa da dinâmica algébrica desses espaços de módulos, indo além de resultados qualitativos.

Em resumo, Anne Larsen resolve um problema aberto sobre a estrutura da cohomologia de variedades de caracteres torcidas de $\text{SL}_n$, demonstrando que a complexidade adicional em relação ao caso $\text{GL}_n$ é precisamente capturada pela geometria de coberturas abelianas finitas da superfície base, e que a ação do grupo de classes de mapeamento é maximal dentro das restrições impostas pela estrutura de Galois e pela forma simplética.