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

Sintesi Tecnica: Un Risultato Omega per il Primo Cambio di Segno dei Coefficienti delle Funzioni L di Potenza Simmetrica di Forme a Cuspide di Hecke-Maass

Enunciato del Problema
Il saggio affronta il problema di determinare l'ordine di grandezza del primo cambio di segno, denotato come $n_f$ (o $n_{\text{sym}^m u_k}$ in questo contesto), per i coefficienti delle funzioni $L$ associate a forme automorfe. Nello specifico, investiga il più piccolo intero positivo $n$ tale che il coefficiente $\lambda(n)$ diventi negativo.

Sebbene il comportamento del primo cambio di segno per le forme a cuspide di Hecke ologomorfe sia stato studiato estensivamente (in particolare da Lamzouri [6]), il problema analogo per le forme a cuspide di Hecke-Maass presenta sfide tecniche significative. La difficoltà primaria risiede nell'assenza della Congettura di Ramanujan Generalizzata (GRC) per le forme di Maass. Senza la GRC, i parametri di Satake $\alpha_{u_k, j}(p)$ non sono garantiti trovarsi sul cerchio unitario, il che potrebbe portare a autovalori "eccezionali" che crescono esponenzialmente. Il saggio mira ad estendere i risultati omega di Lamzouri alle forme di Maass e di estendere ulteriormente tali risultati ai coefficienti delle funzioni $L$ di potenza simmetrica, $L(s, \text{sym}^m u_k)$, senza assumere la GRC.

Metodologia
Gli autori impiegano un metodo di setaccio probabilistico adattato dal lavoro di Lamzouri, raffinato per gestire il potenziale fallimento della GRC. La metodologia principale prevede i seguenti passaggi:

1. Polinomi Trigonometrici ed Espansioni di Chebyshev:
   Gli autori utilizzano un particolare polinomio trigonometrico $f(\theta)$ costruito dai polinomi di Chebyshev di prima specie ($T_L$) e seconda specie ($X_\ell$). Definiscono una funzione non negativa $g(\theta)$ che funge da peso di setaccio. Questa funzione è espansa come $g(\theta) = \sum a_\ell X_\ell(\theta)$, dove i coefficienti $a_\ell$ sono limitati. Questa espansione permette di traslare le condizioni sugli autovalori in condizioni sugli angoli $\theta_k(p)$ associati ai parametri di Satake.

2. Gestione degli Autovalori Eccezionali:
   Un'innovazione critica è la costruzione di una funzione di setaccio $G(u_k)$ che tiene conto dei numeri primi in cui la GRC potrebbe fallire. Gli autori definiscono un insieme di numeri primi "eccezionali" dove l'angolo $\theta_k(p)$ è puramente immaginario (indicando che $|\alpha_{u_k, j}(p)| \neq 1$).

   • Definiscono una soglia $\delta_p$ e un parametro $L_p$ dipendente da $\log T$.
   • La funzione $G(u_k)$ è costruita come un prodotto di $g_p(\theta_k(p))$ meno un termine di correzione che coinvolge $\lambda_k(qH)^2/H^2$.
   • Attraverso un'analisi per casi (Casi 1, 2 e 3), gli autori dimostrano che se $\theta_k(p)$ cade al di fuori dell'intervallo "buono" $[0, 2\pi\delta_p)$, il termine $G(u_k)$ diventa non positivo. Ciò filtra efficacementamente le forme con grandi autovalori eccezionali.

3. Formula di Traccia di Kuznetsov:
   Per stimare il valore medio di $G(u_k)$ sulla famiglia di forme di Maass $H_T = \{u_k : t_k \leq T\}$, gli autori applicano la formula di traccia di Kuznetsov troncata (Lemma 2.1). Ciò consente di relazionare la somma degli autovalori pesati al termine principale (il prodotto dei coefficienti $a_{0, p_j}$) e ai termini di errore che coinvolgono il gap spettrale.

4. Coefficienti di Potenza Simmetrica:
   Per le funzioni $L$ di potenza simmetrica, gli autori esprimono i coefficienti $\lambda_{\text{sym}^m u_k}(p^a)$ come polinomi simmetrici nei parametri di Satake. Dimostrano che per angoli piccoli $\theta_k(p)$ (all'interno del range "buono" del setaccio), questi coefficienti rimangono positivi, garantendo così che il primo cambio di segno avvenga solo dopo l'intervallo del setaccio.

Contributi Chiave e Risultati
Il saggio stabilisce un risultato omega per il primo cambio di segno dei coefficienti per le forme a cuspide di Hecke-Maass e le loro potenze simmetriche.

• Teorema 1.1: Per $T$ sufficientemente grande, esistono almeno
  $$\gg |H_T| \exp\left( - \frac{(\log T) \log \log \log T}{m (\log \log T)^2} \right\}$$
  forme di Hecke-Maass $u_k \in H_T$ tali che il più piccolo intero positivo $n$ soddisfacendo $\lambda_{\text{sym}^m u_k}(n) < 0$ soddisfa:
  $$n_{\text{sym}^m u_k} \gg \frac{\log T}{m \log \log T}.$$

• Estensione del Lavoro di Lamzouri: Questo risultato generalizza il limite inferiore omega di Lamzouri [6] per le forme ologomorfe al caso di Maass. Fondamentalmente, lo ottiene senza assumere la Congettura di Ramanujan Generalizzata. La metodologia isola con successo le forme con "cattivi" parametri di Satake (quelli che violano la GRC) e dimostra che una proporzione significativa di forme esibisce comunque il comportamento atteso riguardo al primo cambio di segno.

• Potenze Simmetriche: Il saggio dimostra che limiti inferiori simili valgono per i coefficienti delle funzioni $L$ di potenza simmetrica, estendendo l'ambito oltre gli standard autovalori di Hecke ($m=1$).

Significato e Rivendicazioni
Gli autori posizionano questo lavoro come un'estensione necessaria dei risultati recenti nel campo della teoria analitica dei numeri. La significatività risiede in:

1. Rimozione delle Assunzioni GRC: Provando il risultato senza assumere la GRC, il saggio fornisce una comprensione più robusta della distribuzione dei cambi di segno per le forme di Maass, che sono meno comprese rispetto alle loro controparti ologomorfe.
2. Raffinamento Tecnico: Il saggio rivendica di aver raffinato il setaccio usato in [6] per affrontare specificamente le difficoltà tecniche derivanti dal potenziale fallimento della GRC nel contesto di Maass.
3. Generalizzazione: Dimostra che il comportamento "omega" (grandi limiti inferiori per il primo cambio di segno) è una caratteristica persistente attraverso le funzioni $L$ di potenza simmetrica, non solo la funzione $L$ di base.

Il saggio non propone nuove applicazioni o direzioni sperimentali future, ma si concentra strettamente sull'instaurare il limite inferiore teorico per il primo cambio di segno in queste specifiche famiglie di funzioni $L$.