On the exponent of distribution for convolutions of $\mathrm{GL(2)}$ coefficients to smooth moduli

Technische Samenvatting: Over de Exponent van Distributie voor Convoluties van GL(2)-coëfficiënten tot Gladde Moduli

Probleemstelling
Het artikel behandelt het probleem van het bepalen van de exponent van distributie voor de convolutie van Hecke-eigenwaarden van een holomorfe cuspvorm met de constante functie 1, aangeduid als $\lambda_f * 1$. Specifiek onderzoekt de auteur het asymptotische gedrag van de som
$$\sum_{\substack{n \le X \\ n \equiv a \pmod q}} (\lambda_f * 1)(n)$$
vergeleken met de verwachte hoofdbestanddeel $\frac{1}{\phi(q)} \sum_{\substack{n \le X \\ (n,q)=1}} (\lambda_f * 1)(n)$. Het doel is de grootst mogelijke exponent $\theta$ vast te stellen zodat de foutterm begrensd is door $X q^{-1} (\log X)^{-A}$ voor alle moduli $q \le X^{\theta - \varepsilon}$. Hoewel de Algemene Riemann-hypothese $\theta = 1/2$ voorspelt, en het stelling van Bombieri-Vinogradov dit gemiddeld bevestigt, is het specifieke geval voor convoluties van GL(2)-coëfficiënten over kwadraatvrije moduli een onderwerp van recente verfijning geweest.

Methodologie
Het bewijs steunt op een combinatie van technieken uit de analytische getaltheorie, specifiek afgestemd op het behandelen van bilineaire sommen die GL(2)-coëfficiënten en hyper-Kloosterman-sommen over kwadraatvrije moduli omvatten.

1. Decompositie en Gladdening: De foutterm wordt ontbonden met behulp van een gladde eenheidspartitie. Het probleem wordt teruggebracht tot het schatten van bilineaire sommen van de vorm:
   $$S(M', L') = \sum_{m, l} \lambda_f(m) V^*(m) W^*(l) \text{Kl}_3(aml; q)$$
   waarbij $\text{Kl}_3$ de hyper-Kloosterman-som van orde 3 aanduidt, en $V^*, W^*$ gladde afsnijfuncties zijn.

2. Scheiding van Oscillatie: Een belangrijke strategie die wordt toegepast, is de techniek van "scheiding van oscillatie". Dit stelt de auteurs in staat de oscillerende componenten van de som te ontkoppelen, waardoor de toepassing van grenzen voor bilineaire vormen wordt vergemakkelijkt.

3. Sommatieformules: Het bewijs maakt gebruik van de Poisson-sommatieformule en de GL(2)-Voronoi-sommatieformule om de oorspronkelijke sommen te transformeren. Deze transformatie verschuift het probleem naar het duale domein, waarbij duale parameters $M^* = q^2/M$ en $L^* = q/L$ worden geïntroduceerd.

4. Schattingen voor Bilineaire Vormen: De kern van het argument bestaat uit het vaststellen van niet-triviale bovengrenzen voor bilineaire vormen met GL(2)-coëfficiënten. De auteur bewijst drie specifieke lemma's (Lemma 2.1, 2.2 en 2.3) die sommen begrenzen die $\lambda_f(m)$ en $\text{Kl}_3(aml; q)$ bevatten.

   • Lemma 2.1 biedt grenzen met behulp van de techniek van scheiding van oscillatie.
   • Lemma 2.2 past de methode van exponentparen toe (specifiek het paar $(1/2, 1/2)$) om sommen met algemene coëfficiënten te schatten.
   • Lemma 2.3 behandelt het geval waarin één variabele vaststaat.

5. Optimalisatie: Door de exponenten van de moduli $q$ in de resulterende grenzen te analyseren (aangeduid als $\sigma(\mu', \nu')$), bepaalt de auteur het optimale bereik voor de parameters $\mu'$ en $\nu'$ (waarbij $M' \approx q^{\mu'}$ en $L' \approx q^{\nu'}$). Het bewijs toont aan dat voor specifieke bereiken van deze parameters, de exponent van de foutterm strikt kleiner blijft dan 1, waardoor een winst mogelijk is ten opzichte van de triviale grens.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat van het artikel is Stelling 1.1, die een nieuwe exponent van distributie vaststelt voor $\lambda_f * 1$ wanneer de modulus $q$ kwadraatvrij is.

• Hoofdstelling: Voor elke $\varepsilon > 0$, $A > 0$, en kwadraatvrij geheel getal $q$ dat voldoet aan
  $$q \le X^{\frac{12}{23} - \varepsilon} = X^{\frac{1}{2} + \frac{1}{46} - \varepsilon},$$
  geldt de asymptotische formule met de foutterm:
  $$\sum_{\substack{n \le X \\ n \equiv a \pmod q}} (\lambda_f * 1)(n) - \frac{1}{\phi(q)} \sum_{\substack{n \le X \\ (n,q)=1}} (\lambda_f * 1)(n) \ll \frac{X}{q} (\log X)^{-A}.$$
  Dit verbetert het vorige beste resultaat voor priemmoduli van Kowalski, Michel en Sawin, dat een exponent van $1/2 + 1/102$ bereikte.

• Technische Prestatie: Het artikel slaagt erin de methoden die voor priemmoduli werden gebruikt, uit te breiden naar het meer algemene geval van kwadraatvrije moduli. De auteur merkt op dat de algebraïsche meetkundige methoden die in eerdere werken voor priemmoduli werden gebruikt, niet direct uitbreiden naar gladde moduli. In plaats daarvan maakt dit artikel gebruik van de $q$-van der Corput-methode en specifieke schattingen voor bilineaire vormen om deze beperking te overwinnen.

Beteekenis en Claims
Het artikel claimt dat de exponent $1/2 + 1/46$ toelaatbaar is voor kwadraatvrije moduli, wat een aanzienlijke verbetering voorstelt ten opzichte van de $1/2 + 1/102$-grens die eerder bekend was voor priemmoduli. De auteur benadrukt dat de sleutelinvoer de schatting is voor bilineaire sommen met GL(2)-coëfficiënten, verkregen via de techniek van scheiding van oscillatie.

Het werk plaatst zich binnen de bredere context van de distributie van arithmetische functies, en trekt parallellen met resultaten voor de delerfunctie $d_3(n)$ (waarvoor $1/2 + 1/46$ eerder voor priemmoduli was bereikt door Fouvry, Kowalski en Michel). Het artikel stelt dat door zich te richten op kwadraatvrije moduli en gebruik te maken van de $q$-van der Corput-methode, een grotere exponent wordt bereikt dan het geval van priemmoduli behandeld in [8], waardoor het begrip van de distributie van GL(2)-coëfficiënten in rekenkundige progressies wordt bevorderd.