Lifting banal representations of classical groups

A continuación presento un resumen técnico detallado del artículo "Lifting banal representations of classical groups" (Levantamiento de representaciones banales de grupos clásicos) de Johannes Droschl, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de representaciones de grupos reductivos sobre campos locales no arquimedianos ($F$), específicamente en el contexto del Programa de Langlands Local.

• Contexto: Se estudian las representaciones suaves e irreducibles de grupos clásicos ($G(F)$), como grupos simplécticos ($Sp_n$), ortogonales ($O_n$) y unitarios, con coeficientes en campos de característica positiva ($\mathbb{F}_\ell$), donde $\ell$ es un primo que no divide a la característica del campo residual.
• El Desafío: Mientras que la teoría de representaciones con coeficientes complejos ($\mathbb{C}$) o $\mathbb{Q}_\ell$ está bien entendida (gracias a trabajos de Arthur, Bernstein, Zelevinsky, etc.), el comportamiento de las representaciones con coeficientes en $\mathbb{F}_\ell$ (característica no nula) para grupos clásicos ha permanecido en gran medida como un misterio, a diferencia del caso de los grupos lineales generales ($GL_n$), donde la teoría está completa.
• La Pregunta Central: ¿Es posible "levantar" (lift) cualquier representación irreducible suave sobre $\mathbb{F}_\ell$ a una representación sobre $\mathbb{Q}_\ell$? Es decir, dada una representación $\pi$ sobre $\mathbb{F}_\ell$, ¿existe una representación $\tilde{\pi}$ sobre $\mathbb{Q}_\ell$ y una estructura integral $\mathcal{O}$ tal que $\mathcal{O} \otimes_{\mathbb{Z}_\ell} \mathbb{F}_\ell \cong \pi$?
• Condición de Banalidad: El autor se centra en el caso donde el primo $\ell$ es "banal" con respecto al grupo $G$. Un primo es banal si no divide al cardinal del grupo de puntos sobre el campo residual ($|G(k)|$). Esta condición asegura que la teoría modular se comporte de manera análoga a la teoría compleja (similar a la teoría de representaciones de grupos finitos donde $\ell \nmid |W|$).

2. Metodología

La estrategia del autor es constructiva y recursiva, basándose en la idea de construir todas las representaciones irreducibles (tanto sobre $\mathbb{F}_\ell$ como sobre $\mathbb{Q}_\ell$) paso a paso y verificar que las construcciones se comportan bien bajo reducción módulo $\ell$. El trabajo se sostiene sobre cuatro pilares metodológicos:

