On Ramanujan Primes for Hecke-Maass Cusp Forms

Sintesi Tecnica: Sui Primi di Ramanujan per Forme Cuspali Hecke-Maass

Enunciato del Problema
La congettura di Ramanujan per una forma cuspidale Hecke-Maass primitiva $\phi$ afferma che per ogni primo $p$ non divisore del livello $N$, il $p$-esimo autovalore di Hecke $\lambda_\phi(p)$ soddisfa il limite stretto $|\lambda_\phi(p)| \le 2$. Sebbene questo rimanga un problema aperto in generale (con il miglior limite noto essendo $|\lambda_\phi(p)| \le p^{7/64} + p^{-7/64}$ dovuto a Kim e Sarnak), Luo e Zhou [LZ19] hanno stabilito in precedenza che l'insieme dei primi $RP(\phi) = \{p \nmid N : |\lambda_\phi(p)| \le 2\}$ ha una densità naturale inferiore di almeno $34/35$. Inoltre, hanno dimostrato l'esistenza di un primo minimo in $RP(\phi)$ limitato da una potenza del conduttore analitico.

Questo articolo estende tali indagini al contesto di multiple forme cuspidali Hecke-Maass primitive distinte. Gli autori affrontano due domande principali:

1. Occorrenza Simultanea: Qual è il limite superiore per il primo minimo $p$ in cui la congettura di Ramanujan vale simultaneamente per due o tre forme distinte?
2. Densità dell'Unione: Qual è la densità naturale inferiore dell'insieme dei primi in cui la congettura di Ramanujan vale per almeno una forma in una data famiglia (finita o infinita) di forme distinte?

Metodologia
L'articolo impiega tecniche di teoria dei numeri analitica incentrate sulle proprietà delle funzioni $L$ associate alle forme cuspidali.

• Per i Limiti del Primo Minimo (Teoremi 1 e 2):
  Gli autori utilizzano il metodo del "setaccio" combinato con le proprietà analitiche delle funzioni $L$ del quadrato aggiunto, $L(s, \text{Ad}(\phi))$.

  • Definiscono una somma $S(x)$ che coinvolge i coefficienti di Dirichlet del prodotto delle funzioni $L$ aggiunte.
  • Un'osservazione cruciale è che se la congettura di Ramanujan fallisce in $p$ (cioè $|\lambda_\phi(p)| > 2$), allora l'autovalore di Hecke attorcigliato $\lambda_\phi(p^2)\chi_\phi(p)$ deve essere grande (specificamente $> 3$).
  • Costruendo una specifica funzione moltiplicativa $h(n)$ e utilizzando i limiti di convessità per $L(s, \text{Ad}(\phi))$, gli autori derivano un limite superiore per $S(x)$ tramite integrazione di contorno e un limite inferiore tramite la positività dei pesi del setaccio.
  • La dimostrazione si basa sulla non-nullità di specifiche combinazioni lineari di autovalori. Per due forme, la somma dei loro autovalori attorcigliati risulta positiva se la congettura fallisce per entrambe; per tre forme, viene utilizzata una combinazione lineare simile ma distinta. Gli autori notano che questo specifico argomento fallisce per quattro o più forme perché la positività della somma non può essere garantita.

• Per i Limiti di Densità (Teoremi 3 e 4):
  L'approccio si sposta all'analisi della distribuzione dei primi utilizzando le funzioni $L$ di Rankin-Selberg e le regioni prive di zeri.

  • Gli autori introducono la quarta potenza simmetrica attorcigliata $A_4(\phi) = \text{Sym}^4(\phi) \otimes \chi_\phi^2$ e la terza potenza simmetrica $\text{Sym}^3(\phi)$.
  • Stabiliscono che per forme distinte $\phi_1, \phi_2$, le rappresentazioni automorfe associate (specificamente $\text{Ad}(\phi)$ e $A_4(\phi)$) sono distinte.
  • Sfruttando risultati recenti di Thorner e Zhao [TZ26] riguardanti l'assenza di zeri di Landau-Siegel per le funzioni $L$ di Rankin-Selberg della forma $L(s, \text{Ad}(\phi_1) \times \text{Ad}(\phi_2))$ e $L(s, \text{Ad}(\phi_1) \times A_4(\phi_2))$, gli autori dimostrano che le somme di cross-correlazione dei coefficienti $A_\phi(p)$ e $A^{[4]}_\phi(p)$ sono $o(\pi(X))$.
  • Costruiscono un polinomio non negativo $U(p)$ in termini di questi coefficienti. Espandendo $U(p)$ e applicando il Teorema dei Numeri Primi per le funzioni $L$ automorfe, limitano la densità dei primi in cui la congettura di Ramanujan fallisce per tutte le forme nell'insieme.

