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

A continuación se presenta un resumen técnico detallado del artículo "La correspondencia de Langlands local de representaciones supercuspidales esencialmente unipotentes para grupos redictivos desconectados" de Amoru Fujii.

1. Planteamiento del Problema

La Correspondencia de Langlands Local (LLC) tiene como objetivo parametrizar las representaciones suaves irreducibles de grupos redictivos $p$-ádicos $G(F)$ mediante parámetros $L$ (homomorfismos desde el grupo de Weil-Deligne hacia el grupo dual de Langlands). Aunque se han logrado avances significativos para grupos redictivos conexos (destacablemente por Kaletha para representaciones supercuspidales no singulares y por Fintzen, Oi y Solleveld para representaciones unipotentes), persisten dos brechas importantes:

1. Representaciones Esencialmente Unipotentes: Las construcciones existentes para representaciones supercuspidales unipotentes a menudo carecen de suficiente functorialidad y compatibilidad con torsiones internas rígidas, particularmente en lo que respecta a la equivariancia bajo automorfismos externos y cambios de rigidificaciones.
2. Grupos Redictivos Desconectados: La LLC no se ha extendido sistemáticamente a grupos redictivos desconectados de la forma $\tilde{G} = G \rtimes A$, donde $G$ es conexo y $A$ es un grupo finito que actúa sobre $G$. Esto es crucial para comprender las representaciones de grupos como el grupo lineal general con automorfismos o restricciones de Weil.

El artículo aborda la construcción de la LLC para representaciones supercuspidales esencialmente unipotentes dentro del marco de torsiones internas rígidas, demostrando las compatibilidades necesarias y extendiendo esta correspondencia a grupos redictivos desconectados.

2. Metodología

El autor emplea una estrategia de múltiples pasos que combina técnicas de reducción, hipercohomología y la teoría de grupos compañeros.

A. Marco y Requisitos

