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

Thomas Lam, Mark Shimozono|arXiv (Cornell University)|Oct 19, 2010

Advanced Combinatorial Mathematics参考文献 13被引用 3

一句话总结

本文通过源自科斯塔nt对Toda格点的解与彼得森同构的有理代换，建立了量子Schubert多项式与$k$-Schur函数之间的直接代数对应关系。关键结果表明，量子Schubert多项式通过涉及矩形分拆相关对称函数之比的代换映射至$k$-Schur函数，其中分母对应于置换的下降集。

ABSTRACT

We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.

研究动机与目标

• 建立量子Schubert多项式与$k$-Schur函数之间精确的代数对应关系。
• 证明这种两种多项式基之间的转换自然地源于Toda格点的解。
• 提供一个显式的有理代换映射$\Phi$，将量子Schubert多项式转化为$k$-Schur函数。
• 通过Toda格点结构，统一旗流形的量子上同调与仿射Grassmannian的同调。
• 通过量子Schubert多项式与对称函数之比，提供$k$-Schur函数的组合实现。

提出的方法

• 利用科斯塔nt对幂零Toda格点的解，将Toda格点的坐标环与旗流形的量子上同调联系起来。
• 应用彼得森关于仿射Grassmannian同调与$PGL(n)$中主幂零元中心化子之间的同构。
• 通过$\frac{s_{R'_i}}{s_{R_i}}$（对应$x_1+\cdots+x_i$）和$\frac{s_{R_{i-1}}s_{R_{i+1}}}{s_{R_i}^2}$（对应$q_i$）的比值，定义从量子Schubert多项式到$\Lambda_{(n)}[s_{R_i}^{-1}]$中对称函数的代换映射$\Phi$。
• 利用Fomin-Gelfand-Postnikov的量子Schubert多项式作为$QH^*(\mathrm{Fl}_n)$中量子Schubert类的代表。
• 利用Lam对$k$-Schur函数作为$H_*(\mathrm{Gr})$中仿射Schubert类的实现，连接两种结构。
• 通过具体例子（如$w = s_1s_2s_1$）的显式计算验证对应关系，结果与$s_1^{(2)} = h_1$一致。

实验结果

研究问题

• RQ1 量子Schubert多项式与$k$-Schur函数之间通过代数结构如何关联？
• RQ2 Toda格点能否为量子Schubert演算与仿射Schubert演算提供统一框架？
• RQ3 何种有理代换可将量子Schubert多项式转化为$k$-Schur函数？
• RQ4 置换的下降集如何在映射$\Phi$下$k$-Schur函数像的分母中体现？
• RQ5 Toda格点与量子与仿射设定下Schubert演算之间是否存在概念上的联系？

主要发现

• 映射$\Phi$将量子Schubert多项式$\mathfrak{S}_w^q$映射为$\frac{s_{\lambda(w)}^{(k)}}{\prod_{i \in \mathrm{Des}(w)} s_{R_i}}$，建立了直接对应关系。
• 对于$S_3$中的$w = s_1s_2s_1$，有$\Phi(\mathfrak{S}_w^q) = \frac{h_1}{e_2 h_2} = s_1^{(2)}$，验证了公式中$\lambda(w) = (1)$且$\mathrm{Des}(w) = \{1,2\}$。
• 代换$\Phi$源自科斯塔nt对Toda格点的解与彼得森同构，将量子上同调与仿射Grassmannian同调联系起来。
• 结果中的分母对应于$w$的下降集，每个$s_{R_i}$均源于Toda格点结构。
• 该构造依赖于Lapointe-Morse的结果，该结果通过因式分解$k$-Schur函数，使得$s_\lambda^{(k)}$能从$\Phi$的像中完全重构。
• 映射$\Phi$等价于在Schubert多项式展开中将$e_i(m)$替换为$\frac{h_i^\perp \cdot S_{R_m}}{S_{R_m}}$，从而得到相同的$k$-Schur函数像。