On dual groups of symmetric varieties and distinguished representations of $p$-adic groups

Resumo Técnico: Grupos Duais de Variedades Simétricas e Representações Distinguidas de Grupos p-ádicos

1. Problema e Contexto

O artigo aborda um problema central na teoria de representações de grupos redutivos sobre campos locais não arquimedianos ($p$-ádicos): a classificação e a compreensão das representações distinguidas.

• Definição: Seja $G$ um grupo redutivo conexo e $H \subset G$ um subgrupo fixado por uma involução $\theta$ (formando uma variedade simétrica $X = H\backslash G$). Uma representação irredutível admissível $(\pi, V)$ de $G$ é dita $H$-distinguida se existir uma forma linear não nula invariante por $H$, ou seja, $\text{Hom}_H(\pi, 1) \neq 0$.
• O Desafio: A conjectura de Langlands local sugere que tais representações devem ser caracterizadas por seus parâmetros de Langlands ($\phi_\pi: W_F \to \hat{G}$). Especificamente, espera-se que o parâmetro de Langlands de uma representação distinguida "fatore" através de um subgrupo menor do grupo dual de Langlands $\hat{G}$.
• Trabalho Prévio: Sakellaridis e Venkatesh propuseram a existência de um "grupo dual" $\hat{G}_X$ associado à variedade $X$ e um homomorfismo $\hat{G}_X \times SL_2(\mathbb{C}) \to \hat{G}$. Knop e Schalke provaram a existência deste homomorfismo para variedades esféricas gerais, mas sua construção é altamente combinatória, baseada na classificação de variedades esféricas, e tecnicamente complexa.

2. Metodologia

O autor propõe uma abordagem mais conceitual e construtiva para o caso específico onde $X = H\backslash G$ é uma variedade simétrica (definida por uma involução $\theta$). A metodologia baseia-se exclusivamente na involução $\theta$ e no sistema de raízes de $G$, evitando a classificação combinatória pesada.

Os passos metodológicos principais são:

1. Análise do Sistema de Raízes com Involução:
   • Fixa-se um toro maximal $T$ e considera-se o sistema de raízes $\Phi$ de $G$.
   • A involução $\theta$ induz uma involução no sistema de raízes e no grupo dual $\hat{G}$.
   • O sistema de raízes é decomposto em raízes $\theta$-invariantes e $\theta$-divididas (split).
2. Construção de Subgrupos via "Folding" (Dobramento):
   • Grupo $\hat{G}^+$: Construído a partir do sistema de raízes $\theta$-invariantes. É gerado pelo toro $\theta$-invariante e subgrupos de raízes invariantes.
   • Grupo $\hat{G}^-$ (o Grupo Dual $\hat{G}_X$): Construído a partir do sistema de raízes $\theta$-dividido (split). O autor utiliza a técnica de "folding" (dobramento) de diagramas de Dynkin para construir um subgrupo $\hat{G}^- \subset \hat{G}$ cujo sistema de raízes corresponde ao sistema de raízes reduzido associado ao toro $\theta$-split.
3. Comutatividade:
   • Define-se o homomorfismo principal de $SL_2$ ($\phi_+$) para o grupo $\hat{G}^+$.
   • O autor prova que a imagem de $\phi_+(SL_2(\mathbb{C}))$ comuta com o subgrupo $\hat{G}^-$, permitindo a definição do homomorfismo global:
     $$\hat{\phi}_X: \hat{G}_X \times SL_2(\mathbb{C}) \to \hat{G}$$
     onde $\hat{G}_X := \hat{G}^-$.
4. Análise de Exceções: O artigo identifica e exclui certos diagramas de Dynkin específicos onde a comutatividade falha, garantindo que a construção seja válida para involuções admissíveis.

3. Contribuições Principais

