Resumen Técnico: Nota sobre una cierta categoría de representaciones mod $p$

Autor: Reinier Sorgdrager
Contexto: Programa de Langlands mod $p$, teoría de representaciones de grupos p-ádicos.

1. Planteamiento del Problema

El artículo aborda un obstáculo fundamental en el Programa de Langlands mod $p$ para grupos definidos sobre extensiones no triviales de $\mathbb{Q}_p$.

• El Escenario: Sea $p > 3$ un número primo y $K = \mathbb{Q}_{p^f}$ con $f \geq 1$. Se consideran dos grupos de Lie $p$-ádicos:
  1. Caso $GL_2$: El grupo $G = I_1/Z_1$, donde $I_1$ es el subgrupo pro-$p$ Iwahori superior de $GL_2(K)$ y $Z_1$ es su centro.
  2. Caso Cuaternión: El grupo $G = U_1/Z_1$, donde $U_1$ es un subgrupo de unidades de un álgebra de cuaterniones $D$ sobre $K$.
• El Desafío: Cuando $f > 1$, la categoría de representaciones mod $p$ suaves y admisibles de estos grupos se vuelve "demasiado grande" en comparación con el lado de Galois. No se sabe cuáles de estas representaciones deberían corresponder a representaciones de Galois mod $p$ bajo una correspondencia de Langlands.
• La Categoría $C$: En trabajos previos ([BHH+23a], [HW24]), se introdujo una subcategoría plena $\mathcal{C}$ de representaciones que se sospecha contiene a los candidatos para la correspondencia de Langlands. Esta categoría se define mediante invariantes algebraicos en el módulo dual asociado a la restricción de la representación al subgrupo pro-$p$ $G$.
• La Incógnita: La estructura de $\mathcal{C}$ es misteriosa. Una propiedad deseable pero no demostrada es si la pertenencia a $\mathcal{C}$ es una propiedad local, es decir, si puede determinarse observando la representación solo en un subgrupo abierto arbitrariamente pequeño.

2. Metodología

El autor desarrolla una estrategia algebraica basada en la teoría de filtraciones y anillos graduados asociados a grupos pro-$p$.

A. Estructuras Algebraicas Fundamentales

1. Valuación $p$-saturada ($\omega$): Se utiliza una valuación $\omega$ en el grupo $G$ que induce su topología y es saturada (garantizando que las potencias $p$-ésimas de elementos con valuación alta cubren el grupo). Esto permite definir subgrupos abiertos $G_{p^N}$ que se hacen arbitrariamente pequeños.
2. Base Ordenada: Se construye una base ordenada $(g_1, \dots, g_{3f})$ para $G$. Esto permite identificar el anillo de grupo completado $\mathbb{F}[[G]]$ con un anillo de series de potencias formales, donde los elementos tienen expansiones únicas.
3. Filtración y Anillo Gradual: Se define una valuación $\nu$ en el anillo de grupo completado basada en la base ordenada. Esto induce la filtración $\mathfrak{m}_G$-ádica. El anillo graduado asociado $\text{gr}(\mathbb{F}[[G]])$ es un anillo de polinomios (o una extensión cercana) sobre $\mathbb{F}$.

B. Definición de la Categoría $\mathcal{C}$

La categoría $\mathcal{C}$ se define en términos del módulo dual $\pi^\vee$ de una representación $\pi$:

• Sea $J_C$ un ideal bilateral específico en $\text{gr}(\mathbb{F}[[G]])$.
• $\pi \in \mathcal{C}$ si y solo si el módulo graduado $\text{gr}(\pi^\vee)$ es aniquilado por una potencia de $J_C$.
• Se sabe que $\text{gr}(\mathbb{F}[[G]])/J_C$ es conmutativo.

C. La Estrategia de Restricción

El objetivo es demostrar que la condición de aniquilación por $J_C$ puede verificarse en una subálgebra graduada asociada a un subgrupo pequeño $G_{p^N}$.

