On Ramanujan Primes for Hecke-Maass Cusp Forms

Technische Samenvatting: Over Ramanujan-priemen voor Hecke-Maass-cuspvormen

Probleemstelling
De Ramanujan-vermoeden voor een primitieve Hecke-Maass-cuspvorm $\phi$ stelt dat voor elke priem $p$ die het niveau $N$ niet deelt, de $p$-de Hecke-eigenwaarde $\lambda_\phi(p)$ voldoet aan de scherpe grens $|\lambda_\phi(p)| \le 2$. Hoewel dit in het algemeen een open probleem blijft (met de best bekende grens $|\lambda_\phi(p)| \le p^{7/64} + p^{-7/64}$, dankzij Kim en Sarnak), hebben Luo en Zhou [LZ19] eerder vastgesteld dat de verzameling priemen $RP(\phi) = \{p \nmid N : |\lambda_\phi(p)| \le 2\}$ een ondergrens voor de natuurlijke dichtheid heeft van ten minste $34/35$. Bovendien toonden zij het bestaan aan van een kleinste priem in $RP(\phi)$ die begrensd is door een macht van de analytische conductor.

Dit artikel breidt deze onderzoeken uit naar de context van meerdere verschillende primitieve Hecke-Maass-cuspvormen. De auteurs behandelen twee hoofdvragen:

1. Simultane Voorkomen: Wat is de bovengrens voor de kleinste priem $p$ waarbij het Ramanujan-vermoeden gelijktijdig geldt voor twee of drie verschillende vormen?
2. Verenigingsdichtheid: Wat is de ondergrens voor de natuurlijke dichtheid van de verzameling priemen waarbij het Ramanujan-vermoeden geldt voor ten minste één vorm in een gegeven eindige (of oneindige) familie van verschillende vormen?

Methodologie
Het artikel maakt gebruik van technieken uit de analytische getaltheorie die zijn gebaseerd op de eigenschappen van $L$-functies geassocieerd met de cuspvormen.

• Voor Grenzen van de Kleinste Priem (Stellingen 1 & 2):
  De auteurs maken gebruik van de methode van "zeven" in combinatie met de analytische eigenschappen van $L$-functies van het geadjungeerde kwadraat, $L(s, \text{Ad}(\phi))$.

  • Zij definiëren een sommatie $S(x)$ die de Dirichlet-coëfficiënten van het product van geadjungeerde $L$-functies omvat.
  • Een cruciale observatie is dat als het Ramanujan-vermoeden faalt bij $p$ (d.w.z. $|\lambda_\phi(p)| > 2$), de getwiste Hecke-eigenwaarde $\lambda_\phi(p^2)\chi_\phi(p)$ groot moet zijn (specifiek $> 3$).
  • Door een specifieke multiplicatieve functie $h(n)$ te construeren en gebruik te maken van de convexiteitsgrenzen voor $L(s, \text{Ad}(\phi))$, leiden de auteurs een bovengrens voor $S(x)$ af via contourintegratie en een ondergrens via de positiviteit van de zeefgewichten.
  • Het bewijs berust op het niet-verdwijnen van specifieke lineaire combinaties van eigenwaarden. Voor twee vormen wordt aangetoond dat de som van hun getwiste eigenwaarden positief is als het vermoeden voor beide faalt; voor drie vormen wordt een vergelijkbare maar verschillende lineaire combinatie gebruikt. De auteurs merken op dat dit specifieke argument faalt voor vier of meer vormen, omdat de positiviteit van de som niet gegarandeerd kan worden.

• Voor Dichtheidsgrenzen (Stellingen 3 & 4):
  De aanpak verschuift naar het analyseren van de verdeling van priemen met behulp van Rankin-Selberg $L$-functies en zero-vrije gebieden.

  • De auteurs introduceren de getwiste symmetrische vierde macht $A_4(\phi) = \text{Sym}^4(\phi) \otimes \chi_\phi^2$ en de symmetrische derde macht $\text{Sym}^3(\phi)$.
  • Zij stellen vast dat voor verschillende vormen $\phi_1, \phi_2$, de geassocieerde automorfe representaties (specifiek $\text{Ad}(\phi)$ en $A_4(\phi)$) verschillend zijn.
  • Door gebruik te maken van recente resultaten van Thorner en Zhao [TZ26] met betrekking tot het ontbreken van Landau-Siegel-nulpunten voor Rankin-Selberg $L$-functies van de vorm $L(s, \text{Ad}(\phi_1) \times \text{Ad}(\phi_2))$ en $L(s, \text{Ad}(\phi_1) \times A_4(\phi_2))$, bewijzen de auteurs dat de kruiscorrelatiesommen van de coëfficiënten $A_\phi(p)$ en $A^{[4]}_\phi(p)$ $o(\pi(X))$ zijn.
  • Zij construeren een niet-negatief polynoom $U(p)$ in termen van deze coëfficiënten. Door $U(p)$ te ontwikkelen en het priemgetalstelling voor automorfe $L$-functies toe te passen, begrenzen zij de dichtheid van priemen waarbij het Ramanujan-vermoeden faalt voor alle vormen in de verzameling.

