[論文レビュー] On Quantum Cohomology Rings of Fano Manifolds and a Formula of Vafa and Intriligator

Bernd Siebert, Gang Tian|ArXiv.org|Mar 12, 1994

Geometric and Algebraic Topology参考文献 7被引用数 24

ひとこと要約

本稿は、量子コホモロジー環が量子関係による古典的コホモロジー環の変形であることを示すことにより、ファノ多様体、特にグラスマンニアンの完全な代数的記述を確立する。Vafa-Intriligatorの公式を留数計算を用いて数学的に証明し、量子積の計算におけるチャーン類およびセグレ類の積が、量子環全体の構造を求める鍵であることを特定する。

ABSTRACT

We observe a general structure theorem for quantum cohomology rings, a non-homogeneous version of the usual cohomology ring encoding information about (almost holomorphic) rational curves. An application is the rigorous computation of the quantum cohomology of Grassmannians. As purely algebraic consequence we prove a beautiful formula of Vafa and Intriligator for intersection numbers of certain compactifications of moduli spaces of maps from a Riemann surface (any genus) to G(k,n) which recently has excited many mathematicians. The formula generalizes to any Fano manifold whose cohomology ring can be presented as complete intersection.

研究の動機と目的

• ファノ多様体（特にグラスマンニアンを含む）の量子コホモロジー環を生成子と関係式の観点から完全な代数的記述すること。
• グラスマンニアンの genus-zero Gromov-Witten 不変量に関する Vafa-Intriligator の公式を数学的に証明すること。
• 量子コホモロジー環が Kähler モジュライ空間 $ H^{1,1}(M) $ 上の平坦な解析的族であることを確立すること。
• 量子コホモロジー、Gromov-Witten 不変量、およびグラスマンニアンへの正則写像のモジュライ空間との関係を明確にすること。

提案手法

• 古典的コホモロジー環の表示 $ \mathbb{C}[X_1,\ldots,X_N]/(f_1,\ldots,f_k) $ を用い、関係式を Kähler類 $[\omega]$ に依存する解析的関数 $ f_i^{[\omega]} $ に変形する。
• 留数計算を適用して量子積を計算し、特に $ c_k \wedge_Q s_{n-k} $ の積を、写像 $ \lambda_i^n = a $ のヤコビアンを用いて求める。
• 量子関係の解に対応する臨界点を持つスーパーポテンシャル $ W^{[\omega]} $ を導入し、Morse的留数公式の適用を可能にする。
• 「無限遠に成分がない」という条件を満たす Severi-Grothendieck-Griffiths の留数理論を用いて、量子積の正規化を計算する。
• ヘッシアン行列式を用いて、高 genus の Gromov-Witten 不変量の計算をスーパーポテンシャルの臨界点上の有限和に還元する。
• コンactified モジュライ空間を用いた数学的定義と物理的公式を比較し、核層の torsion に起因する不一致を特定する。

実験結果

リサーチクエスチョン

• RQ1 ファノ多様体の量子コホモロジー環を生成子と関係式を用いて明示的に記述する方法は何か？
• RQ2 グラスマンニアンにおける genus-zero Gromov-Witten 不変量に関する Vafa-Intriligator の公式は、数学的に厳密に成り立つか？
• RQ3 量子コホモロジー環とグラスマンニアンへの正則写像のモジュライ空間との間の正確な関係は何か？
• RQ4 留数理論を用いて量子積の正規化を厳密に計算できるか？
• RQ5 数学的 Gromov-Witten 不変量とヘッシアン行列式を含む物理的公式が一致する条件は何か？

主な発見

• グラスマンニアン $ \mathrm{G}(k,n) $ の量子コホモロジー環は、$ \mathbb{C}[X_1,\ldots,X_k]/(Y_{n-k+1},\ldots,Y_n + (-1)^k e^{-\lambda}) $ に同型であり、ここで $ X_i = c_i(S) $、$ Y_j $ は再帰的に定義されたセグレ類である。
• 量子積 $ c_k \wedge_Q s_{n-k} $ は留数計算により計算され、線形代数の問題に還元され、Vafa-Intriligator の公式の妥当性が裏付けられる。
• 量子積の正規化は、$ (-1)^{n-k}X_k^{n-k} $ の留数を計算することで検証され、正しい係数 $ (-1)^{n+k(k-1)/2} $ が得られる。
• genus-zero Gromov-Witten 不変量は、スーパーポテンシャル $ W^{[\omega]} $ の臨界点上の和として与えられ、ヘッシアン行列式の $ g-1 $ 乗が重みとして付与される。
• この公式は、完全交差と同型なコホモロジーを持つすべてのファノ多様体に対して成り立ち、グラスマンニアンに限らない一般化が達成される。
• 数学的 Gromov-Witten 不変量（$ \tilde{\rm ev}^*S $ を根拠とする）と物理的公式（$ \tilde{\cal E} $ を根拠とする）との間に不一致が特定され、これは核層の torsion に起因する。