Relativistic Toda Lattice and Equivariant $K$-Homology of Affine Grassmannian

Resumen Técnico: Red Relativista de Toda y K-homología Equivariante del Grassmanniano Afín

Planteamiento del Problema
Este artículo investiga el fenómeno "lo cuántico es afín" dentro del contexto de la teoría $K$ cuántica $T$-equivariante de la variedad de banderas $G/B$ (específicamente para $G=SL_n(\mathbb{C})$) y su relación con la $K$-homología $T$-equivariante del Grassmanniano afín $Gr_{SL_n}$. Mientras que la versión no equivariante de esta correspondencia fue explorada previamente utilizando la red de Toda relativista, el caso equivariante requería una realización algebraica más rigurosa. El desafío central abordado es la construcción explícita del isomorfismo $K$-Peterson —un mapa que conecta el anillo $K$ cuántico localizado $QK_T(SL_n(\mathbb{C})/B)$ y el anillo de $K$-homología $T$-equivariante $K_T^*(Gr_{SL_n})$— estableciendo específicamente una correspondencia entre sus respectivas bases de Schubert.

Metodología
Los autores emplean un enfoque de sistemas integrables, utilizando la red de Toda relativista introducida por Ruijsenaars. La metodología procede a través de los siguientes pasos:

1. Configuración Geométrica: Los autores definen el espacio de fase $Y$ de la red de Toda relativista y una familia de centralizadores $Z$ asociada con $PGL_n(\mathbb{C})$. Establecen que los anillos de coordenadas de estas variedades corresponden a las versiones polinomiales del anillo $K$ cuántico y del anillo de $K$-homología equivariante, respectivamente:
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. Construcción del Mapa Biracional: Al resolver las ecuaciones de la red de Toda relativista, los autores construyen un mapa biracional $\Phi_n$ entre los subconjuntos densos abiertos $Y^\circ$ y $Z^\circ$. Este mapa se define mediante una sustitución racional que envía las variables dinámicas $(z_i, Q_i)$ de la red de Toda a expresiones racionales que involucran funciones $\tau$ ($\tau_i$) y funciones $\sigma$ ($\sigma_i$) derivadas de la familia de centralizadores.
3. Realización Algebraica: El artículo utiliza desarrollos recientes en la presentación del anillo $K$ cuántico mediante polinomios de Grothendieck dobles cuánticos ($G_w^Q$) y la realización de la $K$-homología afín mediante funciones de Schur-$k$ dobles $K$-teóricas ($\tilde{g}_x^{(k)}$).
4. Diagrama Conmutativo: Los autores demuestran que el mapa $\Phi_n$, al ser retorcido por un automorfismo de álgebra específico $\sigma$ (denotado como $\tilde{\Phi}_n = \sigma \circ \Phi_n$), encaja en un diagrama conmutativo con el mapa $K$-Peterson abstracto de Kato.

Contribuciones Clave y Resultados

• Realización Algebraica Explícita del Mapa $K$-Peterson: El resultado principal (Teorema 1.1) proporciona una fórmula explícita para el isomorfismo $K$-Peterson. El mapa $\tilde{\Phi}_n$ envía la clase de Schubert cuántica $Q^\xi G_w^Q(z|\eta)$ a la clase de Schubert afín $\tilde{g}_{x\omega_k}^{(k)}(y|b)$, donde $x = w t_\xi$ y $\omega_k$ es una involución específica en el grupo de Weyl afín. Esto establece una correspondencia combinatoria concreta entre estas dos bases.
• Entrelazamiento de Operadores de Demazure: Los autores prueban que el mapa construido entrelaza las acciones de los operadores de Demazure cuánticos ($D_i^Q$) en el lado cuántico con los operadores de Demazure afines ($D_i$) en el lado afín (hasta la involución $\omega_k$). Esta propiedad es crucial para extender la correspondencia desde el elemento más largo hacia todas las clases de Schubert.
• Fórmulas Determinantales: Para particiones $k$-pequeñas (particiones $\lambda$ que satisfacen $\lambda_1 + \ell(\lambda) \leq n$), el artículo deriva fórmulas determinantales explícitas para las funciones de Schur-$k$ dobles $K$-teóricas $\tilde{g}_\lambda^{(k)}(y|b)$ y sus contrapartes no cerradas $g_\lambda^{(k)}(y|b)$. Estas fórmulas expresan las funciones como determinantes de matrices que involucran las funciones de coordenadas de la familia de centralizadores.
• Fórmula de Factorización: Como aplicación directa del teorema principal, los autores derivan una fórmula de factorización para la función de Schur-$k$ doble $K-teórica asociada con la única partición $k$-irreducible máxima $k$-limitada $\nu_n$ (Teorema 1.2). Esta fórmula expresa $\tilde{g}_{\nu_n}^{(k)}$ como un producto de funciones más simples y términos relacionados con la función $\tau$, confirmando una conjetura del entorno no equivariante.

Significancia
El artículo afirma su importancia al proporcionar una formulación algebraica concreta del isomorfismo $K$-Peterson en el entorno equivariante. Al fundamentar la correspondencia geométrica abstracta en la teoría de la red de Toda relativista, los autores ofrecen nuevas perspectivas sobre la estructura combinatoria del isomorfismo. Específicamente, el trabajo cierra la brecha entre los polinomios de Grothendieck dobles cuánticos y las funciones de Schur-$k$ dobles $K$-teóricas, permitiendo la traducción de resultados entre las geometrías cuánticas y afines. La derivación de la fórmula de factorización para la partición $k$-irreducible máxima sirve como una verificación no trivial de la consistencia y utilidad de la teoría. Los resultados se basan en y extienden el trabajo previo de Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono y Yamaguchi, consolidando la conexión entre los sistemas integrables y la teoría $K$ cuántica equivariante.