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

1. Enunciato del Problema

La Corrispondenza di Langlands Locale (LLC) mira a parametrizzare le rappresentazioni lisce irriducibili dei gruppi riduttivi $p$-adici $G(F)$ mediante parametri $L$ (omomorfismi dal gruppo di Weil-Deligne al gruppo duale di Langlands). Sebbene siano stati compiuti progressi significativi per i gruppi riduttivi connessi (in particolare da Kaletha per le rappresentazioni supercuspidali non singolari e da Fintzen, Oi e Solleveld per le rappresentazioni unipotenti), rimangono due lacune principali:

1. Rappresentazioni Essenzialmente Unipotenti: Le costruzioni esistenti per le rappresentazioni supercuspidali unipotenti spesso mancano di sufficiente funtorialità e compatibilità con le torsioni interne rigide, in particolare per quanto riguarda l'equivarianza rispetto agli automorfismi esterni e ai cambiamenti di rigidificazioni.
2. Gruppi Riduttivi Sconnessi: La LLC non è stata estesa sistematicamente ai gruppi riduttivi sconnessi della forma $\tilde{G} = G \rtimes A$, dove $G$ è connesso e $A$ è un gruppo finito che agisce su $G$. Questo è cruciale per comprendere le rappresentazioni di gruppi come il gruppo lineare generale con automorfismi o restrizioni di Weil.

Il lavoro affronta la costruzione della LLC per le rappresentazioni supercuspidali essenzialmente unipotenti all'interno del quadro delle torsioni interne rigide, dimostrando le compatibilità necessarie ed estendendo questa corrispondenza ai gruppi riduttivi sconnessi.

2. Metodologia

L'autore impiega una strategia multi-step che combina tecniche di riduzione, ipercocologia e la teoria dei gruppi compagni.

A. Quadro di Riferimento e Requisiti

Il lavoro opera all'interno del quadro delle torsioni interne rigide $(G', \xi, z)$ di Kaletha. L'autore definisce tre condizioni fondamentali (requisiti) che qualsiasi LLC valida deve soddisfare:

• Condizione 2.A (Funtorialità): Compatibilità con gli omomorfismi aventi nucleo e conucleo abeliani.
• Condizione 2.B (Twist di Caratteri): Compatibilità con la torsione delle rappresentazioni mediante caratteri.
• Condizione 2.C (Cambiamenti di Rigidificazione): Compatibilità con il cambiamento della rigidificazione $z$, governata da un accoppiamento specifico che coinvolge la mappa di Kottwitz e l'ipercocologia.

B. Riduzione ai Casi Adiointo e Semplamente Connesso

Utilizzando la Proposizione 3.1, l'autore riduce la costruzione della corrispondenza per un generico gruppo riduttivo connesso $G$ ai casi in cui $G$ è adiointo ($G_{ad}$) o semplamente connesso ($G_{sc}$).

• Ciò si basa sul fatto che ogni rappresentazione essenzialmente unipotente può essere correlata a quelle unipotenti tramite twist di caratteri.
• L'esistenza della corrispondenza per $G_{ad}$ e $G_{sc}$ è assunta (basandosi su lavori precedenti di Fintzen-Oi-Solleveld [FOS20] e Solleveld [Sol23]), ma l'autore deve verificare che queste corrispondenze esistenti soddisfino le condizioni di equivarianza più rigorose richieste dalle torsioni interne rigide.

C. Verifica dell'Equivarianza (La Sfida Tecnica Centrale)

Le corrispondenze esistenti in [FOS20] e [Solleveld] sono state costruite utilizzando il quadro di Arthur, che non gestisce naturalmente l'equivarianza specifica rispetto agli automorfismi esterni richiesta dalle torsioni interne rigide (in particolare la Condizione 3.A e la Condizione 3.B).

• Strategia: L'autore dimostra che le corrispondenze esistenti possono essere aggiustate o mostrate soddisfare queste condizioni riducendosi ai gruppi non ramificati e utilizzando i gruppi compagni (gruppi $H$ tali che $\hat{H} \cong \hat{G}^{I_F}$).
• Strumento Chiave: L'autore utilizza i gruppi di ipercocologia introdotti in [Kal22] per calcolare esplicitamente i 2-cocicli che sorgono dall'azione degli automorfismi esterni sui gruppi componenti dei parametri $L$ e delle rappresentazioni.
• Casi Split e Non-Split: La dimostrazione gestisce i gruppi split (utilizzando il calcolo diretto con [FOS20]), i gruppi non ramificati non-split (utilizzando il gruppo compagno $H$ e i risultati di Lusztig sulle rappresentazioni unipotenti) e le restrizioni di Weil.

D. Estensione ai Gruppi Sconnessi

