Presentación de Iwahori Matsumoto para módulos de funciones fijas de Iwahori en espacios simétricos

Información Básica

• ID del Artículo: 2406.16070
• Título: Presentación de Iwahori Matsumoto para módulos de funciones fijas de Iwahori en espacios simétricos
• Autor: Guy Shtotland
• Clasificación: math.RT (Matemáticas - Teoría de Representaciones)
• Fecha de Publicación: Junio de 2024 (preimpresión arXiv, revisado en enero de 2025)
• Enlace del Artículo: https://arxiv.org/abs/2406.16070

Resumen

Este artículo estudia el espacio de funciones suaves $S(X)^I$ en espacios simétricos $X=G/H$, que es invariante bajo la acción del subgrupo de Iwahori $I$, y lo considera como un módulo sobre el álgebra de Hecke de Iwahori $\mathcal{H}(G,I)$ del grupo $p$-ádico $G$. El artículo proporciona una descripción de este módulo, generalizando la descripción clásica de Iwahori y Matsumoto de $\mathcal{H}(G,I)$.

Contexto de Investigación y Motivación

Problemas Fundamentales

1. Problemas fundamentales en teoría de representaciones relativas: Estudiar representaciones $H$-distinguidas, es decir, representaciones suaves $\pi$ de $G$ que satisfacen $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$
2. Estructura de módulos de vectores fijos de Iwahori: Mediante reciprocidad de Frobenius, el estudio de representaciones irreducibles $H$-distinguidas es equivalente al estudio de cocientes del $G$-módulo $S(X)$, donde $S(X)$ es el espacio de funciones localmente constantes con soporte compacto en $X$

Importancia de la Investigación

• El subgrupo de Iwahori $I$ descompone la categoría de representaciones suaves $M(G)$, donde las representaciones generadas por vectores fijos de $I$ constituyen el bloque principal (principal block)
• Esta categoría es equivalente a la categoría de módulos de dimensión finita sobre $H(G,I)$, siendo la equivalencia dada por $V \mapsto V^I$
• Describir la estructura de $S(X)^I$ como módulo sobre $H(G,I)$ es un paso clave en el estudio de representaciones suaves $H$-distinguidas

Limitaciones de Métodos Existentes

• La descripción clásica de Iwahori-Matsumoto se aplica únicamente a $H(G,I)$ mismo
• Falta una descripción sistemática del módulo de funciones $S(X)^I$ en espacios simétricos
• Se requieren nuevos métodos geométricos y combinatorios para tratar las restricciones de simetría

Contribuciones Principales

1. Construcción de la acción del grupo de Weyl afín en $I\backslash X$: Se demuestra que esta acción tiene un número finito de órbitas
2. Clasificación completa de órbitas de $I$: Se establece una biyección natural entre $I\backslash X$ y $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$
3. Generalización de relaciones de Iwahori-Matsumoto: Se proporciona una fórmula de acción para generadores $T_s$ en el caso $l_\sigma(s \times x) \neq l_\sigma(x)$
4. Descripción completa del caso de igual longitud: Se proporciona una fórmula completa de constantes de estructura para el caso complejo $l_\sigma(s \times x) = l_\sigma(x)$
5. Construcción de módulo universal: Se construye un módulo $M_t$ sobre el álgebra de Hecke de Iwahori universal, que se especializa en $S(X)^I$ cuando $t=q$

Explicación Detallada de Métodos

Definición de Tareas

Estudiar la estructura del espacio de funciones fijas de Iwahori $S(X)^I$ en espacios simétricos $X = G/H$ como módulo sobre el álgebra de Hecke de Iwahori $\mathcal{H}(G,I)$, donde:

• $G$ es un grupo reductivo conexo sobre un cuerpo $p$-ádico $F$
• $H = G^\sigma$ es el grupo de puntos fijos de una involución algebraica $\sigma: G \to G$
• $I$ es un subgrupo de Iwahori de $G$

Construcciones Geométricas Fundamentales

1. Clasificación de Órbitas

Teorema: Existe una biyección natural entre $I\backslash X$ y $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$, donde:

• $\mathcal{A} = T_\sigma/H$ es el conjunto de representantes de órbitas de $H$ de toros maximales $\sigma$-estables
• $W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)$

2. Acción del Grupo de Weyl Afín

Se define la acción del grupo de Weyl afín $W_{\text{aff}}$ en $I\backslash X$ mediante $w \times x$, a través de la biyección anterior, donde la acción se realiza separadamente en cada $W^H_{\text{aff}}(T)$.

3. Función de Longitud

Se define la función de longitud $l_\sigma: I\backslash X \to \mathbb{N}$: $l_\sigma(C) := d(C, \sigma(C))$ donde $d$ es la distancia entre cámaras en el edificio.

Puntos Técnicos Innovadores

1. Unicidad de Apartamentos $\sigma$-Estables

Proposición Clave: Toda cámara está contenida en algún apartamento $\sigma$-estable, y este apartamento es único bajo conjugación por elementos de $H$ que fijan la cámara.

2. Interpretación Geométrica de Constantes de Estructura

Mediante geometría del edificio, el cálculo de la acción del álgebra de Hecke se reduce a: $(T_s + 1)1_x = \gamma_{f,g} D_{f,o}$ donde $\gamma_{f,g}$ es el tamaño de una órbita de $H$ específica, $f = gC \cap gsC$.

3. Reducción al Caso de Rango Semisimple 1

Para el caso complejo de igual longitud $l_\sigma(s \times x) = l_\sigma(x)$, mediante cocientes de esquemas de grupos parahoricos, el problema se transforma en el cálculo de órbitas de subgrupos simétricos de grupos de rango semisimple 1 sobre cuerpos finitos en variedades de banderas.

