Quantum wreath products and $p$-adic general linear group

Aquí presento un resumen técnico detallado del artículo "Quantum Wreath Products and p-adic General Linear Group" de Valentin Buciumas y Chun-Ju Lai, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda desafíos fundamentales en la teoría de representaciones de grupos $p$-ádicos, específicamente para el grupo lineal general $G = GL_d(F)$ y sus cubiertas metaplécticas $\tilde{G}$. Los problemas centrales identificados son:

• Estructura de los Módulos de Gelfand–Graev: Comprender la estructura del módulo de Gelfand–Graev pro-$p$, denotado como $W_{I(1)} = (\text{ind}_{\mu_n U^-}^{\tilde{G}} \iota \otimes \psi)^{I(1)}$, como un módulo sobre el álgebra de Hecke pro-$p$ metapléctica $\tilde{H}_{I(1)}$.
• Fallo de la Correspondencia de Shimura Local: A nivel pro-$p$, la correspondencia de Shimura local (que relaciona representaciones de cubiertas metaplécticas con representaciones lineales) falla. Específicamente, las álgebras de Hecke pro-$p$ lineal y metapléctica no son isomorfas para $n \ge 2$, a diferencia de lo que ocurre a nivel de Iwahori.
• Falta de Descripciones Transparentes: Las descripciones algebraicas de estas álgebras y sus módulos (especialmente en el caso metapléctico) han sido difíciles de obtener mediante métodos $p$-ádicos estándar debido a la complejidad de las relaciones de Bernstein-Lusztig y la reducción del soporte de las funciones genuinas.
• Generalización de Módulos Especiales: Definir y entender módulos "antisféricos" y de tipo Kashiwara-Miwa-Stern (KMS) en el contexto de las cubiertas metaplécticas pro-$p$.

2. Metodología

Los autores emplean una metodología algebraica innovadora que traslada problemas de análisis armónico $p$-ádico al ámbito de las álgebras de productos de corona cuánticos (quantum wreath products):

• Teoría de Productos de Corona Cuánticos: Utilizan y desarrollan la teoría de productos de corona cuánticos de tipo polinomio skew ($A \wr H(d)$), introducidos previamente en trabajos de LNX24, LM25 y LNX25.
• Álgebras Base Skew: En lugar de usar anillos de polinomios conmutativos, definen el álgebra base $A$ como un anillo de polinomios skew (o de Laurent skew) $A = F \rtimes_n \mathbb{C}[x^{\pm 1}]$, donde la conmutatividad se distorsiona por una raíz de la unidad $\xi$ ($x^{\pm 1}f = \xi^{\pm 2}fx^{\pm 1}$).
• Identificación de Álgebras: Demuestran que el álgebra de Hecke pro-$p$ metapléctica $\tilde{H}_{I(1)}$ es isomorfa a este producto de corona cuántico skew $A \wr H(d)$. Esto permite describir las relaciones complejas de Bernstein-Lusztig (que involucran sumas sobre raíces y caracteres) en términos de operadores de derivación skew ($\rho$) y relaciones cuadráticas factorizables.
• Construcción de Módulos: Definen nuevos módulos "antisféricos" y de tipo KMS sobre estos productos de corona, utilizando la descomposición de la relación cuadrática en factores lineales (Lema de Descomposición).
• Reducción a Nivel Iwahori: Utilizan idempotentes ($\epsilon_I$) para "descender" de nivel pro-$p$ a nivel Iwahori, recuperando resultados conocidos sobre álgebras de Schur afines cuánticas.

3. Contribuciones Clave

• Desarrollo de la Teoría de Productos de Corona Skew: Extienden la teoría existente para manejar anillos base de polinomios skew, lo cual es esencial para modelar las cubiertas metaplécticas.
• Nuevos Módulos (Anti)esféricos: Introducen por primera vez la noción de módulos (anti)esféricos y módulos de Kashiwara-Miwa-Stern para productos de corona cuánticos skew.
• Resolución de Problemas (P1)-(P3):
  • (P1) Se calcula la acción del álgebra de Hecke pro-$p$ sobre el módulo de Gelfand–Graev.
  • (P2) Se identifica este módulo con un módulo antisférico generalizado ($V_{(1)} \wr \text{sgn}$).
  • (P3) Se describe la estructura del álgebra de Schur pro-$p$ asociada.
