On a level analog of Selberg's result on $S(t)$

1. Probleemstelling en Context

Het artikel richt zich op de statistische verdeling van het argument van $L$-functies, specifiek voor holomorfe Hecke-klokvormen (cusp forms) van gewicht 2 en priemniveau $q$.

• Achtergrond: De auteurs bouwen voort op het klassieke werk van Selberg over de functie $S(T) = \frac{1}{\pi} \arg \zeta(\frac{1}{2} + iT)$, die het aantal nulpunten van de Riemann-zetfunctie beschrijft. Selberg bewees dat de momenten van $S(T)$ asymptotisch gedragen als $(\log \log T)^{n/2}$, wat impliceert dat $S(T)$ een normale verdeling volgt met variantie $\frac{1}{2\pi^2} \log \log T$.
• Bestaande resultaten: Er zijn reeds analogieën bewezen voor Dirichlet $L$-functies (in het niveau-aspect) en voor $L$-functies geassocieerd met Hecke-Maass-klokvormen (in het spectrale en gewicht-aspect), vaak onder de aanname van de Algemene Riemann-hypothese (GRH) of met beperkingen.
• Het specifieke probleem: Het doel van dit artikel is een onvoorwaardelijke (unconditional) asymptotische formule te bewijzen voor de momenten van $S(t, f) := \frac{1}{\pi} \arg L(\frac{1}{2} + it, f)$, waarbij $f$ een holomorfe Hecke-klokvorm is van gewicht 2 en niveau $q$ (een groot priemgetal). Dit is een "niveau-aspect" analogon van Selbergs resultaat, zonder de GRH aan te nemen.

2. Methodologie

De auteurs hanteren een geavanceerde analytische getaltheoretische aanpak die bestaat uit de volgende kernstappen:

1. Benadering via Dirichlet-reeksen:
   Ze benaderen de functie $S(t, f)$ door een afgekapt Dirichlet-polynoom. Hiervoor gebruiken ze een geïntegreerde versie van de logaritmische afgeleide van de $L$-functie, $-\frac{L'}{L}(s, f)$. Door een geschikte truncatieparameter $x$ te kiezen (afhankelijk van $q$), wordt $S(t, f)$ geschreven als een hoofdterm $M(t, f)$ (een som over priemgetallen) plus een restterm $R(t, f)$.

2. Gewogen Momentenberekening:
   In plaats van een simpele som over de basis $H_2(q)$, gebruiken de auteurs een harmonische gewicht $\omega_f$. Dit gewicht is gedefinieerd via de Petersson-innere product en is gerelateerd aan $L(1, \text{sym}^2 f)$. Dit maakt het mogelijk om de orthogonaliteitsrelaties van de Petersson-traceformule (Lemma 2.2) effectief toe te passen om kruistermen te elimineren.

3. Analyse van de Restterm:
   Een cruciaal onderdeel is het bewijzen dat de restterm $R(t, f)$ verwaarloosbaar is in de momentenberekening. Hiervoor gebruiken ze:

   • Dichtheidsresultaten: Een gewogen nul-dichtheidsraming (Lemma 2.4, gebaseerd op Kowalski-Michel) om het aantal nulpunten van $L(s, f)$ dicht bij de kritieke lijn te controleren.
   • Schattingslemmas: Ze tonen aan dat de bijdrage van de restterm tot de $2n$-de momenten $O(1)$ is, terwijl de hoofdterm groeit als $(\log \log q)^n$.

4. Combinatoriek en Hecke-relaties:
   Voor de berekening van de momenten van de hoofdterm $M(t, f)$ gebruiken ze de multiplicatieve eigenschappen van de Fourier-coëfficiënten $\lambda_f(n)$ (Hecke-relaties). Door de sommen te ontwikkelen, identificeren ze welke termen bijdragen aan de diagonaal (waar $m=n$) en welke verwaarloosbaar zijn (off-diagonaal). Dit leidt tot de combinatorische factoren die karakteristiek zijn voor een Gaussische verdeling.

3. Belangrijkste Resultaten

Het artikel presenteert twee hoofdtheorema's:

• Theorema 1.1 (Asymptotische Formule voor Momenten):
  Voor een groot priemgetal $q$ en een gegeven $n \in \mathbb{N}$ geldt:
  $$\sum_{f \in H_2(q)} \omega_f \cdot S(t, f)^n = C_n (\log \log q)^{n/2} + O_{t,n}((\log \log q)^{(n-1)/2})$$
  Waarbij $C_n$ gedefinieerd is als:
  $$C_n = \begin{cases} \frac{n!}{(n/2)! (2\pi)^n} & \text{als } n \text{ even is} \\ 0 & \text{als } n \text{ oneven is} \end{cases}$$
  Dit bevestigt dat de gemiddelde grootte van $|S(t, f)|$ orde $\sqrt{\log \log q}$ is.

• Theorema 1.2 (Gewogen Centrale Limietstelling):
  Als $q \to \infty$, convergeert de kansmaat $\mu_q$ (gedefinieerd door de genormaliseerde verdeling van $S(t, f)$) naar een Gaussische verdeling met gemiddelde 0 en variantie $(2\pi^2)^{-1}$.
  $$\lim_{q \to \infty} \mu_q([a, b]) = \frac{1}{\sqrt{\pi}} \int_a^b e^{-\pi^2 \xi^2} d\xi$$
  Dit betekent dat de verdeling van het argument van de $L$-functie asymptotisch normaal is, genormaliseerd door $\sqrt{\log \log q}$.

4. Technische Bijdragen en Innovatie

• Onvoorwaardelijkheid: In tegenstelling tot eerdere resultaten voor hogere-rang $L$-functies die vaak de GRH vereisten, bewijzen de auteurs hun resultaten onvoorwaardelijk. Dit wordt bereikt door een zorgvuldige combinatie van de Petersson-traceformule en een sterke gewogen nul-dichtheidsraming.
• Niveau-aspect voor GL(2): Het artikel vult een gat in de literatuur door het niveau-aspect (variëren van het niveau $q$) te behandelen voor holomorfe vormen van gewicht 2, wat technisch anders is dan het gewicht-aspect of het spectrale aspect.
• Precieze Benadering: Ze ontwikkelen een nauwkeurige benadering van $S(t, f)$ via een afgekapt Dirichlet-polynoom, waarbij de fouttermen strikt gecontroleerd worden met behulp van de dichtheidsraming.

5. Significatie

De resultaten van Sun en Wang zijn significant voor de analytische getaltheorie omdat ze:

1. De universiteit van Selbergs centrale limietstelling voor $L$-functies bevestigen in een nieuw domein (holomorfe vormen van gewicht 2 in het niveau-aspect).
2. Bewijzen dat de complexe statistische eigenschappen van de nulpunten van $L$-functies (zoals de verdeling van het argument) robuust zijn, zelfs zonder de aanname van de Riemann-hypothese.
3. Een methodologisch kader bieden dat kan worden gebruikt voor verdere onderzoeken naar de statistiek van $L$-functies in andere families, zonder afhankelijk te zijn van onbewezen hypothesen.

Samenvattend biedt dit artikel een rigoureuze en onvoorwaardelijke generalisatie van een klassiek resultaat van Selberg, versterkend het beeld dat de nulpunten van $L$-functies zich gedragen alsof ze willekeurig verdeeld zijn volgens een Gaussisch proces.