Módulos inclinados para grupos algebraicos reductivos: caracteres y variedades de soporte

Información Básica

• ID del artículo: 2511.05063
• Título: Tilting modules for reductive algebraic groups: characters and support varieties
• Autores: Pramod N. Achar (Louisiana State University), Simon Riche (Université Clermont Auvergne)
• Clasificación: math.RT (Teoría de Representaciones)
• Fecha de publicación/Conferencia: Presentado en noviembre de 2025, contribución a las actas del ICM 2026
• Enlace del artículo: https://arxiv.org/abs/2511.05063

Resumen

Este artículo es una contribución de los autores a las actas del ICM 2026, que presenta una revisión de una serie de resultados obtenidos por los autores y sus colaboradores en la teoría de representaciones de grupos algebraicos reductivos sobre cuerpos algebraicamente cerrados de característica positiva. La investigación se enfoca en dos problemas centrales de los módulos inclinados (tilting modules): las fórmulas de caracteres (character formulas) y las variedades de soporte (support varieties).

Antecedentes de investigación y motivación

Problemas centrales

1. Problema del cálculo de caracteres: En un cuerpo algebraicamente cerrado de característica positiva p, ¿cómo calcular los caracteres de los módulos simples y módulos inclinados de un grupo algebraico reductivo G? Este es un problema fundamental en la teoría de representaciones, análogo a la teoría de caracteres en representaciones complejas de grupos finitos.
2. Problema de descripción de variedades de soporte: ¿Cómo describir las variedades de soporte de los módulos inclinados? Esto involucra la conjetura de Humphreys, que predice una conexión profunda entre las variedades de soporte y las órbitas nilpotentes.

Importancia de la investigación

• Los caracteres determinan los factores de composición de una representación y sus multiplicidades, siendo invariantes clave para entender la estructura de representaciones
• Los módulos inclinados juegan un papel especial en la teoría de representaciones: están cerrados bajo productos tensoriales y sus caracteres pueden usarse para derivar los caracteres de módulos simples
• Estos problemas están conectados profundamente con la combinatoria de Kazhdan-Lusztig del grupo de Weyl afín, ejemplificando la interacción entre combinatoria, geometría y teoría de representaciones

Limitaciones de métodos existentes

1. Conjetura de Lusztig: Usa polinomios clásicos de Kazhdan-Lusztig para dar fórmulas de caracteres de módulos simples, pero solo es válida cuando p es suficientemente grande, y Williamson encontró contraejemplos
2. Conjetura de Andersen: Propone fórmulas similares para módulos inclinados, pero también requiere p ≥ h (donde h es el número de Coxeter) y tiene restricciones en los pesos
3. Problema de asintótica: La combinatoria clásica de Kazhdan-Lusztig solo da aproximaciones "asintóticas", fallando en características generales

Puntos innovadores de este artículo

Se introduce la base p-canónica (p-canonical basis) como reemplazo de la base clásica de Kazhdan-Lusztig, una herramienta nueva desarrollada por Williamson y otros, que permite dar fórmulas exactas en características más generales (p > h, e incluso para todo p).

Contribuciones principales

Las contribuciones principales del artículo incluyen:

1. Fórmula de caracteres de módulos inclinados (Teorema 2.6): Se prueba la fórmula de caracteres de módulos inclinados usando polinomios p-Kazhdan-Lusztig, aplicable cuando p > h, con una versión que vale para todo p
2. Aplicación de la conjetura de Finkelberg-Mirković: Cuando p > h+1, se da una fórmula geométrica para caracteres de módulos simples a través de esta conjetura (ya probada por Bezrukavnikov y Riche)
3. Prueba de la conjetura de Humphreys:
   • Se prueba la conjetura de Humphreys clásica y relativa cuando p es suficientemente grande
   • Se prueba la conjetura de Humphreys relativa para todo p > h
   • Se prueba la versión teórico-esquemática para GL_n cuando p > n
