$L^\infty$-sizes of the spaces Siegel cusp forms of degree $n$ via Poincaré series

1. Il Problema: La stima della norma sup (Sup-norm)

Il lavoro si concentra sul problema della norma sup per le forme modulari automorfe, specificamente per lo spazio delle forme cuspidali di Siegel di grado $n$, peso $k$ e livello $N$ (sottogrupdi di congruenza $\Gamma \subset Sp_n(\mathbb{Z})$).

L'obiettivo principale è determinare l'ordine di grandezza asintotico della "dimensione" $L^\infty$ dello spazio $S_k^{(n)}(\Gamma)$. Questa grandezza è misurata dal nucleo di Bergman $B_{k,\Gamma}(Z)$, definito come la somma dei quadrati delle norme pesate di una base ortonormale $\mathcal{B}_k(\Gamma)$:
$$B_{k,\Gamma}(Z) = \sum_{F \in \mathcal{B}_k(\Gamma)} \det(Y)^k |F(Z)|^2$$
dove $Z = X + iY \in \mathbb{H}_n$ (spazio di Siegel).

Il problema si articola in due aspetti principali:

1. Aspetto del peso ($k \to \infty$): Come cresce la norma sup al crescere del peso $k$?
2. Aspetto del livello ($N \to \infty$): Come si comporta la norma sup al crescere del livello $N$?

L'autore conferma la congettura secondo cui la dimensione media (la grandezza del nucleo di Bergman) è:
$$\sup_{Z \in \mathbb{H}_n} B_{k,\Gamma}(Z) \asymp_{n,\Gamma} k^{\frac{3n(n+1)}{4}}$$
per il peso, e $\asymp_{n,k} 1$ per il livello (per i sottogruppi principali).

2. Metodologia

