The Ranking-Selberg integral on ${\bf GSp(2)}$ for square free levels

1. Formulação do Problema e Contexto

O artigo aborda o cálculo explícito de uma integral do tipo Rankin-Selberg introduzida por Piatetski-Shapiro para formas de Siegel vetoriais de níveis sem quadrado $\Gamma_0(N)$ no grupo de similitude simplética $G = GSp(2)$.

• Motivação: Os períodos de Bessel em $GSp(2)$ são centrais para a aritmética das formas modulares de Siegel, particularmente no contexto da conjectura de Böcherer (refinada por Liu e resolvida por Furusawa-Morimoto). Esta conjectura relaciona períodos de Bessel a valores especiais de funções $L$.
• Objetivo Específico: Os autores visam calcular a média do produto interno entre uma série de Eisenstein $E(s, \Lambda, \mu)$ e formas de Siegel $\phi$, ponderada por seus períodos de Bessel. Especificamente, investigam o comportamento assintótico dessa média quando o nível $N$ (um inteiro sem quadrado) tende ao infinito, enquanto o peso $l$ permanece fixo.
• Aplicação Alvo: Estes resultados são fundamentais para um artigo subsequente [20], onde os autores pretendem analisar o lado geométrico de uma fórmula de rastro relativa. Um requisito crítico é demonstrar que "formas antigas", "levantamentos de Yoshida" e "levantamentos de Saito-Kurokawa" contribuem de forma negligenciável (desaparecem assintoticamente) para essa média, isolando a contribuição de formas de "tipo geral".

2. Metodologia

Os autores empregam um método local-global, combinando a teoria global automórfica com cálculos locais explícitos.

A. Configuração Global

1. Integral de Rankin-Selberg: Eles definem a integral $\langle E(s, \Lambda, \mu), \phi \rangle$ sobre o quociente adélico de um subgrupo $G^\#$ associado a um corpo quadrático imaginário $E$.
2. Identidade Básica: Usando um lema de Piatetski-Shapiro, relacionam este produto interno global à transformada de Mellin da função de Bessel global $B_{T_\theta, \Lambda}(\phi)$.
3. Decomposição: O período de Bessel global é decomposto em um produto de Euler de funções de Bessel locais. Isso depende do teorema de multiplicidade um local para modelos de Bessel.
4. Novas Formas: Eles definem uma "nova forma" $\phi_\pi^0$ para cada representação automórfica $\pi$ fixando um sistema de dados locais de Bessel $(\ell_p, \xi_p)$, onde $\ell_p$ é um funcional de Bessel local e $\xi_p$ é um vetor novo local, normalizado de modo que $\ell_p(\xi_p)=1$.

B. Cálculos Locais (O Trabalho Técnico Central)

O artigo fornece avaliações explícitas de integrais de zeta locais para vários tipos de representações irredutíveis admissíveis de $G(\mathbb{Q}_p)$.

• Representações: Focam em representações do Tipo I, IIb, IIIa e VIb (classificação de Schmidt/Atobe), que correspondem às componentes locais de formas globais com nível sem quadrado.
• Funções de Teste: Utilizam funções específicas de Schwartz-Bruhat e vetores de Bessel (frequentemente vetores novos ou vetores fixos sob subgrupos de congruência $K_0(p)$).
• Casos Cobertos:
  • Casos não ramificados: Cálculos padrão.
  • Casos ramificados: Cálculos explícitos para representações com condutor não trivial, incluindo casos onde o caractere $\Lambda$ ou o nível $N$ introduzem ramificação.
  • Formas antigas: Cálculos para representações que não são novas em um primo $p$ (Tipo I e IIb com caractere central trivial).
  • Novas Formas: Cálculos para novas formas do Tipo IIIa e VIb.
• Períodos de Gross-Prasad: Na Seção 7, calculam um período local específico para caracteres ramificados, estendendo resultados anteriores de Dickson et al. para o cenário ramificado.

3. Contribuições e Resultados Chave

A. Fórmula Explícita para a Média (Teoremas 5.2 e 5.3)

Os autores derivam uma fórmula completamente explícita para a média espectral $I(s)(\lambda, N, f_S)$. O resultado expressa a média em termos de:

1. Funções L de Spinor: $L(s, \pi, \mu)$ torcidas por um caractere $\mu$.
2. Coeficientes de Fourier: Uma quantidade $R(\phi_\pi^0, E, \Lambda)$, que é uma média dos coeficientes de Fourier da nova forma sobre o grupo de classes de raios de $E$.
3. Períodos Locais: Fatores explícitos $t(\pi_p, \mu_p)$ decorrentes das integrais de zeta locais.

Refinam esta fórmula separando a soma sobre representações automórficas em subconjuntos disjuntos:

• Tipo Geral ($G$): Formas que não surgem de levantamentos.
• Levantamentos de Yoshida ($Y$): Levantamentos de pares de formas de $GL(2)$.
• Levantamentos de Saito-Kurokawa ($SK$): Levantamentos de formas de $PGL(2)$.
• Formas Antigas: Formas induzidas de níveis inferiores.

B. Resultados de Desaparecimento Assintótico (Teorema 5.4)

Uma contribuição majoritária é a prova de que, à medida que $N \to \infty$ (com $N$ primo e inerte em $E$):

• A contribuição de formas antigas decai como $O(N^{-8})$.
• A contribuição de levantamentos de Yoshida decai como $O(N^{-3/2})$.
• A contribuição de levantamentos de Saito-Kurokawa desaparece (ou decai como $O(N^{-3/2})$ dependendo de $\mu$).
• Consequentemente, a média é dominada pelas formas de tipo geral.

C. Equações Funcionais e Fatores Locais

• Deduzem a equação funcional para a função L de Spinor torcida $L(s, \pi, \mu)$ diretamente da integral de Rankin-Selberg, confirmando que os fatores locais definidos por Piatetski-Shapiro coincidem com os da literatura (e.g., [38]).
• Fornecem fórmulas explícitas para os fatores $\epsilon$ locais e períodos locais para todos os tipos relevantes de representações, incluindo os difíceis casos ramificados.

4. Significado

1. Resolução de Obstáculos Técnicos: O artigo preenche uma lacuna crítica na literatura ao fornecer cálculos locais explícitos para formas vetoriais e caracteres ramificados. Trabalhos anteriores (e.g., [7]) lidaram majoritariamente com formas de valor escalar ou casos não ramificados.
2. Fundação para Fórmulas de Rastro: Os resultados são essenciais para o trabalho subsequente dos autores sobre a fórmula de rastro relativa. Ao provar que contribuições "ruins" (formas antigas, levantamentos) desaparecem assintoticamente, validam o uso desta média específica para isolar a contribuição espectral de formas de tipo geral, o que é necessário para provar limites de subconvexidade ou resultados de não-vanishing para valores de L.
3. Verificação de Conjecturas: As fórmulas explícitas servem como uma verificação rigorosa para a conjectura refinada de Gan-Gross-Prasad no contexto de formas modulares de Siegel, estendendo o escopo para níveis sem quadrado e formas vetoriais.
4. Kit de Ferramentas Computacional: As tabelas detalhadas e fórmulas para integrais de zeta locais (Seções 6 e 7) fornecem uma referência valiosa para futuros pesquisadores trabalhando com formas automórficas em $GSp(2)$ e grupos relacionados.

Em resumo, Kuga e Tsuzuki fornecem uma análise rigorosa, explícita e assintótica de integrais de Rankin-Selberg para formas de Siegel, preenchendo a lacuna entre a teoria abstrata de representações automórficas e aplicações aritméticas concretas envolvendo funções L e períodos de Bessel.