Fourier coefficients and cuspidality of modular forms: a new approach

Resumo Técnico: Coeficientes de Fourier e Cuspidalidade para Formas Modulares

Autor: Soumya Das
Área: Teoria dos Números (Formas Modulares de Siegel)

1. O Problema

O objetivo central do artigo é fornecer uma prova simples, direta e baseada em indução para distinguir entre formas modulares de cuspide (cusp forms) e formas modulares gerais, baseando-se exclusivamente no crescimento dos seus coeficientes de Fourier.

• Contexto: Para formas modulares elípticas (grau $n=1$), é bem conhecido que um crescimento suficientemente lento dos coeficientes de Fourier implica que a forma é uma forma de cuspide. No entanto, para grupos de maior posto, especificamente o grupo modular de Siegel $Sp_n(\mathbb{Z})$ atuando no semiplano superior de Siegel $\mathbb{H}_n$, o problema torna-se não trivial.
• Desafio: A abordagem direta de decompor o espaço de formas modulares em séries de Eisenstein e formas de cuspide torna-se extremamente complexa em graus superiores devido à presença de múltiplas séries de Eisenstein do tipo Klingen, cujas expansões de Fourier são pouco conhecidas e cujos coeficientes crescem de maneira similar.
• Questão Principal: Dada uma forma modular $F \in M^n_k(\Gamma)$, se os seus coeficientes de Fourier $a_F(T)$ satisfazem um limite do tipo $a_F(T) \ll \det(T)^c$ para algum $c$ suficientemente pequeno, $F$ é necessariamente uma forma de cuspide? O artigo busca determinar os melhores parâmetros possíveis para $c$ e o peso mínimo $k_0$.

2. Metodologia

O autor propõe uma nova abordagem que evita o uso direto das séries de Eisenstein de Klingen e de propriedades analíticas complexas de funções L (como polos de funções L padrão), que foram métodos comuns em trabalhos anteriores (ex: [BD14], [BK19]).

• Expansão de Fourier-Jacobi (FJ): A ferramenta central é o uso da expansão de Fourier-Jacobi de $F$. Para uma forma $F$ de grau $n$, a expansão é escrita em termos de coeficientes $\phi_{F,M}$, que são formas de Jacobi.
• Argumento Indutivo: O método utiliza uma indução sobre o grau $n$. A ideia é reduzir o problema de grau $n$ para o problema de grau $n-r$ (onde $r$ é o índice da expansão FJ).
• Tratamento de Pesos Semi-Inteiros: Uma inovação técnica crucial é que o autor trabalha com pesos semi-inteiros ($k \in \frac{1}{2}\mathbb{Z}$) desde o início, mesmo para formas escalares. Isso é necessário porque, ao decompor as formas de Jacobi em componentes de séries de theta, os pesos dessas componentes podem ser semi-inteiros. Trabalhar apenas com pesos inteiros limitaria a aplicabilidade do argumento indutivo.
• Análise de Crescimento: O autor estabelece limites para os coeficientes das componentes de theta e utiliza o comportamento assintótico da função $F(Z)$ quando $\det(Y) \to 0$ (onde $Y = \text{Im}(Z)$) para provar a cuspidalidade.

3. Principais Contribuições e Resultados

A. Teorema Principal (Teorema 1.2)
O resultado central estabelece um limite ótimo para o crescimento dos coeficientes de Fourier que garante a cuspidalidade:

• Enunciado: Seja $k \geq n/2$ ser semi-inteiro, $\Gamma \subseteq Sp_n(\mathbb{Z})$ um subgrupo de congruência e $F \in M^n_k(\Gamma)$. Se para algum $c < k - \frac{n+1}{2}$, os coeficientes satisfazem $a_F(T) \ll \det(T)^c$ em um cuspide (assumido ser o infinito), então $F$ é uma forma de cuspide ($F \in S^n_k(\Gamma)$).
• Otimização:
  • O limite para $c$ é ótimo (supremo é $k - \frac{n+1}{2}$).
  • O limite para o peso mínimo $k_0$ é ótimo ($k_0 = n/2$). Trabalhos anteriores exigiam pesos maiores (ex: $k > 2n$ ou $k > n+1$) devido ao uso de fórmulas de Lipschitz ou análise de polos de funções L. A abordagem de Das elimina essas restrições.
• Generalidade: O resultado aplica-se a qualquer subgrupo de congruência e cobre pesos semi-inteiros, algo que trabalhos anteriores não faziam de forma unificada.

B. Conjectura sobre Coeficientes de Fourier-Jacobi (Conjectura 1.3 e Teorema 4.6)
O autor investiga a questão inversa: se os coeficientes de Fourier-Jacobi (FJ) de $F$ forem formas de cuspide, $F$ é uma forma de cuspide?

• Conjectura 1.3: Se para um $r$ fixo ($1 \leq r \leq n-1$), os coeficientes FJ $\phi_{F,M}$ forem formas de cuspide para quase todo $M$, então $F$ é uma forma de cuspide.
• Resultado Parcial (Teorema 4.6): A conjectura é provada para o caso $\Gamma = \Gamma_0^n(N)$ e $r = n-1$, utilizando representantes especiais de duplas classes coset e o operador $\tilde{\Phi}$ (operador de Siegel "oposto").

C. Cuspidalidade via Polos de Funções L (Seção 5.2)
O artigo discute como a cuspidalidade pode ser recuperada a partir dos polos da série L de Rankin-Selberg $R(F, s)$.

• Proposição 5.7: Para $k > n+1$, $F$ é uma forma de cuspide se e somente se a série $R(F, s)$ não tiver polos em certos pontos específicos do conjunto $C = \{s_j = 2k - \frac{n+j}{2} \mid 1 \leq j < n\}$.
• Isso conecta o crescimento dos coeficientes de Fourier (via convergência da série L) diretamente à ausência de polos que caracterizam formas não-cuspides.

D. Limitações e Casos Vetoriais
O autor nota que o método atual não se aplica diretamente a formas modulares de Siegel com valores vetoriais devido à falta de uma expansão de Fourier-Jacobi simples nesse contexto. Uma abordagem alternativa baseada na restrição de domínios para formas de Hilbert é esboçada, mas não totalmente desenvolvida.

4. Significado e Impacto

• Simplicidade e Unificação: O artigo oferece uma prova significativamente mais curta e direta do que as abordagens anteriores, unificando casos de pesos inteiros e semi-inteiros e subgrupos de congruência gerais.
• Limites Ótimos: Ao alcançar os limites teóricos para o peso $k_0$ e o expoente de crescimento $c$, o trabalho fecha lacunas deixadas por investigações anteriores que dependiam de técnicas analíticas mais pesadas.
• Novas Direções: A proposta de conjecturas sobre coeficientes de Fourier-Jacobi e a relação com a regularização de produtos internos de Petersson abre novas linhas de pesquisa para o estudo de formas modulares de grau superior.
• Aplicabilidade: A técnica de indução via expansão de Fourier-Jacobi demonstra ser uma ferramenta poderosa e adaptável para problemas de crescimento de coeficientes em domínios tubulares além do caso clássico de Siegel.

Em resumo, o artigo de Soumya Das representa um avanço metodológico significativo na teoria das formas modulares de Siegel, fornecendo critérios de cuspidalidade mais fortes e gerais através de uma análise combinatória e indutiva dos coeficientes de Fourier, evitando a complexidade das séries de Eisenstein de Klingen.