[論文レビュー] Equivariant Gromov - Witten Invariants

Alexander Givental|ArXiv.org|Mar 27, 1996

Geometric and Algebraic Topology参考文献 14被引用数 133

ひとこと要約

本稿は、コンpactなケーラー多様体にコンパクトなリー群作用を伴う場合の等長的グロモフ＝ウィトテン理論を構築し、等長的コホロジーにフォーブルス構造を確立する。安定写像を用いて周期積分とグロモフ＝ウィトテン不変量を厳密に解釈することで、カルラヤ3次元多様体の完全交差に対する鏡対称性予想を証明し、すべての次数において、仮想的曲線数の母関数がピカード＝フック方程式の解と一致することを検証する。

ABSTRACT

We develop general theory of equivariant quantum cohomology for ample Kahler manifolds and prove the mirror conjecture for projective complete intersections.

研究の動機と目的

• コンパクトなケーラー多様体にコンパクトなリー群作用を伴う場合のグロモフ＝ウィトテン理論の等長的双対を構築すること。
• 等長的理論を用いてフラッグ多様体の量子コホロジー代数を計算すること。
• 等長的技法を用いて量子カップ積作用素の同時対角化を確立すること。
• 安定写像不変量とピカード＝フック方程式の解を厳密に結びつけることで、特に5次3次元多様体を含む、プロジェクト型完全交差に対する鏡対称性予想を証明すること。
• 局所化と安定写像形式主義を用いて、鏡対称性の物理的予測を数学的言語で解釈すること。

提案手法

• ほぼケーラー多様体内の擬正則曲線の不変量を定義・コンパクト化するために、安定写像のモジュライ空間を用いる。
• 群作用を伴う空間における不変量を計算するために、等長的コホロジーにおける固定点局所化を適用する。
• 特異点近傍および二重曲線におけるパラメータを用いて、モジュライ空間上の局所座標を構成する。
• 木構造の曲線の中心成分における切断の等長的コホロジー加群を、ねじれ層と同一視し、次数制約を組み込む。
• 曲線の形式的近傍を用いて、グローバル切断と微分方程式の解との関係を、形式的級数展開を通じて関係づける。
• コンツェビッチの木の上での和分法を応用し、カルラヤ3次元多様体における鏡の予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリー群作用の下で、グロモフ＝ウィトテン不変量はどのように等長的設定に拡張できるか？
• RQ2 フラッグ多様体の量子コホロジーは、等長的技法を用いて計算可能か？
• RQ3 量子カップ積作用素の同時対角化は、等長的枠組み内でも成立するか？
• RQ4 安定写像と局所化を用いて、カルラヤ3次元多様体の鏡対称性予想は厳密に検証可能か？
• RQ5 仮想的曲線数の母関数は、すべての次数においてピカード＝フック方程式の解と一致するか？

主な発見

• 本稿は、複素射影空間 ℂP⁴ 内の一般の5次3次元多様体上の有理曲線の仮想的数の母関数が、ピカード＝フック微分方程式の解と一致することを証明し、鏡対称性からの予測を裏付けた。
• 鏡写像 T(t) = I₁(t)/I₀(t) がピカード＝フック方程式を、生成関数 K(q) = 5 + ∑ₙ₌₁ⁿ₌∞ nₙ d³ qᵈ / (1−qᵈ) を含む形に変換することを確立した。ここで nₙ は次数 d の有理曲線の仮想的数を表す。
• 仮想的曲線数 n₁=2875, n₂=609250, n₃=317206375, n₄=242467530000 が、安定写像から導かれる数学的不変量と一致することが確認された。
• 理論により、ホッジ数 h²¹=1、h¹¹=101 のカルラヤ3次元多様体に対する鏡対称性の最初の厳密な検証が達成された。これは、すべての次数の有理曲線を含む。
• この手法は、複素射影空間の積内の完全交差へ一般化可能であり、さらなる形式的精錬を経て、トーリック多様体へも拡張可能である。
• 等長的コホロジー空間 H*G(X) にはフォーブルス構造が備わっており、S¹-等長的フローリングホモロジーを通じてループ空間の幾何と量子コホロジーを結ぶ。