The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

1. Formulação do Problema

A Correspondência de Langlands Local (LLC) visa parametrizar representações suaves irredutíveis de grupos redutivos $p$-ádicos $G(F)$ por parâmetros $L$ (homomorfismos do grupo de Weil-Deligne para o grupo dual de Langlands). Embora progressos significativos tenham sido feitos para grupos redutivos conexos (notavelmente por Kaletha para representações supercuspidais não singulares e por Fintzen, Oi e Solleveld para representações unipotentes), duas lacunas principais permanecem:

1. Representações Essencialmente Unipotentes: As construções existentes para representações supercuspidais unipotentes frequentemente carecem de suficiência de functorialidade e compatibilidade com torções internas rígidas, particularmente no que diz respeito à equivariância sob automorfismos externos e mudanças de rigidificações.
2. Grupos Redutivos Desconexos: A LLC não foi sistematicamente estendida a grupos redutivos desconexos da forma $\tilde{G} = G \rtimes A$, onde $G$ é conexo e $A$ é um grupo finito atuando sobre $G$. Isso é crucial para compreender representações de grupos como o grupo linear geral com automorfismos ou restrições de Weil.

O artigo aborda a construção da LLC para representações supercuspidais essencialmente unipotentes no âmbito das torções internas rígidas, provando compatibilidades necessárias e estendendo essa correspondência a grupos redutivos desconexos.

2. Metodologia

O autor emprega uma estratégia de múltiplos passos combinando técnicas de redução, hipercohomologia e a teoria de grupos companheiros.

A. Estrutura e Requisitos

