Lusztig sheaves and integrable highest weight modules in the symmetrizable case

Resumen Técnico: Hojas de Lusztig y Módulos de Peso Máximo Integrables en el Caso Simetrizable

Planteamiento del Problema
El artículo aborda la categorificación geométrica de los módulos de peso máximo integrables $L(\lambda)$ y sus productos tensoriales $L(\lambda_1) \otimes L(\lambda_2)$ para grupos cuánticos $U$ asociados con matrices de Cartan generalizadas simetrizables. Mientras que el caso simétrico (donde la matriz de Cartan es simétrica) ha sido extensamente estudiado utilizando las hojas de Lusztig sobre variedades de quivers y las construcciones de Nakajima, el caso simetrizable presenta desafíos significativos debido a la presencia de automorfismos no triviales. El trabajo previo de Fang, Lan y Xiao [6, 10] logró realizar estos módulos para matrices simétricas utilizando localizaciones de las hojas de Lusztig en quivers enmarcados. Este artículo busca generalizar esos resultados al entorno simetrizable, donde el quiver subyacente admite un automorfismo admisible $a$.

Metodología
Los autores emplean un enfoque geométrico basado en la teoría de hojas perversas y functores periódicos, extendiendo el marco de Lusztig de [19] al contexto de quivers enmarcados con automorfismos.

1. Configuración: Dada una matriz de Cartan generalizada simetrizable $C = DB$, los autores construyen un quiver finito $Q$ equipado con un automorfismo admisible $a$. Consideran el $\tilde{Q}(N)$-quiver enmarcado y el espacio de módulos asociado $E_{V, W_\bullet, \Omega}$.
2. Localización: Definen una subcategoría espesa $N_V$ dentro de la categoría derivada constructible $G_V$-equivariante, generada por complejos soportados en subconjuntos cerrados específicos (complementos de conjuntos abiertos donde ciertas aplicaciones lineales son inyectivas). El objeto central de estudio es la categoría de cociente de Verdier $D^b_{G_V}(E_{V, W_\bullet, \Omega})/N_V$, denominada la localización.
3. Functores Periódicos: Para manejar el automorfismo $a$, los autores aplican el método de Lusztig de functores periódicos. Construyen una nueva categoría $\widehat{Q/N}$ consistente en pares $(B, \phi)$, donde $B$ es un objeto en la categoría localizada y $\phi: a^*B \to B$ es un isomorfismo que satisface una condición de periodicidad (la composición de $a^*$ aplicada $o$ veces, donde $o$ es el orden de $a$, es la identidad).
4. Acciones Functoriales: Los autores definen functores de inducción y restricción, denotados como $E_i^{(n)}$ y $F_i^{(n)}$, sobre las categorías localizadas. Estos se construyen mediante la composición de los functores geométricos estándar (que involucran Grassmannianos y variedades de banderas) con la estructura periódica. Crucialmente, demuestran que estos functores conmutan con el functor periódico $a^*$, lo que permite que desciendan a functores bien definidos en $\widehat{Q/N}$.
5. Relaciones de Conmutación: Una parte técnica significativa del artículo implica demostrar las relaciones de conmutación (específicamente las relaciones de Serre cuánticas y las relaciones entre $E$ y $F$). Las demostraciones difieren sustancialmente del caso simétrico, requiriendo un análisis cuidadoso de los objetos sin traza y el comportamiento del automorfismo en la estratificación de los espacios de módulos.

Contribuciones Clave y Resultados

• Categorificación de $L(\lambda)$ y Productos Tensoriales: Se muestra que el grupo de Grothendieck de la categoría $\widehat{Q/N}$ (para $N=1$) es isomorfo canónicamente al módulo de peso máximo integrable $L(\lambda)$ del grupo cuántico $U$. Para el caso de 2 marcos ($N=2$), el grupo de Grothendieck es isomorfo al producto tensorial $L(\lambda_1) \otimes L(\lambda_2)$.
• Bases Canónicas con Signo: Al realizar el cociente de los "objetos sin traza" (objetos que son sumas directas de órbitas bajo $a^*$ con estructuras de permutación específicas), las hojas perversas simples en la categoría producen una base con signo para $L(\lambda)$ y $L(\lambda_1) \otimes L(\lambda_2)$. Se demuestra que esta base es casi ortogonal con respecto a un emparejamiento geomético contravariante.
• Relación de Yang–Baxter: Los autores proporcionan una nueva prueba de la relación de Yang–Baxter para los operadores $R_{ij}$ que surgen de la composición de los functores de restricción e inducción, utilizando la cocoasociatividad del functor de restricción en el entorno geomético.
• Estructuras de Cristal: El artículo establece una estructura de cristal simetrizable en:
  • El conjunto de componentes irreducibles de las variedades de quiver de Nakajima fijas por $a$.
  • El conjunto de componentes irreducibles de las variedades de producto tensorial de Nakajima fijas por $a$.
  • El conjunto de componentes irreducibles de las variedades nilpotentes de Lusztig para álgebras preproyectivas fijas por $a$.
    Estas estructuras de cristal se prueban como isomorfas a las bases de cristal $B(\lambda)$ y $B(\lambda_1) \otimes B(\lambda_2)$ asociadas con el grupo cuántico.

Significancia
El artículo afirma completar el programa iniciado por Fang, Lan y Xiao [6, 10] al proporcionar una construcción geométrica de los módulos de peso máximo y sus productos tensoriales específicamente para el caso simetrizable. Une la brecha entre el enfoque de hojas de Lusztig para matrices simétricas y el entorno más complejo de las matrices simetrizables. El trabajo demuestra que la maquinaria de los functores periódicos y las localizaciones de las hojas de Lusztig es lo suficientemente robusta como para manejar el caso simetrizable, recuperando estructuras de cristal conocidas y proporcionando una realización geométrica de las bases canónicas con signo para los productos tensoriales en este contexto más amplio. Los resultados unifican la comprensión geométrica de las representaciones de grupos cuánticos a través de ambos tipos, simétricos y simetrizables.