Effective correlation and decorrelation for newforms, and weak subconvexity for $L$-functions

1. Probleemstelling en Context

Het artikel richt zich op twee fundamentele problemen in de analytische getaltheorie en de theorie van automorfe vormen:

1. Effectieve Quantum Unique Ergodicity (QUE): De holomorfische QUE-conjectuur stelt dat de massa van genormaliseerde holomorfische newforms $f$ (van gewicht $k$ en niveau $q$) equidistribueert over de hyperbolische oppervlakte $Y_0(1) = \text{SL}_2(\mathbb{Z})\backslash \mathbb{H}$ naarmate $k \to \infty$. De vraag is om een effectieve schatting te geven voor de convergentiesnelheid van de correlatie $\langle \psi, |F_k|^2 \rangle$, waarbij $F_k$ de genormaliseerde vorm is en $\psi$ een testfunctie.
2. Effectieve Decorrelatie: Voor twee verschillende newforms $f$ en $g$ (met $f \neq g$) wordt verwacht dat hun correlatie $\langle \psi, F_k G_k \rangle$ naar nul convergeert. Het doel is om een scherpe bovengrens te vinden voor deze decorrelatie, uniform in de parameters $k$, $q$ en de testfunctie $\psi$.

Bestaande resultaten (zoals die van Holowinsky, Soundararajan, Nelson, Pitale en Saha) hebben deze problemen aangepakt, maar vaak met beperkingen in de uniformiteit ten opzichte van het niveau $q$, of met suboptimale convergentiesnelheden. Een specifiek probleem dat in dit artikel wordt aangepakt, is een gemiste factor in eerdere schattingen (binnen de methode van Iwaniec) die leidde tot een te optimistische convergentiesnelheid.

2. Methodologie

De auteur combineert twee krachtige methoden die historisch gebruikt zijn voor QUE-problemen, en verfijnt ze aanzienlijk:

