Auslander-Reiten combinatorics and $q$-characters of representations of affine quantum groups

Resumen Técnico: Combinatoria de Auslander–Reiten y Caracteres-$q$ de Representaciones de Grupos Cuánticos Afines

Planteamiento del Problema
Este artículo investiga la relación entre la teoría de representaciones de álgebras cuánticas afines y la correspondencia de Satake geométrica, centrándose específicamente en la homología equivariante de los ciclos de Mirković–Vilonen (MV). Los autores se basan en el marco establecido por Hernandez y Leclerc, quienes introdujeron las categorías monoidales $\mathcal{C}_\mathbb{Z}$ de representaciones de dimensión finita del álgebra cuántica afín $U_q(\widehat{\mathfrak{g}})$ para álgebras de Lie de tipo simplemente conexo $\mathfrak{g}$. Estas categorías proporcionan una categorificación monoidal de los álgebras de clúster, donde los anillos de Grothendieck son isomórficos a los anillos de coordenadas de grupos unipotentes, $\mathbb{C}[N]$.

Un objeto central en este contexto es el morfismo $D: \mathbb{C}[N] \to \mathbb{C}(\mathfrak{t}^*)$ introducido por Baumann, Kamnitzer y Knutson (BKK), que evalúa elementos de la base MV en puntos fijos para obtener multiplicidades equivariantes. En un trabajo previo [CL23], los autores construyeron un morfismo $\widetilde{D}_\xi$ definido sobre un subtorus $Y_{\leq \xi}^\mathbb{Z}$ (asociado con una función de altura $\xi$) y demostraron que su composición con el morfismo de carácter-$q$ truncado $\widetilde{\chi}_q$ coincide con el morfismo BKK $D$ en la subcategoría $\mathcal{C}_Q$.

El problema abierto abordado en este artículo es extender el dominio de $\widetilde{D}_\xi$ al toro completo $Y^\mathbb{Z}$ e investigar su composición con el morfismo de carácter-$q$ original (no truncado) de Frenkel–Reshetikhin, $\chi_q$. Específicamente, los autores pretenden determinar el comportamiento de $\widetilde{D}_\xi \circ \chi_q$ en el anillo de Grothendieck de la categoría más amplia $\mathcal{C}_\mathbb{Z}$, que contiene representaciones no capturadas por la truncación.

Metodología
Los autores emplean una combinación de combinatoria de Auslander–Reiten, teoría de álgebras de clúster y la teoría de representaciones de álgebras cuánticas afines.

1. Extensión del Morfismo: Utilizando un argumento de periodicidad que involucra el número de Coxeter $h$ del grupo de Weyl, los autores extienden el morfismo $\widetilde{D}_\xi$ desde el subtorus $Y_{\leq \xi}^\mathbb{Z}$ hacia todo el toro $Y^\mathbb{Z}$. Esto permite la evaluación de $\widetilde{D}_\xi$ sobre los caracteres-$q$ de todos los módulos en $\mathcal{C}_\mathbb{Z}$.
2. Orientaciones Duales y Módulos de Kirillov–Reshetikhin (KR): El núcleo de la prueba reside en establecer una dualidad entre los módulos KR $X^{(k)}_{i,p}$ en la categoría $\mathcal{C}_\mathbb{Z}$ y sus contrapartes en una "categoría dual" asociada con una orientación dual $Q^*$. La orientación dual se define mediante una función de altura $\xi^*(i) = -\xi(i^*)$, donde $i \mapsto i^*$ es la involución del diagrama de Dynkin inducida por el elemento más largo $w_0$ del grupo de Weyl.
3. Teorema de Dualidad: Los autores demuestran una relación de dualidad (Teorema 4.1) estableciendo que el valor de $\widetilde{D}_\xi$ en un módulo KR $X^{(k)}_{i,p}$ está relacionado (salvo un signo y un automorfismo $\psi$) con el valor del morfismo dual en un "módulo KR dual" $X^{(h-k)}_{i^*, -p-2h+4}$. Esta prueba utiliza:
   • Las relaciones de malla (mesh relations) en la categoría derivada de las representaciones del cuervo (quiver).
   • Los sistemas-T satisfechos por los caracteres-$q$ de los módulos KR.
   • Cálculos explícitos que involucran los coeficientes de la matriz de Cartan cuántica inversa.
