The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

1. Enunciado do Problema

O artigo aborda a Conjectura Local de Gross–Prasad (GP) para grupos redutivos reais, focando especificamente na dicotomia épsilon (Parte 2) para parâmetros L locais temperados.

• Contexto: Seja $F = \mathbb{R}$. Considere um par de espaços quadráticos não degenerados $(W, V)$ sobre $\mathbb{R}$ com $W \subset V$ e $W^\perp$ do tipo split de dimensão ímpar. Seja $G = SO(W) \times SO(V)$ e $H = SO(W) \ltimes N$ (onde $N$ é o radical unipotente). Para uma representação admissível irredutível $\pi$ de $G(\mathbb{R})$, a multiplicidade é definida como $m(\pi) = \dim \text{Hom}_{H(\mathbb{R})}(\pi, \xi)$, onde $\xi$ é um caractere genérico.
• A Conjectura: A conjectura GP prevê que, para um parâmetro L local genérico $\phi$, a soma das multiplicidades sobre o pacote L de Vogan relevante é 1 (Parte 1), e identifica qual representação específica no pacote possui multiplicidade 1 com base em um caractere $\chi_\phi$ (Parte 2, a dicotomia épsilon).
• Status:
  • Parte 1 (Soma das multiplicidades) foi provada para parâmetros temperados sobre $\mathbb{R}$ pelo segundo autor (Luo) em [Luo21].
  • Parte 2 (Dicotomia épsilon) era conhecida para corpos $p$-ádicos (Waldspurger) e para corpos complexos, mas permanecia em aberto para parâmetros temperados sobre $\mathbb{R}$.
• Objetivo: Provar que, para parâmetros L locais temperados sobre $\mathbb{R}$, a representação única $\pi_\phi$ com $m(\pi_\phi)=1$ satisfaz a relação de caracteres $\chi_{\pi_\phi} = \chi_\phi$.

2. Metodologia

Os autores seguem a estratégia estabelecida por Waldspurger para o caso $p$-ádico ([Wal12b]), adaptando-a ao contexto arquimediano. A prova procede através de uma redução em três etapas:

A. Redução à Paridade Boa

Utilizando resultados de [MR20] e [Ren24], os autores reduzem o caso geral temperado a parâmetros de paridade boa.

• Mecanismo: Eles decompõem a representação padrão do parâmetro L em componentes de "paridade boa" (tipo O) e "paridade ruim" (tipo Sp e tipo GL).
• Resultado: A indução parabólica estabelece uma bijeção entre os pacotes L do grupo completo e o grupo restrito à parte de paridade boa, preservando multiplicidades e números de raiz. Isso reduz o problema a parâmetros onde a imagem consiste apenas de constituintes irredutíveis do tipo O.

B. Redução Endoscópica

Para parâmetros de paridade boa, os autores aplicam endoscopia ordinária para reduzir o problema a casos onde o grupo componente $S_\phi$ é pequeno (trivial ou $\mathbb{Z}/2\mathbb{Z}$).

• Estratégia: Para um elemento $s \in S_\phi$, eles relacionam a multiplicidade em $G$ com multiplicidades geométricas estáveis em grupos endoscópicos $G^s = SO(V^+) \times SO(V^-) \times SO(W^+) \times SO(W^-)$.
• Identidade Chave: Eles visam provar a identidade:
  $$\sum_{\pi \in \Pi_{rel}} \chi_\pi(s) m(\pi) = \chi_\phi(s)$$
  Isso é transformado em uma identidade envolvendo multiplicidades geométricas estáveis ($m^S_{geom}$).

C. Modificações Arquimedianas (A Contribuição Técnica Central)

A prova $p$-ádica depende de endoscopia torcida e lemas específicos que não se traduzem diretamente para $\mathbb{R}$. Os autores introduzem duas modificações críticas:

1. Organização do Sinal de Kottwitz: Diferentemente do caso $p$-ádico (onde há poucas formas internas), $\mathbb{R}$ possui muitas formas internas puras. Os autores organizam a união das classes de conjugação semissimples regulares sobre formas internas puras fixando o sinal de Kottwitz $e(G_\alpha)$. Eles provam a Proposição 3.2.4, descrevendo explicitamente a união dessas classes em termos dos dados do parâmetro.
2. Fórmula de Multiplicidade Geométrica e Gêrmen: A prova exige recuperar o "gêrmen" de um caráter de distribuição a partir do próprio caráter.
   • No caso $p$-ádico, isso dependia de uma conjectura de Waldspurger.
   • Sobre $\mathbb{R}$, os autores provam o Lema 4.2.2, um análogo arquimediano de [Wal10b, Lem. 13.4 (ii)], utilizando a fórmula de Rossmann [Ros78] para integrais orbitais. Isso permite expressar o gêrmen $c_\Theta(x)$ como um limite do quasi-caráter $\Theta$.
   • Eles estabelecem o Corolário 4.2.3, ligando a multiplicidade geométrica estável à multiplicidade estável.