4. Teoría de co-t-structures: Se desarrolla la teoría de co-t-structures en la categoría derivada de haces coherentes sobre el cono nilpotente, proporcionando un nuevo marco para describir la cohomología relativa de módulos inclinados
5. Versión modular de la biyección de Lusztig-Vogan: Se establece una biyección de Lusztig-Vogan en característica positiva, conectando pesos dominantes con fibrados vectoriales inclinados sobre órbitas nilpotentes

Explicación detallada de métodos

Marco teórico

1. Configuración básica de la teoría de representaciones

• Grupos algebraicos reductivos: G es un grupo algebraico reductivo conexo sobre un cuerpo algebraicamente cerrado k de característica p > 0
• Clases de módulos clave:
  • Módulos inducidos N(λ): inducidos de representaciones 1-dimensionales del subgrupo de Borel
  • Módulos simples L(λ): representaciones irreducibles
  • Módulos inclinados T(λ): módulos indescomponibles satisfaciendo condiciones de filtración especiales

2. Grupo de Weyl afín y acción dot

El grupo de Weyl afín $W_{aff} = W \ltimes \mathbb{Z}\Phi$ actúa sobre la red de pesos mediante la acción dot: $(w \ltimes \mu) \bullet \lambda = w(\lambda + p\mu + \rho) - \rho$

Principio de conexión (Andersen): Los grupos Ext de módulos simples son no-nulos solo dentro de la misma órbita $W_{aff}$, lo que conduce a la descomposición en bloques de la categoría de representaciones.

Métodos para fórmulas de caracteres

Herramienta central: base p-canónica

Para el álgebra de Hecke afín $\mathcal{H}_{aff}$, existen:

• Base clásica de Kazhdan-Lusztig $\{\underline{H}_w : w \in W_{aff}\}$
• Base p-canónica $\{^pH_w : w \in W_{aff}\}$ (dependiente del primo p)

Se definen los polinomios correspondientes: $^pH_w = \sum_{y \in W_{aff}} \,^ph_{y,w} \cdot H_y$

Propiedad clave: Cuando p es suficientemente grande, $^pH_w = \underline{H}_w$, pero para p general pueden diferir.

Teorema 2.6 (Fórmula de caracteres de módulos inclinados)

Para un subconjunto finitario $J \subset S_{aff}$ tal que $C_J \neq \emptyset$, y para $y, w \in W^J_{aff}$: $d^J_{y,w} = \sum_{z \in W} (-1)^{\ell(z)} \cdot \,^ph_{zyw_J, ww_J}(1)$

donde $d^J_{y,w}$ son los coeficientes de expansión del carácter del módulo inclinado en la base de módulos inducidos.

Estrategia de prueba (caso p > h)

1. Realización geométrica: Se construye un funtor degradante $\mathcal{F}: D^b\text{Coh}_{G \times \mathbb{G}_m}(\tilde{\mathcal{N}}) \to D^b\text{Rep}_{W_{ext} \bullet 0}(G)$ donde $\tilde{\mathcal{N}} = G \times_B \mathfrak{n}$ es la descomposición de Springer
2. Categorificación: Se prueba la existencia de una categoría de Hecke $\mathcal{H}^k_{aff}$ actuando sobre $\text{Rep}_{W_{aff} \bullet 0}(G)$
3. Dualidad de Koszul: Se utiliza la teoría de capas perversas mixtas sobre la Grassmanniana afín y la dualidad de Koszul
4. Teoría de Smith-Treumann: La prueba más reciente y general utiliza la teoría de Smith-Treumann en la equivalencia de Satake geométrica

Métodos para variedades de soporte

Núcleos de Frobenius y cohomología

• Núcleo de Frobenius: $G_1 = \ker(\text{Fr}: G \to G^{(1)})$, un esquema de grupo finito
• Anillo de cohomología: Cuando p > h, $H^\bullet(G_1; k) \cong k[\mathcal{N}]$ donde $\mathcal{N} \subset \mathfrak{g}$ es el cono nilpotente
• Definición de variedad de soporte:
  • $V_{G_1}(M) = \text{supp}(\text{Ext}^\bullet(M,M))$
  • $V^{G_1}(M) = \text{supp}(H^\bullet(G_1; M))$ (variedad de soporte relativa)

