[論文レビュー] On the quantum product of Schubert classes

William Fulton, Chris Woodward|arXiv (Cornell University)|Dec 18, 2001

Advanced Combinatorial Mathematics参考文献 17被引用数 9

ひとこと要約

本稿は、旗多様体 $ G/P $ の量子コホモロジーにおける2つのシューベルトクラスの積における最小の量子次数 $ d $ の公式を提示する。この公式は、$ k \times (n-k) $ 矩形内での $ \lambda $ と $ \mu $ の180°回転の重なり領域を被覆するのに必要なリムフックの数に等しいと示している。また、一般の $ G/P $ におけるペトロフの量子チーサリー公式の完全な証明を提供し、グロモフ＝ウィンター不変量を用いた量子積の再帰的計算手法を確立している。

ABSTRACT

We give a formula for the smallest powers of the quantum parameters q that occur in a product of Schubert classes in the (small) quantum cohomology of general flag varieties G/P. We also include a complete proof of Peterson's quantum version of Chevalley's formula, also for general G/P's.

研究の動機と目的

• 量子コホモロジーにおける $ G/P $ の2つのシューベルトクラスの積に現れる量子パラメータ $ q $ の最小のべき乗 $ d $ を特定すること。
• 任意の旗多様体 $ G/P $ におけるペトロフの量子チーサリー公式の完全な証明を提供すること。
• シューベルト図の重なり領域のリムフック被覆を用いた最小量子次数の組合せ論的公式を確立すること。
• シューベルトクラスの量子積が常に非ゼロであることを示し、最小の $ q^d $ 項が重なりの対角構造によってどのように決定されるかを明らかにすること。

提案手法

• 量子積を解析するため、$ \overline{M}_{0,3}(X,d) $、つまり $ \mathbb{P}^1 $ から $ X=G/P $ への安定写像のモジュライ空間の幾何を用いる。
• 横断性と $ T $--equivariant 技法を適用し、マークド点を $ T $-固定点に送る写像の集合 $ E(u,v) $ が既約であり、一般には $ T $-不変有理曲線 $ C(u,v) $ に写像されることを示す。
• $ e_3(E) $ が $ C(u,v) $ に同型に写されるという事実に依拠し、その押し出し $ (e_3)_*[E] $ が量子補正に対応するクラス $ d(\alpha) $ に一致することを示す。
• グロモフ＝ウィンター不変量 $ \kappa $ を、$ d(\alpha) $ における $ \sigma(s_\beta) $ の係数として計算し、これは $ h_\alpha(\omega_\beta) $ に等しい。
• $ T $-不変曲線の構造とワイル群の作用を用いて、問題を量子モンク公式による係数の計算に還元する。
• 帰納法と量子コホモロジー環の構造を用い、古典的コホモロジーが $ H^2 $ で生成されるとき、$ H^2(G/P,\mathbb{Z})\otimes\mathbb{Z}[q] $ が生成する部分代数が、量子コホモロジー全体を回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 シューベルトクラス $ \sigma_\lambda \star \sigma_\mu $ における $ q^d \sigma_\nu $ が現れる最小の次数 $ d $ は何か？
• RQ2 任意の旗多様体 $ G/P $ におけるペトロフの量子チーサリー公式をどのように厳密に証明できるか？
• RQ3 $ \lambda $ のヤング図と回転した $ \mu $ の間に、最小の $ q^d $ を決定する組合せ論的構造は何か？
• RQ4 なぜ $ G/P $ の任意の2つのシューベルトクラスの量子積が常に非ゼロであり、最小の $ d $ はどのように制御されるのか？

主な発見

• $ \sigma_\lambda \star \sigma_\mu $ における $ q $ の最小のべき乗 $ d $ は、$ k \times (n-k) $ 矩形内での $ \lambda $ と $ \mu $ の180°回転の重なり領域を被覆するのに必要なリムフックの数に等しい。
• この最小の $ d $ は、重なり領域内の最長の対角列（西北から東南への非互いに干渉しない対角ステップ）の長さにも等しい。
• 証明により、$ \mathbb{P}^1 $ から $ G/P $ への安定写像でマークド点を $ x(u) $ と $ x(v) $ に送る写像の集合 $ E(u,v) $ が既約であり、$ T $-不変曲線 $ C(u,v) $ に同型に写像されることを示した。
• $ (e_3)_*[E] $ における $ \sigma(s_\beta) $ の係数を表すグロモフ＝ウィンター不変量 $ \kappa $ は、根への基本重みの評価 $ h_\alpha(\omega_\beta) $ に等しい。
• 量子積 $ \sigma_\lambda \star \sigma_\mu $ は常に非ゼロであり、最小の $ d $ は、$ u $ と $ v $ がブルア順序で隣接する場合に、かつ $ d = d(\alpha) $ が単純根 $ \alpha $ に対して成り立つ場合に実現される。
• 結果は量子モンク公式を一般化し、古典的コホモロジーが $ H^2 $ で生成される限り、$ G/P $ の量子コホモロジーが $ H^2(G/P,\mathbb{Z})\otimes\mathbb{Z}[q] $ によって生成されることを示している。