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

1. Probleemstelling en Context

Het artikel adresseert het sup-norm probleem voor automorfe vormen, specifiek gericht op de ruimte van Siegel-cuspvormen van graad $n$, gewicht $k$, en niveau $N$ (voor congruentie-subgroepen $\Gamma \subset Sp_n(\mathbb{Z})$).

Het centrale doel is het bepalen van de grootte van deze ruimte in de $L^\infty$-norm. Deze grootte wordt gemeten via de Bergman-kern van de ruimte. Voor een orthonormale basis $\mathcal{B}_k(\Gamma)$ van de ruimte $S_k^{(n)}(\Gamma)$ wordt de Bergman-kern gedefinieerd als:
$$B_{k,\Gamma}(Z) = \sum_{F \in \mathcal{B}_k(\Gamma)} \det(Y)^k |F(Z)|^2, \quad Z = X + iY \in \mathcal{H}_n$$
De "grootte" van de ruimte wordt dan gedefinieerd als het supremum van deze functie:
$$\sup(S_k^{(n)}(\Gamma)) := \sup_{Z \in \mathcal{H}_n} B_{k,\Gamma}(Z)$$

De auteur probeert de volgende conjecturen te bewijzen:

• In het gewicht-aspect ($k \to \infty$): De grootte is asymptotisch evenredig met $k^{3n(n+1)/4}$.
• In het niveau-aspect ($N \to \infty$): Voor vaste $k$ en hoofdcongruentie-subgroepen, is de grootte uniform begrensd (onafhankelijk van $N$).
• Individuele sup-norm: Voor een Hecke-eigenvorm $F$ wordt verwacht dat $\|F\|_\infty \ll k^{n(n+1)/8}$.

Voor $n=1$ (elliptische modulaire vormen) zijn deze resultaten deels bekend (o.a. door H. Xia), maar voor $n \ge 2$ (hogere graden) waren er slechts beperkte resultaten, vaak afhankelijk van complexe analytische methoden of warmte-kern technieken.

2. Methodologie

De kern van de methode in dit artikel is het gebruik van de Fourier-ontwikkeling van de Bergman-kern en de eigenschappen van Poincaré-reeksen. In tegenstelling tot eerdere werken (zoals [DK24] of [KM23]) vermijdt de auteur de complexe analyse van de warmte-kern of ingewikkelde meetkundige zijden van de trace-formule.

De aanpak volgt een gestructureerd algoritme:

1. Geometrische Expressie: De Bergman-kern wordt uitgedrukt in termen van Poincaré-reeksen $P_{T,\Gamma}(Z)$ via de Fourier-coëfficiënten. De formule luidt:
   $$B_{k,\Gamma}(Z, W) = c_{n,k}^{-1} |S_\Gamma|^{-1} \sum_{T \in \Lambda_\Gamma} \det(T)^{k - \frac{n-1}{2}} P_{T,\Gamma}(Z) e(-\overline{T}W)$$
2. Vermindering tot Fundamenteel Domein: Het probleem wordt gereduceerd tot het bewijzen van een uniforme bound voor de Poincaré-reeksen $P_{T,\Gamma}(Z)$ binnen het fundamentele domein $\mathcal{F}_1^{(n)}$ van de volledige modulaire groep $Sp_n(\mathbb{Z})$.
3. Behandeling van Conjugaten: Voor een willekeurige congruentie-subgroep $\Gamma$ worden alle geconjugeerde groepen $G = g^{-1}\Gamma g$ beschouwd. De auteur toont aan dat het volstaat om de Poincaré-reeksen voor deze geconjugeerden te begrenzen.
4. Scheiding van Termen: Bij het schatten van $P_{T,\Gamma}(Z)$ worden de termen in de som gescheiden in:
   • Termen waarbij de onderkant van de matrix $c_g = 0$ (de "parabolische" bijdrage).
   • Termen waarbij $c_g \neq 0$.
     Voor de term met $c_g = 0$ wordt gebruik gemaakt van de structuur van de translatiegroep. Voor $c_g \neq 0$ wordt aangetoond dat deze bijdrage verwaarloosbaar klein is voor grote $k$, dankzij de exponentiële daling en de eigenschappen van de automorfe factor $J(g, Z)$.
5. Gebruik van Lipschitz-formules: De som over de Fourier-coëfficiënten wordt geschat met behulp van Lipschitz-formules en de asymptotische gedrag van de Gamma-functie, wat leidt tot de gewenste macht van $k$.

