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

Technisches Resümee: Durchschnittliche Teilbarkeit in Charaktertabellen von $GL_2(\mathbb{F}_q)$

Problemstellung
Diese Arbeit untersucht die arithmetischen Eigenschaften der Charaktertabellen der Familie der endlichen allgemeinen linearen Gruppen $G_q = GL_2(\mathbb{F}_q)$, wobei $q$ über ungerade Primersächtskräfte variiert. Konkret untersuchen die Autoren den Anteil der Einträge in der Charaktertafel, die nicht durch eine feste Primzahl $\ell$ teilbar sind, wobei die Teilbarkeit innerhalb des Rings der algebraischen ganzen Zahlen betrachtet wird. Diese Untersuchung ist motiviert durch die jüngere Arbeit von Peluse und Soundararajan zu Millers Vermutung für symmetrische Gruppen $S_N$, welche etablierte, dass für $N \to \infty$ fast jeder Eintrag in der Charaktertafel von $S_N$ durch jede feste Primzahl $\ell$ teilbar ist. Die zentrale Frage ist, ob ein ähnliches Phänomen für $GL_2(\mathbb{F}_q)$ gilt, wenn $q \to \infty$, oder ob sich das Verhalten signifikant unterscheidet. Zusätzlich befasst sich die Arbeit mit der Verteilung der Argumente (Winkel) der nicht-nullen Charakterwerte in der komplexen Ebene.

Methodik
Die Autoren verwenden einen strukturellen Ansatz basierend auf der Klassifizierung irreduzibler komplexer Darstellungen und Konjugationsklassen von $GL_2(\mathbb{F}_q)$.

1. Klassifizierung: Die irreduziblen Darstellungen werden in vier Familien unterteilt: eindimensionale, Principal-Serie, Steinberg-Twists und Cuspidal-Darstellungen. Ähnlich werden die Konjugationsklassen in vier Familien unterteilt: skalare, gesplitterte reguläre semisimple, elliptische und nicht-semisimple (Jordan) Klassen.
2. Blockzerlegung: Die Charaktertafel wird als $4 \times 4$ Blockmatrix analysiert. Die Autoren beobachten, dass die Zeilen, die den eindimensionalen und Steinberg-Darstellungen entsprechen, sowie die Spalten, die den skalaren und Jordan-Klassen entsprechen, „klein“ sind (Größe $O(q)$) und somit einen Dichteanteil von Null zur Gesamtgröße der Tafel ($O(q^4)$) beitragen.
3. Dominante Blöcke: Das asymptotische Verhalten wird durch die zwei großen Blöcke bestimmt, in denen die Charakterwerte im Allgemeinen ungleich Null sind:
   • Principal-Serien-Darstellungen evaluiert auf gesplitterten regulären semisimplen Klassen.
   • Cuspidal-Darstellungen evaluiert auf elliptischen Klassen.
     Die anderen beiden großen Blöcke (Principal-Serien auf elliptischen Klassen sowie Cuspidal auf gesplitterten regulären semisimplen Klassen) bestehen vollständig aus Nullen.
4. Analyse der Teilbarkeit: Für die dominanten, nicht-nullen Blöcke nehmen die Charakterwerte die Form von Summen von Einheitswurzeln an (z. B. $\chi_1(a)\chi_2(b) + \chi_1(b)\chi_2(a)$). Die Autoren nutzen elementare Eigenschaften von Kreisteilungspolynomen und Einheitswurzeln (speziell Lemma 2.2 bezüglich der Teilbarkeit von $1+\zeta$), um zu zählen, wie oft diese Summen durch $\ell$ teilbar sind. Sie zeigen, dass eine solche Teilbarkeit ein seltenes Ereignis ist, das nur für eine spärliche Menge von Parametern auftritt.
5. Winkelverteilung: Um die Verteilung der Argumente zu adressieren, wenden die Autoren ein Varianten-Weyl-Kriterium an. Sie analysieren die Exponentialsummen der Charakterargumente und nutzen die Wirkung der Charaktergruppe von $\mathbb{F}_q^\times$ auf die Menge der Darstellungen, um zu zeigen, dass die Summen asymptotisch verschwinden, was eine Gleichverteilung impliziert.

Wesentliche Ergebnisse
Die Arbeit etabliert folgende quantitative und asymptotische Resultate:

1. Asymptotik der Teilbarkeit:
   Sei $N_\ell(q)$ die Anzahl der Einträge in der Charaktertafel von $G_q$, die nicht durch $\ell$ teilbar sind, und sei $M_0(q)$ die Anzahl der Null-Einträge. Die Gesamtzahl der Einträge ist $(q^2-1)^2$. Die Autoren beweisen:
   $$N_\ell(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   $$M_0(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   Folglich tendiert der Anteil aller Einträge, die nicht durch $\ell$ teilbar sind, gegen $1/2$:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2} = \frac{1}{2}$$
   Darüber hinaus tendiert der Anteil der nicht-nullen Einträge, die nicht durch $\ell$ teilbar sind, gegen 1:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$
   Dieses Resultat gilt auch für jede feste Primzahlpotenz $\ell^r$.

2. Winkel-Äquidistribution:
   Sei $P_q(I)$ der Anteil der nicht-nullen Charakterwerte, deren Argumente in einem Intervall $I \subseteq [0, 2\pi]$ liegen. Die Autoren beweisen, dass diese Argumente bei $q \to \infty$ äquidistributiv werden:
   $$\lim_{q \to \infty} P_q(I) = \frac{b-a}{2\pi}$$
   für jedes Intervall $I = [a, b]$.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine fundamentale Divergenz zwischen den arithmetischen Statistiken der Charaktertabellen symmetrischer Gruppen ($S_N$) und allgemeiner linearer Gruppen ($GL_2(\mathbb{F}_q)$) aufzuzeigen.

• Kontrast zu symmetrischen Gruppen: Während fast jeder Eintrag in der Charaktertafel von $S_N$ für $N \to \infty$ durch eine feste Primzahl $\ell$ teilbar ist, liegt der Grenzwert für $GL_2(\mathbb{F}_q)$ exakt bei $1/2$. Die Autoren führen diesen Unterschied darauf zurück, dass die „teilbaren“ Einträge vornehmlich die Null-Einträge sind, während die nicht-nullen Einträge fast nie durch $\ell$ teilbar sind.
• Analogon zu Millers Frage: Das Ergebnis der Winkel-Äquidistribution wird als Analogon zu Millers Frage bezüglich der Verteilung der Vorzeichen (positiv vs. negativ) unter den nicht-nullen Einträgen in den Charaktertafeln symmetrischer Gruppen präsentiert. Da die Charakterwerte für $GL_2(\mathbb{F}_q)$ im Allgemeinen komplex sind, wird die „Vorzeichen“-Frage durch eine Frage der Winkelverteilung ersetzt, welche die Autoren positiv beantworten.
• Methodische Unterscheidung: Die Autoren merken an, dass ihr Beweis auf der expliziten Klassifizierung von Darstellungen und Konjugationsklassen für $GL_2(\mathbb{F}_q)$ beruht, was sich von den kombinatorischen Partitionsmethoden unterscheidet, die in der Untersuchung symmetrischer Gruppen verwendet werden.

Die Arbeit schließt mit der Formulierung offener Fragen hinsichtlich der Erweiterung dieser Ergebnisse auf $GL_n(\mathbb{F}_q)$ für festes $n$ mit $q \to \infty$, sowie für festes $q$ mit $n \to \infty$, sowie für andere Familien endlicher Gruppen vom Lie-Typ.