[論文レビュー] Quantum K-theory on flag manifolds, finite-difference Toda lattices and quantum groups

Alexander Givental, Yuan-Pin Lee|ArXiv.org|Aug 15, 2001

Advanced Algebra and Geometry参考文献 11被引用数 9

ひとこと要約

この論文は、クオシマップ空間上のラインバンドルのG-不変ホロモルフィックオイラー特徴量を用いて、旗多様体上の量子K理論と有限差分Toda作用素の間の対応を確立する。この特徴量をエンコードする生成関数が有限差分Toda作用素の固有関数であることを証明し、型A_rの旗多様体に対してKimの量子Toda対応のK理論的類似を与える。

ABSTRACT

We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.

研究の動機と目的

• クオシマップ空間を通じて、旗多様体上の量子K理論と可積分系との間の対応を確立すること。
• クオシマップ空間の特異点解消におけるラインバンドルのG-不変オイラー特徴量を計算すること。
• これらの不変量の生成関数が有限差分Toda作用素の固有関数であることを示すこと。
• 型A_r旗多様体に対してKimの量子Toda対応のK理論的類似を提供すること。
• 一般型半単純リー群への一般化を予想し、それらを量子群表現理論と関連付けること。

提案手法

• 著者らは、旗多様体 $X$ へのPlücker埋め込みにおける、$\mathbb{C}P^1$ から $X$ への次数 $d$ の写像の閉包としてクオシマップ空間 $QM_d$ を定義する。
• 彼らは、$\tilde{QM}_d$ 上のラインバンドル $P^z$ の $G$-不変ホロモルフィックオイラー特徴量をエンコードする生成関数 $\mathcal{G}(Q,z,q,\Lambda)$ を構成する。
• 等変リーマン・ロッホ・ヒルツブルーハの定理を用いて、$\chi_G(V)$ を等変チャーン類とTodd類の積で表現する。
• 変数 $t_i$ における平行移動作用素と乗法作用素を含む有限差分Toda作用素 $\hat{H}_{Q,q}$ を導入する。
• 変換された生成関数 $G(Q,Q')$ が $\hat{H}_{Q',q} G = (\Lambda_0 + \cdots + \Lambda_r) G$ を満たすことを示す。
• Langlands双対量子群 $U_q\mathfrak{g}'$ の無限次元表現における行列要素を通じて、結果を表現論的に解釈する。

実験結果

リサーチクエスチョン

• RQ1 クオシマップ空間上のラインバンドルの等変オイラー特徴量は、可積分系とどのように関係するか？
• RQ2 量子K理論不変量の生成関数は、有限差分Toda作用素の固有関数として特徴づけられるか？
• RQ3 量子群とWhittakerベクトルは、これらの不変量を行列要素として実現する上で果たす役割は何か？
• RQ4 Toda作用素の次数展開は、どのようにして量子Todaハミルトニアンを回復するか？
• RQ5 この対応関係は、型A_r旗多様体を超えてどの程度一般化可能か？

主な発見

• 生成関数 $\mathcal{G}(Q,z,q,\Lambda)$ が、可換な有限差分Toda作用素の共通固有関数であることが示され、Kimの結果がK理論的設定に一般化された。
• 関数 $G(Q,Q') = \mathcal{G}(Q, (\ln Q' - \ln Q)/\ln q, q, \Lambda)$ が $\hat{H}_{Q',q} G = (\Lambda_0 + \cdots + \Lambda_r) G$ を満たし、主定理が証明された。
• $\hbar$-展開において、Toda作用素 $\hat{H}$ は $\hbar^1$ 階と $\hbar^2$ 階で量子Todaハミルトニアンを回復し、物理的解釈を確認した。
• 固有関数性は特異点解消に対して安定であり、$QM_d$ の特異点解消の選び方に依存しない。
• 生成関数は、Langlands双対量子群 $U_q\mathfrak{g}'$ の無限次元表現における行列要素として解釈され、幾何学と量子群表現理論を結びつける。
• この構成は、ループ群の半無限コホモロジーと、臨界レベルにおけるクオシマップ空間の幾何学との間に深い関係があることを示唆する。