Fourier coefficients and cuspidality of modular forms: a new approach

Resumen Técnico: Coeficientes de Fourier y Cuspidalidad para Formas Modulares

1. El Problema

El objetivo central del artículo es abordar un problema fundamental en la teoría de formas modulares: distinguir entre formas modulares y formas cuspidales basándose únicamente en el crecimiento de sus coeficientes de Fourier.

• Contexto: Para formas modulares elípticas ($n=1$), es bien conocido que si los coeficientes de Fourier $a_F(n)$ crecen más lentamente que el límite de Hecke ($a_F(n) \ll n^{k-1}$), la forma es cuspidal.
• Desafío en Grupos de Mayor Rango: Para formas modulares de Siegel de grado $n > 1$ (actuando sobre el semiplano superior de Siegel $\mathbb{H}_n$), la situación es mucho más compleja. La estrategia tradicional de descomponer el espacio en series de Eisenstein y formas cuspidales falla debido a la presencia de múltiples series de Eisenstein de tipo Klingen, cuyos coeficientes de Fourier tienen un crecimiento similar y cuyas expansiones no son completamente conocidas en general.
• La Conjetura: Se busca determinar si una condición de crecimiento $a_F(T) \ll \det(T)^c$ para ciertos valores de $c$ y peso $k$ implica necesariamente que $F$ es una forma cuspidal. El desafío es encontrar el rango óptimo de $c$ y el peso mínimo $k_0$ para el cual esto es cierto.

2. Metodología

El autor propone un enfoque nuevo, basado en inducción, que evita el uso directo de las series de Eisenstein de tipo Klingen. La metodología se sustenta en tres pilares:

1. Expansión Fourier-Jacobi (FJ): Se utiliza la expansión de Fourier-Jacobi de la forma modular $F$. Esta descompone $F$ en coeficientes $\phi_{F,M}$ que son formas de Jacobi.
2. Inducción sobre el Grado ($n$): El argumento reduce el problema de grado $n$ a problemas de grado inferior ($n-r$).
   • Se demuestra que si los coeficientes de Fourier de $F$ cumplen la condición de crecimiento, entonces los coeficientes de Fourier-Jacobi $\phi_{F,M}$ (para $M > 0$) también satisfacen condiciones de crecimiento análogas.
   • Mediante una descomposición theta, estos coeficientes se relacionan con formas modulares elípticas (o de grado menor) $h_\mu$.
3. Manejo de Pesos Semi-Enteros: A diferencia de trabajos anteriores que se restringían a pesos enteros, este enfoque trabaja desde el principio con pesos semi-enteros y subgrupos de congruencia generales. Esto es crucial porque las componentes theta de las formas de Jacobi pueden tener pesos semi-enteros.
4. Técnicas Analíticas:
   • Se utiliza el operador $\Phi$ de Siegel (y su "opuesto" $\tilde{\Phi}$) para analizar el comportamiento en los cúspides.
   • Se emplean estimaciones de sumas sobre matrices positivas definidas (Lema 4.2) para controlar el crecimiento de la función $F(Z)$ cuando $\det(Y) \to 0$.
   • Para el caso $n=1$, se adapta el teorema de caracterización de Miyake, demostrando que un crecimiento controlado de los coeficientes implica que la función es cuspidal.

3. Resultados Principales

A. Teorema Principal (Teorema 1.2):
Sea $k \ge n/2$ un peso semi-entero, $\Gamma \subseteq Sp_n(\mathbb{Z})$ un subgrupo de congruencia y $F \in M^n_k(\Gamma)$. Si para todo $T \in \Lambda_n^+$ (matrices semi-definidas positivas) se cumple:
$$a_F(T) \ll_F \det(T)^c$$
con $c < k - \frac{n+1}{2}$, entonces $F$ es una forma cuspidal ($F \in S^n_k(\Gamma)$).

