$L^\infty$-sizes of the spaces Siegel cusp forms of degree $n$ via Poincaré series

Resumo Técnico: Tamanhos L∞ de Espaços de Formas de Cusp de Siegel

1. O Problema

O artigo aborda o problema do sup-normo (norma do supremo) para formas automorfas, especificamente focando nas formas de cusp de Siegel (holomórficas) de grau $n \ge 1$, peso $k$ e nível $N$. O objetivo central é determinar o crescimento assintótico do "tamanho" do espaço dessas formas quando o peso $k$ e/ou o nível $N$ tendem ao infinito.

Este "tamanho" é medido pelo núcleo de Bergman do espaço $S_k^{(n)}(\Gamma)$, definido como:
$$B_{k,\Gamma}(Z) = \sum_{F \in \mathcal{B}_k(\Gamma)} \det(Y)^k |F(Z)|^2$$
onde $\mathcal{B}_k(\Gamma)$ é uma base ortonormal do espaço de formas de cusp e $Z = X + iY$ pertence ao semiespaço superior de Siegel $\mathbb{H}_n$.

O problema é estimar:
$$\sup_{Z \in \mathbb{H}_n} B_{k,\Gamma}(Z)$$
em termos dos parâmetros $n$ (grau), $k$ (peso) e $N$ (nível).

Conjecturas Principais:
O autor prova as seguintes conjecturas sobre o comportamento assintótico:

1. Aspecto do Peso ($k \to \infty$): Para subgrupos de congruência fixos, espera-se que o tamanho seja $\asymp_n k^{3n(n+1)/4}$.
2. Aspecto do Nível ($N \to \infty$): Para subgrupos principais de congruência com peso fixo, espera-se que o tamanho seja $\asymp_{n,k} 1$ (independente de $N$).
3. Híbrido: Resultados uniformes que cobrem simultaneamente o peso e o nível.

2. Metodologia

A abordagem de Das difere significativamente de trabalhos anteriores que utilizavam técnicas de núcleos de calor (como em [KM23]) ou análises geométricas complexas do núcleo de Bergman perto da fronteira do domínio fundamental (como em [DK24]).

A metodologia central baseia-se na expansão de Fourier do núcleo de Bergman e no uso de séries de Poincaré. Os passos principais são:

1. Representação Geométrica: O núcleo de Bergman é expresso como uma soma sobre o grupo $\Gamma$ (lado geométrico), envolvendo séries de Poincaré $P_{T,\Gamma}(Z)$.
2. Controle das Séries de Poincaré: O cerne da prova é estabelecer limites superiores uniformes para as séries de Poincaré $P_{T,\Gamma}(Z)$ no domínio fundamental de Siegel. O autor demonstra que, para pesos suficientemente grandes, $P_{T,\Gamma}(Z) \ll_n 1$.
3. Uso de Conjugados: Para lidar com subgrupos de congruência arbitrários, o autor trabalha com todos os conjugados do grupo $\Gamma$. Isso permite reduzir o problema ao domínio fundamental de nível 1 ($\Gamma_n = Sp_n(\mathbb{Z})$), evitando a necessidade de fórmulas de traço de Petersson complexas para graus superiores.
4. Estimativas de Coeficientes: Utiliza-se a expansão de Fourier das séries de Poincaré para obter fórmulas assintóticas quantitativas dos coeficientes de Fourier, o que é crucial para provar limites inferiores.
5. Interpolação para Pesos Pequenos: Para pesos pequenos ($k \approx n$), onde as séries de Poincaré não convergem absolutamente, o autor emprega uma técnica de interpolação usando desigualdades de Hölder e operadores diferenciais que aumentam o peso (como o derivado de Serre), relacionando formas de peso pequeno a formas de peso grande.

3. Principais Resultados

Teorema 1.5 (Aspecto do Peso):
Para qualquer subgrupo de congruência $\Gamma \subset Sp_n(\mathbb{Z})$ de nível $N$ e peso $k \ge 2n+2$:
$$c_\Gamma k^{3n(n+1)/4} \ll_n \sup(S_k^{(n)}(\Gamma)) \ll_{n,\epsilon} k^{3n(n+1)/4} N^{n^2/2 + \epsilon}$$
Onde $c_\Gamma$ é uma constante positiva dependendo de $\Gamma$. Isso confirma a conjectura de crescimento em $k$ para todos os subgrupos de congruência familiares.

