[論文レビュー] Rational curves on hypersurfaces [after A. Givental]

Rahul Pandharipande|ArXiv.org|Jun 23, 1998

Algebraic Geometry and Number Theory参考文献 26被引用数 57

ひとこと要約

この論文は、Giventalの形式的体系を用いて、射影空間内の超曲面の量子コhomologyと超幾何級数の間の明確な対応を確立し、5次3次元超曲面における有理曲線の数に関するミラー対称性の予測を証明する。変数変換を通じて、Genus 0のGromov-Witten不変量をPicard-Fuchs方程式の解と関連づけることで、次数dの有理曲線の数の数え上げ公式を確認し、d ≤ 9について明示的な検証を行い、J関数を記述する量子微分方程式を導出する。

ABSTRACT

This article accompanies my June 1998 seminaire Bourbaki talk on Givental's work. After a quick review of descendent integrals in Gromov-Witten theory, I discuss Givental's formalism relating hypergeometric series to solutions of quantum differential equations arising from hypersurfaces in projective space. A particular case of this relationship is a proof of the Mirror prediction for the numbers of rational curves on the Calabi-Yau quintic 3-fold. The approach taken here is entirely algebro-geometric and relies upon a localization formula on the moduli space of stable genus 0 maps to projective space. A different proof of the quintic Mirror prediction may be found in the work of Lian, Liu, and Yau.

研究の動機と目的

• 射影空間内の超曲面の超幾何級数と量子コホモロジーの間の厳密な数学的枠組みを確立すること。
• 一般の5次3次元超曲面における有理曲線の数に関するミラー対称性の予測を証明すること。
• 量子微分方程式における変数変換を通じて、Giventalの相関関数SXと超幾何級数S*Xの関係を明確にすること。
• 不変量ndを、Gromov-Witten理論による多重被覆の寄与を考慮した、有理曲線の仮想的数え上げとしての幾何的解釈を提供すること。
• 量子積*Xを用いて、トーリック多様体およびフラッグ多様体における完全交差へこの手法を拡張すること。

提案手法

• ℙ^mのコホモロジーに新たな量子積*Xを定義し、Xと周囲空間間の量子構造を関連付ける。
• 安定写像のモジュライ空間Mbar_{0,n}(ℙ^m,d)における等長的局所化を用い、ボットの留数公式によりGromov-Witten不変量を計算する。
• *Xに関連する量子微分方程式を用いて相関関数SXを構成し、これがPicard-Fuchs微分方程式を満たすことを示す。
• 変数変換T = I₁/I₀(t)を適用して、超幾何解S*XをAモデルのJ関数に変換し、数え上げ公式と一致させること。
• 仮想クラスと多重被覆公式(3)を用いて、Gromov-Witten不変量Ndと数え上げ不変量ndとの関係を確立する。
• チャーン類およびモジュライ空間上のプッシュフォワードの明示的計算により、量子微分方程式(2)およびミラー恒等式F(T(t)) = (5/2)(I₁I₂/I₀² - I₃/I₀)を検証する。

実験結果

リサーチクエスチョン

• RQ1 超幾何級数は、射影空間内の超曲面の量子コホモロジーとどのように関係づけられるか？
• RQ2 Bモデルの周期積分とAモデルの5次3次元超曲面のGromov-Witten不変量を結ぶ、明確な数学的メカニズムは何か？
• RQ3 Gromov-Witten理論における多重被覆の寄与は、カルラヤ3次元多様体上の有理曲線の数え上げにどのように影響するか？
• RQ4 5次3次元超曲面におけるミラー対称性の予測は、量子積と等長的局所化を含む一般形式的体系から導出可能か？
• RQ5 量子微分方程式は、超曲面上の有理曲線の数え上げ幾何をどのように符号化するか？

主な発見

• 5次3次元超曲面におけるミラー対称性の予測が厳密に証明された：J関数J(T) = ∑(J_i H^i)は、有理曲線の仮想的数ndを含むAモデル級数に等しい。
• 生成関数K(e^T) = 5 + ∑_{d≥1} n_d d³ e^{dT}/(1 - e^{dT})は、量子微分方程式d²/dT² (1/K) d²/dT² J_i = 0を満たす。
• 不変量ndは、多重被覆公式∑ N_d q^d = ∑_d ∑_k n_d k^{-3} q^{kd}により定義され、d ≤ 9では数え上げ的である。
• 5次3次元超曲面において、相関関数S_Xは式(1)の右辺に等しく、多重被覆を考慮した上でミラー予測が確認される。
• カルラヤの場合（l = m+1）において、等長的局所化と変数変換を用いてS*XとS_Xの間の変換を明示的に計算し、正しい量子微分方程式が得られる。
• ストリング、ディラトン、除数方程式を用いて、プッシュフォワードe_{2*}(c_top(E_d)/(1 - ψ_2)) = dN_d H^3 - 2N_d H^4を計算し、最終的なJ関数の式に不可欠な役割を果たす。