Strong Hybrid Subconvexity for Twisted Selfdual $\mathrm{GL}_3$ $L$-Functions

1. Probleemstelling en Context

Het centrale probleem in de analytische getaltheorie is het vinden van subconvexe schattingen voor $L$-functies op hun kritische lijn (de reële deel $1/2$). De "convexiteitsgrens" is een triviale bovengrens die volgt uit de functionele vergelijking en de Cauchy-Schwarz ongelijkheid. Het doel is om deze grens te verbeteren (subconvexiteit), wat cruciaal is voor toepassingen zoals het Riemann-hypothese-gerelateerde onderzoek, de verdeling van priemgetallen en de Ramanujan-vermoeden.

Deze paper richt zich op $L$-functies van graad 3 en 6 die verband houden met zelfdual Hecke-Maaß cusp vormen ($F$) voor $SL_3(\mathbb{Z})$, getwist door primitieve Dirichlet-karakters ($\chi$). Specifiek bestuderen ze de hybride subconvexiteit, wat betekent dat ze gelijktijdig schattingen willen vinden voor de conductor ($q$) en de spectrale parameter ($t$ of $t_f$).

Eerdere resultaten (zoals die van Li en Blomer) waren sterk, maar vaak beperkt tot specifieke aspecten (bijvoorbeeld alleen in de $q$-aspect of alleen in de $t$-aspect) of vereisten restricties op de conductor (bijvoorbeeld dat $q$ priem of kwadraatvrij is). De auteurs streven naar een "sterke hybride" subconvexiteit die de natuurlijke limiet bereikt van de eerste-momentmethode, modulo huidige kennis over tweede-moment schattingen.

2. Methodologie: Spectrale Reciprociteit

De kern van de bewijsvoering is een expliciete spectrale reciprociteitsformule van het type $GL_3 \times GL_2 \rightleftharpoons GL_4 \times GL_1$.

• De Idee: In plaats van de gebruikelijke benadering met een benaderende functionele vergelijking (die lastig wordt bij niet-kwadraatvrije conductors), gebruiken de auteurs een analytische voortzetting van een momentformule.
• De Identiteit: Ze tonen aan dat een moment van $GL_3 \times GL_2$ Rankin-Selberg $L$-functies (een som over een familie van automorfe vormen en een integraal over het continuüm) gelijk is aan een som van hoofdtermen plus een dual moment.
• Het Dual Moment: Dit dual moment is een moment van $GL_4 \times GL_1$ $L$-functies. Omdat deze $L$-functies imprimitief zijn, factoriseren ze in een product van een $GL_3 \times GL_1$ en een $GL_1$ $L$-functie. Dit reduceert het probleem tot het schatten van Dirichlet-karakter sommen en $L$-functies van graad 1.
• Technische Hulpmiddelen:
  • Kuznetsov en Petersson Formules: Gebruikt om de spectrale kant (de som over cusp vormen) te manipuleren.
  • GL3 Voronoï Sommatieformule: Gebruikt om de Kloosterman-termen om te zetten in een duale som.
  • Analytische Voortzetting: De formule wordt eerst bewezen in een gebied van absolute convergentie ($\Re(w) > 1$) en vervolgens analytisch voortgezet naar het centrale punt $w = 1/2$. Dit vereist zorgvuldige controle over de convergentie en het afhandelen van polen (residuen).
  • Testfuncties: Specifiek gekozen testfuncties ($h, h_{hol}$) worden gebruikt om de spectrale parameters te lokaliseren rond een waarde $T$ met een breedte $U$.

3. Belangrijkste Bijdragen en Resultaten

De paper levert twee hoofdwetten op:

A. Sterke Hybride Subconvexiteit voor $L(1/2 + it, F \otimes \chi)$ (Stelling 1.1)

Voor een vaste zelfdual Hecke-Maaß vorm $F$ en een primitief karakter $\chi$ met conductor $q$, bewijzen ze:
$$L(1/2 + it, F \otimes \chi) \ll_{F, \varepsilon} (q(|t| + 1))^{3/5 + \varepsilon}$$
onder bepaalde voorwaarden voor de delers van $q$.

• Vooruitgang: De convexiteitsgrens is $(q(|t|+1))^{3/4+\varepsilon}$. De nieuwe exponent $3/5$ (0.6) is een aanzienlijke verbetering ten opzichte van eerdere resultaten (zoals $5/8$ of $0.625$).
• Voorwaarde: De schatting is het sterkst als $q$ een deler $q_1$ heeft met $(q_1, q/q_1)=1$ en $q_1$ in een specifiek bereik ligt (bijv. $q^{4/5}(|t|+1)^{-1/5} \ll q_1 \ll q^{4/5}(|t|+1)^{4/5}$). Als $q$ kwadraatvrij is en "glad" (smooth), is dit gegarandeerd.