1. Construção Conceitual do Homomorfismo Dual: Fornece uma construção explícita e geométrica do homomorfismo $\hat{\phi}_X$ para variedades simétricas, utilizando apenas a involução $\theta$ e a estrutura de raízes, em contraste com a abordagem combinatória de Knop-Schalke.
2. Conjecturas sobre Parâmetros de Langlands: Formula conjecturas precisas ligando a estrutura do parâmetro de Langlands $\phi_\pi$ à natureza da representação $\pi$ (cuspidal relativa, quadrado integrável relativa, temperada relativa):
   • Conjectura I: O parâmetro $\phi_\pi$ fatora através de $\hat{\phi}_X$.
   • Conjectura II:
     • $\pi$ é relativamente cuspidal se a imagem de $W_F$ em $\hat{G}_X$ não estiver contida em um Levi próprio e a componente $SL_2$ for trivial.
     • $\pi$ é relativamente quadrado integrável se a imagem em $\hat{G}_X$ não estiver em um Levi próprio.
     • $\pi$ é relativamente temperada se a imagem em $\hat{G}_X$ for limitada módulo o centro.
3. Teorema da Representação Trivial: Prova que o parâmetro de Langlands da representação trivial de $G$ fatora sempre através de $\hat{\phi}_X$ para qualquer variedade simétrica, validando a conjectura neste caso base.
4. Verificação em Exemplos Clássicos: Demonstra a consistência das conjecturas com casos conhecidos na literatura, como:
   • O caso grupo ($G = H \times H$).
   • Períodos lineares de $GL_{2n}$ (relacionados a $Sp_{2n}$).
   • Períodos de $GL_{n-1} \times GL_1$ em $GL_n$.
   • Períodos simétricos e ortogonais.

4. Resultados Chave

• Teorema 8.2: Estabelece que o parâmetro de Langlands da representação trivial $\mathbf{1}$ fatora através de $\hat{\phi}_X$. Isso é crucial pois a representação trivial é sempre distinguida.
• Proposição 6.6: Prova a comutatividade entre o grupo $\hat{G}^-$ e a imagem do homomorfismo principal $SL_2$ de $\hat{G}^+$, sob condições específicas de exclusão de diagramas de Dynkin (tipos $B_n, C_n, D_n$ específicos).
• Análise de Contraexemplos: O autor admite que a recíproca da Conjectura I nem sempre é verdadeira (existem parâmetros que fatoram mas não correspondem a representações distinguidas), mas sugere que isso ocorre apenas em casos degenerados ou devido a pacotes $L$ contendo representações não distinguidas.
• Criticidade de Característica: Muitas das verificações de critérios de cuspidalidade relativa e quadrado integrabilidade dependem de que a característica residual do campo $F$ seja ímpar, baseando-se nos trabalhos de Kato-Takano e Lagier.

5. Significado e Impacto

Este trabalho é significativo por várias razões:

• Unificação Teórica: Oferece uma visão unificada e mais acessível (em termos de dependência de classificação) da teoria de grupos duais para variedades simétricas, conectando a teoria de representações distinguidas diretamente à estrutura de involuções de grupos redutivos.
• Ferramenta para Classificação: As conjecturas propostas fornecem um roteiro claro para classificar representações distinguidas baseando-se puramente na teoria de Langlands, permitindo prever propriedades analíticas (como temperamento e integrabilidade) a partir de dados algébricos (o parâmetro de Langlands).
• Base para Pesquisa Futura: O trabalho abre caminho para investigações sobre a recíproca das conjecturas e a extensão da teoria para grupos de cobertura (como sugerido na discussão sobre períodos ortogonais e o trabalho de Zou), além de fornecer uma estrutura robusta para estudar a "relatividade" (cuspidalidade relativa, etc.) em contextos mais gerais.

Em suma, Takeda traduz um problema profundo de análise harmônica em p-ádicos em uma questão de teoria de grupos algébricos complexos, fornecendo uma ferramenta poderosa para a comunidade de teoria de números e representação.