D. Verificação de Casos Básicos

Após as reduções, o problema é reduzido a "casos básicos" onde o parâmetro L é ou irredutível ou uma soma de um irredutível e seu contragrediente (ex: $SO(2,2) \times SO(2,1)$).

• Os autores verificam esses casos de baixo rank diretamente usando correspondência de theta e coincidências de baixo rank (ex: $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$).
• Eles utilizam pares duais see-saw e a preservação da genericidade sob a correspondência de theta para mostrar que o membro distinguido é de fato o genérico.

3. Contribuições Principais

1. Prova da Dicotomia Épsilon sobre $\mathbb{R}$: O artigo completa a prova da Conjectura Local de Gross–Prasad para parâmetros temperados sobre os números reais, resolvendo o último caso aberto da conjectura no contexto arquimediano.
2. Fórmula de Multiplicidade Geométrica Arquimediana: Os autores adaptam com sucesso a fórmula de multiplicidade geométrica de Waldspurger para o caso real. Isso envolve:
   • Provar o análogo arquimediano do lema crucial sobre valores especiais de integrais orbitais (Lema 4.2.2) usando a fórmula de Rossmann.
   • Estabelecer a relação entre multiplicidades geométricas estáveis e multiplicidades estáveis (Corolário 5.3.6).
3. Parametrização de Formas Internas: Eles fornecem uma descrição precisa (Proposição 3.2.4) da união das classes de conjugação semissimples regulares sobre formas internas puras com sinal de Kottwitz fixo, um passo necessário para lidar com o conjunto maior de formas internas em $\mathbb{R}$ em comparação com corpos $p$-ádicos.
4. Redução Endoscópica sobre $\mathbb{R}$: Eles demonstram que a estratégia de redução endoscópica, anteriormente bem-sucedida no caso $p$-ádico, pode ser adaptada com sucesso a $\mathbb{R}$ sem endoscopia torcida, desde que as entradas geométricas sejam tratadas corretamente.

4. Resultados Principais

• Teorema 1.0.2 / Teorema 2.3.2: Sobre $\mathbb{R}$, a Parte (2) da Conjectura Local de Gross–Prasad vale para parâmetros L locais temperados. Especificamente, se $\pi_\phi$ é a representação única no pacote L de Vogan relevante com multiplicidade 1, então seu caráter $\chi_{\pi_\phi}$ no grupo componente $S_\phi$ coincide com o caráter explícito $\chi_\phi$ definido por Gross e Prasad.
• Proposição 3.2.4: Uma classificação da união das classes de conjugação semissimples regulares sobre formas internas puras com sinal de Kottwitz fixo.
• Lema 4.2.2 e Corolário 4.2.3: A derivação do gêrmen de um caráter de distribuição a partir do próprio caráter no contexto arquimediano, permitindo o uso da fórmula de multiplicidade geométrica.
• Proposição 5.3.4: A identidade endoscópica relacionando a soma das multiplicidades ponderadas por caracteres ao produto das multiplicidades geométricas estáveis em grupos endoscópicos.

5. Significado

• Completude da Conjectura GP: Este trabalho, combinado com resultados anteriores (Luo [Luo21] para a Parte 1, Chen [Che21] para redução genérica, e Waldspurger para o caso $p$-ádico), estabelece a Conjectura Local de Gross–Prasad completa para representações temperadas sobre $\mathbb{R}$ e $\mathbb{C}$.
• Ponte entre $p$-ádico e Arquimediano: O artigo demonstra que os resultados estruturais profundos do Programa de Langlands (especificamente endoscopia e a conjectura de Gross–Prasad) valem uniformemente em corpos locais, apesar das diferenças técnicas significativas na análise harmônica (integrais orbitais, fórmulas de caracteres) entre corpos $p$-ádicos e reais.
• Avanço Metodológico: A aplicação bem-sucedida da fórmula de Rossmann para resolver o problema do "gêrmen" no caso real fornece um modelo para lidar com problemas semelhantes de multiplicidade geométrica em outros contextos arquimedianos onde as ferramentas combinatórias $p$-ádicas falham.
• Fundação para Trabalhos Futuros: As técnicas desenvolvidas aqui, particularmente o tratamento dos sinais de Kottwitz e das multiplicidades geométricas estáveis sobre $\mathbb{R}$, são essenciais para estender esses resultados a parâmetros genéricos (não temperados) e para novas investigações sobre a conjectura global de Gross–Prasad.