Counting points on generic character varieties

Resumo Técnico: Contagem de Pontos em Variedades de Caracteres Genéricas

Enunciado do Problema
O artigo aborda a enumeração de pontos em variedades de caracteres associadas a grupos de superfícies com furos e classes de conjugação regular semissimples em grupos redutivos arbitrários $G$ sobre corpos finitos. Embora a geometria e a topologia das variedades de caracteres de $GL_n$ sejam bem compreendidas — graças ao trabalho fundamental de Hausel, Letellier e Rodriguez-Villegas [HRV08, HLRV11] — há uma compreensão limitada das variedades de caracteres para grupos redutivos gerais. Especificamente, os autores buscam determinar o número de pontos $\mathbb{F}_q$ tanto para variedades de caracteres multiplicativas (associadas ao grupo fundamental de uma superfície com furos) quanto para seus análogos aditivos (associados à álgebra de Lie $\mathfrak{g}$). O estudo foca em tuplas "genéricas" de classes de conjugação, uma condição que garante que as variedades sejam suaves e equidimensionais.

Metodologia
Os autores empregam uma combinação de teoria de representação de grupos finitos de tipo de Lie, teoria de Deligne-Lusztig e análise harmônica em álgebras de Lie.

1. Caso Multiplicativo:

   • O ponto de partida é a Fórmula de Massa de Frobenius, que expressa o número de pontos na variedade de representação em termos de caracteres complexos irredutíveis do grupo finito $G(\mathbb{F}_q)$.
   • Usando a suposição de que as classes de conjugação são genéricas e contêm elementos fortemente regulares, os autores aplicam um teorema de Deligne e Lusztig [DL76]. Isso restringe os caracteres contribuintes às representações da série principal.
   • A soma sobre os caracteres é reorganizada agrupando as representações em "tipos" $\tau = [L, \rho]$, onde $L$ é um grupo de endoscopia padrão (um subgrupo pseudo-Levi) e $\rho$ é um caractere irredutível do grupo de Weyl de $L$.
   • As somas de caracteres são avaliadas usando inversão de Möbius no poset de grupos de endoscopia. Um passo crucial envolve analisar os estabilizadores da ação de Frobenius no toro dual, exigindo uma mudança de base finita para garantir que certos grupos de componentes se dividam (split).

2. Caso Aditivo:

   • A variedade de caracteres aditiva é definida via a álgebra de Lie $\mathfrak{g}$ e órbitas adjuntas. O problema de contagem é abordado via um análogo aditivo da Fórmula de Massa de Frobenius, que envolve as transformadas de Fourier de funções características de órbitas adjuntas.
   • Os autores utilizam resultados de Kazhdan e Letellier [Let05] para avaliar essas transformadas de Fourier. A não-nulidade da transformada está ligada a elementos "split" na álgebra de Lie.
   • De forma semelhante ao caso multiplicativo, a soma é decomposta por "tipos" $\tau = [L, N]$, onde $L$ é um subgrupo de Levi e $N$ é uma órbita nilpotente.
   • A avaliação depende das propriedades das funções de Green e das fibras de Springer. Os autores observam que, para grupos com um fator $E_8$, uma mudança de base quadrática pode ser necessária para garantir que a contagem de pontos seja um polinômio.

Contribuições Principais e Resultados

1. Contagem Polinomial para Variedades Multiplicativas:

   • Teorema 2: Os autores provam que, para uma variedade de caracteres genérica $X$ associada a um grupo redutivo $G$, existe um inteiro positivo $r$ tal que o número de pontos $|X(\mathbb{F}_{q^{rm}}|$ é dado por um polinômio $f_X(q^{rm})$ para todo $m \geq 1$.
   • Propriedade Palindrômica: O polinômio de contagem $f_X(t)$ é mostrado como sendo palindrômico (coeficientes simétricos). Isso sugere que a variedade satisfaz uma dualidade de Poincaré "curiosa" e uma propriedade de Lefschetz difícil "curiosa", apoiando uma conjectura $P=W$ para estas variedades.
   • Componentes Conexas: O número de componentes conexas de $X$ é determinado como $|\pi_0(Z(\check{G}))|$, onde $\check{G}$ é o grupo dual de Langlands.
   • Independência: O polinômio $f_X$ depende apenas do grupo $G$, do gênero $g$ e do número de furos $n$, mas é independente das classes de conjugação genéricas específicas escolhidas.

2. Contagem Polinomial para Variedades Aditivas:

   • Teorema 6: Os autores estabelecem que a variedade de caracteres aditiva $Y$ também possui contagem polinomial, especificamente após uma mudança de base quadrática (ou seja, $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$).
   • Coeficientes Não-Negativos: Embora uma prova geral seja inexistente devido à ausência de uma ligação direta com variedades de quiver (que existe apenas para $GL_n$), evidências computacionais para grupos de posto menor que 7 sugerem que os coeficientes de $f_Y$ são não-negativos. Isso apoia a conjectura de que a cohomologia de $Y$ é pura.
   • Conectividade: A variedade aditiva $Y$ é provada como sendo conexa.

3. Fórmulas Explícitas e Exemplos:

   • O artigo fornece fórmulas de funções racionais explícitas para os polinômios de contagem $f_X$ e $f_Y$ em termos de dados de sistemas de raízes, caracteres do grupo de Weyl e polinômios de Green.
   • A Seção 7 apresenta tabelas detalhadas e polinômios explícitos para grupos de baixo posto ($GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$) e valores específicos de gênero e furos.

Significância e Alegações
O artigo afirma generalizar os resultados seminais de Hausel, Letellier e Rodriguez-Villegas do tipo $A$ ($GL_n$) para grupos redutivos arbitrários.

• Insight Estrutural: A demonstração de que variedades de caracteres genéricas possuem contagem polinomial e são palindrômicas fornece forte evidência para propriedades topológicas profundas (estrutura Hodge-Tate, dualidade de Poincaré, Lefschetz difícil) no cenário redutivo, espelhando o comportamento conhecido para $GL_n$.
• Análogo Redutivo de Polinômios de Kac: Os polinômios de contagem para as variedades aditivas são propostos como os análogos redutivos dos polinômios de Kac para quivers de formato de cometa. A não-negatividade de seus coeficientes é conjecturada, ligando a geometria das variedades de caracteres aditivas à teoria de representação de álgebras de Borcherds.
• Base para Conjecturas Futuras: Os autores observam que seus resultados fornecem os dados necessários para formular conjecturas relativas a polinômios de Hodge mistos no cenário redutivo, analogamente às fórmulas de polinômios de Macdonald conhecidas para $GL_n$. Eles enfatizam que provar a não-negatividade dos coeficientes para um $G$ geral permanece um problema aberto não trivial devido à falta de uma correspondência direta com variedades de quiver.

O trabalho depende fortemente da suposição de que o centro $Z(G)$ é conexo e que a característica do corpo é "muito boa" para $G$. Os autores reconhecem que relaxar a suposição de centro conexo complicaria as fórmulas devido aos centralizadores desconexos no grupo dual, e que a suposição de genericidade é crucial para a suavidade e equidimensionalidade das variedades.