1. Se definen tres módulos graduados relacionados con una restricción a $G_{p^N}$:
   • $\text{gr} M$: El módulo graduado estándar.
   • $\text{gr}_{N, \text{int}} M$: Un módulo intermedio basado en la filtración por potencias de $p^N$.
   • $\text{gr}_{N, \text{res}} M$: El módulo de restricción, definido puramente sobre el anillo de grupo del subgrupo $\mathbb{F}[[G_{p^N}]]$.
2. Se introduce un ideal $J_N$ en el anillo graduado del subgrupo, construido a partir de las potencias $p^N$ de los generadores de $J_C$.
3. Se establecen lemas que conectan la aniquilación por potencias de $J_C$ en el grupo grande con la aniquilación por potencias de $J_N$ en el subgrupo pequeño.

3. Contribuciones Clave y Resultados

El resultado central del artículo es el Teorema 1:

Teorema 1: Sean $\pi$ y $\pi'$ representaciones suaves de $G_{\text{big}}$ con el mismo carácter central. Si $\pi' \in \mathcal{C}$ y $\pi|_H \cong \pi'|_H$ para algún subgrupo abierto $H$ de $G_{\text{big}}$, entonces $\pi \in \mathcal{C}$.

Detalles Técnicos de la Prueba

La demostración se basa en una serie de lemas que establecen equivalencias:

1. Lema 1: Una representación está en $\mathcal{C}$ (aniquilada por $J_C$) si y solo si su módulo graduado es aniquilado por una potencia del ideal $J_N$ en el anillo del subgrupo.
2. Lema 2 y 4: Se demuestra que la condición de aniquilación en el módulo intermedio ($\text{gr}_{N, \text{int}}$) y en el módulo de restricción ($\text{gr}_{N, \text{res}}$) son equivalentes a la condición original.
3. Invariancia: Dado que $\text{gr}_{N, \text{res}}(\pi^\vee)$ depende únicamente de la restricción $\pi|_{G_{p^N}}$, si dos representaciones coinciden en un subgrupo suficientemente pequeño (que contiene $G_{p^N}$), sus módulos de restricción son isomorfos. Por lo tanto, si una satisface la condición de aniquilación, la otra también.

Observación importante: El autor señala que no necesita conocer la descripción precisa del ideal $J_C$, solo que el cociente es conmutativo. Esto sugiere que el resultado es robusto y aplicable a otras categorías definidas de manera similar.

4. Significado e Impacto

Este trabajo tiene implicaciones profundas para el entendimiento del Programa de Langlands mod $p$:

1. Propiedad Local: Establece que la pertenencia a la categoría "mágica" $\mathcal{C}$ es una propiedad local. Esto es crucial porque las representaciones en el contexto de Langlands a menudo se construyen globalmente (vía cohomología de variedades de Shimura), y este teorema permite verificar su validez localmente.
2. Simplificación del Estudio: Reduce el problema de estudiar representaciones de grupos de dimensión $3f$ (que pueden ser muy complejos) al estudio de sus restricciones a subgrupos pro-$p$ pequeños, donde la estructura algebraica (anillos de series de potencias) es más manejable.
3. Generalización: El método utilizado no depende de los detalles específicos de $GL_2$ o de los cuaterniones, sino de la estructura de los anillos de grupo completados y la conmutatividad del cociente. Esto abre la puerta a generalizaciones a otros grupos o ideales.
4. Clarificación de la Categoría: Ayuda a desmitificar la categoría $\mathcal{C}$, mostrando que no es una propiedad global "frágil", sino una característica intrínseca que se manifiesta en cualquier vecindad suficientemente pequeña del elemento identidad.

En resumen, Sorgdrager proporciona una herramienta técnica poderosa que vincula la estructura global de las representaciones mod $p$ con su comportamiento local, un paso necesario para avanzar en la clasificación de las representaciones que participan en la correspondencia de Langlands para $f > 1$.