[論文レビュー] Notes on stable maps and quantum cohomology

William Fulton, Rahul Pandharipande|ArXiv.org|Aug 15, 1996

Homotopy and Cohomology in Algebraic Topology被引用数 9

ひとこと要約

この論文は、安定写像と量子コホモロジーの基礎的取り扱いを提供し、安定写像のモジュライ空間の構成を導入し、数え上げ幾何学における主要な不変量としてグロモフ＝ウィッテン不変量を確立する。量子コホモロジーは通常のコホモロジーの変形として発展させ、代数的多様体上の有理曲線の数え上げへの応用を含み、射影空間やグラスマンニアンなどの主要な例において明示的な計算を提示する。

ABSTRACT

These are notes from a jointly taught class at the University of Chicago and lectures by the first author in Santa Cruz. Topics covered include: construction of moduli spaces of stable maps, Gromov-Witten invariants, quantum cohomology, and examples. These notes will appear in the proceedings of the 1995 Santa Cruz conference.

研究の動機と目的

• 代数幾何学の研究者を対象に、安定写像およびそのモジュライ空間の理論について包括的な紹介を行うこと。
• グロモフ＝ウィッテン不変量を定義し、代数多様体内の有理曲線の仮想的数え上げとして研究すること。
• 通常のコホモロジーの変形としての量子コホモロジーの構造を発展させ、量子積と結合則を含めること。
• 具体的な例（射影空間やグラスマンニアンなど）を用いて理論を提示し、計算の可能性を示すこと。
• 1995年サンタクルーズ会議議事録の参考文献として機能し、現代の数え上げ幾何学の概念を統合すること。

提案手法

• 有限自己同型群を持つ曲線から目標多様体への正則写像をパラメトライズするため、幾何的不変量理論（GIT）を用いて安定写像のモジュライ空間を構成する。
• 安定写像のモジュライ空間の仮想基本類上の積分としてグロモフ＝ウィッテン不変量を定義する。
• 構造定数が3点グロモフ＝ウィッテン不変量で与えられる、通常のコホモロジーリングの変形としての量子コホモロジーリングを導入する。
• WDVV（ウィッテン＝ディクグラーファン＝ベルリンデ＝ベルリンデ）方程式を用いて、量子積の結合則を確立する。
• 障害理論と仮想基本類を用いて、モジュライ空間の期待次元を扱う。
• 理論を応用して、射影空間およびグラスマンニアンの量子コホモロジーリングを計算し、明示的な構造と関係を示す。

実験結果

リサーチクエスチョン

• RQ1 固定された目標多様体への曲線からの正則写像をパラメトライズする、自己同型群が有限であるようなコンパクトな安定写像のモジュライ空間をどのように構成できるか。
• RQ2 グロモフ＝ウィッテン不変量とは何か。また、代数多様体内の有理曲線の指定されたインシデント条件および次数条件を満たすものとして、それらがどのように仮想的数え上げを提供するか。
• RQ3 量子コホモロジーリングは、古典的コホモロジーリングをどのように変形するか。また、結合則などの構造的性質は何か。
• RQ4 標準的例（射影空間やグラスマンニアンなど）の明示的量子コホモロジーリングは何か。
• RQ5 WDVV方程式は、グロモフ＝ウィッテン不変量の構造をどのように制約し、量子積の一貫性を保証するか。

主な発見

• 安定写像のモジュライ空間は、有限型の固有かつ分離されたデリーニュ＝ムーディ・スタックであり、不変量を定義するための仮想基本類を備えている。
• グロモフ＝ウィッテン不変量は、シンプレクティック的または代数的多様体のwell-definedな不変量であり、指定されたインシデントおよび次数条件を満たす有理曲線の数え上げを提供する。
• 量子コホモロジーリングは、無限遠点の形式的近傍との積のコホモロジーリングと同型であり、構造定数は3点グロモフ＝ウィッテン不変量で与えられる。
• 量子積は結合則を満たし、これはWDVV方程式に等価であり、量子カップ積の一貫性を保証する。
• 射影空間 $\mathbb{P}^n$ に対して、量子コホモロジーリングが明示的に計算され、$H^*(\mathbb{P}^n) \otimes \Lambda[q]$ と同型であることが示されている。ここで $\Lambda$ は量子パラメータ $q$ における形式的べき級数環である。
• グラスマンニアンでは、量子コホモロジーリングはシューベルト計算に関連する豊かな構造を示し、古典的ピエリおよびジアムベリの公式を一般化する量子関係式を有する。