Proportion of periodic points in reduction of polynomials

Titel en Context

Titel: Proportie van periodieke punten in de reductie van polynomen.
Auteur: Santiago Radi.
Vakgebied: Arithmetische dynamica en algebraïsche getaltheorie.
Doel: Het beantwoorden van een vraagstelling uit 2014 van Juul, Kurlberg, Madhu en Tucker over het gedrag van de verhouding van periodieke punten bij de reductie van rationale functies modulo priemidealen.

---

1. Het Probleem

Gegeven een getallenlichaam $K$ met ring van gehele getallen $\mathcal{O}_K$ en een polynoom $f \in K[x]$. Voor de meeste priemidealen $\mathfrak{p} \subset \mathcal{O}_K$ kan men de reductie $f_{\mathfrak{p}}$ beschouwen die werkt op het residuveld $\mathbb{F}_{\mathfrak{p}} = \mathcal{O}_K/\mathfrak{p}$. Omdat $\mathbb{F}_{\mathfrak{p}}$ eindig is, is elk punt ofwel periodiek ofwel strikt pre-periodiek.

De centrale vraag is: Wat is de limietinfimum van de verhouding van periodieke punten naarmate de norm van het priemideaal $N(\mathfrak{p})$ naar oneindig gaat?
$$\text{Per}_{\inf}(f, K) := \liminf_{N(\mathfrak{p}) \to +\infty} \frac{\# \text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$

Eerdere resultaten toonden aan dat voor willekeurige "willekeurige" kaarten deze verhouding vaak 0 zou moeten zijn, maar specifieke structuren (zoals Chebyshev-polynomen) kunnen afwijken. De auteurs willen een volledige classificatie geven voor polynomen.

---

2. Methodologie

De auteur combineert technieken uit de arithmetische dynamica en algebraïsche getaltheorie:

1. Iteratieve Galoisgroepen en Vaste-Puntenproportie (FPP):
   De auteur maakt gebruik van de theorie van iteratieve Galoisgroepen $G_{\infty}(C, f, t)$. Een cruciale ongelijkheid (uit eerdere werken van Juul et al.) stelt dat:
   $$\text{Per}_{\inf}(f, K) \leq \text{FPP}(G_{\infty}(C, f, t))$$
   waarbij FPP de proportie van elementen in de Galoisgroep is die ten minste één vast punt hebben in elke iteratie. Recent werk van Fariña-Asategui en de auteur classificeerde deze FPP-waarden voor polynomen over algebraïsch gesloten velden.

2. Lineaire Conjugatie:
   Het gedrag van $f$ wordt geanalyseerd in relatie tot Chebyshev-polynomen $T_d$. Als $f$ lineair geconjugeerd is over $\mathbb{C}$ aan $\pm T_d$, dan is de FPP positief; anders is deze 0.

3. Expliciete Berekening voor Chebyshev-gevallen:
   Voor het geval dat $f$ geconjugeerd is aan $T_d$, wordt de verhouding direct berekend door gebruik te maken van de commutatieve diagrammen die $T_d$ relateren aan de machtsfunctie $g(x) = x^d$. Dit leidt tot een formule die afhankelijk is van de grootste deler van $N(\mathfrak{p}) \pm 1$ die copriem is met $d$.

4. Getaltheoretische Analyse (Chebotarev):
   Om de limietinfimum te bepalen, gebruikt de auteur de stelling van Chebotarev om priemidealen te construeren met specifieke eigenschappen van hun normen $N(\mathfrak{p})$. De analyse richt zich op de relatie tussen de priemfactoren van de graad $d$ en de maximale orde $m_K$ van de eenheidswortels in $K$.

---

3. Belangrijkste Bijdragen en Resultaten

De paper levert een volledige classificatie van $\text{Per}_{\inf}(f, K)$ voor elke polynoom $f$ over een getallenlichaam $K$. De resultaten worden samengevat in Stelling 1:

A. Niet-Chebyshev Gevallen

• Als de graad $d=0$, is de verhouding 0.
• Als de graad $d=1$, is de verhouding 1 (elk punt is periodiek).
• Als $d \geq 2$ en $f$ niet lineair geconjugeerd is over $\mathbb{C}$ aan $\pm T_d$ (de Chebyshev-polynoom), dan is:
  $$\text{Per}_{\inf}(f, K) = 0$$
  Dit bevestigt dat voor "meeste" polynomen de verhouding van periodieke punten verwaarloosbaar klein wordt bij grote priemmoduli.

B. Chebyshev Gevallen ($f$ geconjugeerd aan $\pm T_d$)

De waarde hangt af van de graad $d$ en de getallenlichaam $K$ (specifiek via $m_K$, de grootste orde van een eenheidswortel in $K$). Laat $\text{rad}(n)$ het product zijn van de verschillende priemfactoren van $n$.

1. $d$ heeft minstens twee priemfactoren:

   • Als $\text{rad}(d) \nmid \text{rad}(m_K)$ (er is een priemfactor van $d$ die $m_K$ niet deelt): 0.
   • Als $d$ oneven is en $\text{rad}(d) \mid \text{rad}(m_K)$: 1/2.
   • Als $d$ even is, $\text{rad}(d) \mid \text{rad}(m_K)$ en $v_2(m_K) \geq 2$ (4 deelt $m_K$): 1/4.
   • Als $d$ even is, $\text{rad}(d) \mid \text{rad}(m_K)$ en $v_2(m_K) = 1$ (2 deelt $m_K$, maar 4 niet): 0.

2. $d$ is een priemmacht ($p^k$):

   • Als $d$ oneven is: 1/2.
   • Als $d$ even is: 1/4.

Specifiek Geval: $K = \mathbb{Q}$

Voor rationale getallen is $m_K = 2$. Dit vereenvoudigt de classificatie (Corollarium 2):

• $d=1$: 1.
• $d$ is een oneven priemmacht en geconjugeerd aan $\pm T_d$: 1/2.
• $d$ is een even priemmacht en geconjugeerd aan $\pm T_d$: 1/4.
• Alle andere gevallen: 0.

---

4. Significatie

1. Volledige Classificatie: Dit artikel sluit een belangrijk open probleem af door een volledige classificatie te geven voor polynomen. Het lost de vraag op die in 2014 werd gesteld en bouwt voort op eerdere resultaten voor kwadratische polynomen en specifieke gevallen.
2. Verband tussen Dynamica en Getaltheorie: Het werk illustreert diepgaande connecties tussen het dynamische gedrag van polynomen (periodieke punten) en de arithmetische structuur van het onderliggende getallenlichaam (eenheidswortels en priemidealen).
3. Rol van Chebyshev-polynomen: Het bevestigt dat Chebyshev-polynomen (en hun lineaire conjugaten) de uitzonderingen zijn die een positieve limietinfimum hebben. Alle andere polynomen van graad $\geq 2$ die niet tot deze familie behoren, hebben een limietinfimum van 0.
4. Open Vragen voor Rationale Functies: Hoewel de classificatie voor polynomen compleet is, blijft het probleem open voor algemene rationale functies ($f \in K(x)$). De auteurs wijzen erop dat Lattès-kaarten een interessante, maar nog onopgeloste categorie vormen.

Samenvattend biedt dit artikel een fundamenteel inzicht in hoe de "chaos" van dynamische systemen zich gedraagt bij reductie modulo priemgetallen, en identificeert het de specifieke algebraïsche structuren die nodig zijn om een significante hoeveelheid periodieke punten te behouden.