Il metodo proposto da Das si distingue per la sua semplicità concettuale rispetto alle tecniche precedenti (come l'uso del nucleo di calore o analisi complessa profonda del nucleo di Bergman). I pilastri della metodologia sono:

• Espansione di Fourier del Nucleo di Bergman: Invece di analizzare direttamente il nucleo, l'autore utilizza la sua espansione di Fourier. Il nucleo di Bergman può essere espresso come una somma di serie di Poincaré $P_{T,\Gamma}(Z)$ pesate da coefficienti dipendenti dal determinante di $T$.
• Stima delle Serie di Poincaré: Il cuore della dimostrazione risiede nel dimostrare che le serie di Poincaré associate a matrici simmetriche definite positive $T$ sono uniformemente limitate ($O(1)$) nel dominio fondamentale di Siegel, indipendentemente dal peso $k$ (sotto certe condizioni).
  $$P_{T,\Gamma}(Z) \ll_n 1$$
• Uso dei Sottogruppi Coniugati: Per gestire sottogruppi di congruenza arbitrari $\Gamma$, l'autore lavora su tutti i coniugati $G = \gamma^{-1}\Gamma\gamma$ di $\Gamma$. Questo permette di ridurre il problema al dominio fondamentale di livello 1 ($F_1^{(n)}$), semplificando l'analisi geometrica.
• Separazione dei termini: Nelle stime delle serie di Poincaré, i termini vengono separati in base alla componente $c_g$ della matrice del gruppo (dove $g = \begin{pmatrix} A & B \\ C & D \end{pmatrix}$). I termini con $c_g = 0$ (traslazioni) sono trattati direttamente, mentre quelli con $c_g \neq 0$ sono stimati sfruttando la decadenza esponenziale e le proprietà dei sottogruppi parabolici.
• Interpolazione per pesi piccoli: Per i pesi "piccoli" (dove le serie di Poincaré non convergono assolutamente), viene utilizzata una tecnica di interpolazione basata sulle disuguaglianze di Hölder e sulle norme $L^p$, collegando i pesi piccoli a quelli grandi.

3. Risultati Principali

Il paper stabilisce i seguenti teoremi fondamentali:

• Teorema 1.5 (Aspetto del peso): Per ogni sottogruppo di congruenza $\Gamma$ di livello $N$ e peso $k \ge 2n+2$:
  $$c_\Gamma k^{\frac{3n(n+1)}{4}} \ll_n \sup(S_k^{(n)}(\Gamma)) \ll_{n,\epsilon} k^{\frac{3n(n+1)}{4}} N^{\frac{n^2}{2} + \epsilon}$$
  Questo conferma la crescita attesa nel peso per una vasta classe di sottogruppi.

• Teorema 1.6 (Aspetto Ibrido - Sottogruppi Principali): Per i sottogruppi principali $\Gamma^{(n)}(N)$, la dipendenza dal livello scompare nella stima superiore, ottenendo una stima uniforme ottimale:
  $$\sup(S_k^{(n)}(\Gamma^{(n)}(N))) \asymp_n k^{\frac{3n(n+1)}{4}}$$
  Questo risolve la congettura per i sottogruppi principali in modo completo.

• Teorema 1.7 (Aspetto Ibrido - Pesi Grandi): Se il peso è sufficientemente grande rispetto al livello (specificamente $k > \max\{(n+1)^2, N^{3+\epsilon}\}$), si ottiene la stima uniforme ottimale per qualsiasi sottogruppo di congruenza:
  $$\sup(S_k^{(n)}(\Gamma)) \asymp_n k^{\frac{3n(n+1)}{4}}$$

• Risultati sui Pesi Piccoli (Teorema 9.2): Viene mostrato che per pesi $k \ge n/2$, la norma sup di una forma normalizzata in $L^2$ è limitata da $k^{\frac{3n(n+1)}{8}}$, assumendo la validità della congettura per pesi grandi.

4. Applicazioni e Contributi Aggiuntivi

Oltre alle stime del nucleo di Bergman, il paper fornisce risultati significativi su altri fronti:

• Non-annullamento delle Serie di Poincaré: Viene dimostrato che le serie di Poincaré di tipo esponenziale $P_{T,\Gamma}$ non si annullano identicamente per un'ampia gamma di pesi e matrici $T$. Questo generalizza risultati precedenti noti solo per $n=1$ o $n=2$.
• Indipendenza Lineare: Viene provato che un insieme di serie di Poincaré associate a matrici $T_j$ inequivalenti sotto $GL_n(\mathbb{Z})$ sono linearmente indipendenti per pesi sufficientemente grandi.
• Formule Asintotiche Quantitative: Vengono derivate formule asintotiche per i coefficienti di Fourier delle serie di Poincaré su sottogruppi di congruenza arbitrari, un risultato che era precedentemente noto solo per il caso di livello 1 o gradi bassi.
• Caso $n=1$ (Forme Ellittiche): L'autore tratta il caso classico delle forme modulari ellittiche ($n=1$), fornendo una nuova prova per il caso $k=2$ che utilizza una disuguaglianza del setaccio grande (large sieve) per sottogruppi di congruenza arbitrari, ottenendo un limite $O(\log N)$ per la dimensione dello spazio.

5. Significato e Impatto

Questo lavoro è significativo per la teoria dei numeri analitica e la teoria delle forme automorfe per diverse ragioni:

1. Semplicità e Generalità: A differenza di approcci precedenti che richiedevano l'analisi complessa del nucleo di calore o formule di traccia pesate (difficili da gestire per $n > 2$), il metodo di Das si basa sull'espansione di Fourier e sulla stima diretta delle serie di Poincaré. Questo lo rende applicabile a gradi arbitrari $n$.
2. Conferma delle Congetture: Risolve definitivamente le congetture sulla dimensione $L^\infty$ per le forme cuspidali di Siegel in termini di peso e livello, chiudendo un capitolo aperto nella letteratura recente.
3. Strumento per l'Amplificazione: La conoscenza precisa della dimensione media (nucleo di Bergman) è un prerequisito fondamentale per il metodo di "amplificazione" usato per ottenere limiti superiori per le norme sup di singole forme eigen (eigenforms), un problema centrale nella teoria di Iwaniec-Sarnak.
4. Generalizzabilità: L'autore discute come il metodo possa essere esteso a forme cuspidali vettoriali, forme di Hilbert e altri domini tubolari, suggerendo che la filosofia basata sulle serie di Poincaré è uno strumento potente e versatile.

In sintesi, Das fornisce una soluzione elegante e potente al problema della stima $L^\infty$ per le forme di Siegel, unificando aspetti di peso e livello e aprendo la strada a ulteriori applicazioni nella teoria spettrale delle varietà modulari.