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

技術要約：相対論的戸田格子とアフィン・グラスマン多様体の共変Kホモロジー

問題設定
本論文は、$G/B$（特に $G=SL_n(\mathbb{C})$）の $T$-共変量子 $K$ 理論における「量子＝アフィン」現象と、アフィン・グラスマン多様体 $Gr_{SL_n}$ の $T$-共変 $K$ ホモロジーとの関係を調査している。非共変版におけるこの対応関係は、相対論的戸田格子を用いて以前に探索されていたが、共変版においてはより厳密な代数的実現が必要であった。中心的な課題は、$K$-Peterson同型写像（局所化された量子 $K$ 環 $QK_T(SL_n(\mathbb{C})/B)$ と共変 $K$ ホモロジー環 $K_T^*(Gr_{SL_n})$ を結ぶ写像）の明示的な構成、特にそれぞれのシューベルト基底間の対応関係の確立である。

手法
著者らは、Ruijsenaarsによって導入された相対論的戸田格子を利用した可積分系の手法を用いている。その手法は以下のステップで進行する：

1. 幾何学的セットアップ： 著者らは、相対論的戸田格子の位相空間 $Y$ と、$PGL_n(\mathbb{C})$ に関連する中心化群族 $Z$ を定義する。これらの方程式の座標環が、それぞれ多項式版の量子 $K$ 環および共変 $K$ ホモロジー環に対応することを確立する：
   $$\mathcal{O}(Y) \cong QK_T^{pol}(SL_n(\mathbb{C})/B), \quad \mathcal{O}(Z) \cong K_T^*(Gr_{SL_n}).$$
2. 双有理写像の構成： 相対論的戸田格子の方程式を解くことにより、著者らは開稠密部分集合 $Y^\circ$ と $Z^\circ$ の間の双有理写像 $\Phi_n$ を構成する。この写像は、戸田格子の動力学変数 $(z_i, Q_i)$ を、中心化群族に由来する $\tau$ 関数 ($\tau_i$) および $\sigma$ 関数 ($\sigma_i$) を含む有理式へと送る有理置換を通じて定義される。
3. 代数的実現： 本論文は、量子ダブル・グレブデンコ多項式 ($G_w^Q$) による量子 $K$ 環の表示、および $K$ 理論的ダブル $k$-Schur 関数 ($\tilde{g}_x^{(k)}$) によるアフィン $K$ ホモロジーの実現に関する最新の発展を利用している。
4. 可換図式： 著者らは、特定の代数自己同型 $\sigma$ によって捻られた写像 $\tilde{\Phi}_n = \sigma \circ \Phi_n$ が、Katoによる抽象的な $K$-Peterson 写像と可換図式を形成することを証明する。

主な貢献および結果

• $K$-Peterson 同型写像の明示的な代数的実現： 主要な結果（定理 1.1）は、$K$-Peterson 同型写像の明示的な公式を提供している。写像 $\tilde{\Phi}_n$ は、量子シューベルト類 $Q^\xi G_w^Q(z|\eta)$ を、アフィン・シューベルト類 $\tilde{g}_{x\omega_k}^{(k)}(y|b)$ （ここで $x = w t_\xi$ であり、$\omega_k$ はアフィン・ワイル群上の特定の対合）へと送る。これにより、両者の基底間の具体的な組合せ論的対応が確立される。
• デマズレ作用素のインターツワイン： 著者らは、構成された写像が、量子側における量子デマズレ作用素 ($D_i^Q$) の作用を、アフィン側におけるアフィン・デマズレ作用素 ($D_i$) の作用（対合 $\omega_k$ まで）とインターツワイン（交差）させることを証明する。この性質は、対応関係を最長元からすべてのシューベルト類へと拡張するために極めて重要である。
• 行列式公式： $k$-small 分割（$\lambda_1 + \ell(\lambda) \leq n$ を満たす分割）に対して、本論文は $K$ 理論的ダブル $k$-Schur 関数 $\tilde{g}_\lambda^{(k)}(y|b)$ およびその非閉じた対応物 $g_\lambda^{(k)}(y|b)$ のための明示的な行列式公式を導出している。これらの公式は、中心化群族の座標関数を含む行列の行列式としてこれらの関数を表現する。
• 因子化公式： 主定理の直接的な応用として、著者らは一意な極大 $k$-既約 $k$-有界分割 $\nu_n$ に関連する $K$ 理論的ダブル $k$-Schur 関数の因子化公式を導出している（定理 1.2）。この公式は、$\tilde{g}_{\nu_n}^{(k)}$ をより単純な関数と $\tau$ 関数に関連する項の積として表現しており、非共変設定における予想を裏付けている。

意義
本論文は、共変設定における $K$-Peterson 同型写像の具体的な代数的定式化を提供することに意義がある。相対論的戸田格子の理論にこの抽象的な幾何学的対応を根付かせることで、著者らは同型写像の組合せ論的構造に対する新たな洞察を提供している。具体的には、本研究は量子ダブル・グレブデンコ多項式と $K$ 理論的ダブル $k$-Schur 関数の間の架け橋となり、量子幾何とアフィン幾何の間での結果の翻訳を可能にしている。極大 $k$-既約分割に関する因子化公式の導出は、理論の一貫性と有用性を検証する非自明な検証として機能している。これらの結果は、Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono, および Yamaguchi による先行研究に基づき、それを拡張したものであり、可積分系と共変量子 $K$ 理論の結びつきを強固なものにしている。