Resultados Principales

1. Fórmulas de Tipo Iwahori-Matsumoto

Teorema: Sea $x \in I\backslash G/H$, $s \in \tilde{\Delta}$ una reflexión simple, entonces:

• Si $l_\sigma(s \times x) > l_\sigma(x)$, entonces $T_s 1_x = 1_{s \times x}$
• Si $l_\sigma(s \times x) < l_\sigma(x)$, entonces $T_s 1_x = (q-1)1_x + q1_{s \times x}$

2. Descripción Completa del Caso de Igual Longitud

Teorema: Si $l_\sigma(x) = l_\sigma(s \times x)$, entonces: $\gamma_{f,g} = \frac{q-1}{n_{\max}} \delta_{x,\max} + \frac{2}{n_{\min}} \delta_{x,\min}$ donde $n_{\max}, n_{\min} \in \{1,2\}$ son el número de órbitas de longitud máxima/mínima $l_\sigma$ en el soporte.

3. Generación Finita

Teorema: $S(X)^I$ es un módulo finitamente generado sobre $H(G,I)$.

4. Posibles Constantes de Estructura

Corolario: Los posibles valores de constantes de estructura $\gamma_{f,g}$ son: $1, 2, \frac{q-1}{2}, q-1, q, q+1, \frac{q+1}{2}$.

Ejemplos Concretos

Ejemplo 1: $G = \text{SL}_2, H = T$ (Toro Diagonal)

• Existen 3 órbitas de $T$ de apartamentos $\sigma$-estables
• Las órbitas de $I$ corresponden a $W_{\text{aff}} \sqcup W_{\text{aff}} \sqcup W_{\text{aff}}/T^0$
• Función de longitud: $l_\sigma(z_0) = l_\sigma(z_1) = 0$, $l_\sigma(x_w) = l_\sigma(y_w) = 2\lfloor l(w)/2 \rfloor + 1$

Ejemplo 2: $G = \text{SL}_{2n}, H = \text{Sp}_{2n}$

• Órbita única de apartamentos $\sigma$-estables
• Las órbitas de $I$ corresponden a matrices antisimétricas en $W_{\text{aff}}$
• Fórmula de acción: $w \times x = wxw^t$
• Función de longitud: $l_\sigma(x) = l(x) - 1$

Trabajos Relacionados

Desarrollo Histórico

1. Teoría clásica de Iwahori-Matsumoto: Proporciona generadores y relaciones de $H(G,I)$
2. Descomposición de Cartan de espacios simétricos: Delorme-Sécherre y otros estudiaron órbitas de $K_0$ (donde $K_0$ es el subgrupo compacto maximal)
3. Teoría de funciones esféricas: Hironaka, Sakellaridis y otros estudiaron la estructura de $S(X)^{K_0}$ como módulo sobre $H(G,K_0)$

Innovaciones de Este Artículo

• Primer estudio sistemático del módulo de funciones en espacios simétricos a nivel de Iwahori
• Introducción de nuevos métodos basados en geometría del edificio
• Establecimiento de conexiones profundas entre teoría $p$-ádica y geometría algebraica sobre cuerpos finitos

Conclusiones y Discusión

Conclusiones Principales

1. Descripción completa de la estructura de módulos de funciones fijas de Iwahori en espacios simétricos
2. Generalización de la teoría clásica de Iwahori-Matsumoto al caso relativo
3. Establecimiento de un puente entre geometría $p$-ádica y geometría algebraica sobre cuerpos finitos

Limitaciones

1. Se requiere que la característica residual no sea 2
2. Se consideran principalmente grupos escindidos
3. Las fórmulas para el caso de igual longitud son relativamente complejas

Direcciones Futuras

1. Investigación de la estructura de módulos en espacios simétricos de rango mínimo
2. Aplicaciones a problemas sobre la propiedad distinguished de representaciones de Steinberg
3. Generalización a variedades esféricas más generales

Evaluación Profunda

Fortalezas

1. Profundidad Teórica: Combinación ingeniosa de teoría de edificios, álgebras de Hecke y geometría algebraica
2. Innovación Técnica: Introducción de teoría de apartamentos $\sigma$-estables y técnicas de reducción
3. Completitud: Proporciona descripción completa en todos los casos, incluyendo el difícil caso de igual longitud
4. Intuición Geométrica: Transforma cálculos algebraicos en problemas geométricos, mejorando la comprensión

Deficiencias

1. Complejidad Técnica: El tratamiento del caso de igual longitud es bastante técnico
2. Rango de Aplicabilidad: Hay múltiples restricciones en los grupos e involuciones consideradas
3. Complejidad Computacional: El cálculo real de constantes de estructura requiere información geométrica extensa

Impacto

1. Contribución Teórica: Proporciona nuevas herramientas y perspectivas para teoría de representaciones relativas
2. Metodología: Los métodos de geometría del edificio pueden aplicarse a otros casos relativos
3. Perspectivas de Aplicación: Proporciona fundamentos para investigación de representaciones distinguished

Escenarios de Aplicación

• Investigación en teoría de representaciones relativas de grupos $p$-ádicos
• Análisis armónico en espacios simétricos
• Teoría de módulos de álgebras de Hecke
• Aplicaciones de teoría de edificios

Referencias

Este artículo se basa principalmente en trabajos clásicos de Iwahori-Matsumoto IM65, teoría de espacios simétricos de Delorme-Sécherre DS11, y teoría de clasificación de involuciones de Helminck-Wang HW93, entre otras referencias importantes.