• Spectrale Ontleding (Soundararajan's Benadering):

  • De correlatie-integraal wordt ontbonden in een spectrale som over Hecke-Maaß cusp vormen en Eisenstein-reeksen.
  • De kern van deze methode is het schatten van de centrale waarden van Rankin-Selberg $L$-functies, specifiek $L(1/2, \pi \times \pi')$.
  • Nieuwe Refinement: De auteur bewijst een verfijnde versie van Soundararajan's zwakke subconvexiteitsgrens (Theorem 1.3). In plaats van een constante die afhangt van de tweede representatie $\pi'$, wordt een expliciete afhankelijkheid afgeleid: $L(1/2, \pi \times \pi') \ll C(\pi')^\varepsilon C(\pi \times \pi')^{1/4} (\log C)^{-1+\varepsilon}$. Dit is cruciaal voor het verkrijgen van een uniforme schatting in het niveau $q$.

• Poincaré-reeksen en Shifted Convolutie (Holowinsky's Benadering):

  • Deze methode gebruikt incomplete Poincaré-reeksen om de correlatie te schrijven als sommen van getranslateerde Fourier-coëfficiënten (shifted convolution sums).
  • De auteur gebruikt de spectrale decompositie en de Poincaré-decompositie om de bijdrage van de continue spectrum (Eisenstein-reeksen) en het discrete spectrum te scheiden.
  • Er wordt gebruik gemaakt van de "Watson-triple product formule" (veralgemeend door Ichino) om de spectrale termen te koppelen aan $L$-functies.

• Optimalisatie:

  • De uiteindelijke schatting wordt verkregen door het minimum te nemen van de bovengrenzen verkregen via de Soundararajan-methode en de Holowinsky-methode.
  • Door een geoptimaliseerde combinatie (gebruikmakend van de ongelijkheid $\min(X, Y) \le X^\alpha Y^{1-\alpha}$) wordt de exponent van de logaritmische term gemaximaliseerd.

• Appendix (Jesse Thorner):

  • Thorner identificeert en corrigeert een fout in de bewijzen van Iwaniec en Lester et al. betreffende de benaderingsfunctie voor $L(1/2, \text{Ad } f \times \phi)$.
  • Hij toont aan dat de convergentiesnelheid in eerdere werken te optimistisch was geschat en levert een gecorrigeerde, langzamere convergentiesnelheid.

3. Belangrijkste Resultaten

Het artikel presenteert drie hoofdresultaten:

A. Hoofdstelling (Theorem 1.1): Effectieve Correlatie/Decorrelatie

Voor holomorfische newforms $f, g$ van gewicht $k$ en niveau $q$ (waarbij $q$ vierkantsvrij is als $f \neq g$), en een testfunctie $\psi$ met bepaalde gladheidseigenschappen (afhankelijk van parameter $M$), geldt:

$$\left| \langle \psi, F_k G_k \rangle_q - \mathbb{1}_{f=g} \frac{3}{\pi} \langle \psi, 1 \rangle_1 \right| \ll_{\varepsilon} M^4 \left(\frac{q}{q_0}\right)^{-\frac{1}{12}(2\sqrt{3}-3)(1-2\theta)+\varepsilon} (\log kq)^{-(\frac{7}{2}-2\sqrt{3})+\varepsilon}$$

Waarbij:

• $q_0$ de grootste vierkantsvrije deler van $q$ is.
• $\theta \le 7/64$ de beste bekende grens is voor de gegeneraliseerde Ramanujan-conjectuur.
• De exponent van de logaritme is $\frac{7}{2} - 2\sqrt{3} \approx 0.0359$.
• Als $q=1$ en $f=g$, kan de exponent van $M$ worden verbeterd tot $(23-2\sqrt{3})/12 \approx 1.628$.

Dit resultaat is unaniem in $k, q$ en $\psi$ en verbetert eerdere resultaten voor zowel het geval $f=g$ (QUE) als $f \neq g$ (decorrelatie).

B. Verbeterde Zwakke Subconvexiteitsgrens (Theorem 1.3)

Voor automorfe representaties $\pi \in \mathcal{F}_m$ en $\pi' \in \mathcal{F}_{m'}$, waarbij $\pi$ voldoet aan de gegeneraliseerde Ramanujan-conjectuur (GRC), geldt:
$$L(1/2, \pi \times \pi') \ll_{m,m',\varepsilon} C(\pi')^\varepsilon \frac{C(\pi \times \pi')^{1/4}}{(\log C(\pi \times \pi'))^{1-\varepsilon}}$$
Dit is een significante verbetering omdat het de afhankelijkheid van de tweede representatie $\pi'$ expliciet maakt als een macht van de conductor, in plaats van een verborgen constante.

C. Gecorrigeerde Convergentie voor Zeros (Corollary 1.2 & Appendix)

Door de verbeterde schattingen en de correctie in de appendix, wordt bewezen dat de nulpunten van $f$ equidistribueren met een specifieke convergentiesnelheid. De exponent $\delta$ in de foutterm is nu exact $\frac{7}{2} - 2\sqrt{3} \approx 0.0359$, wat een verbetering is ten opzichte van eerdere schattingen (zoals de $0.008$ van Lester et al. of de $0.00348$ uit de gecorrigeerde appendix voor de specifieke QUE-situatie zonder niveau-variatie).

4. Significatie en Impact

1. Uniformiteit in Niveau: Het artikel is baanbrekend omdat het effectieve resultaten biedt die uniform zijn in het niveau $q$, zelfs wanneer $q$ groot is. Dit is essentieel voor de studie van families van automorfe vormen met variërend niveau.
2. Scherpere Grenzen: De verkregen convergentiesnelheid ($\approx 0.036$) is aanzienlijk beter dan eerdere resultaten voor het geval $f=g$ en niveau 1, en breidt de decorrelatieresultaten van Huang uit naar willekeurige vierkantsvrije niveaus.
3. Technische Verfijning: De verfijning van de zwakke subconvexiteitsgrens (Theorem 1.3) is een zelfstandig resultaat van groot belang voor de theorie van $L$-functies en kan toepasbaar zijn in andere contexten waar uniforme schattingen nodig zijn.
4. Correctie van Bestaande Literatuur: De appendix van Jesse Thorner corrigeert een subtiliteit in de bewijzen van Iwaniec en Lester et al., wat leidt tot een meer realistische (en langzamere) schatting van de convergentiesnelheid in eerdere werken. Dit onderstreept de noodzaak van zorgvuldige controle van effectieve constanten in de analytische getaltheorie.

Kortom, dit artikel levert de sterkste tot nu toe bekende onvoorwaardelijke bovengrenzen voor de correlatie en decorrelatie van holomorfische newforms en verbetert de kwantitatieve begrip van de Quantum Unique Ergodicity in een zeer algemene setting.