Per il gruppo sconnesso $\tilde{G} = G \rtimes A$, l'autore costruisce la corrispondenza analizzando l'interazione tra il lato del gruppo e il lato di Galois:

• Lato del Gruppo: Le rappresentazioni di $\tilde{G}'(F)$ sono analizzate tramite la teoria di Clifford, correlandole alle rappresentazioni della componente connessa $G'(F)$ e all'azione di $A$. Ciò comporta lo studio dell'algebra di gruppo twistata $C[A; \alpha]$ associata al stabilizzatore di una rappresentazione.
• Lato di Galois: I parametri $L$ sono arricchiti da rappresentazioni del gruppo componente esteso $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$.
• Corrispondenza: Il cuore della dimostrazione (Sezione 5.4) consiste nella costruzione di una esplicita 1-catena $h$ che interpola tra il 2-cociclo $\alpha$ (che sorge dal lato del gruppo) e il 2-cociclo $\beta$ (che sorge dal lato di Galois). Ciò stabilisce un isomorfismo delle algebre di endomorfismo, dimostrando così la biiezione.

3. Contributi e Risultati Chiave

Teorema 1.1 (Corollario 4.2): LLC Equivariante per Gruppi Connessi

L'autore stabilisce una biiezione tra le rappresentazioni supercuspidali essenzialmente unipotenti di una torsione interna rigida $(G', \xi, z)$ e i parametri $L$ arricchiti:
$$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$$
Crucialmente, questa biiezione soddisfa:

• Funtorialità rispetto agli omomorfismi con nucleo/conucleo abeliano.
• Equivarianza rispetto ai twist di caratteri.
• Equivarianza Rafforzata: È equivariante rispetto agli automorfismi esterni e compatibile con i cambiamenti di rigidificazioni, una proprietà non pienamente stabilita in lavori precedenti come [FOS20].

Teorema 1.2 (Teorema 5.2): Estensione ai Gruppi Sconnessi

Assumendo che il sottogruppo derivato $G_{der}$ sia semplamente connesso, la corrispondenza si estende al gruppo sconnesso $\tilde{G} = G \rtimes A$:
$$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$$
La corrispondenza rispetta la restrizione alla componente connessa: Una rappresentazione $\pi$ di $G'(F)$ è un costituente di $\tilde{\pi}|_{G'(F)}$ se e solo se il parametro $L$ $\phi_\pi$ è la restrizione di $\phi_{\tilde{\pi}}$ e l'arricchimento $\rho(z, \pi)$ è un costituente della restrizione di $\rho(z, \tilde{\pi})$.

Lemma Tecnico: Ipercocologia e Cocicli

Un contributo tecnico significativo è il calcolo esplicito della relazione tra i 2-cocicli che governano l'estensione delle rappresentazioni (lato del gruppo) e l'estensione degli arricchimenti (lato di Galois). L'autore dimostra (Proposizione 5.9) che questi cocicli differiscono per un cobordo derivato dall'accoppiamento di ipercocologia, garantendo che la biiezione sia ben definita e canonica.

4. Significato

1. Completezza del Caso Unipotente: Questo lavoro consolida la Corrispondenza di Langlands Locale per l'intera classe delle rappresentazioni supercuspidali essenzialmente unipotenti per i gruppi connessi, assicurando che tutte le proprietà funtoriali necessarie (in particolare l'equivarianza) siano soddisfatte. Questo colma una lacuna lasciata da costruzioni precedenti che si basavano su quadri diversi.
2. Gestione della Sconnessione: Fornisce la prima costruzione sistematica della LLC per gruppi riduttivi sconnessi nel contesto delle torsioni interne rigide. Questo è un prerequisito per estendere la corrispondenza a classi più generali di rappresentazioni (ad esempio, quelle non singolari) per gruppi sconnessi.
3. Fondamento per Lavori Futuri: L'autore dichiara esplicitamente che questi risultati sono destinati a essere utilizzati per estendere la LLC esplicita in [Kal21] (che copre le rappresentazioni non singolari) a una classe molto più ampia di rappresentazioni, potenzialmente coprendo tutte le rappresentazioni supercuspidali per una gamma più vasta di gruppi.
4. Avanzamento Metodologico: L'uso rigoroso dell'ipercocologia per accoppiare i 2-cocicli di natura teorico-gruppo e di natura teorico-Galois offre un modello robusto per gestire problemi di compatibilità simili in altri contesti del programma di Langlands.

In sintesi, il lavoro di Fujii colma il divario tra la teoria consolidata delle rappresentazioni unipotenti e il quadro moderno delle torsioni interne rigide, aprendo contemporaneamente nuove strade estendendo questa corrispondenza ai gruppi sconnessi, preparando così la strada per una Corrispondenza di Langlands Locale più completa.