The weight two and opposite sign cases for the Fourier relative trace formulas

Resumo Técnico: Fórmulas de Rastreamento Relativo para Casos de Sinais Opostos e Peso Dois

1. O Problema e Motivação

As fórmulas de Petersson e de Bruggeman-Kuznetsov (PBK) são ferramentas fundamentais na teoria analítica dos números, com aplicações em momentos de funções L, desigualdades de peneira grande, não-anulação de valores centrais e distribuição de primos em progressões aritméticas.

Existem duas abordagens clássicas para obter essas fórmulas:

1. Séries de Poincaré: Uma abordagem mais clássica.
2. Fórmula Pré-Rastreamento (Pre-trace formula): Desenvolvida por Jacquet e Zagier, e expandida por Knightly e Li. Esta abordagem oferece maior flexibilidade na seleção de famílias de representações locais não-arquimedianas.

A Lacuna: A literatura existente, particularmente a abordagem via fórmula pré-rastreamento de Knightly e Li, cobre bem o caso de sinais iguais (coeficientes de Fourier $m_1, m_2$ com o mesmo sinal) e o caso holomorfo para pesos $\kappa > 2$. No entanto, faltam tratamentos rigorosos via fórmula pré-rastreamento para:

• O caso de sinais opostos ($m_1 m_2 < 0$) para formas de Maass.
• O caso holomorfo de peso $\kappa = 2$.

O caso $\kappa = 2$ é particularmente relevante devido às suas conexões com curvas elípticas sobre $\mathbb{Q}$, mas apresenta dificuldades analíticas porque o coeficiente da matriz associado à série discreta $D(2)$ não pertence a $L^1([G])$, impedindo a convergência absoluta e uniforme do kernel geométrico padrão.

2. Metodologia

O autor utiliza uma abordagem adeliana baseada na fórmula de rastreamento relativo (relative trace formula). O método geral envolve igualar duas expansões de um kernel integral $K_{geom}(x, y)$ associado a uma função teste $f_A = f_\infty \otimes f$:

• Lado Espectral: Uma soma sobre representações automorfas (cuspídeas e contínuas) ponderada por coeficientes de Fourier.
• Lado Geométrico: Uma soma sobre órbitas (órbitas de conjugação) envolvendo somas de Kloosterman generalizadas.

Estratégias Específicas para os Casos Difíceis:

• Caso de Sinais Opostos ($m_1 m_2 < 0$):

  • O autor adapta a transformada de Zagier. No caso de sinais iguais, a transformada de Zagier padrão lida com termos diagonais e de segunda célula. Para sinais opostos, o termo diagonal (primeira célula) desaparece devido ao suporte da função teste $f_\infty$.
  • Introduz-se uma Transformada de Zagier Modificada ($M(t)$) para lidar com o termo de segunda célula no caso de sinais opostos.
  • Demonstra-se que a transformada de Fourier de $M(t)$ está relacionada à função teste $h_\infty$ através de uma integral envolvendo a função de Bessel modificada $K_{2it}$ e o seno hiperbólico, resultando na função transformada $H^-_\infty$.

• Caso Holomorfo de Peso $\kappa = 2$:

  • Como o coeficiente da matriz da série discreta $D(2)$ não é integrável, o autor não pode aplicar a fórmula pré-rastreamento diretamente.
  • Técnica de Limitação (Limiting Argument): Introduz-se uma função de corte suave e truncada $\varrho_T$ (dependente de um parâmetro $T$) que isola o comportamento da série discreta. Define-se uma função teste truncada $f^T_\infty = f_\infty \cdot \varrho_T$.
  • Aplica-se a fórmula pré-rastreamento para $f^T_\infty$ e toma-se o limite quando $T \to \infty$.
  • É necessário estimar rigorosamente as contribuições das representações de série principal (que não são anuladas pelo corte) e do espectro contínuo, mostrando que elas tendem a zero no limite, restando apenas a contribuição da série discreta $D(2)$.

3. Principais Contribuições e Resultados

O artigo estabelece três teoremas principais, fornecendo fórmulas refinadas sob "Hipóteses Geométricas" e "Espectrais" sobre a função teste não-arquimediana $f$.

Teorema 1.2.1 (Fórmula BK Não Refinada - Sinais Opostos):
Estabelece uma igualdade entre uma soma sobre formas de Maass (e séries de Eisenstein) com coeficientes de Fourier $m_1, m_2$ de sinais opostos e uma soma sobre somas de Kloosterman generalizadas $H(m_1, m_2, c)$ ponderadas pela transformada $H^-_\infty$.

• A convergência é absoluta.
• Inclui o paridade $p(\pi)$ das representações.

Teorema 1.2.2 (Fórmula BK Refinada - Sinais Opostos):
Sob as hipóteses de que $f$ é um projetor de nova forma (ou combinação de projetores), a fórmula é refinada para expressar os coeficientes de Fourier em termos de autovalores de Hecke $\lambda_\pi(m)$.

• A fórmula conecta a soma ponderada de $|\lambda_\pi(m)|^2$ (com pesos $w(\pi, f)$) às somas de Kloosterman.
• Permite o controle preciso de famílias de formas modulares com componentes não-arquimedianos específicos.

Teorema 1.2.3 (Fórmula de Petersson para Peso 2):
Fornece a versão da fórmula de Petersson para $\kappa = 2$.

• Diferente do caso de sinais opostos, este caso possui um termo diagonal ($\delta_{m_1=m_2}$) no lado geométrico.
• O termo geométrico envolve a função de Bessel $J_1$.
• A prova utiliza o argumento de limite $T \to \infty$ para isolar a contribuição da série discreta $D(2)$, eliminando as contribuições residuais e contínuas.

Corolário 1.3.1 (Equidistribuição de Paridade):
Como aplicação direta da fórmula de sinais opostos, o autor prova um resultado de equidistribuição para a paridade das representações automorfas não ramificadas no infinito.

• Mostra que, para uma família de formas cortada por $f$, as representações com paridade par e ímpar estão distribuídas de forma aproximadamente igual (razão 1:1), com um termo de erro controlado.

4. Significado e Impacto

• Preenchimento de Lacunas Teóricas: O trabalho completa a teoria das fórmulas de rastreamento relativo para o caso de sinais opostos e para o peso crítico $\kappa = 2$, que eram ausentes na literatura baseada na abordagem de Jacquet-Zagier-Knightly-Li.
• Aplicações em Teoria de Números: A fórmula de Petersson para peso 2 é crucial para problemas relacionados a curvas elípticas (devido à correspondência de modularity). A capacidade de lidar com sinais opostos é essencial para problemas de não-anulação de funções L e estimativas de momentos.
• Generalidade: Embora o artigo seja apresentado sobre $\mathbb{Q}$, o autor nota que os resultados devem generalizar para corpos de números arbitrários.
• Técnica de Limitação: A abordagem desenvolvida para o caso $\kappa = 2$ (uso de corte suave e limites) oferece um novo método para lidar com coeficientes de matriz que não são integráveis, o que pode ser útil em outros contextos de análise automorfa.

Em resumo, Di Scipio fornece uma prova adélica rigorosa e unificada para casos anteriormente não tratados ou tratados apenas de forma clássica, expandindo o arsenal de ferramentas disponíveis para a análise de formas modulares e de Maass.