[論文レビュー] 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 に対するトーラス共役量子 K 理論における Seidel 型積公式を、K-理論的ペトerson 同型写像と拡張 K-ペトerson代数を用いて証明する。

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 積公式を動機づけ、確立する。
• cominuscule ケースから任意のフラグ多様体への拡張。
• K-理論的ペトerson同型写と拡張 K-理論ペトerson代数を利用して、Seidel 型の明示的関係を導出する。

提案手法

• Kato の K-理論ペトerson 同型写像を用いて、問題を QK_T(G/B) から K_*^T(Gr_G) に翻訳する。
• 拡張 K-理論ノイル-ヘcke 代数（拡張 K-ペトerson代数）を用いて Seidel 要素をモデル化・操作する。
• 左側 W-作用とスタ-作用の互換性（Lusztig 型演算子 D_i による）について、明示的な式を用いて Seidel の作用を計算する。
• π: G/B → G/P による pushforward（Kato の pushforward）を適用して、QK_T(G/P) の系を得る。
• 特殊（cominuscule）ノード i および Seidel 要素 v_i に対する Seidel 積公式を導出し、そのパラボリック推定を証明する。

実験結果

リサーチクエスチョン

• RQ1 全フラグ多様体 G/B に対する torus-共役量子 K 理論における Seidel 積公式とは何か。
• RQ2 Seidel 関係を cominuscule ケースから任意のフラグ多様体 G/B へ、さらには G/P へ pushforward で拡張できるか。
• RQ3 拡張 K-理論ペトerson代数は Seidel 要素とそれらの Schubert 类への作用をどうコード化するか。
• RQ4 Kato のペトerson 同型写は、アフィン草地の K-同値とフラグ多様体の量子 K 理論を翻訳する上でどんな役割を果たすか。
• RQ5 特殊（cominuscule）ノード 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}（特別な i に対して、トーラス共役量子 K 理論）
• パラボリック商の系の系: 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} for w ∈ W^P; G/P への一般化。
• Seidel の結果は、K-理論ペトerson 同型写 Φ: K_*^T(Gr_G)_loc ≅ QK_T(G/B)__loc によって導かれ、アフィン草地の K-ホモロジーと量子 K-理論を結ぶ。
• 拡張 K-理論ペトerson代数 ĤK_af とその可換部分代数 ĤL_G を用いて Seidel 要素とその作用をモデル化・解明し、この設定でSchubert 計算の潜在的なアフィン対称性を明示化。
• pushforward π_*: QK_T(G/B) → QK_T(G/P) は左 W-作用と可換であり、全フラグの結果からパラボリックの系を得ることができる。