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

Sintesi Tecnica: Media della Divisibilità nelle Tavole dei Caratteri di $GL_2(\mathbb{F}_q)$

Enunciato del Problema
Questo articolo investiga le proprietà aritmetiche delle tavole dei caratteri per la famiglia dei gruppi lineari generali finiti $G_q = GL_2(\mathbb{F}_q)$, dove $q$ varia su potenze di primi dispari. Nello specifico, gli autori studiano la proporzione di voci nella tavola dei caratteri che non sono divisibili per un primo fissato $\ell$, considerando la divisibilità all'interno dell'anello degli interi algebrici. Questa indagine è motivata dal recente lavoro di Peluse e Soundararajan sulla congettura di Miller per i gruppi simmetrici $S_N$, il quale ha stabilito che quando $N \to \infty$, quasi ogni voce nella tavola dei caratteri di $S_N$ è divisibile per un qualsiasi primo fissato $\ell$. La questione centrale è se un fenomeno simile si verifichi per $GL_2(\mathbb{F}_q)$ quando $q \to \infty$, o se il comportamento differisca significativamente. Inoltre, l'articolo affronta la distribuzione degli argomenti (angoli) dei valori dei caratteri non nulli nel piano complesso.

Metodologia
Gli autori impiegano un approccio strutturale basato sulla classificazione delle rappresentazioni complesse irriducibili e delle classi di coniugazione di $GL_2(\mathbb{F}_q)$.

1. Classificazione: Le rappresentazioni irriducibili sono categorizzate in quattro famiglie: unidimensionali, serie principale, twist di Steinberg e cuspidali. Similmente, le classi di coniugazione sono divise in quattro famiglie: scalari, regolari semisimplesi scisse, ellittiche e non semisimplesi (Jordan).
2. Decomposizione a Blocchi: La tavola dei caratteri viene analizzata come una matrice a blocchi $4 \times 4$. Gli autori osservano che le righe corrispondenti alle rappresentazioni unidimensionali e di Steinberg, e le colonne corrispondenti alle classi scalari e di Jordan, sono "piccole" (dimensione $O(q)$), contribuendo con una densità nulla alla dimensione totale della tavola ($O(q^4)$).
3. Blocchi Dominanti: Il comportamento asintotico è determinato dai due grandi blocchi dove i valori dei caratteri sono generalmente non nulli:
   • Rappresentazioni della serie principale valutate su classi semisimplesi regolari scisse.
   • Rappresentazioni cuspidali valutate su classi ellittiche.
     Gli altri due grandi blocchi (Serie principale su classi ellittiche, e Cuspidali su classi semisimplesi regolari scisse) consistono interamente di zeri.
4. Analisi della Divisibilità: Per i blocchi dominanti non nulli, i valori dei caratteri assumono la forma di somme di radici dell'unità (ad esempio, $\chi_1(a)\chi_2(b) + \chi_1(b)\chi_2(a)$). Gli autori utilizzano proprietà elementari dei polinomi ciclotomici e delle radici dell'unità (specificamente il Lemma 2.2 riguardante la divisibilità di $1+\zeta$) per contare quanto spesso tali somme siano divisibili per $\ell$. Essi dimostrano che tale divisibilità è un evento raro, che si verifica solo per un insieme sparso di parametri.
5. Distribuzione Angolare: Per affrontare la distribuzione degli argomenti, gli autori applicano una variante del criterio di Weyl. Analizzano le somme esponenziali degli argomenti dei caratteri, utilizzando l'azione del gruppo dei caratteri di $\mathbb{F}_q^\times$ sull'insieme delle rappresentazioni per mostrare che le somme svaniscono asintoticamente, implicando l'equidistribuzione.

Risultati Chiave
L'articolo stabilisce i seguenti risultati quantitativi e asintotici:

1. Asintotica della Divisibilità:
   Sia $N_\ell(q)$ il numero di voci nella tavola dei caratteri di $G_q$ non divisibili per $\ell$, e sia $M_0(q)$ il numero di voci nulle. Il numero totale di voci è $(q^2-1)^2$. Gli autori dimostrano che:
   $$N_\ell(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   $$M_0(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   Di conseguenza, la proporzione di tutte le voci non divisibili per $\ell$ tende a $1/2$:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2} = \frac{1}{2}$$
   Inoltre, la proporzione di voci non nulle non divisibili per $\ell$ tende a 1:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$
   Questo risultato è valido anche per qualsiasi potenza di primo fissato $\ell^r$.

2. Equidistribuzione Angolare:
   Sia $P_q(I)$ la proporzione di valori dei caratteri non nulli i cui argomenti giacciono in un intervallo $I \subseteq [0, 2\pi]$. Gli autori dimostrano che, quando $q \to \infty$, questi argomenti diventano equidistribuiti:
   $$\lim_{q \to \infty} P_q(I) = \frac{b-a}{2\pi}$$
   per ogni intervallo $I = [a, b]$.

Significato e Rivendicazioni
L'articolo sostiene di dimostrare una divergenza fondamentale tra le statistiche aritmetiche delle tavole dei caratteri dei gruppi simmetrici ($S_N$) e dei gruppi lineari generali ($GL_2(\mathbb{F}_q)$).

• Contrasto con i Gruppi Simmetrici: Mentre quasi ogni voce nella tavola dei caratteri di $S_N$ è divisibile per un primo fissato $\ell$ quando $N \to \infty$, il limite per $GL_2(\mathbb{F}_q)$ è esattamente $1/2$. Gli autori attribuiscono questa differenza al fatto che le voci "divisibili" sono prevalentemente le voci nulle, mentre le voci non nulle sono quasi mai divisibili per $\ell$.
• Analogo della Domanda di Miller: Il risultato di equidistribuzione angolare è presentato come un analogo alla domanda di Miller riguardante la distribuzione dei segni (positivi vs negativi) tra le voci non nulle nelle tavole dei caratteri dei gruppi simmetrici. Poiché i valori dei caratteri per $GL_2(\mathbb{F}_q)$ sono generalmente complessi, la questione del "segno" è sostituita da una questione di distribuzione angolare, che gli autori risolvono affermativamente.
• Distinzione Metodologica: Gli autori notano che la loro prova si basa sulla classificazione esplicita delle rappresentazioni e delle classi di coniugazione per $GL_2(\mathbb{F}_q)$, differenziandosi dai metodi combinatori di partizione utilizzati nello studio dei gruppi simmetrici.

L'articolo conclude ponendo domande aperte riguardanti l'estensione di questi risultati a $GL_n(\mathbb{F}_q)$ per $n$ fissato con $q \to \infty$, e per $q$ fisso con $n \to \infty$, nonché per altre famiglie di gruppi di tipo Lie.