B. Hybride Subconvexiteit voor Rankin-Selberg $L$-functies (Stelling 1.1 en 1.2)

Ze bewijzen soortgelijke resultaten voor centrale waarden van $L(1/2, F \otimes f)$, waarbij $f$ een Maaß of holomorfe vorm is.

• Stelling 1.2 (Momenten): Ze geven een schatting voor het eerste moment over een familie van vormen. De schatting is:
  $$\sum \dots \ll (q_1 q_2 T U) (q_1 q_2 T)^\varepsilon + (q_1 T)^{5/4} q_2^{1/2} U^{-1/4} (q_1 q_2 T)^\varepsilon$$
  Dit resultaat is "sterk" omdat het de natuurlijke limiet is van de eerste-momentmethode, gegeven de huidige kennis over tweede-moment schattingen van $GL_3$ $L$-functies.

C. Eisenstein-geval (Stelling 11.1 en 11.3)

De methode wordt ook toegepast wanneer $F$ wordt vervangen door een Eisenstein-reeks (minimal parabolic). Dit leidt tot subconvexiteit voor de derde macht van Dirichlet $L$-functies en $GL_2$ $L$-functies getwist met Dirichlet-karakters.

• Resultaten: $L(1/2 + it, \chi) \ll (q(|t|+1))^{1/6+\varepsilon}$ (Weyl-strength) en $L(1/2, f \otimes \chi) \ll (q(|t_f|+1))^{1/3+\varepsilon}$.

4. Technische Innovaties en Sleutelinzichten

1. Omzeiling van de "Approximate Functional Equation" Problemen: Traditionele methoden voor $q_2 > 1$ (niet-kwadraatvrij) worden zeer complex door de lengte van de benaderende functionele vergelijking. De analytische voortzetting-methode van de auteurs omzeilt dit volledig en vereist geen restrictie dat $q$ kwadraatvrij of kubusvrij is.
2. Lindelöf-on-average Schatting: Een cruciaal ingrediënt is een nieuwe bovengrens voor het tweede moment van Dirichlet $L$-functies, beperkt tot een coset van de groep van Dirichlet-karakters. Dit is een onafhankelijk interessant resultaat dat de schatting van het dual moment mogelijk maakt.
3. Behandeling van Karakter Sommen: De auteurs analyseren zorgvuldig de karakter som $V_\chi(\psi; \dots)$ die voorkomt in de reciprociteitsformule. Ze tonen aan dat deze som voor de meeste karakters "square-root cancellation" vertoont, maar dat er uitzonderlijke karakters zijn die een coset vormen. De behandeling van deze coset is essentieel voor de scherpe schatting.
4. Optimalisatie van de Familie: Ze gebruiken een truc (geïntroduceerd in eerdere werken van Lin, Qi en Nunes) waarbij ze de grootte van de familie van vormen ($U$) iets vergroten (bijv. $U = T^{1/5}$) om de grootte van het dual moment te verkleinen, wat leidt tot betere exponenten.

5. Betekenis en Impact

• Nieuwe Best Practice: De paper levert momenteel de sterkste bekende hybride subconvexe schattingen voor getwiste $GL_3$ $L$-functies. De exponent $3/5$ is een significant doorbraak ten opzichte van eerdere $5/8$ en $3/4$ grenzen.
• Generaliteit: De resultaten zijn van toepassing op willekeurige conductors $q$, niet beperkt tot priemgetallen of kwadraatvrije getallen, wat de resultaten veel breder toepasbaar maakt dan eerdere werken.
• Methodologische Doorbraak: De toepassing van de $GL_3 \times GL_2 \rightleftharpoons GL_4 \times GL_1$ reciprociteitsformule in een hybride setting (zowel $q$ als $t$ variërend) opent de deur voor verdere veralgemeningen naar hogere rangen of andere groepen.
• Toepassingen: Dergelijke subconvexe schattingen zijn fundamenteel voor problemen rondom de Ramanujan-vermoeden, de verdeling van Heegner-punten, en de fouttermen in partitieformules.

Kortom, dit werk vertegenwoordigt een significante stap voorwaarts in het begrijpen van de gedragingen van $L$-functies van hogere rangen, door een krachtige combinatie van spectrale reciprociteit, analytische voortzetting en geavanceerde schattingen van karakter sommen.