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

Aquí presento un resumen técnico detallado del artículo "New and Old Saito-Kurokawa Lifts Classically via L2 Norms and Bounds on Their Sup-Norms: Level Aspect", escrito por Pramath Anamby y Soumya Das.

1. El Problema y el Contexto

El objetivo principal del artículo es estudiar el problema de la norma supremo (sup-norm) para formas de Siegel holomorfas de grado 2 ($S^{(2)}_k(N)$) en el aspecto del nivel (es decir, cuando el nivel $N$ varía).

• Desafío: Las formas automorfas en grupos de rango superior (como $GSp(4)$, el grupo simétrico de grado 2) carecen de modelos de Whittaker globales, lo que obstaculiza el uso de herramientas analíticas estándar utilizadas para formas elípticas ($GL(2)$).
• Enfoque específico: Los autores se centran en el subespacio de levantamientos de Saito-Kurokawa (SK), que son formas de Siegel obtenidas mediante un levantamiento functorial desde formas elípticas de peso $2k-2$ o formas de Jacobi.
• Objetivos duales:
  1. Desarrollar una teoría clásica de "nuevas y viejas formas" (new-oldform theory) para los levantamientos SK de nivel libre de cuadrados.
  2. Establecer cotas precisas (conjeturas y pruebas) para el tamaño $L^\infty$ (norma supremo) del espacio de estos levantamientos, medido a través del núcleo de Bergman.

2. Metodología

Los autores emplean un enfoque híbrido que combina teoría clásica de formas modulares, álgebra de Hecke y análisis geométrico.

A. Teoría de Nuevas y Viejas Formas (Parte I)

En lugar de utilizar expansiones de Fourier en diversos cúspides (que es técnicamente difícil para formas de Siegel de nivel alto), los autores desarrollan un método novedoso basado en normas $L^2$:

• Matriz de Producto Interno ($M_p$): Definen una matriz $4 \times 4$ cuyas entradas son productos internos de formas transformadas por operadores de Atkin-Lehner ($W_p$) y operadores de tipo $U$ ($US(p)$).
• Caracterización del Rango: Demuestran que el rango de esta matriz $M_p$ caracteriza si una forma es un levantamiento SK o no.
  • Si $F$ es un levantamiento SK, el rango de $M_p$ es 3.
  • Si $F$ no es un levantamiento SK, el rango es 4.
• Relaciones de Hecke: Utilizan el álgebra de Hecke de $GSp(2)$ para calcular explícitamente las entradas de $M_p$ en términos de los valores propios de Hecke, evitando así la necesidad de expansiones de Fourier complejas en cúspides.
• Relaciones de Maass-Ibukiyama: Caracterizan los levantamientos que provienen directamente de formas de Jacobi (llamados levantamientos EZI) mediante relaciones específicas de Maass-Ibukiyama, distinguiéndolos de otros levantamientos SK "excepcionales" en el espacio de viejas formas.

B. Cotas de Norma Supremo (Parte II)

Para estimar el tamaño del espacio (el supremo del núcleo de Bergman), dividen el dominio fundamental en tres regiones basadas en la geometría del grupo $\Gamma_0^{(2)}(p)$:

1. Región Tipo 0 ($Y \gg 1$): Se maneja mediante la expansión de Fourier estándar.
2. Región Tipo 1 ($Y \sim 1$): Se utiliza la expansión de Fourier-Jacobi, reduciendo el problema al tamaño de las formas de Jacobi.
3. Región Tipo 2 ($Y \gg 1/p$): Es la región más difícil. Los autores emplean un argumento de conteo de matrices discretas en el lado geométrico del núcleo de Bergman, contando puntos en retículos relacionados con el grupo modular.

3. Contribuciones Clave

