An omega result for the first sign change of coefficients of symmetric power $L$-functions of Hecke-Maass cusp forms

Technische Samenvatting: Een Omega-resultaat voor de Eerste Tekenverandering van Coëfficiënten van Symmetrische Machts-L-functies van Hecke-Maass Cuspidale Vormen

Probleemstelling
Het artikel behandelt het probleem van het bepalen van de grootte van de eerste tekenverandering, aangeduid als $n_f$ (of $n_{\text{sym}^m u_k}$ in deze context), voor de coëfficiënten van L-functies geassocieerd met automorfe vormen. Specifiek wordt onderzocht naar de kleinste positieve integer $n$ waarvoor de coëfficiënt $\lambda(n)$ negatief wordt.

Hoewel het gedrag van de eerste tekenverandering voor holomorfe Hecke cuspidale vormen uitgebreid is bestudeerd (met name door Lamzouri [6]), presenteert het analoge probleem voor Hecke-Maass cuspidale vormen aanzienlijke technische uitdagingen. De primaire moeilijkheid ligt in de afwezigheid van de Gegeneraliseerde Ramanujan-Conjectuur (GRC) voor Maass-vormen. Zonder de GRC zijn de Satake-parameters $\alpha_{u_k, j}(p)$ niet gegarandeerd op de eenheidscirkel te liggen, wat potentieel kan leiden tot "exceptionele" eigenwaarden die exponentieel groeien. Het artikel beoogt de omega-resultaten van Lamzouri uit te breiden naar Hecke-Maass vormen en deze resultaten verder te generaliseren naar de coëfficiënten van symmetrische machts-L-functies, $L(s, \text{sym}^m u_k)$, zonder de GRC te veronderstellen.

Methodologie
De auteurs maken gebruik van een probabilistische zeefmethode die is aangepast van het werk van Lamzouri, verfijnd om de potentiële schending van de GRC te kunnen afhandelen. De kernmethodologie omvat de volgende stappen:

1. Trigonometrische Polynomen en Chebyshev-expansies:
   De auteurs maken gebruik van een specifieke trigonometrische polynoom $f(\theta)$ geconstrueerd uit Chebyshev-polynomen van de eerste soort ($T_L$) en de tweede soort ($X_\ell$). Ze definiëren een niet-negatieve functie $g(\theta)$ die fungeert als een zeefgewicht. Deze functie wordt geëxpandeerd als $g(\theta) = \sum a_\ell X_\ell(\theta)$, waarbij de coëfficiënten $a_\ell$ begrensd zijn. Deze expansie maakt de vertaling van voorwaarden op eigenwaarden naar voorwaarden op de hoeken $\theta_k(p)$ geassocieerd met de Satake-parameters mogelijk.

2. Afhandeling van Exceptionele Eigenwaarden:
   Een cruciale innovatie is de constructie van een zeeffunctie $G(u_k)$ die rekening houdt met priemgetallen waar de GRC mogelijk faalt. De auteurs definiëren een verzameling van "exceptionele" priemgetallen waar de hoek $\theta_k(p)$ puur imaginair is (wat aangeeft dat $|\alpha_{u_k, j}(p)| \neq 1$).

   • Ze definiëren een drempelwaarde $\delta_p$ en een parameter $L_p$ die afhankelijk is van $\log T$.
   • De functie $G(u_k)$ wordt geconstrueerd als een product van $g_p(\theta_k(p))$ minus een correctieterm die $\lambda_k(qH)^2/H^2$ bevat.
   • Door middel van een casusanalyse (Gevallen 1, 2 en 3) tonen de auteurs aan dat indien $\theta_k(p)$ buiten het "goede" bereik $[0, 2\pi\delta_p)$ valt, de term $G(u_k)$ niet-positief wordt. Dit filtert effectief vormen met grote exceptionele eigenwaarden eruit.

3. Kuznetsov Trace Formule:
   Om de gemiddelde waarde van $G(u_k)$ over de familie van Maass-vormen $H_T = \{u_k : t_k \leq T\}$ te schatten, passen de auteurs de getrunceerde Kuznetsov trace formule toe (Lemma 2.1). Dit stelt hen in staat om de som van gewogen eigenwaarden te relateren aan de hoofdterm (het product van de coëfficiënten $a_{0, p_j}$) en fouttermen die de spectrale kloof betreffen.

4. Symmetrische Machts-Coëfficiënten:
   Voor de symmetrische machts-L-functies drukken de auteurs de coëfficiënten $\lambda_{\text{sym}^m u_k}(p^a)$ uit als symmetrische polynomen in de Satake-parameters. Ze tonen aan dat voor kleine hoeken $\theta_k(p)$ (binnen het "goede" bereik van de zeef), deze coëfficiënten positief blijven, waardoor zij garanderen dat de eerste tekenverandering pas plaatsvindt na het bereik van de zeef.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt een omega-resultaat vast voor de eerste tekenverandering van coëfficiënten voor Hecke-Maass cuspidale vormen en hun symmetrische machten.

• Theorem 1.1: Voor voldoende grote $T$, bestaan er ten minste
  $$\gg |H_T| \exp\left( - \frac{(\log T) \log \log \log T}{m (\log \log T)^2} \right)$$
  Hecke-Maass vormen $u_k \in H_T$ waarvoor de kleinste positieve integer $n$ waarvoor $\lambda_{\text{sym}^m u_k}(n) < 0$ geldt, voldoet aan:
  $$n_{\text{sym}^m u_k} \gg \frac{\log T}{m \log \log T}.$$

• Extensie van het werk van Lamzouri: Dit resultaat generaliseert de lagere grens van Lamzouri [6] voor holomorfe vormen naar het Maass-geval. Cruciaal is dat dit gebeurt zonder de Gegeneraliseerde Ramanujan-Conjectuur te veronderstellen. De methodologie slaagt erin om vormen met "slechte" Satake-parameters (die de GRC schenden) te isoleren en toont aan dat een aanzienlijk deel van de vormen nog steeds het verwachte gedrag vertoont met betrekking tot de eerste tekenverandering.

• Symmetrische Machten: Het artikel bewijst dat vergelijkbare lagere grenzen gelden voor de coëfficiënten van symmetrische machts-L-functies, waarmee de reikwijdte wordt uitgebreid voorbij de standaard Hecke-eigenwaarden ($m=1$).

Betekenis en Claims
De auteurs positioneren dit werk als een noodzakelijke uitbreiding van recente resultaten in het veld van de analytische getaltheorie. De betekenis ligt in:

1. Verwijderen van GRC-veronderstellingen: Door het resultaat te bewijzen zonder de GRC te veronderstellen, biedt het artikel een robuuster begrip van de distributie van tekenveranderingen voor Maass-vormen, die minder goed begrepen zijn dan hun holomorfe tegenhangers.
2. Technische Verfijning: Het artikel claimt de zeef gebruikt in [6] te hebben verfijnd om specifiek de technische moeilijkheden aan te pakken die voortvloeien uit de potentiële schending van de GRC in de Maass-setting.
3. Generalisatie: Het demonstreert dat het "omega"-gedrag (grote lagere grenzen voor de eerste tekenverandering) een hardnekkig kenmerk is over symmetrische machts-L-functies heen, en niet beperkt is tot de basis-L-functie.

Het artikel stelt geen nieuwe toepassingen of toekomstige experimentele richtingen voor, maar richt zich strikt op het vaststellen van de theoretische lagere grens voor de eerste tekenverandering in deze specifieke families van L-functies.