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

1. Het Probleem en de Context

Het artikel richt zich op het sup-norm probleem (het vinden van de maximale grootte) voor holomorfe Siegel-cuspvormen van graad 2, specifiek binnen de context van de Saito-Kurokawa (SK) lifts.

• Achtergrond: Het sup-norm probleem is voor hogere-rang groepen (zoals de symplectische groep $GSp(4)$) nog in een vroeg stadium van ontwikkeling. Een groot obstakel is dat deze vormen geen globale Whittaker-modellen hebben, wat standaard analytische methoden bemoeilijkt.
• Specifiek doel: De auteurs willen de grootte van de ruimte van SK-lifts van niveau $N$ (waarbij $N$ een kwadraatvrij geheel getal is) kwantificeren. Dit wordt gemeten via de supremum van de Bergman-kern (BK) van de ruimte.
• De uitdaging: Er is weinig bekend over de exacte grootte van de ruimte van SK-lifts ($SK_k(N)$), en er is geen eenduidige theorie voor "nieuwe" en "oude" vormen in dit specifieke klassieke kader voor hogere niveaus.

2. Methodologie

De auteurs hanteren een klassieke aanpak die sterk leunt op $L^2$-normen en algebraïsche relaties binnen de Hecke-algebra, in plaats van puur op Fourier-expansies of representatietheorie.

A. Nieuwe en Oude Vormen Theorie (Deel 1)

In plaats van de traditionele Atkin-Lehner-theorie die Fourier-expansies bij verschillende cusp-punten vereist (wat technisch zeer complex is voor SK-lifts), gebruiken de auteurs een innovatieve methode gebaseerd op rangen van matrices:

• Zij definiëren een $4 \times 4$ matrix $M_p(F)$ voor een eigenvorm $F$ en een priem $p \nmid N$. De elementen van deze matrix zijn de inwendige producten (Petersson-normen) van $F$ met zijn beelden onder vier operatoren: $Id$, $U_S(p)$, $W_p$ (Atkin-Lehner involutie) en $U_S(p)W_p$.
• Kernidee: De rang van deze matrix bepaalt of $F$ een SK-lift is.
  • Als $F$ een SK-lift is, heeft $M_p(F)$ rang 3.
  • Als $F$ geen SK-lift is, heeft $M_p(F)$ rang 4.
• Dit stelt hen in staat om een expliciete orthonormale basis te construeren voor de ruimte van oude vormen, inclusief een basis die invariant is onder de $W_p$-operator. Dit is cruciaal voor het lokaliseren van grote waarden in het sup-norm probleem.

B. Karakterisering via Maaß-Ibukiyama Relaties

De auteurs tonen aan dat de ruimte van EZI-lifts (lifts via de klassieke constructie van Eichler-Zagier-Ibukiyama) precies die SK-lifts zijn die voldoen aan de Maaß-Ibukiyama relaties.

• Ze bewijzen dat niet alle SK-lifts EZI-lifts zijn; er bestaat een "uitzonderlijke" oude vorm die geen EZI-lift is.
• Ze gebruiken deze karakterisering om de relatie tussen de Petersson-normen van de Siegel-vormen en de onderliggende Jacobi-vormen of halve-gehele gewichtsvormen te analyseren.

C. Sup-norm Schattingen (Deel 2)

Voor het schatten van de sup-normen verdelen ze het fundamentele domein $\Gamma_0^{(2)}(p) \backslash \mathbb{H}_2$ in drie regio's (Type 0, 1 en 2) en behandelen ze deze afzonderlijk:

1. Type 0 (Grote $Y$): Gebruik van de Fourier-expansie.
2. Type 1 (Middelgrote $Y$): Overdracht naar de Fourier-Jacobi (FJ) expansie. Hierdoor wordt het probleem gereduceerd tot het schatten van de grootte van Jacobi-vormen.
3. Type 2 (Kleine $Y$): Dit is de moeilijkste regio. De auteurs gebruiken een telpunt-methode (counting argument) voor discrete matrices, gewogen door de geometrische kant van de Bergman-kern van Jacobi-vormen.

