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

1. Probleemstelling

De Lokale Langlands-correspondentie (LLC) beoogt irreducibele gladde representaties van $p$-adische reductieve groepen $G(F)$ te parametriseren via $L$-parameters (homomorfismen van de Weil-Deligne-groep naar de Langlands-dubbelgroep). Hoewel aanzienlijke vooruitgang is geboekt voor verbonden reductieve groepen (met name door Kaletha voor niet-singuliere supercuspidale representaties en door Fintzen, Oi en Solleveld voor unipotenterepresentaties), blijven twee grote lacunes bestaan:

1. Essentieel Unipotent Representaties: Bestaande constructies voor unipotent supercuspidale representaties missen vaak voldoende functorialiteit en compatibiliteit met rigide inwendige twisten, met name wat betreft equivariantie onder uitwendige automorfismen en veranderingen van rigideringen.
2. Discontinue Reductieve Groepen: De LLC is niet systematisch uitgebreid tot discontinue reductieve groepen van de vorm $\tilde{G} = G \rtimes A$, waarbij $G$ verbonden is en $A$ een eindige groep is die op $G$ inwerkt. Dit is cruciaal voor het begrijpen van representaties van groepen zoals de algemene lineaire groep met automorfismen of Weil-restricties.

Het artikel behandelt de constructie van de LLC voor essentieel unipotent supercuspidale representaties binnen het kader van rigide inwendige twisten, bewijst noodzakelijke compatibiliteiten en breidt deze correspondentie uit tot discontinue reductieve groepen.

2. Methodologie

De auteur hanteert een meerstapsstrategie die reductietechnieken, hypercohomologie en de theorie van companion-groepen combineert.

A. Kader en Vereisten

Het artikel opereert binnen Kaletha's kader van rigide inwendige twisten $(G', \xi, z)$. De auteur definieert drie fundamentele voorwaarden (vereisten) waaraan elke geldige LLC moet voldoen:

• Voorwaarde 2.A (Functorialiteit): Compatibiliteit met homomorfismen met abelse kern en cokern.
• Voorwaarde 2.B (Karakter-twisten): Compatibiliteit met het twisten van representaties door karakters.
• Voorwaarde 2.C (Veranderingen van Rigidering): Compatibiliteit met het veranderen van de rigidering $z$, beheerst door een specifieke pairing die de Kottwitz-afbeelding en hypercohomologie omvat.

B. Reductie tot Adjoint en Eenvoudig Verbonden Gevallen

Met behulp van Propositie 3.1 reduceert de auteur de constructie van de correspondentie voor een algemene verbonden reductieve groep $G$ tot de gevallen waarin $G$ ofwel adjoint ($G_{ad}$) of eenvoudig verbonden ($G_{sc}$) is.

• Dit berust op het feit dat elke essentieel unipotent representatie via karakter-twisten in verband kan worden gebracht met unipotent representaties.
• Het bestaan van de correspondentie voor $G_{ad}$ en $G_{sc}$ wordt verondersteld (gebaseerd op eerdere werken van Fintzen-Oi-Solleveld [FOS20] en Solleveld [Sol23]), maar de auteur moet verifiëren dat deze bestaande correspondenties voldoen aan de strengere equivariantievoorwaarden die nodig zijn voor rigide inwendige twisten.

C. Verificatie van Equivariantie (De Kern Technische Uitdaging)

De bestaande correspondenties in [FOS20] en [Solleveld] zijn geconstrueerd met behulp van Arthur's kader, dat niet van nature omgaat met de specifieke equivariantie onder uitwendige automorfismen die vereist is door rigide inwendige twisten (specifiek Voorwaarde 3.A en Voorwaarde 3.B).

• Strategie: De auteur bewijst dat de bestaande correspondenties kunnen worden aangepast of kunnen worden aangetoond dat ze aan deze voorwaarden voldoen door te reduceren tot ongedwarsde groepen en het gebruik van companion-groepen (groepen $H$ zodat $\hat{H} \cong \hat{G}^{I_F}$).
• Belangrijkste Hulpmiddel: De auteur maakt gebruik van de hypercohomologie-groepen geïntroduceerd in [Kal22] om expliciet de 2-cocycli te berekenen die voortvloeien uit de werking van uitwendige automorfismen op de componentgroepen van de $L$-parameters en de representaties.
• Gesplitste en Niet-Gesplitste Gevallen: Het bewijs behandelt gesplitste groepen (met directe berekening met [FOS20]), ongedwarsde niet-gesplitste groepen (met behulp van de companion-groep $H$ en resultaten van Lusztig over unipotent representaties), en Weil-restricties.

D. Uitbreiding tot Discontinue Groepen

Voor de discontinue groep $\tilde{G} = G \rtimes A construeert de auteur de correspondentie door de interactie tussen de groepskant en de Galois-kant te analyseren:

