[論文レビュー] The moment graph for Bott-Samelson varieties and applications to quantum cohomology

Camron Withrow|arXiv (Cornell University)|Aug 28, 2018

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

本稿では、任意のリー型におけるボット＝サメルソン多様体のモーメントグラフを完全に記述し、曲線の近傍とモジュライ空間の計算を用いて、特定の型Aボット＝サメルソン多様体 $Z = Z(\alpha_1, \alpha_2, \alpha_1)$ の小量子コホモロジー環の提示を得ている。Galkin, Golyshev, および Iritaniの予想 $\mathcal{O}$ がこの多様体に対して証明され、1番目のチャーン類作用素の固有値構造が確認された。

ABSTRACT

We give a description of the moment graph for Bott-Samelson varieties in arbitrary Lie type. We use this, along with curve neighborhoods and explicit moduli space computations, to compute a presentation for the small quantum cohomology ring of a particular Bott-Samelson variety in Type $A$. We also show the conjecture $\mathcal{O}$ of Galkin, Golyshev, and Iritani holds for that Bott-Samelson variety.

研究の動機と目的

• 任意のリー型におけるボット＝サメルソン多様体のモーメントグラフを完全に記述すること。
• 型 $A_2$ の特定のボット＝サメルソン多様体における小量子コホモロジー環の提示を計算すること。
• この多様体に対してGalkin, Golyshev, および Iritaniの予想 $\mathcal{O}$ を検証すること。
• トーラス作用と安定写像を用いて、凸的でもトーリックでもない多様体における量子コホモロジーを研究するための枠組みを確立すること。

提案手法

• 二進数列 $\varepsilon \in \{0,1\}^n$ でパラメータ化された $T$-固定点と $T$-安定曲線を用いてモーメントグラフを構成する。
• 二進数列のペアの最初の異なるインデックスに基づく $T$-安定曲線の帰納的特徴付けを適用する。
• Gromov-Witten不変量の計算に、ファイバー化されたカルテジアン図式を用いた、安定写像のモジュライ空間 $\overline{M}_{0,1}(Z,\beta)$ の計算を行う。
• 量子積の関係を符号化し、量子コホモロジーの提示を導出するために、チェヴァリの行列を用いる。
• 量子パラメータを1に特殊化することで、1番目のチャーン類作用素 $\hat{c}_1$ の行列を計算する。
• 固有値の分析により、$\hat{c}_1$ の固有値のうち最大の絶対値を持つものが一意で、かつ同じ絶対値を持つ固有値がすべて単位根のスケーリングであることを確認することで、予想 $\mathcal{O}$ を検証する。

実験結果

リサーチクエスチョン

• RQ1 任意のリー型におけるボット＝サメルソン多様体のモーメントグラフをどのように完全に記述できるか？
• RQ2 型 $A_2$ のボット＝サメルソン多様体 $Z(\alpha_1, \alpha_2, \alpha_1)$ の小量子コホモロジー環の明示的提示は何か？
• RQ3 量子コホモロジー計算に必要なGromov-Witten不変量は、安定写像のモジュライ空間を通じて幾何的解釈を受けることができるか？
• RQ4 このトーリックでも凸的でもない多様体に対して、1番目のチャーン類作用素の固有値とファノ指数を関連付ける予想 $\mathcal{O}$ は成り立つか？
• RQ5 このボット＝サメルソン多様体の量子コホモロジーにおいて、ジアムベリの公式を明示的に計算できるか？

主な発見

• 多様体 $Z = Z(\alpha_1, \alpha_2, \alpha_1)$ に対する小量子コホモロジー環 $QH^*(Z)$ は、$\sigma_{100}, \sigma_{010}, \sigma_{001}, q_1, q_2, q_3$ によって生成され、チェヴァリ行列から導かれる明示的な関係式を有する。
• Gromov-Witten不変量 $I_{\beta_1}([Z_{001}]) = y_3 = 1$ は、モジュライ空間の同型 $\overline{M}_{0,1}(Z,\beta_1) \to \overline{M}_{0,1}(Z',[Z'_{01}])$ を通じて計算された。
• ジアムベリの公式により、すべてのシューベルト類 $\sigma_{110}, \sigma_{101}, \sigma_{011}, \sigma_{111}$ が、量子補正項を含む代数生成子の多項式として表現される。
• 導出された関係式とジアムベリの公式の整合性により、量子コホモロジー環が結合的であることが確認された。
• $\hat{c}_1$ の行列は8つの異なる固有値を持ち、そのうち1つは実固有値で絶対値が最大であり、他のすべての固有値は絶対値がそれより小さい。
• 予想 $\mathcal{O}$ は $Z = Z(\alpha_1, \alpha_2, \alpha_1)$ に対して成立する：最大の固有値は一意であり、同じ絶対値を持つ固有値はすべてファノ指数に比例した単位根の形をとる。