3. Belangrijkste Resultaten en Bijdragen

A. Theorie van Nieuwe en Oude SK-Lifts

• Stelling 1.2: Een eigenvorm $F$ is een SK-lift dan en slechts dan als de matrix $M_p(F)$ rang 3 heeft (voor een voldoende grote priem $p$). Dit biedt een nieuwe, klassieke karakterisering van SK-lifts.
• Corollary 1.3: Een eigenvorm is een niet-SK-lift dan en slechts dan als $M_p(F)$ rang 4 heeft.
• Ze construeren een expliciete orthonormale basis voor de oude vormen die invariant is onder $W_p$, wat essentieel is voor de sup-norm analyse.

B. Schattingen voor Jacobi-vormen

• Stelling 1.4: De grootte van de ruimte van Jacobi-cuspvormen van index 1 en niveau $N$ ($J_{k,1}^{cusp}(N)$) wordt begrensd door $1 \ll \sup(J) \ll N^{1/2}$.
• Stelling 1.6: Ze bewijzen een niet-triviale schatting voor de sup-norm van een enkele $L^2$-genormaliseerde Jacobi-newform: $\|\phi\|_\infty \ll N^{-1/36 + \epsilon}$. Dit is een significant resultaat, aangezien de "triviale" schatting $O(1)$ zou zijn.

C. Schattingen voor Saito-Kurokawa Lifts

• Stelling 1.8: Voor een priemniveau $p$ en even gewicht $k > 5$, bewijzen ze de volgende schatting voor de grootte van de ruimte van SK-lifts:
  $$p^{-2} \ll_k \sup(SK_k(p)) \ll_{k, \epsilon} p^{-1+\epsilon}$$
• Conjecture 1.9: Gebaseerd op hun resultaten en de grootte van de oude ruimte, formuleren ze de conjectuur dat voor alle even $k \ge 4$ en $N \ge 1$:
  $$\sup(SK_k(N)) \asymp_k N^{-2}$$
• Conjecture 1.10: Voor een enkele $L^2$-genormaliseerde nieuwe SK-lift $F$, verwachten ze:
  $$\|F\|_\infty \ll_k N^{-3/2}$$

D. Appendices

• Appendix 1: Bewijzen dat de grootte van de ruimte van elliptische cuspvormen $S_k(N)$ (voor $k>2$) gelijk is aan $O(1)$, ongeacht of $N$ kwadraatvrij is of niet.
• Appendix 2: Bewijzen dat de Hecke-operator $U_J(p)$ voor Jacobi-vormen niet zelf-geadjungeerd is op de volledige ruimte van oude vormen, wat een nuance toevoegt aan bestaande literatuur (zoals [2]).

4. Significatie en Impact

• Methodologische Doorbraak: Het gebruik van $L^2$-normen en matrixrangen om de nieuwe/oude vorm-theorie voor SK-lifts te structureren, is een nieuwe en krachtige techniek die onafhankelijk is van de complexe Fourier-expansies bij cusp-punten.
• Verduidelijking van de Ruimte: Het artikel lost de verwarring op over de relatie tussen SK-lifts en EZI-lifts, en identificeert expliciet de "uitzonderlijke" oude vormen die niet via de standaard EZI-mapping ontstaan.
• Fundering voor Toekomstig Werk: De geformuleerde conjectures over de sup-normen van SK-lifts en Jacobi-vormen bieden een duidelijke richtlijn voor toekomstig onderzoek in de analytische getaltheorie. De resultaten leggen een brug tussen de theorie van Siegel-vormen, Jacobi-vormen en halve-gehele gewichtsvormen.
• Technische Innovatie: De combinatie van telpunt-argumenten voor matrices met de geometrische kant van de Bergman-kern in de "Type 2" regio biedt een nieuw perspectief op het sup-norm probleem voor hogere-rang groepen.

Kortom, dit artikel legt een solide klassieke basis voor het begrijpen van de structuur en de analytische grootte van Saito-Kurokawa lifts, en biedt zowel bewezen resultaten als onderbouwde conjectures voor de toekomst.