3. Belangrijkste Resultaten

De auteur bewijst de volgende hoofdstellingen:

• Stelling 1.5 (Gewicht-aspect): Voor elke congruentie-subgroep $\Gamma$ van niveau $N$ en gewicht $k \ge 2n+2$:
  $$c_\Gamma k^{3n(n+1)/4} \ll_n \sup(S_k^{(n)}(\Gamma)) \ll_{n,\epsilon} k^{3n(n+1)/4} N^{n^2/2 + \epsilon}$$
  Hierbij is $c_\Gamma$ een constante die afhangt van de "maximale breedte" van de cusp bij oneindig. Voor veel veelvoorkomende groepen is deze constante onafhankelijk van $N$.

• Stelling 1.6 (Hybride aspect voor hoofdcongruentie-subgroepen): Voor de hoofdcongruentie-subgroep $\Gamma^{(n)}(N)$ geldt een uniforme bound:
  $$\sup(S_k^{(n)}(\Gamma^{(n)}(N))) \asymp_n k^{3n(n+1)/4}$$
  Dit bevestigt de conjectuur dat de grootte onafhankelijk is van het niveau $N$ voor deze specifieke groepen.

• Stelling 1.7 (Hybride aspect voor grote gewichten): Als het gewicht $k$ groot genoeg is ten opzichte van het niveau $N$ (specifiek $k > \max\{(n+1)^2, N^{3+\epsilon}\}$), dan geldt de optimale bound voor alle congruentie-subgroepen:
  $$\sup(S_k^{(n)}(\Gamma)) \asymp_n k^{3n(n+1)/4}$$

• Ondergrenzen: De paper levert ook bewijzen voor de ondergrenzen, wat cruciaal is om aan te tonen dat de bovenste schattingen scherp zijn. Dit wordt gedaan via een analyse van de Fourier-coëfficiënten van Poincaré-reeksen en het gebruik van een "zachte" asymptotische formule (Stelling 5.1).

• Toepassingen:

  • Niet-verdwijning: De methode bewijst dat Poincaré-reeksen van exponentiële type niet identiek nul zijn voor voldoende grote gewichten (Corollarium 5.6).
  • Lineaire onafhankelijkheid: Een verzameling Poincaré-reeksen geassocieerd met niet-equivalente matrices is lineair onafhankelijk (Corollarium 5.8).
  • Kleine gewichten: Er wordt een techniek gepresenteerd (Stelling 9.2) om bounds voor kleine gewichten af te leiden uit de gemiddelde bounds voor grote gewichten via interpolatie.

4. Significatie en Bijdrage

De bijdrage van dit artikel is significant voor de analytische getaltheorie en de theorie van automorfe vormen om de volgende redenen:

1. Oplossing van Conjecturen: Het bewijst de conjecturen over de $L^\infty$-grootte van Siegel-cuspvormen in het gewicht-aspect voor alle graden $n \ge 1$, en in het niveau-aspect voor hoofdcongruentie-subgroepen.
2. Vereenvoudiging van Methoden: De auteur vermijdt de complexe warmte-kern methoden (gebruikt in [KM23]) en de zware meetkundige analyse van de rand van het fundamentele domein (gebruikt in [DK24] voor $n=2$). De aanpak is puur gebaseerd op de Fourier-ontwikkeling en de analyse van Poincaré-reeksen, wat de bewijzen aanzienlijk vereenvoudigt en generaliseerbaar maakt.
3. Generalisatie: De resultaten gelden voor willekeurige congruentie-subgroepen (niet alleen voor $Sp_n(\mathbb{Z})$) en voor alle graden $n$.
4. Algoritmische Benadering: De paper presenteert een duidelijk algoritme (Sectie 7) dat kan worden toegepast op andere situaties, zoals vector-waardige vormen, Hilbert-modulaire vormen en vormen op andere buisdomeinen.
5. Nieuwe Inzichten: De paper levert nieuwe inzichten in de niet-verdwijning van Poincaré-reeksen en de lineaire onafhankelijkheid daarvan, wat belangrijke implicaties heeft voor de structuur van de ruimte van modulaire vormen.

Kortom, het artikel biedt een robuuste en elegante oplossing voor een fundamenteel probleem in de theorie van Siegel-modulaire vormen, met brede toepassingsmogelijkheden binnen de analytische getaltheorie.