On Ramanujan Primes for Hecke-Maass Cusp Forms

Technische Zusammenfassung: Über Ramanujan-Primzahlen für Hecke-Maass-Kuspformen

Problemstellung
Die Ramanujan-Vermutung für eine primitive Hecke-Maass-Kuspform $\phi$ besagt, dass für jede Primzahl $p$, die das Niveau $N$ nicht teilt, der $p$-te Hecke-Eigenwert $\lambda_\phi(p)$ die scharfe Schranke $|\lambda_\phi(p)| \le 2$ erfüllt. Obwohl dies im Allgemeinen ein offenes Problem bleibt (wobei die bestbekannte Schranke $|\lambda_\phi(p)| \le p^{7/64} + p^{-7/64}$ von Kim und Sarnak stammt), haben Luo und Zhou [LZ19] zuvor nachgewiesen, dass die Menge der Primzahlen $RP(\phi) = \{p \nmid N : |\lambda_\phi(p)| \le 2\}$ eine untere natürliche Dichte von mindestens $34/35$ besitzt. Darüber hinaus zeigten sie die Existenz einer kleinsten Primzahl in $RP(\phi)$, die durch eine Potenz des analytischen Konduktors beschränkt ist.

Diese Arbeit erweitert diese Untersuchungen auf den Kontext mehrerer verschiedener primitiver Hecke-Maass-Kuspformen. Die Autoren behandeln zwei Hauptfragen:

1. Simultanes Auftreten: Was ist die obere Schranke für die kleinste Primzahl $p$, bei der die Ramanujan-Vermutung gleichzeitig für zwei oder drei verschiedene Formen gilt?
2. Vereinigungsdichte: Was ist die untere natürliche Dichte der Menge der Primzahlen, bei denen die Ramanujan-Vermutung für mindestens eine Form in einer gegebenen endlichen (oder unendlichen) Familie verschiedener Formen gilt?

Methodik
Die Arbeit wendet Techniken der analytischen Zahlentheorie an, die sich auf die Eigenschaften der mit den Kuspformen assoziierten $L$-Funktionen konzentrieren.

• Für Schranken der kleinsten Primzahl (Sätze 1 & 2):
  Die Autoren nutzen die Methode des „Siebens" in Kombination mit den analytischen Eigenschaften der adjungierten quadratischen $L$-Funktionen $L(s, \text{Ad}(\phi))$.

  • Sie definieren eine Summation $S(x)$, die die Dirichlet-Koeffizienten des Produkts adjungierter $L$-Funktionen beinhaltet.
  • Eine entscheidende Beobachtung ist, dass, wenn die Ramanujan-Vermutung bei $p$ versagt (d. h. $|\lambda_\phi(p)| > 2$), der gedrehte Hecke-Eigenwert $\lambda_\phi(p^2)\chi_\phi(p)$ groß sein muss (speziell $> 3$).
  • Durch die Konstruktion einer spezifischen multiplikativen Funktion $h(n)$ und die Nutzung der Konvexitätsschranken für $L(s, \text{Ad}(\phi))$ leiten die Autoren eine obere Schranke für $S(x)$ mittels Konturintegration und eine untere Schranke mittels der Positivität der Siebgewichte her.
  • Der Beweis stützt sich auf das Nichtverschwinden spezifischer linearer Kombinationen von Eigenwerten. Für zwei Formen wird gezeigt, dass die Summe ihrer gedrehten Eigenwerte positiv ist, wenn die Vermutung für beide versagt; für drei Formen wird eine ähnliche, aber unterschiedliche lineare Kombination verwendet. Die Autoren stellen fest, dass dieses spezifische Argument für vier oder mehr Formen versagt, da die Positivität der Summe nicht garantiert werden kann.

• Für Dichteschranken (Sätze 3 & 4):
  Der Ansatz verschiebt sich hin zur Analyse der Verteilung von Primzahlen unter Verwendung von Rankin-Selberg-$L$-Funktionen und zero-freien Regionen.

  • Die Autoren führen die gedrehte symmetrische vierte Potenz $A_4(\phi) = \text{Sym}^4(\phi) \otimes \chi_\phi^2$ und die symmetrische dritte Potenz $\text{Sym}^3(\phi)$ ein.
  • Sie zeigen, dass für verschiedene Formen $\phi_1, \phi_2$ die assoziierten automorphen Darstellungen (speziell $\text{Ad}(\phi)$ und $A_4(\phi)$) verschieden sind.
  • Unter Ausnutzung neuerer Ergebnisse von Thorner und Zhao [TZ26] bezüglich des Fehlens von Landau-Siegel-Nullstellen für Rankin-Selberg-$L$-Funktionen der Form $L(s, \text{Ad}(\phi_1) \times \text{Ad}(\phi_2))$ und $L(s, \text{Ad}(\phi_1) \times A_4(\phi_2))$ beweisen die Autoren, dass die Kreuzkorrelationssummen der Koeffizienten $A_\phi(p)$ und $A^{[4]}_\phi(p)$ $o(\pi(X))$ sind.
  • Sie konstruieren ein nicht-negatives Polynom $U(p)$ in Bezug auf diese Koeffizienten. Durch die Entwicklung von $U(p)$ und die Anwendung des Primzahlsatzes für automorphe $L$-Funktionen schränken sie die Dichte der Primzahlen ein, bei denen die Ramanujan-Vermutung für alle Formen in der Menge versagt.

