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

Technische Samenvatting: Gemiddelde Deelbaarheid in Karaktertabellen van $GL_2(\mathbb{F}_q)$

Probleemstelling
Dit artikel onderzoekt de arithmetische eigenschappen van karaktertabellen voor de familie van eindige algemene lineaire groepen $G_q = GL_2(\mathbb{F}_q)$, waarbij $q$ varieert over oneven priemmacht-ordes. Specifiek bestuderen de auteurs de proportie vermeldingen in de karaktertabel die niet deelbaar zijn door een vaste priem $\ell$, waarbij de deelbaarheid wordt beschouwd binnen de ring van algebraïsche gehele getallen. Deze verkenning wordt gemotiveerd door recent werk van Peluse en Soundararajan over de conjectuur van Miller voor symmetrische groepen $S_N$, die vaststelde dat naarmate $N \to \infty$, bijna elke vermelding in de karaktertabel van $S_N$ deelbaar is door een vaste priem $\ell$. De centrale vraag is of een vergelijkbaar fenomeen optreedt voor $GL_2(\mathbb{F}_q)$ naarmate $q \to \infty$, of dat het gedrag significant verschilt. Daarnaast behandelt het artikel de distributie van argumenten (hoeken) van de niet nul karakterwaarden in het complexe vlak.

Methodologie
De auteurs hanteren een structurele aanpak gebaseerd op de classificatie van irreducibele complexe representaties en conjunctieklassen van $GL_2(\mathbb{F}_q)$.

1. Classificatie: De irreducibele representaties worden gecategoriseerd in vier families: één-dimensionale, hoofdserie (principal series), Steinberg-twists en cuspidale representaties. Op dezelfde wijze worden de conjunctieklassen verdeeld in vier families: scalaire, gesplitste reguliere semisimpele, elliptische en niet-semisimpele (Jordan) klassen.
2. Blokdecompositie: De karaktertabel wordt geanalyseerd als een $4 \times 4$ blokmatrix. De auteurs observeren dat de rijen die overeenkomen met één-dimensionale en Steinberg-representaties, en de kolommen die overeenkomen met scalaire en Jordan-klassen, "klein" zijn (omvang $O(q)$), wat een dichtheid van nul bijdraagt aan de totale tabelgrootte ($O(q^4)$).
3. Dominante Blokken: Het asymptotische gedrag wordt bepaald door de twee grote blokken waar de karakterwaarden over het algemeen niet nul zijn:
   • Hoofdserie-representaties geëvalueerd op gesplitste reguliere semisimpele klassen.
   • Cuspidale representaties geëvalueerd op elliptische klassen.
     De andere twee grote blokken (hoofdserie op elliptische klassen, en cuspidale op gesplitste reguliere semisimpele klassen) bestaan volledig uit nullen.
4. Deelbaarheidsanalyse: Voor de dominante niet-nul blokken nemen de karakterwaarden de vorm aan van sommen van eenheden (bijv. $\chi_1(a)\chi_2(b) + \chi_1(b)\chi_2(a)$). De auteurs maken gebruik van elementaire eigenschappen van cyclotomische polynomen en eenheden (specifiek Lemma 2.2 betreffende de deelbaarheid van $1+\zeta$) om te tellen hoe vaak deze sommen deelbaar zijn door $\ell$. Ze tonen aan dat dergelijke deelbaarheid een zeldzame gebeurtenis is, die alleen voorkomt voor een ijle verzameling parameters.
5. Angulaire Distributie: Om de distributie van argumenten aan te pakken, passen de auteurs een variant van de Weyl-criterium toe. Ze analyseren de exponentiële sommen van de karakterargumenten, waarbij zij gebruikmaken van de werking van de karaktergroep van $\mathbb{F}_q^\times$ op de verzameling van representaties om aan te tonen dat de sommen asymptotisch verdwijnen, wat equidistributie impliceert.

Belangrijkste Resultaten
Het artikel stelt de volgende kwantitatieve en asymptotische resultaten vast:

1. Deelbaarheidsasymptotica:
   Laat $N_\ell(q)$ het aantal vermeldingen in de karaktertabel van $G_q$ zijn die niet deelbaar zijn door $\ell$, en laat $M_0(q)$ het aantal nul-vermeldingen zijn. Het totaal aantal vermeldingen is $(q^2-1)^2$. De auteurs bewijzen:
   $$N_\ell(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   $$M_0(q) = \frac{q^4}{2} + O_\epsilon(q^{3+\epsilon})$$
   Bijgevolg tendereert de proportie van alle vermeldingen die niet deelbaar zijn door $\ell$ naar $1/2$:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2} = \frac{1}{2}$$
   Verder tendereert de proportie van niet-nul vermeldingen die niet deelbaar zijn door $\ell$ naar 1:
   $$\lim_{q \to \infty} \frac{N_\ell(q)}{(q^2-1)^2 - M_0(q)} = 1$$
   Dit resultaat geldt ook voor elke vaste priemmacht $\ell^r$.

2. Angulaire Equidistributie:
   Laat $P_q(I)$ de proportie van niet-nul karakterwaarden zijn waarvan de argumenten in een interval $I \subseteq [0, 2\pi]$ liggen. De auteurs bewijzen dat, naarmate $q \to \infty$, deze argumenten equidistributief worden:
   $$\lim_{q \to \infty} P_q(I) = \frac{b-a}{2\pi}$$
   voor elk interval $I = [a, b]$.

Betekenis en Claims
Het artikel claimt een fundamentele divergentie aan te tonen tussen de arithmetische statistieken van karaktertabellen voor symmetrische groepen ($S_N$) en algemene lineaire groepen ($GL_2(\mathbb{F}_q)$).

• Contrast met Symmetrische Groepen: Terwijl bijna elke vermelding in de karaktertabel van $S_N$ deelbaar is door een vaste priem $\ell$ naarmate $N \to \infty$, is de limiet voor $GL_2(\mathbb{F}_q)$ exact $1/2$. De auteurs schrijven dit verschil toe aan het feit dat de "deelbare" vermeldingen voornamelijk de nul-vermeldingen zijn, terwijl de niet-nul vermeldingen bijna nooit deelbaar zijn door $\ell$.
• Analoog aan Miller's Vraag: Het resultaat over angulaire equidistributie wordt gepresenteerd als een analoog aan de vraag van Miller over de distributie van tekens (positief versus negatief) onder de niet-nul vermeldingen in de karaktertabellen van symmetrische groepen. Aangezien karakterwaarden voor $GL_2(\mathbb{F}_q)$ over het algemeen complex zijn, wordt de "teken"-vraag vervangen door een vraag over de angulaire distributie, die de auteurs bevestigend oplossen.
• Methodologische Distinctie: De auteurs merken op dat hun bewijs steunt op de expliciete classificatie van representaties en conjunctieklassen voor $GL_2(\mathbb{F}_q)$, wat verschilt van de combinatorische partitie-methoden die gebruikt worden in de studie van symmetrische groepen.

Het artikel sluit af door open vragen te stellen over de uitbreiding van deze resultaten naar $GL_n(\mathbb{F}_q)$ voor vaste $n$ met $q \to \infty$, en voor vaste $q$ met $n \to \infty$, evenals voor andere families van eindige groepen van Lie-type.