• Groepskant: Representaties van $\tilde{G}'(F)$ worden geanalyseerd via Clifford-theorie, waarbij ze worden gerelateerd aan representaties van de verbonden component $G'(F)$ en de werking van $A$. Dit omvat het bestuderen van de getwiste groepsalgebra $C[A; \alpha]$ geassocieerd met de stabilisator van een representatie.
• Galoiskant: De $L$-parameters worden verrijkt met representaties van de uitgebreide componentgroep $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$.
• Matching: Het hart van het bewijs (Sectie 5.4) houdt in het construeren van een expliciete 1-cochain $h$ die interpoleert tussen de 2-cocycle $\alpha$ (voortkomend uit de groepskant) en de 2-cocycle $\beta$ (voortkomend uit de Galoiskant). Dit vestigt een isomorfisme van de endomorfisme-algebra's, en bewijst hiermee de bjectiviteit.

3. Belangrijkste Bijdragen en Resultaten

Stelling 1.1 (Corollarium 4.2): Equivariante LLC voor Verbonden Groepen

De auteur vestigt een bijectie tussen essentieel unipotent supercuspidale representaties van een rigide inwendige twist $(G', \xi, z)$ en verrijkte $L$-parameters:
$$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$$
Cruciaal is dat deze bijectie voldoet aan:

• Functorialiteit met betrekking tot homomorfismen met abelse kern/cokern.
• Equivariantie onder karakter-twisten.
• Sterkere Equivariantie: Het is equivariant onder uitwendige automorfismen en compatibel met veranderingen van rigideringen, een eigenschap die niet volledig was vastgesteld in eerdere werken zoals [FOS20].

Stelling 1.2 (Stelling 5.2): Uitbreiding tot Discontinue Groepen

Onder de aanname dat de afgeleide ondergroep $G_{der}$ eenvoudig verbonden is, breidt de correspondentie zich uit tot de discontinue groep $\tilde{G} = G \rtimes A$:
$$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$$
De correspondentie respecteert de restrictie tot de verbonden component: Een representatie $\pi$ van $G'(F)$ is een component van $\tilde{\pi}|_{G'(F)}$ dan en slechts dan als de $L$-parameter $\phi_\pi$ de restrictie is van $\phi_{\tilde{\pi}}$ en de verrijking $\rho(z, \pi)$ een component is van de restrictie van $\rho(z, \tilde{\pi})$.

Technisch Lemma: Hypercohomologie en Cocycli

Een aanzienlijke technische bijdrage is de expliciete berekening van de relatie tussen de 2-cocycli die de uitbreiding van representaties (groepskant) en de uitbreiding van verrijkingen (Galoiskant) beheersen. De auteur bewijst (Propositie 5.9) dat deze cocycli verschillen door een coboundary die is afgeleid van de hypercohomologie-pairing, waardoor de bijectie goed gedefinieerd en canoniek is.

4. Betekenis

1. Volledigheid van het Unipotent Geval: Dit werk consolideert de Lokale Langlands-correspondentie voor de volledige klasse van essentieel unipotent supercuspidale representaties voor verbonden groepen, en zorgt ervoor dat alle noodzakelijke functoriële eigenschappen (met name equivariantie) worden voldaan. Dit vult een gat op dat is achtergelaten door eerdere constructies die leunden op verschillende kaders.
2. Omgaan met Discontinuïteit: Het biedt de eerste systematische constructie van de LLC voor discontinue reductieve groepen in de context van rigide inwendige twisten. Dit is een voorwaarde voor het uitbreiden van de correspondentie naar bredere klassen van representaties (bijvoorbeeld niet-singuliere) voor discontinue groepen.
3. Fundering voor Toekomstig Werk: De auteur geeft expliciet aan dat deze resultaten bedoeld zijn om te worden gebruikt voor het uitbreiden van de expliciete LLC in [Kal21] (die niet-singuliere representaties behandelt) naar een veel grotere klasse van representaties, mogelijk alle supercuspidale representaties voor een bredere reeks groepen dekkend.
4. Methodologische Vooruitgang: Het rigoureuse gebruik van hypercohomologie om groepstheoretische en Galoistheoretische 2-cocycli te matchen, biedt een robuust sjabloon voor het behandelen van vergelijkbare compatibiliteitsproblemen in andere contexten van het Langlands-programma.

Kortom, Fujii's artikel overbrugt de kloof tussen de gevestigde theorie van unipotent representaties en het moderne kader van rigide inwendige twisten, en breekt tegelijkertijd nieuw terrein door deze correspondentie uit te breiden tot discontinue groepen, waardoor de weg wordt vrijgemaakt voor een meer uitgebreide Lokale Langlands-correspondentie.