Teorema 1.6 (Aspecto Híbrido - Subgrupos Principais):
Para o subgrupo principal de congruência $\Gamma^{(n)}(N)$, o autor prova um limite uniforme mais forte:
$$\sup(S_k^{(n)}(\Gamma^{(n)}(N))) \asymp_n k^{3n(n+1)/4}$$
Este resultado elimina a dependência do nível $N$ no limite superior, provando que o tamanho é essencialmente determinado apenas pelo peso e pelo grau.

Teorema 1.7 (Aspecto Híbrido - Pesos Grandes):
Se o peso é suficientemente grande em relação ao nível (especificamente $k > \max\{(n+1)^2, N^{3+\epsilon}\}$), o limite uniforme $\asymp_n k^{3n(n+1)/4}$ vale para qualquer subgrupo de congruência.

Outros Resultados Significativos:

• Não-anulação de Séries de Poincaré: O método permite provar que séries de Poincaré de tipo exponencial não se anulam identicamente para matrizes $T$ com traço suficientemente pequeno em relação a $k$ (Corolário 5.6).
• Independência Linear: As séries de Poincaré associadas a matrizes $T$ inequivalentes sob $GL_n(\mathbb{Z})$ são linearmente independentes para pesos grandes (Corolário 5.8).
• Casos de Pesos Pequenos: O Teorema 9.2 fornece limites para formas individuais de pesos pequenos ($k \ge n/2$) usando interpolação, assumindo a validade do limite médio para pesos grandes.
• Formas Modulares Elípticas ($n=1$): O artigo inclui uma prova alternativa e simples para o caso $n=1$, estabelecendo limites para o tamanho do espaço $S_2(\Gamma_0(N))$ de ordem $O(\log N)$ usando uma nova desigualdade de crivo grande para subgrupos arbitrários.

4. Contribuições Chave e Inovações

1. Simplicidade e Generalidade: A prova evita a análise complicada do núcleo de Bergman perto da fronteira e o uso de núcleos de calor. Em vez disso, utiliza a expansão de Fourier e propriedades das séries de Poincaré, tornando o argumento mais acessível e aplicável a uma variedade mais ampla de situações.
2. Abordagem via Conjugados: A estratégia de trabalhar com todos os conjugados de $\Gamma$ para reduzir o problema ao domínio fundamental de nível 1 é uma inovação técnica que simplifica drasticamente o tratamento de subgrupos de congruência arbitrários em graus superiores ($n > 1$).
3. Resolução de Conjecturas: O trabalho resolve definitivamente as conjecturas sobre o tamanho médio (via núcleo de Bergman) das formas de cusp de Siegel no aspecto do peso e do nível, fornecendo limites assintóticos precisos (não apenas limites superiores e inferiores).
4. Aplicabilidade: O método é descrito como um algoritmo geral (Seção 7) que pode ser adaptado para formas modulares de Hilbert, formas hermitianas e outras formas automorfas em domínios tubulares.

5. Significado e Impacto

Este artigo é fundamental para a teoria analítica dos números e a teoria das formas automorfas de várias maneiras:

• Fundamentação Teórica: Fornece a base assintótica correta para o "tamanho" dos espaços de formas de Siegel, o que é essencial para entender a densidade de formas e a distribuição de seus valores.
• Ferramenta para Limites Individuais: Os resultados sobre o tamanho médio (núcleo de Bergman) são pré-requisitos cruciais para o método de "amplificação" (amplification method), que é usado para obter limites de sup-normo para formas individuais (eigenforms). Sem o controle preciso do tamanho médio, é difícil provar limites ótimos para formas individuais.
• Generalização para Grau Superior: Enquanto muitos resultados anteriores estavam restritos a $n=1$ ou $n=2$, este trabalho estende a compreensão para qualquer grau $n \ge 1$, superando a dificuldade de lidar com coeficientes de Fourier em dimensões superiores.
• Novas Perspectivas: A prova da não-anulação de séries de Poincaré sem o uso de fórmulas explícitas de expansão de Fourier (que são desconhecidas para $n > 2$) abre novas portas para o estudo de propriedades de não-anulação em graus superiores.

Em suma, o artigo de Soumya Das estabelece novos padrões para a análise de formas de cusp de Siegel, fornecendo provas rigorosas de conjecturas de longa data e introduzindo metodologias mais simples e poderosas para lidar com problemas de sup-normo em dimensões superiores.