El artículo opera dentro del marco de torsiones internas rígidas $(G', \xi, z)$ de Kaletha. El autor define tres condiciones fundamentales (requisitos) que cualquier LLC válida debe satisfacer:

• Condición 2.A (Functorialidad): Compatibilidad con homomorfismos que tienen núcleo y conúcleo abelianos.
• Condición 2.B (Torsiones por Caracteres): Compatibilidad con la torsión de representaciones por caracteres.
• Condición 2.C (Cambios de Rigidificación): Compatibilidad con el cambio de la rigidificación $z$, gobernada por un emparejamiento específico que involucra el mapa de Kottwitz y la hipercohomología.

B. Reducción a Casos Adyacentes y Simplemente Conectados

Utilizando la Proposición 3.1, el autor reduce la construcción de la correspondencia para un grupo redictivo conexo general $G$ a los casos donde $G$ es adyacente ($G_{ad}$) o simplemente conectado ($G_{sc}$).

• Esto se basa en el hecho de que cualquier representación esencialmente unipotente puede relacionarse con las unipotentes mediante torsiones por caracteres.
• Se asume la existencia de la correspondencia para $G_{ad}$ y $G_{sc}$ (basada en trabajos previos de Fintzen-Oi-Solleveld [FOS20] y Solleveld [Sol23]), pero el autor debe verificar que estas correspondencias existentes satisfacen las condiciones de equivariancia más estrictas requeridas para las torsiones internas rígidas.

C. Verificación de la Equivariancia (El Desafío Técnico Central)

Las correspondencias existentes en [FOS20] y [Solleveld] se construyeron utilizando el marco de Arthur, que no maneja naturalmente la equivariancia específica bajo automorfismos externos requerida por las torsiones internas rígidas (específicamente la Condición 3.A y la Condición 3.B).

• Estrategia: El autor demuestra que las correspondencias existentes pueden ajustarse o mostrarse que satisfacen estas condiciones reduciéndose a grupos no ramificados y utilizando grupos compañeros (grupos $H$ tales que $\hat{H} \cong \hat{G}^{I_F}$).
• Herramienta Clave: El autor utiliza los grupos de hipercohomología introducidos en [Kal22] para calcular explícitamente los 2-cociclos que surgen de la acción de los automorfismos externos sobre los grupos componentes de los parámetros $L$ y las representaciones.
• Casos Desplegados y No Desplegados: La demostración maneja grupos desplegados (usando cálculo directo con [FOS20]), grupos no ramificados no desplegados (usando el grupo compañero $H$ y los resultados de Lusztig sobre representaciones unipotentes) y restricciones de Weil.

D. Extensión a Grupos Desconectados

Para el grupo desconectado $\tilde{G} = G \rtimes A$, el autor construye la correspondencia analizando la interacción entre el lado del grupo y el lado de Galois:

• Lado del Grupo: Las representaciones de $\tilde{G}'(F)$ se analizan mediante la teoría de Clifford, relacionándolas con representaciones del componente conexo $G'(F)$ y la acción de $A$. Esto implica estudiar el álgebra de grupo torcida $C[A; \alpha]$ asociada al estabilizador de una representación.
• Lado de Galois: Los parámetros $L$ se mejoran mediante representaciones del grupo componente extendido $\tilde{S}^+_\phi = \pi_0 Z^+_{\hat{G}}(\phi)$.
• Correspondencia: El núcleo de la demostración (Sección 5.4) implica construir una 1-cadena explícita $h$ que interpola entre el 2-cociclo $\alpha$ (que surge del lado del grupo) y el 2-cociclo $\beta$ (que surge del lado de Galois). Esto establece un isomorfismo de las álgebras de endomorfismos, demostrando así la biyección.

3. Contribuciones y Resultados Clave

Teorema 1.1 (Corolario 4.2): LLC Equivariante para Grupos Conectados

El autor establece una biyección entre las representaciones supercuspidales esencialmente unipotentes de una torsión interna rígida $(G', \xi, z)$ y los parámetros $L$ mejorados:
$$\text{Irr}(G'(F))_{euc} \xrightarrow{\sim} \Phi_e(G; [z])_{euc}$$
Crucialmente, esta biyección satisface:

• Functorialidad con respecto a homomorfismos con núcleo/conúcleo abeliano.
• Equivariancia bajo torsiones por caracteres.
• Equivariancia Más Fuerte: Es equivariante bajo automorfismos externos y compatible con cambios de rigidificaciones, una propiedad no totalmente establecida en trabajos anteriores como [FOS20].

Teorema 1.2 (Teorema 5.2): Extensión a Grupos Desconectados

Asumiendo que el subgrupo derivado $G_{der}$ es simplemente conectado, la correspondencia se extiende al grupo desconectado $\tilde{G} = G \rtimes A$:
$$\text{Irr}(\tilde{G}'(F))_{euc} \xrightarrow{\sim} \Phi_e(\tilde{G}; [z])_{euc}$$
La correspondencia respeta la restricción al componente conexo: Una representación $\pi$ de $G'(F)$ es un constituyente de $\tilde{\pi}|_{G'(F)}$ si y solo si el parámetro $L$ $\phi_\pi$ es la restricción de $\phi_{\tilde{\pi}}$ y la mejora $\rho(z, \pi)$ es un constituyente de la restricción de $\rho(z, \tilde{\pi})$.

Lema Técnico: Hipercohomología y Cociclos

Una contribución técnica significativa es el cálculo explícito de la relación entre los 2-cociclos que gobiernan la extensión de representaciones (lado del grupo) y la extensión de mejoras (lado de Galois). El autor demuestra (Proposición 5.9) que estos cociclos difieren por un coborde derivado del emparejamiento de hipercohomología, asegurando que la biyección esté bien definida y sea canónica.

4. Significado

1. Completitud del Caso Unipotente: Este trabajo solidifica la Correspondencia de Langlands Local para toda la clase de representaciones supercuspidales esencialmente unipotentes para grupos conexos, asegurando que se satisfagan todas las propiedades functoriales necesarias (especialmente la equivariancia). Esto llena una brecha dejada por construcciones anteriores que dependían de marcos diferentes.
2. Manejo de la Desconexión: Proporciona la primera construcción sistemática de la LLC para grupos redictivos desconectados en el contexto de torsiones internas rígidas. Esto es un prerrequisito para extender la correspondencia a clases más generales de representaciones (por ejemplo, las no singulares) para grupos desconectados.
3. Fundamento para Trabajos Futuros: El autor declara explícitamente que estos resultados tienen la intención de utilizarse para extender la LLC explícita en [Kal21] (que cubre representaciones no singulares) a una clase mucho más amplia de representaciones, cubriendo potencialmente todas las representaciones supercuspidales para una gama más amplia de grupos.
4. Avance Metodológico: El uso riguroso de la hipercohomología para igualar 2-cociclos de teoría de grupos y teoría de Galois ofrece una plantilla robusta para manejar problemas de compatibilidad similares en otros contextos del programa de Langlands.

En resumen, el artículo de Fujii cierra la brecha entre la teoría establecida de las representaciones unipotentes y el marco moderno de las torsiones internas rígidas, mientras que simultáneamente abre nuevos caminos al extender esta correspondencia a grupos desconectados, allanando así el camino hacia una Correspondencia de Langlands Local más comprehensiva.