Average divisibility in character tables of $\mathrm{GL}_2(\mathbb{F}_q)$

Resumo Técnico: Divisibilidade Média em Tabelas de Caracteres de $GL_2(\mathbb{F}_q)$

Enunciado do Problema
Este artigo investiga as propriedades aritméticas das tabelas de caracteres para a família de grupos lineares gerais finitos $G_q = GL_2(\mathbb{F}_q)$, onde $q$ varia sobre potências de primos ímpares. Especificamente, os autores estudam a proporção de entradas na tabela de caracteres que não são divisíveis por um primo fixo $\ell$, considerando a divisibilidade dentro do anel de inteiros algébricos. Esta investigação é motivada pelo trabalho recente de Peluse e Soundararajan sobre a conjectura de Miller para grupos simétricos $S_N$, que estabeleceu que, conforme $N \to \infty$, quase toda entrada na tabela de caracteres de $S_N$ é divisível por qualquer primo fixo $\ell$. A questão central é se um fenômeno semelhante ocorre para $GL_2(\mathbb{F}_q)$ conforme $q \to \infty$, ou se o comportamento difere significativamente. Além disso, o artigo aborda a distribuição dos argumentos (ângulos) dos valores de caracteres não nulos no plano complexo.

Metodologia
Os autores empregam uma abordagem estrutural baseada na classificação de representações complexas irredutíveis e classes de conjugação de $GL_2(\mathbb{F}_q)$.

1. Classificação: As representações irredutíveis são categorizadas em quatro famílias: unidimensionais, série principal, torções de Steinberg e cuspidais. Da mesma forma, as classes de conjugação são divididas em quatro famílias: escalares, regular semissimples partida, elíptica e não semissimples (Jordan).
2. Decomposição em Blocos: A tabela de caracteres é analisada como uma matriz de blocos $4 \times 4$. Os autores observam que as linhas correspondentes às representações unidimensionais e de Steinberg, e as colunas correspondentes às classes escalares e de Jordan, são "pequenas" (tamanho $O(q)$), contribuindo com uma densidade zero para o tamanho total da tabela ($O(q^4)$).
3. Blocos Dominantes: O comportamento assintótico é determinado pelos dois grandes blocos onde os valores dos caracteres são geralmente não nulos:
   • Representações da série principal avaliadas em classes regular semissimples partidas.
   • Representações cuspidais avaliadas em classes elípticas.
     Os outros dois grandes blocos (Série principal em classes elípticas, e Cuspidais em classes regular semissimples partidas) consistem inteiramente de zeros.
4. Análise de Divisibilidade: Para os blocos não nulos dominantes, os valores dos caracteres assumem a forma de somas de raízes da unidade (por exemplo, $\chi_1(a)\chi_2(b) + \chi_1(b)\chi_2(a)$). Os autores utilizam propriedades elementares de polinômios ciclotômicos e raízes da unidade (especificamente o Lema 2.2 referente à divisibilidade de $1+\zeta$) para contar com que frequência tais somas são divisíveis por $\ell$. Eles mostram que tal divisibilidade é um evento raro, ocorrendo apenas para um conjunto esparso de parâmetros.
5. Distribuição Angular: Para abordar a distribuição dos argumentos, os autores aplicam uma variante do critério de Weyl. Eles analisam as somas exponenciais dos argumentos dos caracteres, utilizando a ação do grupo de caracteres de $\mathbb{F}_q^\times$ sobre o conjunto de representações para mostrar que as somas desaparecem assintoticamente, implicando equidistribuição.

Principais Resultados
O artigo estabelece os seguintes resultados quantitativos e assintóticos:

1. Assintótica de Divisibilidade:
   Seja $N_\ell(q)$ o número de entradas na tabela de caracteres de $G_q$ não divisíveis por $\ell$, e seja $M_0(q)$ o número de entradas zero. O número total de entradas é $(q^2-1)^2$. Os autores provam:
   $$N_\ell(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   $$M_0(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   Consequentemente, a proporção de todas as entradas não divisíveis por $\ell$ tende a $1/2$:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2} = \frac{1}{2}$$
   Além disso, a proporção de entradas não nulas não divisíveis por $\ell$ tende a 1:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$
   Este resultado mantém-se para qualquer potência de primo $\ell^r$ fixa também.

2. Equidistribuição Angular:
   Seja $P_q(I)$ a proporção de valores de caracteres não nulos cujos argumentos residem em um intervalo $I \subseteq [0, 2\pi]$. Os autores provam que, conforme $q \to \infty$, esses argumentos tornam-se equidistribuídos:
   $$\lim_{q \to \infty} P_q(I) = \frac{b-a}{2\pi}$$
   para qualquer intervalo $I = [a, b]$.

Significado e Alegações
O artigo afirma demonstrar uma divergência fundamental entre as estatísticas aritméticas das tabelas de caracteres dos grupos simétricos ($S_N$) e dos grupos lineares gerais ($GL_2(\mathbb{F}_q)$).

• Contraste com Grupos Simétricos: Enquanto quase toda entrada na tabela de caracteres de $S_N$ é divisível por um primo fixo $\ell$ quando $N \to \infty$, o limite para $GL_2(\mathbb{F}_q)$ é exatamente $1/2$. Os autores atribuem essa diferença ao fato de que as entradas "divisíveis" são predominantemente as entradas zero, enquanto as entradas não nulas quase nunca são divisíveis por $\ell$.
• Análogo à Questão de Miller: O resultado de equidistribuição angular é apresentado como um análogo à questão de Miller sobre a distribuição de sinais (positivo vs. negativo) entre as entradas não nulas nas tabelas de caracteres de grupos simétricos. Como os valores dos caracteres para $GL_2(\mathbb{F}_q)$ são geralmente complexos, a questão do "sinal" é substituída por uma questão de distribuição angular, que os autores resolvem afirmativamente.
• Distinção Metodológica: Os autores observam que sua prova depende da classificação explícita de representações e classes de conjugação para $GL_2(\mathbb{F}_q)$, diferindo dos métodos combinatórios de partições usados no estudo de grupos simétricos.

O artigo conclui propondo questões abertas relativas à extensão destes resultados para $GL_n(\mathbb{F}_q)$ para $n$ fixo com $q \to \infty$, e para $q$ fixo com $n \to \infty$, bem como para outras famílias de grupos de Lie tipo finito.