Hauptbeiträge und Ergebnisse

1. Obere Schranken für die kleinsten simultanen Ramanujan-Primzahlen:

   • Satz 1: Für zwei verschiedene primitive Hecke-Maass-Kuspformen $\phi_1, \phi_2$ existiert eine Primzahl $p \in RP(\phi_1) \cap RP(\phi_2)$, sodass:
     $$p \ll [N_1 N_2 (1+|t_{\phi_1}|)(1+|t_{\phi_2}|)]^{0.447374}$$
   • Satz 2: Für drei verschiedene Formen $\phi_1, \phi_2, \phi_3$ existiert eine Primzahl $p \in \bigcap_{i=1}^3 RP(\phi_i)$, sodass:
     $$p \ll [N_1 N_2 N_3 \prod_{i=1}^3 (1+|t_{\phi_i}|)]^{0.778798}$$
   • Die Autoren stellen ausdrücklich fest, dass ihre Methode sich nicht auf vier oder mehr Formen erstreckt, da die Positivität der relevanten Eigenwertsummen nicht garantiert werden kann.

2. Verbesserte untere Schranken für die natürliche Dichte:

   • Satz 3: Für zwei verschiedene Formen $\phi_1, \phi_2$ (unter der Annahme, dass ihre Mengen von Ramanujan-Primzahlen bis auf eine endliche Menge nicht identisch sind) erfüllt die untere natürliche Dichte der Vereinigung:
     $$\underline{d}(RP(\phi_1) \cup RP(\phi_2)) \ge \frac{43}{44}$$
     Dies verbessert die triviale Schranke von $34/35$, die sich aus den einzelnen Dichten ergibt.
   • Satz 4: Für eine endliche Familie von $m$ verschiedenen Formen $\{\phi_i\}_{i=1}^m$ ist die untere natürliche Dichte der Vereinigung beschränkt durch:
     $$\underline{d}\left(\bigcup_{j=1}^m RP(\phi_j)\right) \ge 1 - \frac{1}{26 + 9m}$$
   • Korollar 1: Für eine unendliche Familie verschiedener Formen ist die natürliche Dichte der Vereinigung exakt 1. Dies impliziert, dass für fast alle Primzahlen (im Sinne der natürlichen Dichte) die Ramanujan-Vermutung für mindestens eine Form in der Familie gilt.

Bedeutung und Behauptungen
Die Arbeit beansprucht, das Verständnis der Verteilung von Primzahlen, die die Ramanujan-Vermutung erfüllen, in einem Mehrform-Kontext voranzutreiben. Indem sie von der Einzelform-Analyse zu simultanen und Vereinigungs-Analysen übergehen, zeigen die Autoren, dass die „schlechten" Primzahlen (bei denen die Vermutung versagt) bei Betrachtung mehrerer Formen zunehmend spärlicher werden.

Die Bedeutung liegt darin:

• Explizite quantitative Schranken für das erste Auftreten simultaner Ramanujan-Primzahlen für Paare und Tripel von Formen bereitzustellen.
• Zu zeigen, dass die Vereinigung der Mengen der Ramanujan-Primzahlen für verschiedene Formen einen signifikant größeren Anteil der Primzahlen abdeckt als einzelne Mengen, wobei die Dichte mit zunehmender Familiengröße gegen 1 strebt.
• Das Nichtverschwinden spezifischer Rankin-Selberg-$L$-Funktionen (via [TZ26]) zur Verfeinerung von Dichteschätzungen zu nutzen, eine Technik, die die Autoren von zwei Formen auf beliebige endliche Familien verallgemeinern.

Die Autoren bleiben bescheiden hinsichtlich der Grenzen ihrer aktuellen Methode und stellen fest, dass die Erweiterung auf vier oder mehr Formen für die Schranke der kleinsten Primzahl derzeit durch das Versagen des Positivitätsarguments für die relevanten Eigenwertsummen behindert wird. Ebenso stellen sie fest, dass eine weitere Verbesserung der Dichteschranke für endliche Familien (speziell des Koeffizienten $26+9m$) die Etablierung zero-freier Regionen für $L(s, A_4(\phi_1) \times A_4(\phi_2))$ erfordern würde, was derzeit außerhalb der Reichweite liegt.