Periodic Points of Power Maps in Finite Matrix Groups and Algebras

Titel: Periodieke Punten van Machtsafbeeldingen in Eindige Matrixgroepen en -algebra's

1. Probleemstelling

Het artikel onderzoekt de dynamische systemen die worden gegenereerd door machtsafbeeldingen (power maps) op eindige algebraïsche structuren. Specifiek wordt de afbeelding $f: x \mapsto x^L$ bestudeerd, waarbij $L$ een priemgetal is ($L \neq 2$) en $L$ de orde van het onderliggende veld $q$ min 1 deelt ($L \mid q-1$).

De centrale vraag is het bepalen van de periodieke punten onder deze afbeelding voor de volgende structuren:

• $M_n(q)$: De algebra van $n \times n$ matrices over het eindige veld $\mathbb{F}_q$.
• $GL_n(q)$: De algemene lineaire groep (inverteerbare matrices).
• $Sp_{2n}(q)$: De symplectische groep.
• $U_n(q)$: De unitaire groep.

Een punt $\alpha$ is periodiek als er een $k > 1$ bestaat zodat $f^k(\alpha) = \alpha$. De auteurs willen de verhouding van het aantal periodieke punten tot het totale aantal elementen in deze groepen/algebra's begrijpen, specifiek in de limiet wanneer $q \to \infty$ onder de voorwaarde dat de $L$-adische waardering van $q-1$ constant blijft ($v_L(q-1) = c$).

Een belangrijke observatie is dat de limiet $\lim_{n \to \infty} \frac{|Per(x^L, G_n(q))|}{|G_n(q)|}$ niet altijd bestaat zonder extra voorwaarden op $q$. Daarom focust het artikel op de limiet wanneer $q \to \infty$ met een vaste $L$-adische waardering van $q-1$.

2. Methodologie

De aanpak combineert technieken uit de getaltheorie, de theorie van eindige velden, de representatietheorie van eindige groepen van Lie-type en de combinatoriek van partities.

• Karakteristieke Polynomen en Jordan-vorm: De auteurs gebruiken de classificatie van conjugatieklassen in matrixalgebra's en groepen. Een matrix is periodiek onder $x \mapsto x^L$ dan en slechts dan als alle eigenwaarden periodiek zijn en er geen nilpotente blokken zijn in de Jordan-canonieke vorm (behalve voor de nul-eigenwaarde, die een specifieke behandeling vereist).
• Telling van Irreducibele Polynomen: Een cruciale stap is het tellen van het aantal monische irreducibele polynomen over $\mathbb{F}_q$ waarvan de wortels voldoen aan de voorwaarde $\alpha^e = 1$. Hiervoor worden Lemmata 2.1, 2.2 en 2.3 bewezen, die het aantal dergelijke polynomen uitdrukken via de Möbiusfunctie en $L$-adische waarderingen.
  • Voor $M_n(q)$ en $GL_n(q)$ worden standaard irreducibele polynomen geteld.
  • Voor $Sp_{2n}(q)$ worden zelf-reciproque polynomen gebruikt.
  • Voor $U_n(q)$ worden zelf-geconjugeerde polynomen gebruikt.
• Asymptotische Analyse: De auteurs analyseren de grootte van de conjugatieklassen. Ze tonen aan dat bij het nemen van de limiet $q \to \infty$, alleen de reguliere semisimpele elementen (elementen met verschillende eigenwaarden en geen nilpotente delen) bijdragen aan de leidende term van de telling. Elementen met nilpotente blokken of herhaalde eigenwaarden dragen bij aan termen met een lagere graad in $q$ en verdwijnen dus in de limiet.
• Combinatoriek van Partities: De resultaten worden samengevat in termen van partities van het getal $\ell$ (de dimensie van de matrices). De sommatie loopt over alle mogelijke partities die de structuur van de eigenwaarden beschrijven.

3. Belangrijkste Bijdragen en Resultaten

