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

Résumé Technique : Réseau de Toda Relativiste et K-Homologie Équivariante du Grassmannien Affine

Énoncé du Problème
Cet article étudie le phénomène « le quantique égale l'affine » dans le contexte de la $K$-théorie quantique $T$-équivariante de la variété de drapeaux $G/B$ (spécifiquement pour $G=SL_n(\mathbb{C})$) et sa relation avec la $K$-homologie $T$-équivariante du Grassmannien affine $Gr_{SL_n}$. Alors que la version non équivariante de cette correspondance a été explorée précédemment à l'aide du réseau de Toda relativiste, le cas équivariant nécessitait une réalisation algébrique plus rigoureuse. Le défi central abordé est la construction explicite de l'isomorphisme de $K$-Peterson — une application reliant l'anneau $K$-quantique localisé $QK_T(SL_n(\mathbb{C})/B)$ et l'anneau de $K$-homologie équivariante $K_T^*(Gr_{SL_n})$ — établissant spécifiquement une correspondance entre leurs bases de Schubert respectives.

Méthodologie
Les auteurs emploient une approche par les systèmes intégrables, utilisant le réseau de Toda relativiste introduit par Ruijsenaars. La méthodologie procède par les étapes suivantes :

1. Configuration Géométrique : Les auteurs définissent l'espace de phase $Y$ du réseau de Toda relativiste et une famille de centralisateurs $Z$ associée à $PGL_n(\mathbb{C})$. Ils établissent que les anneaux de coordonnées de ces variétés correspondent respectivement aux versions polynomiales de l'anneau $K$-quantique et de l'anneau de $K$-homologie équivariante :
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. Construction de l'Application Birationnelle : En résolvant les équations du réseau de Toda relativiste, les auteurs construisent une application birationnelle $\Phi_n$ entre les sous-ensembles ouverts denses $Y^\circ$ et $Z^\circ$. Cette application est définie via une substitution rationnelle envoyant les variables dynamiques $(z_i, Q_i)$ du réseau de Toda vers des expressions rationnelles impliquant des fonctions $\tau$ ($\tau_i$) et des fonctions $\sigma$ ($\sigma_i$) dérivées de la famille de centralisateurs.
3. Réalisation Algébrique : L'article utilise des développements récents dans la présentation de l'anneau $K$-quantique via les polynômes de Grothendieck doubles quantiques ($G_w^Q$) et la réalisation de la $K$-homologie affine via les fonctions de $k$-Schur doubles $K$-théoriques ($\tilde{g}_x^{(k)}$).
4. Diagramme Commutatif : Les auteurs démontrent que l'application $\Phi_n$, lorsqu'elle est tordue par un automorphisme d'algèbre spécifique $\sigma$ (noté $\tilde{\Phi}_n = \sigma \circ \Phi_n$), s'inscrit dans un diagramme commutatif avec l'application abstraite de $K$-Peterson de Kato.

Contributions Clés et Résultats

• Réalisation Algébrique Explicite de l'Application de $K$-Peterson : Le résultat principal (Théorème 1.1) fournit une formule explicite pour l'isomorphisme de $K$-Peterson. L'application $\tilde{\Phi}_n$ envoie la classe de Schubert quantique $Q^\xi G_w^Q(z|\eta)$ vers la classe de Schubert affine $\tilde{g}_{x\omega_k}^{(k)}(y|b)$, où $x = w t_\xi$ et $\omega_k$ est une involution spécifique sur le groupe de Weyl affine. Cela établit une correspondance combinatoire concrète entre ces deux bases.
• Entrelacement des Opérateurs de Demazure : Les auteurs prouvent que l'application construite entrelace les actions des opérateurs de Demazure quantiques ($D_i^Q$) sur le côté quantique avec les opérateurs de Demazure affines ($D_i$) sur le côté affine (à l'involution $\omega_k$ près). Cette propriété est cruciale pour étendre la correspondance de l'élément le plus long à toutes les classes de Schubert.
• Formules Déterminantales : Pour les partitions $k$-petites (partitions $\lambda$ satisfaisant $\lambda_1 + \ell(\lambda) \leq n$), l'article dérive des formules déterminantales explicites pour les fonctions de $k$-Schur doubles $K$-théoriques $\tilde{g}_\lambda^{(k)}(y|b)$ et leurs homologues non fermées $g_\lambda^{(k)}(y|b)$. Ces formules expriment les fonctions comme des déterminants de matrices impliquant les fonctions de coordonnées de la famille de centralisateurs.
• Formule de Factorisation : Comme application directe du théorème principal, les auteurs dérivent une formule de factorisation pour la fonction de $k$-Schur double $K$-théorique associée à la partition $k$-irréductible maximale $k$-bornée $\nu_n$ (Théorème 1.2). Cette formule exprime $\tilde{g}_{\nu_n}^{(k)}$ comme un produit de fonctions plus simples et de termes liés aux fonctions $\tau$, confirmant une conjecture établie dans le cadre non équivariant.

Signification
L'article affirme sa signification en fournissant une formulation algébrique concrète de l'isomorphisme de $K$-Peterson dans le cadre équivariant. En ancrant la correspondance géométrique abstraite dans la théorie du réseau de Toda relativiste, les auteurs offrent de nouvelles perspectives sur la structure combinatoire de l'isomorphisme. Plus précisément, ce travail comble le fossé entre les polynômes de Grothendieck doubles quantiques et les fonctions de $k$-Schur doubles $K$-théoriques, permettant la traduction de résultats entre les géométries quantiques et affines. La dérivation de la formule de factorisation pour la partition $k$-irréductible maximale sert de vérification non triviale de la cohérence et de l'utilité de la théorie. Les résultats s'appuient sur et étendent les travaux antérieurs de Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono et Yamaguchi, consolidant ainsi le lien entre les systèmes intégrables et la $K$-théorie quantique équivariante.