A twisted Hecke algebra, then and now, and a Klein bottle of tempered representations

Resumen Técnico: Un Álgebra de Hecke Retorcida, Entonces y Ahora, y una Botella de Klein de Representaciones Tempradas

1. Planteamiento del Problema

El artículo aborda la estructura de las bloques de Bernstein en la categoría de representaciones suaves complejas de grupos reductivos sobre un cuerpo local no arquimediano $F$. Específicamente, los autores estudian dos contextos distintos pero relacionados:

1. Caso "Retorcido" (Twisted): El grupo $G_0$, un subgrupo Levi retorcido de $SL_8(F)$, asociado a una extensión cuadrática y una cuártica del cuerpo $F$. Se asume que el orden del cuerpo residual $q$ satisface $4 \mid (q-1)$.
2. Caso "Clásico" (Untwisted): El grupo $G = SL_8(F)$ con un par cuspidal $(M, \sigma)$ construido a partir de las mismas extensiones de campo.

El problema central es describir explícitamente el álgebra de Hecke asociada a estos bloques, determinar sus módulos simples y entender la topología de la variedad de Bernstein (el espectro primitivo del álgebra). Un hallazgo sorprendente es la aparición de una Botella de Klein como la forma real compacta máxima de esta variedad en ambos casos, lo cual es inusual en la teoría de representaciones, donde típicamente se esperan toros o variedades orientables.

2. Metodología

Los autores emplean una combinación de teoría de grupos, cohomología de grupos, teoría de álgebras de Hecke y topología algebraica:

• Construcción de Tipos (Types): Utilizan la teoría de tipos de Bushnell-Kutzko para identificar un par $(K, \rho)$ que genera el bloque de Bernstein. Para $G_0$, esto implica un subgrupo compacto abierto $K_0$ y una representación $\rho_0$ de profundidad cero.
• Álgebras de Hecke Retorcidas: Describen el álgebra de Hecke $H_0$ no como un álgebra de grupo estándar, sino como un álgebra de grupo retorcida $C[\Gamma, \mu_T]$, donde $\Gamma$ es un grupo discreto contable y $\mu_T$ es un 2-cociclo no trivial.
• Cohomología de Grupos: Analizan la clase de cohomología $[\mu] \in H^2(\Gamma, \mathbb{C}^\times)$ para demostrar que el cociclo es no trivial, lo cual es crucial para la estructura del álgebra.
• Teoría de Clifford y Módulos Simples: Calculan los módulos simples del álgebra retorcida comparándolos con el caso sin retorcimiento (untwisted). Utilizan la teoría de Clifford sobre subálgebras conmutativas para clasificar las representaciones irreducibles.
• Análisis Topológico: Identifican la variedad de Bernstein como un cociente de un toro complejo $(\mathbb{C}^\times)^2$ bajo una acción de un grupo finito. Analizan la forma compacta real máxima de esta variedad para determinar su topología (orientabilidad, característica de Euler).
• Comparación Isomórfica: Establecen un isomorfismo explícito entre las variedades de Bernstein del caso retorcido ($G_0$) y el caso clásico ($SL_8$), demostrando que comparten la misma estructura geométrica subyacente.

3. Contribuciones Clave y Resultados

A. Descripción del Álgebra de Hecke Retorcida ($H_0$)

• Se demuestra que el álgebra de Hecke asociada al par cuspidal de profundidad cero en $G_0$ es isomorfa a un álgebra de grupo retorcida:
  $$H_0 \cong \mathbb{C}[W_{\text{aff}}(\tilde{A}_1) \times \mathbb{Z}, \mu_T]$$
• El grupo subyacente es $\Gamma = (\mathbb{Z} \rtimes \mathbb{Z}/2) \times \mathbb{Z}$.
• El cociclo $\mu_T$ es no trivial únicamente en el subgrupo $\mathbb{Z}/2 \times \mathbb{Z}$.
• Presentación explícita: El álgebra se genera por elementos $s, X, X^{-1}, Y, Y^{-1}$ con relaciones:
  • $s^2 = 1$
  • $sX = X^{-1}s$
  • $sY = -Ys$ (La relación de conmutación retorcida es la clave).
  • $XY = YX$