4. Argumento Inductivo vía Sistemas-T: Aprovechando el hecho de que los módulos estándar son productos tensoriales de módulos fundamentales y que los módulos KR generan la estructura de clúster, los autores utilizan los sistemas-T para propagar la propiedad de nulidad desde la semilla inicial hacia todos los módulos estándar.
5. Análisis de Casos: La prueba aborda los tipos clásicos ($A_n, D_n$) utilizando el teorema de dualidad y fórmulas de modelos de caminos (Mukhin–Young) para el tipo $A_n$. Para los tipos excepcionales ($E_6, E_7, E_8$), los autores verifican el resultado computacionalmente usando SageMath mediante la aplicación de secuencias de mutación a la semilla inicial.

Contribuciones Clave y Resultados
El resultado principal del artículo es el Teorema 1.1, que establece:

Sea $Q$ un cuervo de Dynkin arbitrario y $\xi$ una función de altura adaptada a $Q$. Sea $M$ un módulo estándar no trivial en $\mathcal{C}_\mathbb{Z}$. Entonces,
$$\widetilde{D}_\xi(\chi_q(M)) = 0.$$

Consecuentemente, la imagen bajo $\widetilde{D}_\xi$ del carácter-$q$ de cualquier módulo en $\mathcal{C}_\mathbb{Z}$ es una constante. Para los módulos simples no triviales en la subcategoría $\mathcal{C}_Q$, esta constante es cero.

Las contribuciones técnicas específicas incluyen:

• Extensión de $\widetilde{D}_\xi$: La extensión rigurosa del morfismo al toro completo $Y^\mathbb{Z}$ mediante periodicidad (Corolario 3.5).
• Dualidad de Módulos KR: El establecimiento de la fórmula de dualidad (Ecuación 1.1) que relaciona los valores del morfismo en módulos KR de diferentes alturas y orientaciones duales. Esta dualidad se presenta como un resultado de interés independiente.
• Compatibilidad de las Relaciones de Malla y los Sistemas-T: La prueba demuestra una profunda compatibilidad entre las relaciones de malla en el cuervo de Auslander–Reiten y los sistemas-T que gobiernan los caracteres-$q$, lo cual es crucial para el paso inductivo.
• Verificación Explícita: El artículo proporciona ejemplos explícitos en los tipos $A_3$ y $D_4$ donde la nulidad de $\widetilde{D}_\xi(\chi_q(M))$ se comprueba directamente, ilustrando la no trivialidad de las identidades racionales involucradas.

Significado y Pretensiones
Los autores afirman que este resultado proporciona una "gran familia de nuevas identidades racionales no triviales". La nulidad de $\widetilde{D}_\xi$ sobre los módulos estándar sugiere una propiedad estructural profunda que vincula la teoría de representaciones combinatoria de las álgebras cuánticas afines con la geometría de la Grassmanniana afín.

El artículo postula que, dado que $\widetilde{D}_\xi$ está íntimamente relacionado con el morfismo BKK $D$ (que computa las multiplicidades equivariantes de los ciclos MV), la afirmación del Teorema 1.1 probablemente admite una interpretación geométrica significativa. Específicamente, implica que la multiplicidad equivariante en un punto fijo para los objetos geométicos correspondientes a los módulos estándar en $\mathcal{C}_\mathbb{Z}$ es cero, o que estos módulos corresponden a ciclos geométicos con propiedades equivariantes específicas que son anulados por el morfismo $D$.

El trabajo extiende el alcance del morfismo BKK desde el entorno truncado (asociado con subcategorías de clúster específicas) hacia la categoría completa de representaciones de dimensión finita, unificando así el estudio de las estructuras de clúster, las bases canónicas duales y la correspondencia de Satake geométrica en un contexto más amplio. Los autores no pretenden haber realizado plenamente la interpretación geométrica, sino que la identifican como una dirección natural y prometedora para futuras investigaciones motivadas por estos resultados algebraicos.