Conjetura de Humphreys (versión clásica, Conjetura 3.3)

Para $w \in W^\emptyset_{ext}$, sea C la órbita G correspondiente a través de la biyección de Lusztig (3.2) a la celda bilateral que contiene w, entonces: $V_{G_1}(\mathcal{T}(w \bullet 0)) = C$

Esquema de prueba

Paso 1: Geometrización Utilizando el funtor degradante, para $\lambda \in X^+$, se define: $\mathcal{S}_\lambda := \pi_* \mathcal{T}^{gr}(w_\lambda \bullet 0) \in D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})$

entonces existe un isomorfismo: $H^\bullet(G_1; \mathcal{T}(w_\lambda \bullet 0)) \cong R^\bullet\Gamma(\mathcal{N}, \mathcal{S}_\lambda)$

Paso 2: Teoría de co-t-structures (Achar-Hardesty 5,6)

• Se construye una co-t-structure en $D^b\text{Coh}_{G \times \mathbb{G}_m}(\mathcal{N})$
• Se prueba que $\mathcal{S}_\lambda$ es un objeto indescomponible en el coheart (después de desplazamiento)

Paso 3: Biyección de Lusztig-Vogan Se establece una biyección: $X^+ \xleftrightarrow{\sim} \Xi_G = \{(C, \sigma) : C \subset \mathcal{N} \text{ es una órbita}, \sigma \in \Sigma_C\}$

donde $\Sigma_C$ parametriza haces coherentes equivariantes simples sobre la órbita C.

Paso 4: Caracterización de soporte (Teorema 3.10) Si $\lambda$ corresponde a $(C, \sigma)$, entonces: $\mathcal{S}_\lambda \cong \mathcal{S}(C, \sigma)$ donde $\mathcal{S}(C, \sigma)$ se construye geométricamente, satisfaciendo:

• Soporte en C
• Restricción a C es un fibrado vectorial inclinado $\mathcal{T}(\sigma)$

Esto da directamente la conjetura de Humphreys relativa.

Configuración experimental

Este artículo es un trabajo de matemática pura teórica y no involucra "experimentos" en el sentido tradicional. Sin embargo, los autores verifican la teoría de las siguientes maneras:

Verificación de casos especiales

1. Caso GL_n: En 45 se verificó primero la fórmula de caracteres inclinados para GL_n
2. Analogía con grupos cuánticos: Muchos resultados tienen versiones correspondientes en el caso de grupos cuánticos, que han sido verificadas independientemente

Verificación computacional

• Uso de herramientas computacionales para polinomios de Kazhdan-Lusztig y bases p-canónicas
• Para grupos de rango pequeño y característica pequeña, pueden realizarse cálculos explícitos de verificación

Verificación de consistencia teórica

• Verificación de que las fórmulas son consistentes con la fórmula de caracteres de Weyl conocida (2.1)
• Verificación de la compatibilidad de los funtores de traslación (2.5)
• Verificación de consistencia con el teorema del producto tensorial de Steinberg

Resultados experimentales

Resumen de teoremas principales

1. Caracteres de módulos inclinados (Teorema 2.6)

Resultado: Para todos los subconjuntos finitarios J y p > h, el carácter del módulo inclinado está completamente determinado por los polinomios p-Kazhdan-Lusztig.

Significado:

• Primera fórmula exacta para p general
• Se degrada automáticamente a la conjetura de Andersen cuando p → ∞
• Existe una versión válida para todo p (Riche-Williamson 47)

2. Estado de la prueba de la conjetura de Humphreys

Avances clave:

• 8 (2019): Prueba cuando p es suficientemente grande
• 6 (2024): Prueba de versión relativa mediante biyección de Lusztig-Vogan (p > h)
• 5 (2024): Versión teórico-esquemática para GL_n (p > n)