O artigo opera dentro da estrutura de torções internas rígidas $(G', \xi, z)$ de Kaletha. O autor define três condições fundamentais (requisitos) que qualquer LLC válida deve satisfazer:

• Condição 2.A (Functorialidade): Compatibilidade com homomorfismos tendo núcleo e conúcleo abelianos.
• Condição 2.B (Torções por Caracteres): Compatibilidade com torção de representações por caracteres.
• Condição 2.C (Mudanças de Rigidificação): Compatibilidade com a mudança da rigidificação $z$, governada por um emparelhamento específico envolvendo o mapa de Kottwitz e a hipercohomologia.

B. Redução aos Casos Adjoint e Simplesmente Conexo

Usando a Proposição 3.1, o autor reduz a construção da correspondência para um grupo redutivo conexo geral $G$ aos casos onde $G$ é adjunto ($G_{ad}$) ou simplesmente conexo ($G_{sc}$).

• Isso depende do fato de que qualquer representação essencialmente unipotente pode ser relacionada a representações unipotentes via torções por caracteres.
• A existência da correspondência para $G_{ad}$ e $G_{sc}$ é assumida (baseada em trabalhos anteriores de Fintzen-Oi-Solleveld [FOS20] e Solleveld [Sol23]), mas o autor deve verificar se essas correspondências existentes satisfazem as condições de equivariância mais estritas exigidas pelas torções internas rígidas.

C. Verificação da Equivariância (O Desafio Técnico Central)

As correspondências existentes em [FOS20] e [Solleveld] foram construídas usando a estrutura de Arthur, que não lida naturalmente com a equivariância específica sob automorfismos externos exigida pelas torções internas rígidas (especificamente a Condição 3.A e a Condição 3.B).

• Estratégia: O autor prova que as correspondências existentes podem ser ajustadas ou mostradas como satisfazendo essas condições, reduzindo-se a grupos não ramificados e utilizando grupos companheiros (grupos $H$ tais que $\hat{H} \cong \hat{G}^{I_F}$).
• Ferramenta Chave: O autor utiliza os grupos de hipercohomologia introduzidos em [Kal22] para calcular explicitamente os 2-cociclos que surgem da ação de automorfismos externos sobre os grupos de componentes dos parâmetros $L$ e das representações.
• Casos Split e Não Split: A prova lida com grupos split (usando cálculo direto com [FOS20]), grupos não ramificados não split (usando o grupo companheiro $H$ e resultados de Lusztig sobre representações unipotentes) e restrições de Weil.

D. Extensão a Grupos Desconexos

Para o grupo desconexo $\tilde{G} = G \rtimes A$, o autor constrói a correspondência analisando a interação entre o lado do grupo e o lado de Galois:

• Lado do Grupo: As representações de $\tilde{G}'(F)$ são analisadas via teoria de Clifford, relacionando-as a representações da componente conexa $G'(F)$ e à ação de $A$. Isso envolve estudar a álgebra de grupo torcida $C[A; \alpha]$ associada ao estabilizador de uma representação.
• Lado de Galois: Os parâmetros $L$ são aprimorados por representações do grupo de componentes estendido $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$.
• Correspondência: O cerne da prova (Seção 5.4) envolve a construção de um 1-cocadeia explícita $h$ que interpola entre o 2-cociclo $\alpha$ (surgindo do lado do grupo) e o 2-cociclo $\beta$ (surgindo do lado de Galois). Isso estabelece um isomorfismo das álgebras de endomorfismo, provando assim a bijeção.

3. Contribuições e Resultados Chave

Teorema 1.1 (Corolário 4.2): LLC Equivariante para Grupos Conexos

O autor estabelece uma bijeção entre representações supercuspidais essencialmente unipotentes de uma torção interna rígida $(G', \xi, z)$ e parâmetros $L$ aprimorados:
$$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$$
Crucialmente, essa bijeção satisfaz:

• Functorialidade em relação a homomorfismos com núcleo/conúcleo abeliano.
• Equivariância sob torções por caracteres.
• Equivariância Mais Forte: É equivariante sob automorfismos externos e compatível com mudanças de rigidificações, uma propriedade não totalmente estabelecida em trabalhos anteriores como [FOS20].

Teorema 1.2 (Teorema 5.2): Extensão a Grupos Desconexos

Assumindo que o subgrupo derivado $G_{der}$ é simplesmente conexo, a correspondência estende-se ao grupo desconexo $\tilde{G} = G \rtimes A$:
$$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$$
A correspondência respeita a restrição à componente conexa: Uma representação $\pi$ de $G'(F)$ é um componente de $\tilde{\pi}|_{G'(F)}$ se e somente se o parâmetro $L$ $\phi_\pi$ for a restrição de $\phi_{\tilde{\pi}}$ e o aprimoramento $\rho(z, \pi)$ for um componente da restrição de $\rho(z, \tilde{\pi})$.

Lema Técnico: Hipercohomologia e Cociclos

Uma contribuição técnica significativa é o cálculo explícito da relação entre os 2-cociclos que governam a extensão de representações (lado do grupo) e a extensão de aprimoramentos (lado de Galois). O autor prova (Proposição 5.9) que esses cociclos diferem por um cobordo derivado do emparelhamento de hipercohomologia, garantindo que a bijeção seja bem definida e canônica.

4. Significado

1. Completude do Caso Unipotente: Este trabalho solidifica a Correspondência de Langlands Local para toda a classe de representações supercuspidais essencialmente unipotentes para grupos conexos, garantindo que todas as propriedades functoriais necessárias (especialmente a equivariância) sejam satisfeitas. Isso preenche uma lacuna deixada por construções anteriores que dependiam de estruturas diferentes.
2. Tratamento da Desconexão: Fornece a primeira construção sistemática da LLC para grupos redutivos desconexos no contexto de torções internas rígidas. Isso é um pré-requisito para estender a correspondência a classes mais gerais de representações (por exemplo, as não singulares) para grupos desconexos.
3. Fundação para Trabalhos Futuros: O autor declara explicitamente que esses resultados destinam-se a ser usados para estender a LLC explícita em [Kal21] (que cobre representações não singulares) para uma classe muito maior de representações, potencialmente cobrindo todas as representações supercuspidais para uma gama mais ampla de grupos.
4. Avance Metodológico: O uso rigoroso da hipercohomologia para igualar 2-cociclos teóricos de grupo e teóricos de Galois oferece um modelo robusto para lidar com questões de compatibilidade semelhantes em outros contextos do programa de Langlands.

Em resumo, o artigo de Fujii preenche a lacuna entre a teoria estabelecida das representações unipotentes e a estrutura moderna de torções internas rígidas, ao mesmo tempo que abre novos caminhos ao estender essa correspondência a grupos desconexos, pavimentando o caminho para uma Correspondência de Langlands Local mais abrangente.