Contributi e Risultati Chiave

1. Limiti Superiori per i Primi di Ramanujan Simultanei Minimi:

   • Teorema 1: Per due forme cuspidali Hecke-Maass primitive distinte $\phi_1, \phi_2$, esiste un primo $p \in RP(\phi_1) \cap RP(\phi_2)$ tale che:
     $$p \ll [N_1 N_2 (1+|t_{\phi_1}|)(1+|t_{\phi_2}|)]^{0.447374}$$
   • Teorema 2: Per tre forme distinte $\phi_1, \phi_2, \phi_3$, esiste un primo $p \in \bigcap_{i=1}^3 RP(\phi_i)$ tale che:
     $$p \ll [N_1 N_2 N_3 \prod_{i=1}^3 (1+|t_{\phi_i}|)]^{0.778798}$$
   • Gli autori dichiarano esplicitamente che il loro metodo non si estende a quattro o più forme a causa dell'impossibilità di garantire la positività delle somme pertinenti di autovalori.

2. Limiti Inferiori Migliorati per la Densità Naturale:

   • Teorema 3: Per due forme distinte $\phi_1, \phi_2$ (assumendo che i loro insiemi di primi di Ramanujan non siano identici a meno di un insieme finito), la densità naturale inferiore dell'unione soddisfa:
     $$\underline{d}(RP(\phi_1) \cup RP(\phi_2)) \ge \frac{43}{44}$$
     Questo migliora il limite banale di $34/35$ derivato dalle densità individuali.
   • Teorema 4: Per una famiglia finita di $m$ forme distinte $\{\phi_i\}_{i=1}^m$, la densità naturale inferiore dell'unione è limitata da:
     $$\underline{d}\left(\bigcup_{j=1}^m RP(\phi_j)\right) \ge 1 - \frac{1}{26 + 9m}$$
   • Corollario 1: Per una famiglia infinita di forme distinte, la densità naturale dell'unione è esattamente 1. Ciò implica che per quasi tutti i primi (nel senso della densità naturale), la congettura di Ramanujan vale per almeno una forma nella famiglia.

Significato e Affermazioni
L'articolo afferma di avanzare la comprensione della distribuzione dei primi che soddisfano la congettura di Ramanujan in un contesto multi-forma. Passando dall'analisi di una singola forma a quella simultanea e di unione, gli autori dimostrano che i primi "cattivi" (dove la congettura fallisce) diventano sempre più rari quando si considerano multiple forme.

Il significato risiede in:

• Fornire limiti quantitativi espliciti per la prima occorrenza di primi di Ramanujan simultanei per coppie e terne di forme.
• Stabilire che l'unione degli insiemi di primi di Ramanujan per forme distinte copre una proporzione significativamente maggiore dei primi rispetto agli insiemi individuali, avvicinandosi a una densità di 1 all'aumentare della dimensione della famiglia.
• Utilizzare la non-nullità di specifiche funzioni $L$ di Rankin-Selberg (tramite [TZ26]) per rifinare le stime di densità, una tecnica che gli autori generalizzano da due forme a famiglie finite arbitrarie.

Gli autori rimangono modesti riguardo ai limiti del loro metodo attuale, notando che l'estensione a quattro o più forme per il limite del primo minimo è attualmente ostacolata dal fallimento dell'argomento di positività per le somme pertinenti di autovalori. Analogamente, notano che un ulteriore miglioramento del limite di densità per famiglie finite (specificamente il coefficiente $26+9m$) richiederebbe la stabilizzazione di regioni prive di zeri per $L(s, A_4(\phi_1) \times A_4(\phi_2))$, il che è attualmente al di là delle possibilità.