On the Cubic Shimura lift to $PGL(3)$: The Fundamental Lemma

1. Contexto e Problema

O artigo aborda uma generalização da correspondência de Shimura, um dos pilares da teoria dos números e da teoria de representações automorfas.

• O Caso Clássico: A correspondência original (Shimura, 1973) levanta representações automorfas do recobrimento duplo de $SL_2$ para $PGL_2$. O trabalho de Waldspurger caracterizou a imagem dessa aplicação através da não-vanecência de um período específico.
• O Problema Aberto: Existe uma conjectura (Bump, Friedberg e Ginzburg, 2001) sobre uma correspondência de Shimura para o recobrimento cúbico de $SL_3$ (denotado por $\widetilde{SL}_3^{(3)}$) para $PGL_3$.
• A Conjectura Específica: A conjectura postula que uma representação automorfa irredutível cuspidal $\pi$ de $PGL_3(\mathbb{A})$ está na imagem do levantamento cúbico se e somente se um certo período global envolvendo uma função no espaço da representação mínima automorfa $\Theta_{SO_8}$ de $SO_8(\mathbb{A})$ seja não nulo.
• O Obstáculo: Para provar a existência dessa correspondência global e caracterizar sua imagem, é necessário estabelecer uma Fórmula de Rastreamento Relativa (Relative Trace Formula - RTF) que compare distribuições espectrais em dois grupos diferentes. O passo fundamental para isso é provar o Lema Fundamental (a igualdade de integrais orbitais locais para elementos unitários das álgebras de Hecke esféricas).

2. Metodologia

Os autores utilizam a abordagem de Fórmula de Rastreamento Relativa, seguindo o método de Jacquet, Mao e Rallis. O trabalho divide-se em duas partes principais:

Parte I: Teoria Global (Expansões Geométricas)

O objetivo é "geometriz" as distribuições espectrais, expressando-as como somas de integrais orbitais fatorizáveis.

1. Distribuição $I(f, \Theta)$ (Lado $PGL_3$):
   • Envolve a representação mínima $\Theta_{SO_8}$.
   • Desafio: Diferente do caso de posto 1, $\Theta_{SO_8}$ não é obtido diretamente da representação de Weil, tornando difícil "desdobrar" (unfolding) a integral.
   • Solução: Os autores utilizam um par dual $(SL_2, SO_8)$ dentro de $Sp_{16}$. Eles realizam $\Theta_{SO_8}$ como um levantamento theta da representação trivial de $SL_2$ para $SO_8$. Isso permite introduzir uma integração adicional sobre $[SL_2]$ e aplicar um princípio de desdobramento para expressar $I(f, \Theta)$ como uma soma de integrais orbitais sobre órbitas relevantes.
2. Distribuição $J(f')$ (Lado $\widetilde{SL}_3^{(3)}$):
   • É a distribuição de Kuznetsov associada ao recobrimento triádico de $SL_3$.
   • Sua expansão geométrica segue diretamente da decomposição de Bruhat.
3. Correspondência de Órbitas: Os autores determinam explicitamente as órbitas relevantes para ambos os lados e estabelecem uma correspondência biunívoca entre elas.

Parte II: Teoria Local (O Lema Fundamental)

O objetivo é provar a igualdade das integrais orbitais locais correspondentes para o elemento unitário da álgebra de Hecke esférica.

1. Definição das Integrais:
   • $I(a, b)$: Integral orbital em $PGL_3$ (derivada da expansão global).
   • $J(a, b)$: Integral orbital no recobrimento metapético $\widetilde{SL}_3^{(3)}$.
2. Cálculo Explícito:
   • Os autores realizam cálculos elaborados para avaliar ambas as integrais em um corpo local não-archimediano $F$ (com característica residual $p > 3$).
   • Para $J(a, b)$, utilizam um algoritmo de Bump e Hoffstein para calcular o cociclo 2-cociclo local e o fator de divisão $\kappa$ no grupo metapético.
   • Para $I(a, b)$, simplificam a integral através de mudanças de variáveis e decomposição do domínio de integração.
3. Ferramentas Analíticas Chave:
   • Somas de Exponenciais Cúbicas e Somas de Kloosterman: A prova depende crucialmente de uma identidade que relaciona integrais de exponenciais cúbicas com integrais de Kloosterman com caracteres cúbicos.
   • Generalização de Duke-Iwaniec: Eles estendem resultados conhecidos (Duke e Iwaniec, 1993) para caracteres aditivos de condutor maior que 1, utilizando o método da fase estacionária.
   • Símbolo de Hilbert Cúbico: O uso intensivo das propriedades do símbolo de Hilbert $(\cdot, \cdot)_3$ é essencial para manipular os fatores de transferência.

3. Resultados Principais

1. Prova do Lema Fundamental (Teorema 6.1):
   Os autores provam que, para o elemento unitário da álgebra de Hecke esférica, as integrais orbitais correspondentes satisfazem:
   $$I(a, b) = (c, d)_3 J(c, d)$$
   onde $c = -54a$, $d = 54b$ e $(\cdot, \cdot)_3$ é o símbolo de Hilbert cúbico. Isso estabelece a igualdade necessária para a comparação das fórmulas de rastreamento relativas.

2. Correspondência para Outras Órbitas (Teorema 11.7):
   Além da "célula grande" (big cell), os autores calculam e emparelham as integrais orbitais para as outras órbitas relevantes (órbitas singulares), fornecendo os fatores de transferência explícitos para todos os casos.

3. Cálculo de Integrais Específicas:
   O artigo fornece fórmulas explícitas e detalhadas para integrais de Kloosterman com caracteres cúbicos e integrais de exponenciais cúbicas em corpos locais, que são resultados de interesse independente na teoria dos números analítica.

4. Significado e Impacto

• Validação da Conjectura BFG: Este trabalho fornece a prova do Lema Fundamental necessária para validar a conjectura de Bump, Friedberg e Ginzburg (2001) sobre a caracterização da imagem do levantamento cúbico de Shimura para $SL_3 \to PGL_3$ via o período envolvendo $\Theta_{SO_8}$.
• Avanço em Recobrimentos Metapéticos: É um dos primeiros trabalhos a tratar com sucesso o Lema Fundamental para recobrimentos de grau superior (n=3) em grupos de posto superior (r=3), superando obstáculos técnicos significativos relacionados à falta de dualidade de pares simples para esses casos.
• Ferramentas para Futuras Pesquisas: A técnica de realizar a representação mínima $\Theta_{SO_8}$ como um levantamento theta de $SL_2$ para desdobrar a distribuição global é uma inovação metodológica que pode ser aplicada a outros problemas envolvendo representações mínimas em grupos de tipo excepcionais ou ortogonais.
• Fundamento para a Correspondência Global: Ao estabelecer o Lema Fundamental, os autores abrem o caminho para a aplicação da Fórmula de Rastreamento Relativa completa, o que, em trabalhos futuros, permitirá provar a existência do levantamento global e a caracterização completa de sua imagem.

Em resumo, o artigo é um marco técnico que resolve uma peça central (o Lema Fundamental) de um problema de longa data na teoria das formas automorfas, conectando representações de recobrimentos metapéticos de $SL_3$ a representações de $PGL_3$ através de uma geometria sofisticada envolvendo $SO_8$.