1. Operadores de Entrelazamiento (Intertwining Operators):

   • Se utiliza la teoría desarrollada en [7] sobre cuerpos algebraicamente cerrados.
   • Se definen operadores $J_{P,P'}(\pi)$ entre representaciones inducidas parabólicamente.
   • Lema Clave (3.7): Bajo ciertas condiciones de regularidad y dimensión de espacios de homomorfismos, el operador de entrelazamiento preserva la estructura integral y su reducción módulo $\ell$ coincide con la imagen del operador sobre $\mathbb{F}_\ell$. La banalidad de $\ell$ es crucial aquí para garantizar que ciertos morfismos sean isomorfismos o no se anulen.

2. Derivadas (Derivatives):

   • Se adapta la teoría de derivadas (originalmente de Bernstein-Zelevinsky para $GL_n$ y extendida a grupos clásicos) para descomponer representaciones.
   • Una representación $\pi$ se llama $\rho$-reducida si no contiene subcuocientes isotípicos a una potencia de una representación cuspidal $\rho$.
   • Se demuestra que cualquier representación puede obtenerse como la imagen de un operador de entrelazamiento aplicado a una representación $\rho$-reducida y una potencia de $\rho$. Esto permite un proceso inductivo.

3. Representaciones de Tipo Arthur:

   • Se utiliza la clasificación de Arthur para las representaciones temperadas.
   • Se reduce el problema a entender representaciones inducidas de representaciones cuspidales auto-duales ($c$-self-dual) en el factor de Levi.
   • Lema 3: Las representaciones temperadas que son $\rho$-reducidas para todo $\rho$ no auto-dual son subrepresentaciones de inducciones de representaciones cuspidales auto-duales.

4. Progeneradores y Bloques:

   • Se emplea el trabajo de [19] y [28] sobre progeneradores en la categoría de representaciones.
   • Dado que $\ell$ es banal, las representaciones cuspidales son proyectivas en sus respectivos bloques.
   • Se analiza el álgebra de endomorfismos de las representaciones inducidas, demostrando que es generada por operadores de entrelazamiento, lo que permite controlar la estructura semisimple y la multiplicidad de los sumandos.

3. Contribuciones Clave

• Teorema Principal (Levantamiento): Se demuestra que para cualquier primo banal $\ell$ y cualquier grupo clásico (simpléctico, ortogonal o unitario) sobre un campo local no arquimediano, toda representación suave e irreducible sobre $\mathbb{F}_\ell$ admite un levantamiento a $\mathbb{Q}_\ell$.
• Nueva Prueba para $GL_n$: Aunque el resultado para grupos lineales generales ya era conocido ([24]), el autor proporciona una nueva prueba basada en sus métodos unificados, que son adaptables a otros grupos.
• Condición de Soporte Cuspidal: Se establece una condición suficiente (relacionada con el soporte cuspidal) para que una representación integral sobre $\mathbb{Q}_\ell$ se reduzca a una representación irreducible sobre $\mathbb{F}_\ell$.
• Generalización a Grupos No Divididos (Non-split): Se extiende la definición de "representación banal" a casos no divididos, demostrando que si $\ell$ es banal para el grupo, todas las representaciones irreducibles son banales y admiten levantamiento.
• Dualidad de Howe Modular: Se aplica el resultado principal para probar la conjetura de dualidad de Howe en el caso "fuertemente banal" para pares duales simpléctico-ortogonales y unitarios, resolviendo un obstáculo técnico pendiente en la literatura modular.

4. Resultados Principales

1. Teorema 1: Sea $G$ un grupo simpléctico u ortogonal dividido. Si $\ell$ es un primo banal, cualquier representación suave irreducible $\pi$ de $G(F)$ sobre $\mathbb{F}_\ell$ admite un levantamiento a $\mathbb{Q}_\ell$.
2. Corolario 6.3: Si $\tilde{\pi}$ es una representación irreducible sobre $\mathbb{Q}_\ell$ con soporte cuspidal integral banal, entonces su reducción módulo $\ell$ es irreducible. Esto implica la existencia de levantamientos para todas las representaciones en el caso banal.
3. Proposición 6.1: Si una representación $\pi$ sobre $\mathbb{F}_\ell$ tiene un levantamiento a una serie discreta esencialmente, entonces cualquier levantamiento a $\mathbb{Q}_\ell$ es también una serie discreta esencialmente. Esto garantiza la estabilidad de ciertas propiedades bajo reducción.
4. Corolario 7.1 (Hipótesis H): Bajo la condición de que $\ell$ sea "fuertemente banal" (una condición más fuerte que implica que el orden de $q$ en $\mathbb{F}_\ell$ es suficientemente grande), se cumple la Hipótesis (H) necesaria para la dualidad de Howe modular.
5. Teorema 7.1: Se prueba la dualidad de Howe para pares duales de tipo I en el caso fuertemente banal: el cosocle de la elevación theta es irreducible o cero, y la correspondencia es inyectiva en clases de isomorfismo.

5. Significado e Impacto

• Unificación de la Teoría Modular: El trabajo cierra una brecha significativa en la teoría de representaciones de grupos clásicos en característica positiva. Establece que, bajo la condición de banalidad, la teoría modular es "tan buena" como la teoría compleja en términos de existencia de levantamientos y estructura de bloques.
• Herramientas para el Programa de Langlands: Al garantizar la existencia de levantamientos, se facilita el estudio de la correspondencia de Langlands modular, permitiendo transferir resultados de característica cero a característica $p$ y viceversa en contextos controlados.
• Resolución de la Dualidad de Howe Modular: La aplicación a la correspondencia theta es un avance sustancial. La dualidad de Howe es una piedra angular en la teoría de representaciones, y su validez en el contexto modular (especialmente para pares de tipo I) había sido un problema abierto debido a la complejidad de las series principales degeneradas. Este artículo demuestra que la banalidad elimina estas complicaciones.
• Metodología Robusta: La combinación de operadores de entrelazamiento, derivadas y progeneradores ofrece un marco metodológico potente que puede ser adaptado para estudiar otros aspectos de la representación modular de grupos reductivos.

En resumen, el artículo de Droschl demuestra que la teoría de representaciones de grupos clásicos sobre campos locales en característica banal es estructuralmente estable y permite un levantamiento completo a característica cero, proporcionando las bases necesarias para avanzar en la correspondencia de Langlands modular y la dualidad de Howe.