Tempered vs generic automorphic functions and the canonical filtration on automorphic functions

Resumo Técnico: Funções Automorfas Tempered vs. Genéricas e a Filtração Canônica

1. O Problema e o Contexto

O artigo situa-se no âmbito da Conjectura de Langlands Geométrica para corpos de funções (caso não ramificado). O objetivo central é estabelecer uma ponte profunda entre a estrutura geométrica do lado espectral (feixes ind-coerentes no espaço de módulos de sistemas locais) e a estrutura analítica/aritmética do lado automorfo (espaço de funções automorfas).

O problema específico abordado é a compreensão da filtratura canônica no espaço de funções automorfas $Funct_c(Bun_G(\mathbb{F}_q), \mathbb{Q}_\ell)$. Esta filtratura é induzida pelo suporte singular coerente no lado espectral. Os autores buscam:

1. Definir rigorosamente esta filtratura no lado automorfo.
2. Identificar o termo "tempered" (correspondente à órbita nilpotente zero) e relacioná-lo a funções geradas por coeficientes de Whittaker.
3. Formular conjecturas que liguem esta filtratura geométrica (baseada em cohomologia) às propriedades espectrais dos operadores de Hecke (baseadas em valores próprios e pesos de Weil), conectando-se às conjecturas de Ramanujan e Arthur.

2. Metodologia

Os autores utilizam uma abordagem híbrida que combina Geometria Algébrica Derivada, Teoria de Feixes e Teoria de Categorias de Alta Categoria ($\infty$-categorias).

• Correspondência de Langlands Geométrica: Partem da equivalência estabelecida em trabalhos anteriores ([GR]) entre a categoria de feixes no stack de Bundles $Bun_G$ com suporte singular nilpotente e a categoria de feixes ind-coerentes no stack de sistemas locais restritos $LS^{restr}_{\check{G}}$.
• Traço de Frobenius: Utilizam o traço categórico do endomorfismo de Frobenius para traduzir equivalências de categorias em isomorfismos de espaços vetoriais de funções.
• Projetor de Beilinson: Para lidar com o fato de que a função Poincaré de vácuo (vacuum Poincaré function) não pertence naturalmente à subcategoria de suporte nilpotente, os autores empregam uma versão do projetor de Beilinson sobre substacks algébricos finitos ($Z_a \subset LS^{restr}_{\check{G}}$) para "forçar" a pertinência ao suporte desejado, permitindo o cálculo do traço.
• Álgebra de Excursão (Excursion Algebra): Introduzem a ação da álgebra de excursão $Exc(X, \check{G})$ sobre o espaço de funções automorfas, que atua como um análogo dos operadores de Hecke globais.

3. Principais Contribuições e Resultados

A. O Teorema Principal (Seção 1):
Os autores provam o Teorema 1.3.10, que descreve a imagem da função Poincaré de vácuo ($poincVac^!$) sob o isomorfismo de Langlands clássico $L_G$.

• Resultado: A função $poincVac^!$ corresponde à imagem do elemento $1 \in \Gamma(\mathcal{LS}^{arithm}_{\check{G}}, \mathcal{O})$ (a função constante 1 no lado espectral) através do mapa natural que leva o feixes coerentes a feixes ind-coerentes.
• Implicação: Isso estabelece que o termo "tempered" da filtratura (associado à órbita nilpotente zero) é exatamente o subespaço gerado pela função Poincaré de vácuo sob a ação da álgebra de excursão.

B. A Filtração por Órbitas Nilpotentes (Seção 2):

• Definem uma filtratura no espaço de funções automorfas indexada pelo conjunto parcialmente ordenado de subconjuntos fechados Ad-invariantes do cone nilpotente de $\check{\mathfrak{g}}$.
• Conjectura 2.1.5 (em progresso): Afirma que o traço de Frobenius sobre as categorias de suporte em órbitas nilpotentes específicas é concentrado em grau cohomológico 0. Assumindo esta conjectura, a filtratura é bem-definida e injetiva.
• Caracterização do Termo Tempered: Provam que o termo correspondente à órbita zero ($Y=\{0\}$) coincide com o subespaço de funções não-degeneradas (geradas pela ação da álgebra de excursão sobre a função Poincaré de vácuo).

C. Conjecturas de Racionalidade (Seção 2.7):

• Propõem que toda a filtratura e a ação da álgebra de excursão são definidas sobre $\mathbb{Q}$ (não apenas sobre $\mathbb{Q}_\ell$).
• Isso implica que o subespaço "tempered" possui uma estrutura racional natural.

D. Conexão com as Conjecturas de Arthur e Ramanujan (Seção 3):
Os autores tecem uma rede complexa de conjecturas que ligam a filtratura geométrica às propriedades espectrais:

• Conjectura 3.4.6 (Versão $\ell$-ádica de Ramanujan-Arthur): O espaço de funções automorfas cuspidais decompõe-se em uma soma direta indexada pelas órbitas nilpotentes de $\check{\mathfrak{g}}$.
• Relação com Parâmetros de Arthur: Conjecturam que o suporte espectral das funções discretas associadas a uma órbita $O$ corresponde a parâmetros de Arthur elípticos onde o componente $SL_2$ corresponde a $O$.
• Hierarquia de Conjecturas: Apresentam um diagrama lógico mostrando como conjecturas mais fortes sobre o suporte espectral (como a Conjectura 3.6.5, que está em progresso como um teorema) implicam as versões clássicas de Ramanujan e Arthur.

4. Significado e Impacto

1. Unificação de Perspectivas: O trabalho conecta a linguagem moderna da geometria algébrica derivada (feixes ind-coerentes, suporte singular) com a teoria clássica de formas automórficas (funções, operadores de Hecke, conjecturas de Ramanujan).
2. Definição de "Tempered": Oferece uma definição puramente geométrica e categórica para o conceito de "funções automorfas tempered" em corpos de funções, identificando-as com o suporte nilpotente zero e funções geradas por coeficientes de Whittaker.
3. Novo Enfoque para Ramanujan-Arthur: Ao reformular a conjectura de Ramanujan-Arthur em termos de suporte no cone nilpotente e parâmetros de Arthur, os autores fornecem um novo caminho para atacar esses problemas, sugerindo que a prova pode ser alcançada através do estudo da geometria do espaço de módulos de sistemas locais ($LS_{\check{G}}$).
4. Fundamento para Trabalhos Futuros: O artigo estabelece a base para trabalhos subsequentes (citados como [GaLaRa]) que visam transformar as conjecturas sobre o suporte espectral em teoremas, o que, por sua vez, provaria a conjectura de Ramanujan-Arthur para o caso não ramificado.

Em suma, o artigo é um marco na formulação moderna da correspondência de Langlands, propondo que a estrutura de filtratura induzida pelo suporte singular no lado espectral é a chave para entender a decomposição espectral e a natureza aritmética das funções automorfas.