1. Teoría Clásica de Levantamientos SK: Proporcionan la primera descripción clásica completa de las nuevas y viejas formas para levantamientos SK de nivel libre de cuadrados, incluyendo la construcción de una base ortonormal explícita invariante bajo la involución de Fricke ($W_p$).
2. Nuevo Método de Normas $L^2$: Introducen el uso de matrices de producto interno basadas en operadores de Hecke para distinguir entre tipos de formas en espacios de grado superior, una alternativa potente a los métodos tradicionales de expansión de Fourier.
3. Conjeturas sobre el Tamaño del Espacio: Formulan conjeturas precisas sobre el crecimiento asintótico del tamaño del espacio de levantamientos SK en función del nivel $N$.
4. Cotas para Formas de Jacobi: Demuestran una cota no trivial para la norma supremo de una forma de Jacobi nueva individual y analizan el tamaño promedio del espacio de formas de Jacobi de índice 1.

4. Resultados Principales

A. Caracterización de Levantamientos SK

• Teorema 1.2: Una forma propia de Hecke $F \in S^{(2)}_k(N)$ es un levantamiento SK si y solo si la matriz de producto interno $M_p$ tiene rango 3 (para un primo $p$ suficientemente grande). Esto proporciona un criterio algebraico eficiente para identificar estos levantamientos.
• Teorema 4.12: Se demuestra que un elemento en el espacio SK es un levantamiento EZI (Eichler-Zagier-Ibukiyama) si y solo si satisface las relaciones de Maass-Ibukiyama.

B. Cotas de Norma Supremo

• Conjetura 1.9 (Tamaño del Espacio): Los autores conjeturan que para $k \ge 4$ y $N$ libre de cuadrados:
  $$\sup(SK_k(N)) \asymp_k N^{-2}$$
  Esto contrasta con el comportamiento esperado para formas generales de Siegel, sugiriendo que el subespacio SK es "más pequeño" en términos de concentración de masa.
• Teorema 1.8 (Cota Superior para Nivel Primo): Para un primo $p$, demuestran:
  $$p^{-2} \ll_k \sup(SK_k(p)) \ll_{k, \epsilon} p^{-1+\epsilon}$$
  La cota inferior se obtiene mediante la fórmula de Waldspurger y promedios de valores centrales de funciones L. La cota superior se logra mediante el análisis de las tres regiones mencionadas, utilizando el conteo de matrices en la región Tipo 2.
• Teorema 1.6 (Formas de Jacobi): Demuestran una cota no trivial para una forma de Jacobi nueva individual $\phi$:
  $$\|\phi\|_\infty \ll_{k, \epsilon} N^{-1/36 + \epsilon}$$
  Esto es significativo porque supera la cota "trivial" y aborda la dificultad de los términos de la serie theta que crecen con el nivel.

5. Significado e Impacto

• Avance en Grupos de Rango Superior: Este trabajo es uno de los primeros en abordar sistemáticamente el problema de la norma supremo para formas de Siegel de grado 2 en el aspecto del nivel, superando la falta de modelos de Whittaker globales mediante técnicas de formas de Jacobi y álgebra de Hecke.
• Herramientas Nuevas: El método de las matrices de producto interno ($M_p$) ofrece una nueva vía para estudiar la estructura de espacios de formas modulares de grado superior, que podría aplicarse a otros tipos de formas (como formas modulares hermíticas).
• Precisión en Conjeturas: Las conjeturas propuestas sobre el tamaño $N^{-2}$ para el espacio SK y $N^{-3/2}$ para formas individuales proporcionan un marco de referencia claro para futuras investigaciones en el análisis espectral de grupos simétricos.
• Resolución de Problemas Técnicos: La distinción entre levantamientos EZI y otros levantamientos SK, y la construcción de bases ortonormales invariantes, resuelven lagunas en la teoría clásica de niveles altos que eran necesarias para realizar el análisis analítico posterior.

En resumen, el artículo establece una base sólida para el análisis analítico de formas de Siegel de grado 2, combinando teoría algebraica de representaciones con técnicas analíticas avanzadas para obtener cotas precisas en el aspecto del nivel.