• Optimalidad: Este resultado es óptimo en cuanto al exponente $c$. El supremo posible es $c_0 = k - \frac{n+1}{2}$.
• Peso Mínimo: El resultado es válido para el valor mínimo posible de $k_0 = n/2$, superando las restricciones de trabajos previos que requerían $k > 2n$ o $k > n+1$.

B. Conjetura sobre Coeficientes Fourier-Jacobi (Conjetura 1.3 y Teorema 4.6):
El autor plantea la pregunta inversa: Si la mayoría de los coeficientes Fourier-Jacobi $\phi_{F,M}$ son cuspidales, ¿es $F$ cuspidal?

• Se prueba esta conjetura para $\Gamma = \Gamma_0^n(N)$ cuando $r = n-1$.
• La prueba utiliza representantes de doble clase en $\Gamma_0^n(N) \backslash Sp_n(\mathbb{Q}) / P_{n,n-1}(\mathbb{Q})$ para demostrar que si los coeficientes son cuspidales, el término constante (asociado a $M=0$) debe ser cero.

C. Cuspidalidad y Polos de Series L (Sección 5.2):
Se establece una conexión entre la cuspidalidad y los polos de la serie $L$ de Rankin-Selberg $R(F, s)$.

• Proposición 5.7: Si $k > n+1$, entonces $F$ es cuspidal si y solo si la serie $L$ de Rankin-Selberg $R(F, s)$ no tiene polos en un conjunto específico de puntos $C = \{s_j = 2k - \frac{n+j}{2}\}$.
• Esto ofrece un criterio analítico alternativo para verificar la cuspidalidad sin depender directamente de los coeficientes de Fourier individuales.

4. Contribuciones Clave

1. Simplicidad y Generalidad: La prueba es notablemente más corta y directa que las aproximaciones anteriores (que involucraban identidades de Andrianov, teoremas de Imai o técnicas de "diagonal").
2. Optimalidad de Rangos: Se logra el rango de peso $k$ más bajo posible ($k \ge n/2$) y el mejor exponente de crecimiento $c$, cerrando brechas dejadas por trabajos de Kohnen, Berndt, Das, Kohnen, etc.
3. Inclusión de Pesos Semi-Enteros: Al trabajar con pesos semi-enteros desde el inicio, el método captura la estructura natural de las componentes theta de las formas de Jacobi, algo que los métodos anteriores ignoraban o requerían adaptaciones técnicas complejas.
4. Nuevas Direcciones:
   • Propone conjeturas sobre "conjuntos delgados" (thin sets) de coeficientes.
   • Sugiere el uso de normas de Petersson regularizadas de los coeficientes FJ.
   • Discute la dificultad de extender el método a formas modulares vectoriales debido a la falta de una expansión Fourier-Jacobi simple en ese contexto.

5. Significado e Impacto

Este trabajo representa un avance significativo en la teoría de formas modulares de Siegel. Proporciona una herramienta robusta y eficiente para caracterizar formas cuspidales, eliminando la necesidad de análisis profundos de series de Eisenstein de tipo Klingen que a menudo son intratables.

• Para la Teoría de Números: Refina los límites conocidos sobre el crecimiento de coeficientes, lo cual es crucial para entender la distribución de valores de formas modulares y sus propiedades aritméticas.
• Metodológico: Establece la expansión Fourier-Jacobi como una herramienta central y poderosa para problemas de inducción en grados superiores, ofreciendo un camino más claro para futuras investigaciones en grupos de Lie de rango superior.
• Aplicabilidad: Al ser adaptable a diversos dominios tipo tubo y subgrupos de congruencia, el método tiene un amplio potencial para generalizaciones en otras áreas de la teoría de formas automorfas.

En resumen, Soumya Das ofrece una solución elegante y óptima a un problema clásico, demostrando que el crecimiento de los coeficientes de Fourier es un criterio suficiente y necesario (bajo los límites óptimos) para la cuspidalidad, incluso en los casos más delicados de pesos bajos y grados altos.