A lower bound for classical Kloosterman sums and an application

Technische Samenvatting: Een ondergrens voor klassieke Kloosterman-sommen en een toepassing

Probleemstelling
Het artikel behandelt twee onderling verbonden problemen in de analytische getaltheorie. Ten eerste wordt geprobeerd een niet-triviale ondergrens vast te stellen voor de klassieke Kloosterman-som $S(a, b; c)$, gedefinieerd als $\sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$, onder de voorwaarden dat $(ab, c) = 1$ en $c$ een oneven geheel getal is. Hoewel het niet-verdwijnen van deze sommen recentelijk in de literatuur is gebruikt bij het bestuderen van de verdeling van eigenwaarden, was er tot nu toe geen expliciete ondergrens voor $|S(a, b; c)| in de literatuur vastgesteld. Ten tweede beogen de auteurs deze nieuwe ondergrens toe te passen om een expliciete ondergrens af te leiden voor de discrepantieterm in de Petersson-traceformule, specifiek voor de ruimte van cuspidale vormen $S_k(N)$ waarbij het gewicht $k$ en het niveau $N$ onafhankelijk van elkaar mogen variëren.

Methodologie
De methodologie verloopt in twee primaire fasen:

1. Afleiding van de ondergrens voor Kloosterman-sommen:
   De auteurs ontbinden het modulus $c$ in $c = du$, waarbij $u$ vrij van kwadraten is en $d$ een machtig getal is (met $(d, u)=1$). Zij behandelen de componenten afzonderlijk:

   • Vrij van kwadraten geval: Voor het deel $u$ dat vrij is van kwadraten, maken zij gebruik van de algebraïsche eigenschappen van Kloosterman-sommen binnen cyclotomische velden. Door de norm van de som over de Galoisgroep te overwegen en de Weil-grens toe te passen, leiden zij een ondergrens af die betrokken is bij het aantal delers $\tau(u)$ en de Euler-totientfunctie $\phi(u)$.
   • Oneven priemmacht geval: Voor het machtige deel $d$ (bestaande uit priemmachten $p^\beta$) maken zij gebruik van expliciete evaluatieformules voor $S(a, b; p^\beta)$ zoals te vinden in standaardwerken (bijv. Iwaniec en Kowalski). Door de reële waarde van de resulterende expressie te analyseren en trigonometrische ongelijkheden te gebruiken, stellen zij een ondergrens van de orde $2/\sqrt{q}$ vast voor priemmachten, mits $ab$ een kwadratische residu is modulo de priem.
   • Algemeen geval: Gebruikmakend van de multiplicativiteit van Kloosterman-sommen, combineren zij de grenzen voor de vrij van kwadraten en de machtige componenten om een globale ondergrens voor $|S(a, b; c)|$ te verkrijgen.

2. Toepassing op de Petersson-traceformule:
   De auteurs passen de afgeleide ondergrens toe op de foutterm in de Petersson-traceformule, aangeduid als $\Delta_{k,N}(m, n) - \delta(m, n)$. De formule drukt dit verschil uit als een som over Kloosterman-sommen en Bessel-functies van de eerste soort, $J_{k-1}$.

   • Zij splitsen de sommatie over het niveau $c$ op in de term waar $c=N$ en de staart waar $c > N$.
   • De staart wordt van bovenaf begrensd met behulp van integraaltesten en exponentiële verval-schattingen voor de Bessel-functie.
   • De hoofdbegrens (het hoofdlid, $c=N$) wordt van onderaf begrensd met behulp van de nieuw vastgestelde ondergrens voor Kloosterman-sommen en expliciete schattingen voor de Bessel-functie $J_{k-1}$ in het transitiebereik (specifiek wanneer het argument dicht bij de orde van de functie ligt).
   • De auteurs maken gebruik van specifieke lemma's betreffende het gedrag van $J_\nu(\nu)$ en $J_\nu(\nu + t\nu^{1/3})$, afgeleid uit het werk van Kraus, om het asymptotische gedrag van de Bessel-functies te behandelen.

Belangrijkste Bijdragen en Resultaten

• Stelling 1: Het artikel stelt de eerste expliciete ondergrens voor $|S(a, b; c)| vast waarbij $c$ oneven is en $(ab, c)=1$. De grens is afhankelijk van de ontbinding van $c$ in vrij van kwadraten en machtige delen, specifiek betrokken bij $\omega(d)$, $\tau(u)$ en $\phi(u)$. Het resultaat verduidelijkt ook dat de som verdwijnt als $ab$ een kwadratische niet-residu is modulo een priem die de machtige parte van $c$ deelt.
• Stelling 2: De auteurs leiden een expliciete ondergrens af voor $|\Delta_{k,N}(m, n) - \delta(m, n)|$ voor even gewicht $k$ en oneven niveau $N$. In tegenstelling tot eerdere asymptotische resultaten (bijv. [JS20, Stelling 1.7]) die het niveau $N$ vastleggen en $k \to \infty$ laten gaan, staat deze stelling toe dat $k$ en $N$ onafhankelijk van elkaar variëren, mits zij voldoen aan specifieke ongelijkheden die een constante $D_0 \in (e^{H_0}, 1)$ inhouden. De ondergrens is van de orde $J_{k-1}(k-1)e^{H_0(k-1)}$.
• Stelling 3: Voor een korter bereik van het argument $4\pi\sqrt{mn}/N$ (specifiek $[(k-1), (k-1) + (k-1)^{1/3}]$), herstellen de auteurs een ondergrens van de orde $(k-1)^{-1/3}$, die sterker is dan het exponentiële verval gevonden in het bredere bereik van Stelling 2.
• Corollaria: Het artikel biedt specifieke corollaria (Corollary 1 en Corollary 3) die deze grenzen kwantificeren voor specifieke bereiken van parameters, waarbij expliciete constanten voor de ondergrenzen van de gewogen trace van Hecke-operatoren worden aangeboden.

Betekenis en Claims
De auteurs beweren dat hun werk een gat in de literatuur vult door de eerste expliciete ondergrens voor klassieke Kloosterman-sommen te bieden. Dit resultaat is significant omdat het een preciezere analyse mogelijk maakt van het niet-verdwijnen van de termen in de Petersson-traceformule.

De primaire toepassing die wordt belicht is een "gemodificeerde versie" van [JS20, Stelling of Theorem 1.7]. De modificatie staat toe dat het gewicht $k$ en het niveau $N$ onafhankelijk van elkaar variëren, terwijl eerdere resultaten vereisten dat $N$ vaststond. De auteurs merken op dat hoewel hun interval voor de variabele $4\pi\sqrt{mn}/N$ groter is (van grootte proportioneel aan $k$) vergeleken met het $k^{1/3}$-interval in [JS20], dit ten koste gaat van een zwakkere ondergrens (exponentieel verval versus polynomiaal verval). Echter, voor een korter interval herstellen zij succesvol de polynomiale orde ondergrens.

Het artikel sluit af met het verstrekken van een tabel met waarden voor de afgeleide constanten $H(N)$, $k_0(N)$ en $k_1(N)$ voor specifieke niveaus $N$, wat de praktische toepasbaarheid van hun expliciete grenzen voor variërende gewichten en niveaus demonstreert. Het werk wordt gepresenteerd als een fundamentele stap voor het verkrijgen van discrepantieresultaten voor de verdeling van eigenwaarden van Hecke-operatoren, voortbouwend op het aspect van het niet-verdwijnen van Kloosterman-sommen.