Resumen Técnico: Límite de Gelfand-Kirillov para Representaciones de Banach $p$-ádicas con Carácter Infinitesimal

1. El Problema

El objetivo principal del artículo es establecer un límite superior para la dimensión de Gelfand-Kirillov (dimensión GK) de ciertas representaciones de Banach $p$-ádicas. Específicamente, el autor se ocupa de las representaciones admisibles de los grupos $GL_2(K)$ y de las unidades de la algebra de cuaterniones $D^\times$ sobre un cuerpo $p$-ádico $K$, bajo la condición de que sus vectores localmente analíticos posean un carácter infinitesimal.

El problema surge en el contexto del Programa de Langlands $p$-ádico. En este marco, se estudian módulos "parcheados" ($M_\infty$) que son candidatos para la correspondencia de Langlands. Un paso crítico para demostrar que estos módulos son no nulos y que poseen propiedades de "planitud fiel" (faithful flatness) es controlar su dimensión GK. Un trabajo previo ([DPS23]) había establecido un límite general de $2d_G$ (donde $d_G$ es la dimensión de la variedad de banderas), pero Sorgdrager busca demostrar el límite más fuerte de $\leq [K : \mathbb{Q}_p]$.

2. Metodología

La metodología del autor es innovadora y se aleja de los métodos de deformación de Galois utilizados anteriormente, optando por un enfoque basado en el análisis de álgebras de distribución y filtraciones. Los pasos clave son:

• Teoría de Álgebras de Distribución y Filtraciones: El autor utiliza la teoría de álgebras de distribución de radio $r$ ($D^r(H, L)$) y las filtraciones asociadas a grupos $p$-valuados. Se construye una relación entre la acción infinitesimal de la álgebra de Lie y el álgebra de distribución.
• El concepto de "Ideal de Casimir": Esta es la pieza central del método. El autor demuestra que, si una representación tiene un carácter infinitesimal, su módulo graduado asociado ($\text{gr } M$) es anulado por un ideal específico en el álgebra graduada. Este ideal, denominado "Ideal de Casimir", surge de los elementos del centro de la álgebra de enveloping universal de la álgebra de Lie.
• Uso de Grupos de Potencias de $p$ ($H^{p^N}$): Para manejar la complejidad de la ramificación y la estructura del grupo, el autor trabaja con subgrupos de potencias de $p$. Esto permite que las álgebras graduadas asociadas sean anillos polinomiales conmutativos, lo que facilita el cálculo de la dimensión de Krull (que es equivalente a la dimensión GK en este contexto).
• Análisis de la Ramificación: El autor desarrolla una técnica para manejar la ramificación del cuerpo $K$ mediante la descomposición de la álgebra de Lie $\mathfrak{gl}_2(L)$ y el estudio de los símbolos principales de los elementos de la álgebra de Lie, asegurando que la información del carácter infinitesimal se "transporte" correctamente al módulo graduado.

3. Contribuciones Clave

1. Generalización del Límite de Dimensión: Provee la respuesta afirmativa a la pregunta de [DPS23], demostrando que el límite es $\leq [K : \mathbb{Q}_p]$ para $GL_2$ y cuaterniones.
2. Nueva Técnica de Aniquilación: Introduce un método para obtener límites de dimensión mediante la aniquilación de módulos graduados por ideales de Casimir, lo cual es más conceptual que los métodos de deformación previos.
3. Descripción de Ideales para Casos Ramificados: El artículo ofrece una descripción explícita de los ideales de Casimir, lo que sugiere una vía para generalizar los resultados a otros grupos o a casos de mayor ramificación.
4. Resultados sobre la Categoría $\mathcal{C}$: El trabajo ofrece una explicación conceptual de la categoría de representaciones mod $p$ estudiada en la literatura reciente, vinculando las propiedades de las representaciones de Banach con las de sus reducciones mod $p$.

4. Resultados Principales

• Teorema Principal (Teorema 6.2): Sea $p > 2$ y $K, L$ cuerpos $p$-ádicos. Si $\Pi$ es una representación de Banach $L$-admisible de $GL_2(K)$ o de $D^\times$ (donde $D$ son los cuaterniones sobre $K$), y si sus vectores localmente analíticos tienen un carácter infinitesimal, entonces la dimensión de Gelfand-Kirillov de $\Pi$ es $\leq [K : \mathbb{Q}_p]$.
• Optimalidad: El autor demuestra que este límite es óptimo en el caso de $GL_2(K)$, ya que las series principales alcanzan exactamente la dimensión $[K : \mathbb{Q}_p]$.
• Aplicación al Langlands $p$-ádico: Se establece que las representaciones $\Pi_y$ derivadas de módulos parcheados (como los construidos por [CEG+18]) cumplen con este límite de dimensión.

5. Significancia

Este trabajo es de gran importancia para la teoría de representaciones $p$-ádicas y el Programa de Langlands. Al proporcionar un límite superior preciso para la dimensión GK, el autor ofrece herramientas matemáticas para asegurar la existencia y la no nulidad de representaciones que son fundamentales para la correspondencia de Langlands. Además, la técnica de "ideales de Casimir" abre nuevas puertas para estudiar la estructura de las representaciones de grupos reductivos conectados en el entorno $p$-ádico, permitiendo un puente más sólido entre la teoría de álgebras de Lie y la teoría de representaciones de Banach.