Ties in function field prime race

Titel: Ties in function field prime race (Gelijkheden in de race van priemgetallen in functielichamen)

Auteurs: Graeme Bates, Ryan Jesubalan, Seewoo Lee, Jane Lu, en Hyewon Shim.

1. Probleemstelling en Context

Het artikel onderzoekt het fenomeen van Chebyshev's bias (Chebyshev's vooroordeel) binnen de context van functielichamen (function fields), specifiek over eindige velden $\mathbb{F}_q[T]$.

• Achtergrond: In de klassieke getaltheorie observeerde Chebyshev (1853) dat er doorgaans meer priemgetallen van de vorm $4n+3$ zijn dan van de vorm $4n+1$. Littlewood bewees later dat dit verschil van teken wisselt, maar Rubinstein en Sarnak toonden onder de aanname van de "Linear Independence conjecture" (LI) aan dat er een statistische bias bestaat.
• Functielichamen: Cha (2014) onderzocht dit fenomeen voor polynomen over eindige velden. Hij bewees dat er een bias bestaat naar niet-kwadratische resten, mits de "Grand Simplicity Hypothesis" (GSH) geldt voor Dirichlet $L$-functies. Echter, in functielichamen is GSH niet altijd waar; er zijn voorbeelden van bias in onverwachte richtingen.
• De Kernvraag: Dit artikel focust op een specifiek aspect: gelijkheden (ties). Wanneer zijn de aantallen irreducibele monische polynomen van graad $N$ in twee verschillende congruentieklassen $a$ en $b$ exact gelijk?
  $$\pi(a, m, N) = \pi(b, m, N)$$
  De auteurs zoeken naar oneindig veel voorbeelden van moduli $m$ en klassen $a, b$ waarbij deze gelijkheid geldt voor oneindig veel $N$, vaak onder specifieke congruentievoorwaarden op $N$.

2. Methodologie

De auteurs presenteren twee fundamenteel verschillende methoden om deze gelijkheden (ties) te bewijzen:

Methode 1: Expliciete Formules en Galois-conjugatie

Deze methode maakt gebruik van de expliciete formules voor het tellen van priemgetallen in functielichamen, gerelateerd aan de nulpunten van Dirichlet $L$-functies.

• Matrix-Möbius Inversie: De auteurs leiden een exacte formule af voor $\pi(a, m, N)$ door een matrixversie van de Möbius-inversie toe te passen op de relatie tussen de tellende functie en de $L$-functies.
• Galois-conjugatie: De gelijkheden ontstaan wanneer de nulpunten van de bijbehorende $L$-polynomen (die in cyclische velden liggen) "uitzonderlijke" Galois-conjugaten zijn. Als de sporen (traces) van de machten van deze nulpunten voor verschillende klassen gelijk zijn, dan zijn de aantallen priemgetallen gelijk.
• Techniek: Ze gebruiken de eigenschappen van de karaktergroepen en de orthogonaliteit van karakteren om de sommen te vereenvoudigen en voorwaarden af te leiden waarbij de termen die de bias veroorzaken, elkaar opheffen.

Methode 2: Expliciete Bijeities via $GL_2(\mathbb{F}_q)$-acties

Deze methode is constructief en gebruikt de symmetrieën van het polynoomring.

• Actie: Ze definiëren een actie van de groep $GL_2(\mathbb{F}_q)$ op de verzameling van polynomen. Voor een matrix $B \in GL_2(\mathbb{F}_q)$ en een polynoom $f$ van graad $N$, wordt een getransformeerd polynoom $f|_N B$ gedefinieerd.
• Bijjectie: Als de modulus $m$ invariant is onder deze actie (of een veelvoud daarvan), induceert de afbeelding $f \mapsto f|_N B$ een bijjectie tussen de verzameling van irreducibele polynomen in congruentieklasse $c$ en die in klasse $c|_N B$.
• Moniciteit: Een cruciale technische uitdaging is dat deze transformatie niet altijd monische polynomen behoudt. De auteurs identificeren specifieke gevallen (bijvoorbeeld in karakteristiek 2 of met specifieke matrices) waar de moniciteit behouden blijft, waardoor een directe bijjectie tussen de monische priemgetallen ontstaat.