B. Clasificación de Módulos Simples

• Dimensión: A diferencia del caso sin retorcimiento (que admite módulos de dimensión 1 y 2), todos los módulos simples del álgebra retorcida son de dimensión 2.
• Parámetros: Los módulos simples $M_{w,z}$ están parametrizados por $(w, z) \in (\mathbb{C}^\times)^2$, sujetos a la identificación $(w, z) \sim (-w, z^{-1})$.
• Ausencia de módulos 1-dimensionales: La relación $sY = -Ys$ impide la existencia de representaciones unidimensionales (ya que en dimensión 1, $sY = -Ys \implies 2sY=0$, contradiciendo la invertibilidad).

C. La Geometría de la Variedad de Bernstein

• La variedad de Bernstein $X = T^{s_0}/W^{s_0}$ es una variedad algebraica compleja irreducible de dimensión 2.
• La Botella de Klein: La forma real compacta máxima de esta variedad (obtenida restringiendo los parámetros a la unidad, $|w|=|z|=1$) es homeomorfa a una Botella de Klein ($K_b$).
  • La acción del grupo en el toro $S^1 \times S^1$ es libre y reversa la orientación.
  • El cociente de un toro por una involución libre que revierte la orientación es, por definición, una botella de Klein.
• Esto significa que el espectro primitivo del álgebra de Hecke (y por ende, la serie principal unitaria del grupo) contiene una componente topológica no orientable.

D. Comparación con el Caso Clásico ($SL_8$)

• Los autores demuestran que el punto $s$ en el espectro de Bernstein de $SL_8(F)$ (asociado a un par cuspidal construido con las mismas extensiones de campo) tiene una variedad de Bernstein isomorfa a la de $G_0$.
• Aunque el álgebra de Hecke para $SL_8$ parece "sin retorcimiento" en su formulación inicial, la estructura de los módulos y la topología de la variedad resultante son idénticas: la botella de Klein reaparece flotando en el dual temperado de $SL_8$.
• Se establece un isomorfismo explícito entre las variedades $T^s/W^s$ y $T^{s_0}/W^{s_0}$.

4. Significado e Implicaciones

1. Manifestación Topológica de la Cohomología: El artículo proporciona un ejemplo explícito y geométrico de cómo una clase de cohomología no trivial ($[\mu] \in H^2$) en un álgebra de Hecke se manifiesta topológicamente en el dual temperado del grupo. La botella de Klein es la "huella digital" topológica de este cociclo no trivial.
2. Ruptura de la Orientabilidad: En la teoría de representaciones de grupos reductivos sobre cuerpos locales, las variedades de Bernstein suelen ser toros o cocientes que preservan la orientabilidad. La aparición de una superficie cerrada no orientable (botella de Klein) es un fenómeno novedoso y contraintuitivo que desafía la intuición geométrica estándar en este campo.
3. Unificación de Casos: El trabajo muestra que fenómenos que parecen surgir de estructuras "retorcidas" (como en $G_0$) pueden aparecer también en grupos clásicos como $SL_8$ bajo ciertas condiciones de profundidad cero y extensiones de campo específicas. Esto sugiere una conexión más profunda entre la teoría de tipos y la geometría de las variedades de Bernstein.
4. Herramientas Computacionales: La descripción explícita de las relaciones del álgebra y la parametrización de los módulos simples ofrece una herramienta concreta para futuros cálculos en teoría de representaciones de grupos $p$-ádicos.

En conclusión, Aubert y Plymen demuestran que la geometría del dual temperado de ciertos grupos $p$-ádicos puede ser tan rica y compleja como la de las superficies topológicas clásicas, revelando que la Botella de Klein es un objeto natural en la teoría de representaciones de $SL_8$ y sus subgrupos Levi retorcidos.