Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles

Resumo Técnico: Fórmulas de Plancherel e de Soma de Poisson para uma Família de $\Psi$-Feixes Afins

Problema e Configuração
Este artigo aborda a conjectura da soma de Poisson para uma família específica de espaços singulares que surgem no contexto de funções $L$ de produto triplo. A conjectura, originalmente proposta por Braverman e Kazhdan e refinada por Ngô e Sakellaridis, postula a existência de um espaço de Schwartz, uma transformada de Fourier satisfazendo equivariância torcida, e uma fórmula de soma de Poisson para variedades esféricas.

Os autores focam em uma família de $\Psi$-feixes afins sobre uma variedade esférica específica. Seja $F$ um corpo numérico e $r \geq 3$. O objeto geométrico subjacente é o espaço $X^\circ_r = N \backslash GL_r$, onde $N$ é o radical unipotente de um subgrupo parabólico padrão. Este é pareado com o espaço $M^\circ$ de matrizes de posto 1 em $M_{r-2,2}$. Os autores consideram o produto $X^\circ = X^\circ_r \times M^\circ$ e suas fibras $X^\circ_\ell$ sobre pontos $\ell \in \mathbb{P}^1(F)$. Sobre essas fibras, eles estudam feixes lineares hermitianos $H$ ( $\Psi$-feixes afins) cujas seções satisfazem uma lei de transformação específica envolvendo um caractere $\psi$ e um pareamento nas componentes das matrizes.

A motivação primária para esta escolha específica de espaço é sua aplicação à representação integral de funções $L$ de produto triplo explorada em um artigo complementar dos autores e Leslie [GGHL25]. Nesse contexto, provar a continuação analítica dessas funções $L$ requer um par de fórmulas de soma de Poisson: uma para um espaço vetorial (conhecida) e uma para o espaço singular $X^\circ_\ell$ estudado aqui.

Metodologia
Os autores empregam um método espectral, utilizando propriedades conhecidas de representações automórficas e funções $L$ para deduzir resultados geométricos. A estratégia técnica central envolve as seguintes etapas:

1. Análise Harmônica Local: Os autores primeiro estabelecem uma fórmula de Plancherel para o espaço de Harish-Chandra $C(X^\circ_\ell(F_v), H)$ em um lugar local $v$. Isso envolve definir o espaço de funções, construir integrais zeta locais e relacioná-las a modelos de Whittaker de representações de $GL_{r,r-2}$.
2. Integrais Zeta e Limites: Uma parte significativa do trabalho é dedicada a provar a convergência absoluta e estabelecer limites precisos para integrais zeta locais $Z(f, W, \chi)$. Essas integrais são definidas usando a estrutura do $\Psi$-feixe e funções de Whittaker. Os autores provam que essas integrais convergem para funções de decaimento rápido e estabelecem sua continuação meromorfa.
3. Teorema de Plancherel Matricial: Ao combinar a fórmula de Plancherel local para $GL_{r,r-2}$ com a estrutura das integrais zeta, os autores derivam um teorema de Plancherel "matricial" para o espaço $X^\circ_\ell(F_v)$. Este teorema fornece um isomorfismo topológico entre o espaço de Harish-Chandra do feixe e um espaço de seções sobre o espectro temperado de $GL_{r,r-2}$.
4. Construção da Transformada de Fourier: Usando o isomorfismo de Plancherel, os autores definem uma transformada de Fourier local. Esta transformada é construída descrevendo sua imagem sob o mapa de Plancherel em termos de fatores $\gamma$ associados às funções $L$ relevantes.
5. Espaços de Schwartz Assintóticos: Os autores definem um espaço de Schwartz assintótico $Sas(X_\ell(F_v), H)$ adaptado à geometria do espaço. Eles provam que a função básica (uma função de teste específica definida via funções características de subgrupos compactos) pertence a este espaço e é $\Xi$-rapidamente decrescente.
6. Desenrolamento Global: Para provar a fórmula global de soma de Poisson, os autores desenrolam uma integral zeta global envolvendo uma forma cúspica e a função de Schwartz. Eles utilizam a decomposição espectral do núcleo automórfico e as equações funcionais das integrais zeta locais (derivadas da transformada de Fourier local) para relacionar a soma sobre pontos racionais à soma sobre a transformada de Fourier.

Contribuições e Resultados Principais

• Fórmula de Plancherel para $\Psi$-Feixes Afins: O artigo prova uma fórmula de Plancherel para o espaço de Harish-Chandra de uma família de $\Psi$-feixes afins sobre variedades esféricas singulares (Teorema 1.1, Teorema 8.6). Isso é notável porque a decomposição de Plancherel envolve representações admissíveis de posto arbitrariamente alto ($GL_{r,r-2}$), distinguindo-se de resultados anteriores sobre variedades esféricas que frequentemente envolvem grupos de posto menor ou monoides específicos.
• Construção de Transformadas de Fourier: Os autores constroem transformadas de Fourier locais e globais para esses espaços (Teorema 9.2, Teorema 10.2). Estas transformadas mostram-se isomorfismos topológicos nos espaços de Schwartz assintóticos.
• Fórmula de Soma de Poisson: Sob suposições adequadas (A1 e A2) relativas à imagem cúspica e ao decaimento rápido das funções de teste, os autores provam a fórmula de soma de Poisson:
  $$\sum_{x \in X^\circ_\ell(F)} f(x) = \sum_{x \in X^\circ_\ell(F)} \mathcal{F}(f)(x)$$
  (Teorema 1.2, Teorema 12.7).
• Estimativas Técnicas: O artigo fornece limites rigorosos para funções de Whittaker e integrais zeta tanto em contextos arquimedianos quanto não arquimedianos, incluindo estimativas para representações não temperadas e o comportamento da função básica.

Significância e Alegações
Os autores alegam que este trabalho representa o primeiro caso da conjectura de soma de Poisson provado para espaços singulares cuja decomposição de Plancherel envolve representações admissíveis de posto arbitrariamente alto.

O artigo afirma explicitamente que a técnica de transitar entre dados espectrais e geométricos para deduzir resultados sobre dados espectrais é onipresente na teoria de representações automórficas. Neste cenário específico, os autores usam propriedades conhecidas de funções $L$ (especificamente sua continuação analítica e equações funcionais) para deduzir a fórmula de soma de Poisson. Eles observam que essa abordagem é um tanto circular, no sentido de que a soma de Poisson é frequentemente usada para provar propriedades de funções $L$, mas argumentam que a técnica é válida e necessária para sua aplicação pretendida em [GGHL25].

Os autores reconhecem que não sabem como construir a transformada de Fourier ou provar a fórmula de soma de Poisson sem usar a fórmula de Plancherel e o método espectral. Eles também observam que, embora assumam que as funções de teste satisfaçam condições fortes (A1 e A2) para simplificar a prova, acreditam que muitas funções no espaço de Schwartz satisfazem a condição de decaimento rápido (A2), embora um teorema de Paley-Wiener completo para a órbita aberta permaneça um objetivo futuro.

Em resumo, o artigo fornece um arcabouço de análise harmônica rigoroso para uma classe específica de espaços singulares, estabelecendo as ferramentas de Plancherel e de soma de Poisson necessárias para avançar o estudo das funções $L$ de produto triplo via o método do feixe de fibras.