[论文解读] From double quantum Schubert polynomials to k-double Schur functions via the Toda lattice

Thomas Lam, Mark Shimozono|arXiv (Cornell University)|Sep 10, 2011

Advanced Combinatorial Mathematics参考文献 22被引用 18

一句话总结

本文建立了一种精确的有理替换，将量子双重 Schubert 多项式——即 $QH^T(SL_n/B)$ 的等变量子上同调环的基元素——转化为 $k$-双重 Schur 函数，后者实现了仿射 Grassmannian $\mathrm{Gr}_{SL_n}$ 的等变同调 Schubert 基。关键创新在于以等变 Schubert 类表示 Kostant 的 Toda 晶格解的显式计算，通过 Peterson 同构与对称函数理论，将量子与仿射 Schubert 计算联系起来。

ABSTRACT

We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.

研究动机与目标

• 建立量子双重 Schubert 多项式与 $k$-双重 Schur 函数之间精确的代数对应关系。
• 阐明旗流形的等变量子上同调与仿射 Grassmannian 的等变同调之间的关系。
• 通过 Kostant 的 Toda 晶格解，提供将量子 Schubert 多项式中的变量变换为对称函数的显式有理替换。
• 利用扩展仿射 nilHecke 代数中的显式行列式公式，将 Peterson 同构推广至等变设置。
• 证明在扩展设置中，Schubert 结构常数表现出新的正性性质，尽管在量子上同调中缺乏几何正性。

提出的方法

• 利用 Kostant 的 Toda 晶格解，将量子上同调环的生成元表示为一个中心化族 $Z$ 的子式的比值。
• 通过修正版本的 Peterson 同构，将这些子式映射到 $H_T(\mathrm{Gr}_{PGL_n})$ 中的仿射 Schubert 类。
• 应用 Chaput-Manivel-Perrin 的扩展仿射 nilHecke 代数，以建模 $\mathrm{Gr}_{G_{\mathrm{ad}}}$ 的等变同调，其中 $G_{\mathrm{ad}}$ 为伴随群。
• 利用 Molev 的 Jacobi-Trudi 公式对对偶 Schur 函数，将子式解释为对称函数。
• 通过映射 $\Psi$ 构造量子参数 $q_i$ 与对称函数变量之间的显式有理替换。
• 通过维数计数与 $z_{ij}$-矩阵上的余代数结构，验证同构的满射性与单射性。

实验结果

研究问题

• RQ1 量子双重 Schubert 多项式与 $k$-双重 Schur 函数通过有理替换有何关系？
• RQ2 Kostant 的 Toda 晶格解能否以等变 Schubert 类显式计算？
• RQ3 如何精确地代数化 $SL_n/B$ 的等变量子上同调与 $\mathrm{Gr}_{SL_n}$ 的等变同调之间的变换？
• RQ4 在扩展仿射设置中，Schubert 结构常数是否表现出量子上同调环中不可见的新正性性质？
• RQ5 从 Toda 晶格到 Schubert 类的对称函数实现的映射 $\Psi$ 如何关联？

主要发现

• 量子双重 Schubert 多项式与 $k$-双重 Schur 函数通过变量的显式有理替换相关联，其中 $q_i$ 映射为 $D_{i-1}D_{i+1}D_i^{-2}$，$x_i$ 映射为 $D_i'/D_i$。
• Kostant 的 Toda 晶格解被实现为中央化族 $Z$ 的子式之比，这些子式映射到 $H_T(\mathrm{Gr}_{PGL_n})$ 中的仿射 Schubert 类。
• 从 Toda 晶格坐标环到仿射 Schubert 基的映射 $\tilde{\phi}$ 是一个同构，满足 $\tilde{\phi}(D_i) = j_{t_{-\omega_i^\vee}}$ 且 $\tilde{\phi}(D_i') = j_{s_i t_{-\omega_i^\vee}}$。
• 映射 $\Psi$、$\tilde{\theta}$、$\theta^{-1}$ 与 $\kappa$ 的复合，给出了量子 Schubert 多项式与 $k$-双重 Schur 函数之间所需的有理变换。
• 在 $H_T(\mathrm{Gr}_{SL_n})$ 中，Schubert 基元素 $\xi_{wt_\lambda}$ 可通过因子分解 $\xi_{wt_\mu} = \xi_w \xi_{t_\mu}$（其中 $\mu$ 为反典型）表示为 $\xi_w$ 与 $\xi_{t_\mu}$ 的乘积。
• 扩展仿射设置揭示了 Schubert 结构常数的新正性性质，尽管在量子上同调环中缺乏几何正性。