Belangrijkste Bijdragen en Resultaten

1. Bovengrenzen voor de Kleinste Simultane Ramanujan-priemen:

   • Stelling 1: Voor twee verschillende primitieve Hecke-Maass-cuspvormen $\phi_1, \phi_2$ bestaat er een priem $p \in RP(\phi_1) \cap RP(\phi_2)$ zodat:
     $$p \ll [N_1 N_2 (1+|t_{\phi_1}|)(1+|t_{\phi_2}|)]^{0.447374}$$
   • Stelling 2: Voor drie verschillende vormen $\phi_1, \phi_2, \phi_3$ bestaat er een priem $p \in \bigcap_{i=1}^3 RP(\phi_i)$ zodat:
     $$p \ll [N_1 N_2 N_3 \prod_{i=1}^3 (1+|t_{\phi_i}|)]^{0.778798}$$
   • De auteurs stellen expliciet dat hun methode niet uitbreidt naar vier of meer vormen vanwege het onvermogen om de positiviteit van de relevante sommen van eigenwaarden te garanderen.

2. Verbeterde Ondergrenzen voor Natuurlijke Dichtheid:

   • Stelling 3: Voor twee verschillende vormen $\phi_1, \phi_2$ (onder de aanname dat hun verzamelingen van Ramanujan-priemen niet identiek zijn tot op een eindige verzameling), voldoet de ondergrens voor de natuurlijke dichtheid van de vereniging aan:
     $$\underline{d}(RP(\phi_1) \cup RP(\phi_2)) \ge \frac{43}{44}$$
     Dit verbetert de triviale grens van $34/35$ die is afgeleid uit individuele dichtheden.
   • Stelling 4: Voor een eindige familie van $m$ verschillende vormen $\{\phi_i\}_{i=1}^m$ wordt de ondergrens voor de natuurlijke dichtheid van de vereniging begrensd door:
     $$\underline{d}\left(\bigcup_{j=1}^m RP(\phi_j)\right) \ge 1 - \frac{1}{26 + 9m}$$
   • Corollarium 1: Voor een oneindige familie van verschillende vormen is de natuurlijke dichtheid van de vereniging exact 1. Dit impliceert dat voor bijna alle priemen (in de zin van natuurlijke dichtheid) het Ramanujan-vermoeden geldt voor ten minste één vorm in de familie.

Betekenis en Beweringen
Het artikel claimt de kennis over de verdeling van priemen die voldoen aan het Ramanujan-vermoeden in een multi-vorm setting te bevorderen. Door over te gaan van analyse van één enkele vorm naar gelijktijdige en verenigingsanalyses, tonen de auteurs aan dat de "slechte" priemen (waar het vermoeden faalt) steeds schaarser worden wanneer men meerdere vormen in overweging neemt.

De betekenis ligt in:

• Het leveren van expliciete kwantitatieve grenzen voor het eerste voorkomen van simultane Ramanujan-priemen voor paren en drietallen van vormen.
• Het vaststellen dat de vereniging van verzamelingen van Ramanujan-priemen voor verschillende vormen een aanzienlijk groter deel van de priemen beslaat dan individuele verzamelingen, en dat de dichtheid naar 1 nadert naarmate de familiemaat toeneemt.
• Het gebruiken van het niet-verdwijnen van specifieke Rankin-Selberg $L$-functies (via [TZ26]) om dichtheidsschattingen te verfijnen, een techniek die de auteurs generaliseren van twee vormen naar willekeurige eindige families.

De auteurs blijven bescheiden over de beperkingen van hun huidige methode, en merken op dat de uitbreiding naar vier of meer vormen voor de grens van de kleinste priem momenteel wordt belemmerd door het falen van het positiviteitsargument voor de relevante sommen van eigenwaarden. Evenzo merken zij op dat verdere verbetering van de dichtheidsgrens voor eindige families (specifiek de coëfficiënt $26+9m$) zou vereisen het vaststellen van zero-vrije gebieden voor $L(s, A_4(\phi_1) \times A_4(\phi_2))$, wat momenteel buiten bereik ligt.