New and old Saito-Kurokawa lifts classically via $L^2$ norms and bounds on their supnorms: level aspect

1. Il Problema e il Contesto

L'articolo si inserisce nel campo della teoria dei numeri analitica, focalizzandosi sul problema della norma sup (sup-norm problem) per le forme cuspidali di Siegel olomorfe di grado 2, denotate come $S^{(2)}_k(N)$, nell'aspetto del livello $N$.

• Contesto: Il problema della norma sup studia la crescita massima di una forma modulare (o di uno spazio di forme) rispetto alla sua norma $L^2$. Per gruppi di rango superiore come $GSp(4)$, questo problema è in una fase nascente e presenta ostacoli significativi rispetto al caso di rango 1 (forme ellittiche), specialmente a causa dell'assenza di modelli di Whittaker globali per le forme di Siegel.
• Oggetto di studio: Gli autori si concentrano specificamente sul sottospazio degli lifts di Saito-Kurokawa (SK) di livello $N$ (quadrato-libero). Questi lifts sono ottenuti tramite un sollevamento funtoriale dalle forme cuspidali ellittiche (o forme di Jacobi) di peso $2k-2$.
• Obiettivi principali:
  1. Sviluppare una teoria classica delle forme "nuove" e "vecchie" (new-oldform theory) per gli SK lifts di livello quadrato-libero, un'area in cui la letteratura classica è carente.
  2. Ottenere stime precise (congetture e limiti superiori/inferiori) per la dimensione dello spazio degli SK lifts, misurata dal supremo del loro nucleo di Bergman.

2. Metodologia

Gli autori adottano un approccio prevalentemente classico, basato sulle espansioni di Fourier e sulle proprietà degli operatori di Hecke, integrandolo con tecniche di algebra degli operatori.

• Teoria New-Old Classica (Parte 1):

  • Invece di affidarsi esclusivamente alle espansioni di Fourier ai cuspidi (che sono difficili da calcolare per gli operatori di Atkin-Lehner $W_p$ e $U_S(p)$ in questo contesto), gli autori introducono un metodo basato sui norme $L^2$.
  • Definiscono una matrice $M_p$ (matrice dei prodotti scalari) i cui elementi sono i prodotti scalari Petersson tra le forme ottenute applicando quattro operatori specifici ($Id, U_S(p), W_p, U_S(p)W_p$) a una forma eigen.
  • Dimostrano che il rango di questa matrice $M_p$ caratterizza se una forma è un lift di Saito-Kurokawa o meno.
  • Utilizzano l'algebra di Hecke di $GSp(2)$ per calcolare esattamente le relazioni tra i prodotti scalari, evitando la necessità di espansioni di Fourier esplicite ai cuspidi.