3. Belangrijkste Resultaten en Voorbeelden

De auteurs leveren oneindig veel families van voorbeelden waar ties optreden, vaak afhankelijk van de graad $N$ modulo een bepaald getal. Enkele opvallende resultaten zijn:

• Voorbeeld 1: $m = T^3 + T + 1$ in $\mathbb{F}_2[T]$

  • Voor $N \equiv 1 \pmod 7$ gelden de volgende gelijkheden:
    $$\pi(1, m, N) = \pi(T, m, N) = \pi(T+1, m, N)$$
    $$\pi(T^2, m, N) = \pi(T^2+T, m, N) = \pi(T^2+T+1, m, N)$$
  • Dit wordt verklaard door de Galois-conjugatie van de nulpunten van de $L$-functie en bevestigd door de $GL_2$-actie met een specifieke matrix.

• Voorbeeld 2: $m = T^2 + T + 1$ in $\mathbb{F}_2[T]$

  • Er worden ties gevonden afhankelijk van $N \pmod 3$. Bijvoorbeeld, voor $N \equiv 1 \pmod 3$ geldt $\pi(1, m, N) = \pi(T, m, N)$.

• Voorbeeld 3: Karakteristiek 2 en 3

  • De resultaten zijn geldig voor zowel even als oneven karakteristieken. Ze behandelen gevallen zoals $m = T^2 + 1$ in $\mathbb{F}_3[T]$ en $m = T^2$ in $\mathbb{F}_p[T]$.
  • In het geval $m = T^2$ in $\mathbb{F}_2[T]$ wordt aangetoond dat er een consistente bias is naar $T+1$ voor even $N > 2$, terwijl er gelijkheid is voor oneven $N$.

• Cumulatieve Ties:

  • De auteurs vermoeden dat gelijkheden in de cumulatieve telling (som van $\pi(a, m, n)$ voor $n=1$ tot $N$) zeer zeldzaam zijn. Ze formuleren de Conjecture 5.1: Er zijn slechts eindig veel $N$ waarbij de cumulatieve tellingen gelijk zijn.

4. Significatie en Bijdrage

• Unieke Benadering: Het artikel is uniek omdat het twee volledig verschillende methoden (analytisch via $L$-functies en algebraïsch via groepswerking) gebruikt om hetzelfde fenomeen te bestuderen. Dit biedt een dieper inzicht in de onderliggende structuren van priemverdelingen in functielichamen.
• Constructieve Bewijzen: De methode met $GL_2$-acties biedt een constructief bewijs voor gelijkheden zonder afhankelijk te zijn van de verdeling van nulpunten van $L$-functies, wat een sterk alternatief is voor de analytische aanpak.
• Verbinding tussen Gebieden: Het werk verbindt de theorie van Chebyshev's bias, de theorie van Dirichlet $L$-functies over functielichamen, en de representatietheorie van lineaire groepen.
• Praktische Toepassing: De auteurs hebben Sage-code beschikbaar gesteld om deze formules te implementeren en tabellen te genereren, wat reproduceerbaarheid en verdere experimentele wiskunde mogelijk maakt.

Conclusie

Dit artikel toont aan dat "ties" in de race van priemgetallen in functielichamen geen toeval zijn, maar het gevolg zijn van diepe algebraïsche symmetrieën (Galois-conjugatie) en groepswerkingen. Hoewel Chebyshev's bias vaak leidt tot een dominante klasse, zijn er specifieke moduli en graden waarbij de verdeling perfect symmetrisch is. De auteurs suggereren dat deze symmetrieën vaak makkelijker te vinden zijn via de $GL_2$-actie dan via het analyseren van de nulpunten van $L$-functies.