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

技术摘要：相对论性 Toda 格点与仿射 Grassmann 流形的等变 K-同调

问题陈述
本文研究了在 $T$-等变量子 $K$-理论（针对旗流形 $G/B$，其中 $G=SL_n(\mathbb{C})$）的背景下，关于“量子等于仿射”现象与其 $T$-等变仿射 Grassmann 流形 $Gr_{SL_n}$ 的 $K$-同调之间的关系。虽然非等变版本的这一对应关系此前已通过相对论性 Toda 格点得到了探索，但等变情形仍需要更严谨的代数实现。本文解决的核心挑战是显式构造 $K$-Peterson 同构——即一个连接局部化量子 $K$-环 $QK_T(SL_n(\mathbb{C})/B)$ 与等变 $K$-同调环 $K_T^*(Gr_{SL_n})$ 的映射——并具体建立它们各自 Schubert 基底之间的对应关系。

方法论
作者采用了由 Ruijsenaars 引入的相对论性 Toda 格点（relativistic Toda lattice）这一可积系统方法。研究方法通过以下步骤进行：

1. 几何设置： 作者定义了相对论性 Toda 格点的相空间 $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. 双有理映射构造： 通过求解相对论性 Toda 格点方程，作者在开稠密子集 $Y^\circ$ 和 $Z^\circ$ 之间构造了一个双有理映射 $\Phi_n$。该映射通过一个有理代换定义，将 Toda 格点的动力学变量 $(z_i, Q_i)$ 映射为涉及中心化子族相关 $\tau$-函数 ($\tau_i$) 和 $\sigma$-函数 ($\sigma_i$) 的特定有理表达式。
3. 代数实现： 本文利用了通过量子双 Grothendieck 多项式 ($G_w^Q$) 来呈现量子 $K$-环，以及通过 $K$-理论双 $k$-Schur 函数 ($\tilde{g}_x^{(k)}$) 来实现仿射 $K$-同调的最新进展。
4. 交换图表： 作者证明了映射 $\Phi_n$ 在经过特定代数自同构 $\sigma$ 扭曲后（记作 $\tilde{\Phi}_n = \sigma \circ \Phi_n$），能够与 Kato 的抽象 $K$-Peterson 映射构成一个交换图表。

主要贡献与结果

• $K$-Peterson 映射的显式代数实现： 主要结果（定理 1.1）提供了 $K$-Peterson 同构的一个显式公式。该映射将量子 Schubert 类 $Q^\xi G_w^Q(z|\eta)$ 映射到仿射 Schubert 类 $\tilde{g}_{x\omega_k}^{(k)}(y|b)$，其中 $x = w t_\xi$，且 $\omega_k$ 是仿射 Weyl 群上的特定对合。这建立了两者之间具体的组合对应关系。
• Demazure 算子的交织： 作者证明了所构造的映射将量子侧的量子 Demazure 算子 ($D_i^Q$) 的作用与仿射侧的仿射 Demazure 算子 ($D_i$) 的作用（在经过对合 $\omega_k$ 作用下）进行交织。这一性质对于将对应关系从最长元素扩展到所有 Schubert 类至关重要。
• 行列式公式： 对于 $k$-小划分（满足 $\lambda_1 + \ell(\lambda) \leq n$ 的划分 $\lambda$），本文推导了 $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 同构提供了一个具体的代数公式。通过将抽象的几何对应关系植根于相对论性 Toda 格点理论，作者为该同构的组合结构提供了新的见解。具体而言，这项工作架起了量子双 Grothendieck 多项式与 $K$-理论双 $k$-Schur 函数之间的桥梁，使得在量子几何与仿射几何之间进行结果转换成为可能。对于极大 $k$-不可约划分的因子分解公式的推导，是对该理论一致性和实用性的非平凡验证。其结果依赖于并扩展了 Kato, Maeno, Naito, Sagaki, Ikeda, Shimozono, 以及 Yamaguchi 的先前工作，巩固了可积系统与等变量子 $K$-理论之间的联系。