• Stime della Norma Sup (Parte 2):

  • Per stimare la norma sup, suddividono il dominio fondamentale di $\Gamma^{(2)}_0(N) \backslash \mathbb{H}_2$ in tre regioni geometriche distinte (Tipo 0, 1 e 2), basate sulla grandezza della parte immaginaria della matrice $Z$.
  • Regione Tipo 0 ($Y \gg 1$): Usano l'espansione di Fourier classica.
  • Regione Tipo 1: Usano l'espansione di Fourier-Jacobi, riducendo il problema alla dimensione dello spazio delle forme di Jacobi.
  • Regione Tipo 2 ($Y \gg 1/N$): Questa è la regione più difficile. Gli autori usano un argomento di conteggio di matrici discrete (legato al lato geometrico del nucleo di Bergman) per stimare la somma delle forme.
  • Sfruttano la relazione tra gli SK lifts e le forme di Jacobi (tramite l'isomorfismo di Eichler-Zagier-Ibukiyama) e le forme di peso semi-intero (spazio di Kohnen).

3. Contributi Chiave e Risultati

A. Teoria New-Old e Caratterizzazione degli SK Lifts

• Nuova Caratterizzazione: Gli autori dimostrano che una forma eigen $F \in S^{(2)}_k(N)$ è un lift di Saito-Kurokawa se e solo se la matrice $M_p$ ha rango 3 (per un primo $p$ opportuno). Se il rango è 4, la forma non è un lift SK.
• Relazioni di Maaß-Ibukiyama: Viene dimostrato che gli SK lifts che sono anche "EZI lifts" (sollevamenti classici da forme di Jacobi) sono caratterizzati univocamente dalle relazioni di Maaß-Ibukiyama.
• Struttura dello Spazio delle Forme Vecchie: Viene prodotta una base ortonormale esplicita per lo spazio delle forme vecchie (oldspace) degli SK lifts, che è invariante sotto l'involutore di Atkin-Lehner $W_p$. Si scopre che non tutte le forme vecchie degli SK lifts sono EZI lifts; esiste una "forma eccezionale" che non ammette una descrizione diretta tramite forme di Jacobi di livello inferiore.

B. Stime della Norma Sup (Dimensione dello Spazio)

Gli autori formulano congetture precise sulla dimensione degli spazi di SK lifts e ne provano dei limiti verso queste congetture.

• Congettura 1.9 (Dimensione dello spazio): Per $k \ge 4$ e $N$ quadrato-libero, la dimensione dello spazio degli SK lifts è:
  $$\sup(SK_k(N)) \asymp_k N^{-2}$$
  Questo è coerente con la dimensione dello spazio che cresce come $N$, suggerendo che la norma sup media di una singola forma dovrebbe essere $N^{-3/2}$.

• Teorema 1.8 (Limite Superiore per Livello Primo): Per un livello primo $p$, dimostrano che:
  $$p^{-2} \ll_k \sup(SK_k(p)) \ll_{k, \epsilon} p^{-1+\epsilon}$$
  Il limite inferiore $p^{-2}$ è ottenuto analizzando lo spazio delle forme nuove e utilizzando la formula di Waldspurger per collegare i coefficienti di Fourier ai valori centrali delle funzioni L.

• Risultati sulle Forme di Jacobi:

  • Dimostrano un limite non banale per la norma sup di una singola forma di Jacobi newform $\phi$ di livello $N$ (quadrato-libero):
    $$\|\phi\|_\infty \ll_{k, \epsilon} N^{-1/36 + \epsilon}$$
    Questo risultato è cruciale perché le forme di Jacobi sono il "motore" degli SK lifts.
  • Forniscono anche stime per la dimensione dello spazio delle forme di Jacobi, confermando che è $O(1)$ (congettura 1.5), sebbene la prova completa richieda tecniche avanzate.

C. Appendici e Risultati Collaterali

• Appendice 1: Dimostrano che per forme ellittiche di peso $k > 2$ e livello $N$ (inclusi pesi semi-interi), la dimensione dello spazio è $\sup(S_k(N)) \asymp_k 1$, generalizzando risultati precedenti.
• Appendice 2: Dimostrano che l'operatore di Hecke $U_J(p)$ per le forme di Jacobi non è auto-aggiunto sullo spazio completo delle forme vecchie, correggendo un'errata affermazione presente in letteratura precedente (che valeva solo per le forme nuove).

4. Significato e Impatto

• Avanzamento Teorico: Il lavoro colma un vuoto significativo nella teoria classica degli SK lifts di livello superiore, fornendo una descrizione esplicita delle forme vecchie e nuove che era precedentemente disponibile solo in contesti rappresentazionali (teoria delle rappresentazioni automorfe).
• Metodologia Innovativa: L'uso delle norme $L^2$ e delle matrici di prodotti scalari per distinguere le forme nuove dalle vecchie offre un nuovo strumento potente che potrebbe essere applicato ad altri spazi di forme modulari di rango superiore.
• Progresso sul Problema della Norma Sup: Sebbene non risolvano completamente il problema della norma sup per le forme di Siegel (che rimane aperto), forniscono i primi limiti non banali e congetture ben fondate per il sottospazio degli SK lifts. La separazione tra contributi delle forme nuove e vecchie è essenziale per ottenere stime ottimali.
• Connessioni Profonde: Il lavoro rafforza i legami tra forme di Siegel, forme di Jacobi e forme di peso semi-intero, mostrando come le proprietà analitiche di uno spazio possano essere dedotte dallo studio degli spazi correlati più semplici.

In sintesi, questo articolo rappresenta un passo fondamentale verso la comprensione analitica delle forme di Siegel di grado 2, combinando tecniche classiche di teoria dei numeri con approcci moderni di analisi armonica e geometria dei numeri.