Topology of Galois conjugate character varieties

Resumo Técnico: Topologia das Variedades de Caracteres de Conjugados de Galois

Enunciado do Problema
O artigo investiga a dependência topológica das variedades de caracteres $M_{n,d}$ em relação ao parâmetro de grau $d$. Seja $C$ uma curva projetiva não singular de gênero $g \geq 2$, e $n \geq 2$ um inteiro coprimo a $d$. A variedade de caracteres $M_{n,d}$ é definida como o espaço moduli de Betti das representações do $\pi_1(C)$ em $GL_n(\mathbb{C})$ com determinante $\xi_n^d$, onde $\xi_n$ é uma raiz primitiva $n$-ésima da unidade.

Uma questão central, formulada por Hausel em 2005 (Questão 0.1), pergunta se $M_{n,d}$ e $M_{n,d'}$ são homeomorfas (ou equivalentes de homotopia) para quaisquer $d, d'$ coprimos a $n$. Embora seja conhecido que essas variedades são conjugadas de Galois e compartilham números de Betti e anéis de cohomologia racional idênticos, a existência de um homeomorfismo que preserve o locus unitário (que distingue $d$ de $d'$ via a correspondência de Harder–Narasimhan) permanece um problema em aberto. Invariantes topológicos anteriores, incluindo grupos fundamentais e grupos de homotopia superiores, falham em distinguir esses espaços. Os autores visam determinar se o anel de cohomologia integral fornece um invariante mais fino capaz de distinguir os tipos de homotopia das variedades de caracteres conjugadas de Galois.

Metodologia
Os autores desenvolvem um arcabouço combinando estruturas integrais, grupos de automorfismos de anéis de cohomologia e relações tautológicas para detectar diferenças topológicas.

1. Automorfismos Cohomológicos e Estruturas Integrais:
   O artigo estabelece que o anel de cohomologia racional $H^*(M_{n,d}, \mathbb{Q})$ é isomorfo a um $\mathbb{Q}$-álgebra graduada $R_{g,n}$ tensorado com a cohomologia de um toro, onde $R_{g,n}$ é independente de $d$ (Teorema 0.3). Os autores definem $G_{g,n}$ como o grupo de automorfismos graduados de $R_{g,n}$. Eles propõem que, se os anéis de cohomologia integral de $M_{n,d}$ e $M_{n,d'}$ fossem isomorfos, existiria um automorfismo em $G_{g,n}$ que preservasse os reticulados integrais induzidos por diferentes graus $d$ e $d'$.

2. Automorfismos Fracamente Diagonais:
   Uma redução estrutural fundamental envolve o subgrupo $G^{wd}_{g,n} \subset G_{g,n}$ de automorfismos "fracamente diagonais", que preservam linhas específicas em componentes de baixo grau ($\mathbb{Q}\alpha_3$ e $\mathbb{Q}\beta_2$). O Teorema 0.5 afirma que, se $G^{wd}_{g,n} = G_{g,n}$ (ou seja, todos os automorfismos são fracamente diagonais), então os anéis de cohomologia integral de $M_{n,d}$ e $M_{n,d'}$ são isomorfos se, e somente se, $d \equiv \pm d' \pmod n$.

3. Relações Tautológicas:
   Para verificar a condição $G^{wd}_{g,n} = G_{g,n}$, os autores analisam o ideal de relações entre geradores tautológicos ($\alpha_i, \beta_i, \psi_{i,j}$). Eles utilizam:

   • As fórmulas fechadas para polinômios de Poincaré (Hausel–Rodriguez-Villegas, Schiffmann, Mellit) para determinar o menor grau no qual uma relação não trivial deve existir.
   • As relações para fibrados vetoriais estáveis (Earl–Jeffrey–Kirwan) para identificar candidatas para essas relações no contexto da variedade de caracteres.
   • Uma relação tautológica "distinguida" $\Upsilon_{g,n}$ no menor grau cohomológico possível $r_{g,n} = 4g(n-1) - 2n$.

4. Verificação Computacional:
   Para o caso específico $(g, n) = (2, 5)$, os autores realizam cálculos explícitos de álgebra linear para:

   • Determinar a relação homogênea única $\Upsilon_{2,5}$ no grau 22 (Teorema 3.16).
   • Computar a dimensão da álgebra de Lie do estabilizador desta relação dentro do grupo de automorfismos.
   • Verificar se a dimensão do grupo de automorfismos total é pequena o suficiente para forçar a condição "fracamente diagonal".

Principais Contribuições e Resultados

*Teorema 0.2 (Resultado Principal): Para uma curva de gênero $g=2$, os espaços topológicos $M_{5,1}$ e $M_{5,2}$ não são equivalentes de homotopia. Isso fornece o primeiro contraexemplo à questão de Hausel de 2005, demonstrando que variedades de caracteres conjugadas de Galois podem ter tipos de homotopia distintos.
*Teorema 0.5: Estabelece um critério para a não existência de isomorfismos entre anéis de cohomologia integral baseado na estrutura do grupo de automorfismos $G_{g,n}$. Especificamente, se todos os automorfismos são fracamente diagonais, as estruturas integrais distinguem os graus.
*Teorema 0.6: Prova que para $(g, n) = (2, 5)$, o grupo de automorfismos $G_{2,5}$ coincide com o subgrupo de automorfismos fracamente diagonais ($G^{wd}_{2,5} = G_{2,5}$). Isso é alcançado mostrando que a dimensão da álgebra de Lie do estabilizador da relação $\Upsilon_{2,5}$ é 12, o que é estritamente menor do que a dimensão necessária para que existam automorfismos não-diagonais.
*Teorema 0.7: Identifica uma relação tautológica única distinguida $\Upsilon_{g,n} = 0$ no grau $r_{g,n}$ para $g \geq 2, n \geq 3$. Para $(2, 5)$, esta relação é explicitamente computada (Teorema 3.16) e mostrada como invariante simplética.
*Proposição 1.3: Confirma que grupos de homotopia superiores $\pi_k(M_{n,d})$ para $k > 1$ são independentes de $d$, reforçando que os grupos de homotopia são insuficientes para distinguir esses espaços.

Significado e Alegações
O artigo afirma responder negativamente à questão de Hausel de 2005 sobre a homeomorfia de variedades de caracteres conjugadas de Galois. Os autores asseveram que o anel de cohomologia integral é o primeiro invariante topológico conhecido sensível ao grau $d$ da variedade de caracteres, revelando diferenças topológicas que estão "escondidas mais profundamente" do que a cohomologia racional ou os números de Betti.

O trabalho destaca que, embora as variedades conjugadas de Galois frequentemente compartilhem a mesma cohomologia racional, suas estruturas integrais podem diferir significativamente. O método baseia-se na interação entre a graduação de Chern (que divide a filtração de peso), as relações tautológicas e a rigidez do grupo de automorfismos do anel de cohomologia. Os autores observam que sua abordagem é computacionalmente intensiva; a prova para $(2, 5)$ exigiu a resolução de um grande problema de álgebra linear envolvendo o estabilizador de uma relação específica. Eles sugerem que recursos computacionais mais fortes poderiam gerar outros contraexemplos para outros pares $(g, n)$.

O artigo não pretende fornecer uma classificação geral para todos os $g, n$, mas sim fornece um arcabouço estrutural (Conjectura 0.4) e um método concreto para refutar a equivalência de homotopia em casos específicos onde o grupo de automorfismos é suficientemente restrito pelas relações tautológicas.