• Prueba Algebraica del Fallo de Correspondencia: Proporcionan una prueba algebraica clara de que la correspondencia de Shimura local falla a nivel pro-$p$ para $n \ge 2$, demostrando que las álgebras de Hecke lineal y metapléctica no son isomorfas debido a diferencias en sus centros.

4. Resultados Principales

El artículo establece los siguientes teoremas y corolarios fundamentales:

• Teorema A (Isomorfismo de Álgebras):
  Existe un isomorfismo de álgebras entre el álgebra de Hecke pro-$p$ metapléctica $\tilde{H}_{I(1)}$ y el producto de corona cuántico skew:
  $$\tilde{H}_{I(1)} \cong A \wr H(d)$$
  donde $A = F \rtimes_n \mathbb{C}[x^{\pm 1}]$. Esto proporciona una base PBW explícita y relaciones de presentación transparentes.

• Teorema C (Identificación de Módulos):
  El componente pro-$p$ del módulo de Gelfand–Graev metapléctico $\tilde{W}_{I(1)}$ es isomorfo como módulo derecho a un módulo antisférico generalizado:
  $$\tilde{W}_{I(1)} \cong V_{(1)} \wr \text{sgn} \cong V_{(1)}^{\otimes d}$$
  sobre $\tilde{H}_{I(1)}$. Aquí, $V_{(1)} \wr \text{sgn}$ es una generalización del módulo antisférico del álgebra de Hecke afín y del espacio tensorial KMS.

• Corolario B (Fallo de la Correspondencia):
  Para $n \ge 2$, las álgebras de Hecke pro-$p$ lineal $H_{I(1)}$ y metapléctica $\tilde{H}_{I(1)}$ no son isomorfas. Esto se debe a que sus centros son diferentes (dependen de $F \rtimes_n \mathbb{C}[x^{\pm 1}]$ frente a $F[x]$), lo que explica algebraicamente la ruptura de la correspondencia de Shimura a este nivel.

• Teorema D (Álgebras de Schur Pro-$p$):
  Se establece un isomorfismo de álgebras para el álgebra de Schur pro-$p$ metapléctica $\tilde{S}_{I(1)}$:
  $$\tilde{S}_{I(1)} \cong S(1, d)$$
  donde $S(1, d)$ es el álgebra de Schur de corona correspondiente. Además, se obtienen fórmulas de multiplicación explícitas para una base tipo Dipper-James.

• Recuperación de Resultados Iwahori:
  Al aplicar el idempotente $\epsilon_I$, se recupera el isomorfismo conocido entre el módulo de Gelfand–Graev a nivel Iwahori y el espacio tensorial KMS $V^{(\bar{n}) \otimes d}$, y se identifica el álgebra de Schur Iwahori con el álgebra de Schur afín cuántica $(S_q)(\bar{n}, d)$.

5. Significado e Impacto

• Unificación Teórica: El trabajo logra unificar la teoría de representaciones de grupos $p$-ádicos (específicamente cubiertas metaplécticas) con la teoría de álgebras cuánticas y productos de corona. Esto ofrece un marco algebraico más manejable que los métodos analíticos tradicionales.
• Nuevas Herramientas para el Programa Langlands: Al proporcionar bases explícitas y reglas de multiplicación para las álgebras de Schur pro-$p$, el artículo sienta las bases para estudiar la correspondencia de Langlands mod $p$ y la clasificación de representaciones supersingulares.
• Comprensión de la Correspondencia de Shimura: La demostración algebraica de la no-isomorfía a nivel pro-$p$ aclara las limitaciones de la correspondencia de Shimura local, un tema crucial en la teoría de formas automorfas.
• Generalización de Resultados Clásicos: Extiende resultados conocidos sobre el álgebra de Hecke afín y el álgebra de Yokonuma al contexto metapléctico y pro-$p$, resolviendo problemas abiertos sobre la estructura de los módulos de Gelfand–Graev en estos contextos.
• Potencial Futuro: Los autores sugieren que esta teoría de productos de corona cuánticos podría utilizarse para demostrar la estabilización de los coeficientes de multiplicación de las álgebras de Schur pro-$p$ cuando $d \to \infty$, conectándolas con las álgebras de Lie cuánticas afines.

En resumen, el artículo transforma un problema complejo de análisis $p$-ádico en un problema de teoría de representaciones algebraica manejable, introduciendo nuevas estructuras (productos de corona skew) y módulos que revelan la geometría oculta detrás de las cubiertas metaplécticas.