[论文解读] Seidel product formula in equivariant quantum $K$-theory of flag varieties

Takeshi Ikeda, Takafumi Kouno+1 more|arXiv (Cornell University)|Feb 27, 2026

Algebraic structures and combinatorial models被引用 0

一句话总结

本文在一般旗流形 G/B 及其伴随商 G/P 的 torus-equivariant 量子 K-理论中证明了 Seidel 型乘积公式，利用 K-理论 Peterson 同构与扩展的 K-理论 Peterson 代数。

ABSTRACT

We prove a Seidel product formula for the torus-equivariant quantum $K$-theory of a generalized flag variety $G/P.$ This is a natural generalization of the corresponding results by Buch, Chaput, and Perrin for the cominuscule flag varieties. Our proof is based on the $K$-theoretic Peterson isomorphism, due to Kato. We also use a version of the $K$-theoretic nil-Hecke algebra associated with the extended affine Weyl group, which was studied by Ikeda, Shimozono, and Yamaguchi.

研究动机与目标

• 为完整旗流G/B及其伴随商G/P在 torus 等价的量子 K-理论中建立并动机化 Seidel 乘积公式。
• 将已知结果从共极小情形推广至任意旗流形。
• 利用 K-理论 Peterson 同构及扩展的 K-理论 Peterson 代数推导出显式的 Seidel 型关系。

提出的方法

• 使用 Kato 的 K-理论 Peterson 同构将问题从 QK_T(G/B) 转换到 K_*^T(Gr_G)。
• 利用扩展的 K-理论惰性-的零-赫兹代数（扩展的 K-Peterson 代数）来建模和操纵 Seidel 元素。
• 通过对左侧 W-作用和星乘积兼容性的显式公式（Lusztig 型算子 D_i）来计算 Seidel 行为。
• 对 π: G/B → G/P 的推前（Kato 的 pushforward）应用以获得对 QK_T(G/P) 的推论。
• 推导特殊（共极小）节点 i 的 Seidel 乘积公式及 Seidel 元素 v_i，并证明其对伴随的推论。

实验结果

研究问题

• RQ1 在完整旗流 G/B 的 torus 等价量子 K-理论中，Seidel 乘积公式是什么？
• RQ2 Seidel 关系是否可从共极小情形推广到任意旗流 G/B 及通过推前推广到 G/P？
• RQ3 扩展的 K-理论 Peterson 代数如何编码 Seidel 元素及其对 Schubert 基的作用？
• RQ4 Kato 的 Peterson 同构在在把仿射格兰斯曼 K-同调与旗流的量子 K-理论之间的翻译中起什么作用？
• RQ5 特殊（共极小）节点 i 如何给出涉及 Seidel 元素 v_i 及对应 Schubert 基的显式乘积公式？

主要发现

• 给出 Seidel 乘积公式：O_{G/B}^{v_i} ⋅ v_i^L O_{G/B}^w = Q^{varpi_i^∨ − w^{-1}(varpi_i^∨)} O_{G/B}^{v_i w}，适用于 torus 等价量子 K-理论中的特殊 i。
• G/P 的推论：O_{G/P}^{⌊v_i⌋_P} ⋅ v_i^L O_{G/P}^w = Q^{⌊varpi_i^∨ − w^{-1}(varpi_i^∨)⌋_P} O_{G/P}^{⌊v_i w⌋_P}，对 w ∈ W^P，推广至 G/P。
• Seidel 结果通过 K-理论 Peterson 同构 Φ: K_*^T(Gr_G)_loc ≅ QK_T(G/B)_loc 得到，与仿射格兰斯曼 K-同调到旗流量子 K-理论的联系。
• 扩展的 K-理论 Peterson 代数 ĤK_af 及其交换子子代数 ĤL_G 用来建模 Seidel 元及其作用，阐明该情形下的Schubert 计算的仿射对称性。
• 推前 π_*: QK_T(G/B) → QK_T(G/P) 与左侧 W-作用可交换，从而从全旗结果得到对伴随结论。