Descubrimientos teóricos

Descubrimiento 1: Papel central de la base p-canónica

La combinatoria clásica de Kazhdan-Lusztig es solo una aproximación "asintótica"; lo que realmente controla la teoría de representaciones es la base p-canónica. Esto explica los contraejemplos encontrados por Williamson.

Descubrimiento 2: Necesidad de co-t-structures

En característica positiva, la cohomología relativa de módulos inclinados no corresponde a capas perversas-coherentes simples, sino a objetos indescomponibles en el coheart de una co-t-structure. Esta es una diferencia esencial con el caso de grupos cuánticos.

Descubrimiento 3: Significado geométrico de la conjetura de Finkelberg-Mirković

Esta conjetura (Conjetura 2.10) proporciona una equivalencia entre la categoría de representaciones y la categoría de Whittaker sobre la Grassmanniana afín del grupo de Langlands dual, teniendo sentido incluso cuando p < h (es decir, $C_\emptyset = \emptyset$).

Trabajo relacionado

Contexto histórico

Años 1970: Predicción de Verma

Verma 50 fue el primero en sugerir que la teoría de representaciones en característica positiva está relacionada con la combinatoria del grupo de Weyl afín, proponiendo el principio de conexión y la conjetura de independencia de caracteres.

Años 1980: Conjetura de Lusztig

Lusztig 37 propone la fórmula de caracteres de módulos simples usando polinomios de Kazhdan-Lusztig, esperando que sea válida cuando p ≥ h.

Años 1990: Trabajo de Andersen

• 15: Prueba del principio de conexión
• 16: Propone la conjetura de caracteres de módulos inclinados, probando que implica la conjetura de Lusztig

Años 2000: Analogía con grupos cuánticos

• Bezrukavnikov 22: Resuelve la conjetura de Humphreys para grupos cuánticos
• Arkhipov-Bezrukavnikov-Ginzburg: Desarrollan métodos geométricos

Años 2010: Contraejemplos y nuevas direcciones

• Williamson 53: Encuentra contraejemplos a la conjetura de Lusztig
• Juteau-Mautner-Williamson: Introducen la base p-canónica

2018-2024: Serie de trabajos de los autores de este artículo

• 12 (2018): Construcción del funtor degradante
• 11 (2019): Prueba de la fórmula de caracteres inclinados (p > h)
• 8 (2019): Prueba de la conjetura de Humphreys (p≫0)
• 47 (2022): Nueva prueba usando teoría de Smith-Treumann
• 6 (2024): Completación de la conjetura de Humphreys relativa

Comparación con trabajo relacionado

Conclusiones y discusión

Conclusiones principales

1. La base p-canónica es la herramienta combinatoria correcta: Captura exactamente la estructura combinatoria de la teoría de representaciones en característica positiva, en lugar de la base clásica de Kazhdan-Lusztig
2. Caracteres de módulos inclinados completamente resueltos: El Teorema 2.6 da la respuesta completa para caracteres de módulos inclinados (p > h o todo p)
3. Conjetura de Humphreys básicamente resuelta: La versión relativa es válida para todo p > h; la versión clásica es válida cuando p es suficientemente grande o en tipo A
4. Poder de los métodos geométricos: Mediante la descomposición de Springer, la Grassmanniana afín y la dualidad de Langlands, los problemas de teoría de representaciones se transforman en problemas geométricos

Limitaciones

1. Problema de límites de característica

• La fórmula de caracteres inclinados requiere p > h (aunque existe una versión para todo p)
• La versión clásica de la conjetura de Humphreys aún requiere p suficientemente grande (excepto en tipo A)
• El rango de validez de la fórmula de Donkin sigue siendo poco claro (¿p ≥ 2h-4?)

2. Falta de explicititud en caracteres de módulos simples

Aunque en principio pueden derivarse de módulos inclinados:

• La fórmula dada por la conjetura de Finkelberg-Mirković involucra características de Euler difíciles de calcular
• No existe una forma cerrada simple análoga a la fórmula de Weyl

