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

Resumo Técnico: Novos e Velhos Levantamentos Saito-Kurokawa via Normas L2 e Limites Sup

1. O Problema e o Contexto

O artigo aborda o problema da norma suprema (sup-norm) para formas modulares de Siegel holomorfas de grau 2 ($S_k^{(2)}(N)$), especificamente no aspecto do nível ($N$). Este é um problema fundamental na teoria analítica dos números, buscando entender o tamanho máximo (pico) de formas automorfas normalizadas.

• Desafio Principal: Para grupos de posto superior (como $GSp(4)$), a ausência de modelos de Whittaker globais para formas de Siegel torna as ferramentas analíticas padrão (como a fórmula de traço de Petersson ou expansões de Fourier diretas) menos eficazes ou indisponíveis de forma útil.
• Foco Específico: Os autores concentram-se no subespaço dos Levantamentos Saito-Kurokawa (SK), que são formas de Siegel obtidas via levantamento functorial a partir de formas elípticas (ou formas de Jacobi). O objetivo é:
  1. Desenvolver uma teoria clássica de "novas e velhas formas" (new-oldform theory) para levantamentos SK de nível livre de quadrados.
  2. Estabelecer limites superiores e inferiores precisos para o tamanho do espaço de levantamentos SK (medido pelo supremo do núcleo de Bergman) e para formas individuais.

2. Metodologia

Os autores utilizam uma abordagem híbrida, combinando teoria clássica de formas modulares com técnicas analíticas avançadas.

• Abordagem Clássica via Normas L2 (Parte 1):

  • Em vez de depender de expansões de Fourier em várias cúspides (que é complexo para formas de Siegel de nível alto), os autores introduzem uma técnica inovadora baseada em normas $L^2$ (Petersson).
  • Eles definem uma matriz de produto interno $M_p$ de dimensão $4 \times 4$, cujas entradas são os produtos internos de formas transformadas por operadores de Atkin-Lehner e Hecke ($Id, W_p, U_S(p), U_S(p)W_p$).
  • A teoria de novas e velhas formas é caracterizada pelo rango desta matriz. Especificamente, um autoforma é um levantamento SK se e somente se o rango de $M_p$ for 3 (para um primo $p \nmid N$). Isso permite distinguir levantamentos SK de outras formas de Siegel e construir bases ortonormais explícitas para os espaços de "velhas formas".

• Análise do Núcleo de Bergman e Contagem (Parte 2):

  • Para estimar o tamanho do espaço ($L^\infty$), os autores analisam o Núcleo de Bergman (Bergman Kernel - BK).
  • O domínio fundamental do grupo $\Gamma_0^{(2)}(p)$ é dividido em três regiões geométricas distintas (Tipo 0, Tipo 1 e Tipo 2), baseadas na decomposição de cosets.
  • Região Tipo 0 ($Y \gg 1$): Usam expansão de Fourier direta.
  • Região Tipo 1: Usam expansão de Fourier-Jacobi, reduzindo o problema ao tamanho de formas de Jacobi.
  • Região Tipo 2 ($Y \gg 1/p$): A região mais difícil. Os autores utilizam um argumento de contagem de matrizes discretas no lado geométrico do núcleo de Bergman, evitando a expansão de Fourier que falha nesta região.

• Conexão com Formas de Peso Semi-Inteiro:

  • A análise das formas de Jacobi (que levantam para formas SK) é reduzida ao estudo de formas de peso semi-inteiro ($k-1/2$) através da decomposição de theta e isomorfismos de Eichler-Zagier-Ibukiyama (EZI).

3. Contribuições Chave e Resultados Principais

A. Teoria de Novas e Velhas Formas para Levantamentos SK

• Caracterização via Relações de Maaß-Ibukiyama: Os autores provam que um levantamento SK é um levantamento EZI (derivado de formas de Jacobi) se e somente se satisfizer as relações de Maaß-Ibukiyama.
• Estrutura do Espaço de Velhas Formas: Eles demonstram que, para nível $Np$, existem três formas de "velha" classe para cada forma de Jacobi nova, mas apenas uma delas não é um levantamento EZI. Isso fornece uma caracterização clara da estrutura do espaço de levantamentos SK.
• Matriz $M_p$: A descoberta de que o rango da matriz de produtos internos $M_p$ determina se uma forma é um levantamento SK é uma ferramenta nova e poderosa para a teoria clássica de níveis superiores.

B. Limites para o Tamanho do Espaço (Núcleo de Bergman)

• Conjectura Proposta: Os autores conjecturam que o tamanho do espaço de levantamentos SK de nível $N$ é da ordem de $N^{-2}$ (mais precisamente, $\sup(SK_k(N)) \asymp N^{-2}$).
• Teorema Principal (Nível Primo): Para nível primo $p$, provam o limite:
  $$p^{-2} \ll_k \sup(SK_k(p)) \ll_{k, \epsilon} p^{-1+\epsilon}$$
  O limite inferior é obtido via fórmulas de Waldspurger e valores centrais de funções L. O limite superior é obtido através da análise das três regiões geométricas.

C. Limites para Formas Individuais e Formas de Jacobi

• Formas de Jacobi: Provam um limite não trivial para a norma suprema de uma forma de Jacobi nova individual $\phi$:
  $$\|\phi\|_\infty \ll_{k, \epsilon} N^{-1/36 + \epsilon}$$
  Isso supera o limite trivial esperado e lida com a "pegadinha" do comportamento das séries de theta.
• Conjectura para Levantamentos SK: Propõem que uma forma nova normalizada em $L^2$ satisfaz $\|F\|_\infty \ll_k N^{-3/2}$.

D. Resultados Auxiliares

• Appendice 1: Estabelecem que o tamanho do espaço de formas elípticas $S_k(N)$ é da ordem de $O(1)$ para $k > 2$ e $N$ livre de quadrados, generalizando resultados anteriores.
• Appendice 2: Demonstram que o operador $U_J(p)$ em formas de Jacobi não é auto-adjunto no espaço completo (apenas no espaço novo), corrigindo uma suposição em trabalhos anteriores e esclarecendo a estrutura do espaço de velhas formas.

4. Significado e Impacto

• Avanço na Teoria de Grupos de Posto Superior: O artigo fornece uma das primeiras análises sistemáticas do problema da norma suprema para formas de Siegel de grau 2, superando a barreira da falta de modelos de Whittaker globais através de métodos clássicos e geométricos.
• Ferramentas Novas: A introdução da matriz de produtos internos $M_p$ para caracterizar levantamentos SK e a distinção entre levantamentos EZI e não-EZI oferece novas ferramentas para a teoria de formas modulares de nível alto.
• Precisão de Limites: Os limites obtidos para o núcleo de Bergman e para formas individuais são consistentes com as expectativas teóricas baseadas na dimensão do espaço e na distribuição de massa das formas automorfas.
• Conexão entre Áreas: O trabalho solidifica a ponte entre formas de Siegel, formas de Jacobi e formas de peso semi-inteiro, mostrando como problemas em uma área podem ser resolvidos via redução para outra.

Em suma, este trabalho estabelece uma base clássica rigorosa para o estudo de levantamentos Saito-Kurokawa de nível alto e fornece limites analíticos precisos que são fundamentais para a compreensão da distribuição de massa e do comportamento assintótico de formas automorfas em grupos simpléticos.