A. Algemene Matrixalgebra en Lineaire Groep ($M_\ell(q)$ en $GL_\ell(q)$)
De auteurs bewijzen dat de limiet voor het aandeel periodieke punten gelijk is voor zowel de algebra als de groep, en wordt bepaald door de reguliere semisimpele elementen.

• Stelling 1: Voor een positief geheel getal $\ell \geq 2$ geldt:
  $$\lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, M_\ell(q))|}{|M_\ell(q)|} = \lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, GL_\ell(q))|}{|GL_\ell(q)|} = \sum_{\lambda \vdash \ell} \prod_{i=1}^r \frac{1}{(\lambda_i)^{m_i} m_i!} \frac{1}{L^{m_i} v_L(q^{\lambda_i}-1)}$$
  Hierbij loopt de som over alle partities $\lambda = (\lambda_1^{m_1}, \dots, \lambda_r^{m_r})$ van $\ell$.

B. Symplectische en Unitaire Groepen
Voor de symplectische groep $Sp_{2\ell}(q)$ en de unitaire groep $U_\ell(q)$ worden soortgelijke formules afgeleid, maar met aanpassingen voor de specifieke conjugatieklassen (zelf-reciproque en zelf-geconjugeerde polynomen).

• Stelling 2 ($Sp_{2\ell}(q)$): De limiet wordt gegeven door een som over partities die rekening houden met zowel zelf-reciproque polynomen (graad $2d_i$) als paren van niet-zelf-reciproque polynomen. De formule bevat termen met $v_L(q^{d_i}+1)$ en $v_L(q^{d'_a}-1)$.
• Stelling 3 ($U_\ell(q)$): De limiet voor de unitaire groep is identiek aan die van de symplectische groep.
  $$\lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, Sp_{2\ell}(q))|}{|Sp_{2\ell}(q)|} = \lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, U_\ell(q))|}{|U_\ell(q)|}$$
  Dit is een opmerkelijk resultaat, aangezien de structuren van deze groepen verschillend zijn, maar hun asymptotische gedrag voor periodieke punten onder machtsafbeeldingen overeenkomt.

C. Rol van Reguliere Semisimpele Elementen
Een fundamentele bevinding is dat in alle gevallen de limietwaarde uitsluitend wordt bepaald door de reguliere semisimpele elementen. Elementen met nilpotente blokken of niet-reguliere eigenwaarden dragen bij aan polynomen in $q$ met een lagere graad dan de totale dimensie van de ruimte, waardoor hun bijdrage in de limiet $q \to \infty$ verwaarloosbaar wordt.

4. Significatie en Toepassingen

• Verbinding tussen Dynamica en Algebra: Het artikel legt een brug tussen de theorie van discrete dynamische systemen (periodieke punten) en de structuurtheorie van eindige groepen van Lie-type.
• Verfijning van Bestaande Resultaten: Hoewel machtsafbeeldingen eerder zijn bestudeerd (bijv. door Chatterjee en Steinberg), biedt dit werk een precieze asymptotische analyse onder specifieke voorwaarden op $q$, wat eerder niet volledig was uitgewerkt voor deze specifieke groepen.
• Unificatie van Groepen: Het feit dat de limieten voor $Sp_{2\ell}(q)$ en $U_\ell(q)$ identiek zijn, suggereert een diepere symmetrie in de distributie van periodieke punten in deze klassen van groepen, ondanks hun verschillende definitie over verschillende velden en involutionen.
• Toepassing op Woordafbeeldingen: De resultaten zijn relevant voor het bredere onderzoeksveld van woordafbeeldingen (word maps) op groepen, een actief onderzoeksgebied in de groepentheorie en algebraïsche meetkunde.

Samenvattend biedt dit artikel een volledig wiskundig kader om het aandeel van periodieke punten in grote eindige matrixgroepen te kwantificeren, waarbij het aantoont dat dit gedrag fundamenteel wordt gestuurd door de eigenschappen van reguliere semisimpele elementen en de $L$-adische eigenschappen van het onderliggende veld.