3. Compatibilidad de celdas

• La relación entre p-celdas y celdas de Kazhdan-Lusztig se entiende solo cuando p es suficientemente grande
• Esto limita la prueba de la versión clásica de la conjetura de Humphreys

4. Complejidad computacional

• El cálculo de la base p-canónica es extremadamente difícil
• No existe un límite de característica N(w) uniforme para todos los elementos w

Direcciones futuras

1. Fórmula exacta para caracteres de módulos simples

Pregunta: ¿Se puede encontrar una fórmula para caracteres de módulos simples más explícita que la conjetura de Finkelberg-Mirković?

Posibles caminos:

• Entender la característica de Euler de la cohomología de intersección equivariante de Iwahori sobre la bandera afín
• Desarrollar nuevas herramientas combinatorias

2. Caso de característica pequeña

Pregunta: ¿Cuál es la estructura de la teoría de representaciones cuando p ≤ h?

Desafíos:

• La estructura de $H^\bullet(G_1; k)$ es desconocida
• No existe un "bloque regular" ($C_\emptyset = \emptyset$)
• La conjetura de Finkelberg-Mirković sugiere la existencia de un modelo geométrico

3. Comprensión completa de p-celdas

Pregunta: ¿Cuál es la relación entre p-celdas y celdas de Kazhdan-Lusztig?

Significado:

• Completar la prueba de la versión clásica de la conjetura de Humphreys
• Entender la clasificación de ideales tensoriales (Conjetura 3.5)

4. Núcleos de Frobenius de orden superior

Pregunta: ¿Se puede generalizar a $G_r = \ker(\text{Fr}^r)$?

Motivación:

• Relacionado con la clasificación de ideales tensoriales
• Puede revelar nuevas estructuras de p-celdas

5. Métodos computacionales

Pregunta: ¿Cómo calcular efectivamente la base p-canónica?

Necesidad:

• Desarrollar nuevos algoritmos
• Encontrar límites explícitos para N(w)

Evaluación profunda

Fortalezas

1. Profundidad y amplitud teórica

• Marco unificado: Incorpora problemas de caracteres y variedades de soporte en un marco unificado geométrico-representacional
• Interdisciplinariedad: Fusiona geometría algebraica, teoría de representaciones, combinatoria y teoría de categorías
• Conexiones profundas: Revela el papel de la dualidad de Langlands en la teoría de representaciones en característica positiva

2. Innovación técnica

• Funtor degradante: Uso creativo de la descomposición de Springer para conectar geometría y representaciones
• Teoría de co-t-structures: Descubrimiento de nuevas estructuras categóricas en característica positiva
• Aplicación de teoría de Smith-Treumann: Introducción de herramientas de topología algebraica en la teoría de representaciones de grupos algebraicos

3. Completitud en la resolución de problemas

• Problema de caracteres inclinados completamente resuelto (Teorema 2.6)
• Conjetura de Humphreys relativa completamente resuelta
• Establecimiento de la versión en característica positiva de la biyección de Lusztig-Vogan

4. Calidad de la escritura

• Revisión histórica clara y explicación de motivaciones
• Introducción sistemática del marco teórico
• Equilibrio apropiado entre detalles técnicos e intuición
• Revisión bibliográfica completa y atribuciones adecuadas

Deficiencias

1. Barrera técnica extremadamente alta

• Requiere profundo conocimiento de geometría algebraica, categorías derivadas y teoría de representaciones
• La construcción del funtor degradante es muy técnica
• La teoría de co-t-structures no es fácil de entender para no especialistas

2. Viabilidad computacional limitada

• El cálculo de la base p-canónica es extremadamente difícil
• Aunque existen fórmulas de caracteres, son difíciles de calcular explícitamente
• Faltan cálculos detallados de ejemplos concretos

3. Restricciones en las condiciones de resultados

• La mayoría de resultados requieren p > h
• La conjetura de Humphreys clásica aún no está completamente resuelta
• La fórmula de caracteres de módulos simples no es suficientemente explícita

4. Omisión de ciertos detalles técnicos

• Como artículo de revisión, muchos detalles de pruebas requieren consultar artículos originales
• La construcción completa del funtor degradante no se proporciona
• La construcción específica de co-t-structure solo se cita en la literatura

Impacto

Contribución al campo

1. Cambio de paradigma: Establecimiento de la base p-canónica como herramienta central
2. Innovación metodológica: Aplicación sistemática de métodos geométricos en teoría de representaciones modulares
3. Resolución de problemas de larga data: Conjetura de Andersen (caracteres inclinados) y conjetura de Humphreys (parcialmente)

Valor práctico

• Proporciona base teórica para cálculos concretos
• Guía el desarrollo de sistemas de álgebra computacional
• Aplicaciones potenciales en física matemática (como el programa de Langlands modular)

Reproducibilidad

• Verificabilidad teórica alta: Las pruebas se basan en trabajos matemáticos rigurosos publicados
• Reproducibilidad computacional media: Principialmente computable, pero prácticamente difícil
• Disponibilidad de código baja: No se proporcionan implementaciones computacionales (normal en artículos de matemática pura)

Escenarios de aplicación

1. Investigación teórica

• Teoría de representaciones modulares de grupos algebraicos reductivos
• Teoría de representaciones del álgebra de Hecke afín
• Teoría de Kazhdan-Lusztig y sus generalizaciones
• Teoría de representaciones geométrica

2. Campos relacionados

• Programa de Langlands modular: La conjetura de Finkelberg-Mirković proporciona realización geométrica
• Teoría de grupos cuánticos: Muchos resultados tienen análogos en grupos cuánticos
• Representaciones modulares de álgebras de Lie: Conexión mediante núcleos de Frobenius
• Teoría de categorificación: Acción de categoría de Hecke

3. Aplicaciones computacionales

• Cálculo de tablas de caracteres (cuando p no es muy grande)
• Determinación de números de descomposición
• Comprensión de la estructura de productos tensoriales

4. Escenarios no aplicables

• p = 0 (característica cero, completamente diferente)
• p ≤ h con necesidad de fórmulas explícitas (teoría aún incompleta)
• Grupos no reductivos o representaciones de dimensión infinita

Referencias (referencias clave)

1. 37 Lusztig (1980): "Some problems in the representation theory of finite Chevalley groups" - Propone la conjetura original
2. 53 Williamson (2017): "Schubert calculus and torsion explosion" - Encuentra contraejemplos, introduce base p-canónica
3. 11 Achar-Makisumi-Riche-Williamson (2019): "Koszul duality for Kac-Moody groups and characters of tilting modules" - Primera prueba de la fórmula de caracteres inclinados
4. 22 Bezrukavnikov (2006): "Cohomology of tilting modules over quantum groups and t-structures" - Conjetura de Humphreys para grupos cuánticos
5. 8 Achar-Hardesty-Riche (2019): "On the Humphreys conjecture on support varieties" - Conjetura de Humphreys cuando p es suficientemente grande
6. 6 Achar-Hardesty (2024): "Silting complexes of coherent sheaves and the Humphreys conjecture" - Completación de la conjetura de Humphreys relativa
7. 47 Riche-Williamson (2022): "Smith-Treumann theory and the linkage principle" - Prueba de la fórmula de caracteres inclinados usando nuevos métodos

Evaluación general: Este es un artículo de revisión excepcional que resume sistemáticamente el trabajo profundo de los autores y colaboradores durante más de una década en la teoría de representaciones en característica positiva. Mediante la introducción de la base p-canónica y el desarrollo de métodos geométricos, los autores resuelven los problemas centrales del campo, impulsando avances significativos en la teoría de representaciones. El artículo es técnicamente fuerte pero está bien organizado, teniendo alto valor tanto para expertos como para estudiosos. Estos trabajos tendrán sin duda un impacto duradero en la teoría de representaciones modulares y la teoría de representaciones geométrica.