[論文レビュー] Quantum Cohomology and Morse Theory on the Loop Space of Toric Varieties

Yiannis Vlassopoulos|ArXiv.org|Mar 8, 2002

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

ひとこと要約

本稿は、ループ空間上のS¹-等変フローホモロジーを用いて、トーリック多様体の量子Dモジュールのモース的計算を提示し、ギヴェンタルの予想を一般化する。量子Dモジュールが、シンプレクティック作用関数の臨界多様体と勾配流線から構成されるDモジュールの半古典的極限として生じることを証明しており、∫_d c₁ > 0 を満たす非自明なdについて明示的な検証がなされている。

ABSTRACT

On a symplectic manifold $M$, the quantum product defines a complex, one parameter family of flat connections called the A-model or Dubrovin connections. Let $\hbar$ denote the parameter. Associated to them is the quantum $\mathcal{D}$ - module ${\mathcal{D}}/I$ over the Heisenberg algebra of first order differential operators on a complex torus. An element of $I$ gives a relation in the quantum cohomology of $M$ by taking the limit as $\hbar o 0$. Givental (HomGeom), discovered that there should be a structure of a $\mathcal{D}$ - module on the (as yet not rigorously defined) ${S^1}$ equivariant Floer cohomology of the loop space of $M$ and conjectured that the two modules should be equal. Based on that, we formulate a conjecture about how to compute the quantum cohomology $\mathcal{D}$ - module in terms of Morse theoretic data for the symplectic action functional. The conjecture is proven in the case of toric manifolds with $\int_d{c_1}> 0$ for all nonzero classes $d$ of rational curves in $M$.

研究の動機と目的

• シンプレクティックトーリック多様体の量子Dモジュールを、ループ空間のS¹-等変ホモロジーを用いてモース的記述すること。
• ギヴェンタルの予想、すなわち、シンプレクティック多様体のループ空間のS¹-等変フローホモロジーが量子Dモジュールを実現することを検証すること。
• シンプレクティック作用関数を介して、量子コホモロジー関係と微分作用素を結ぶ明示的な計算枠組みを確立すること。
• ∫_d c₁ > 0 を満たすすべての非自明な有理曲線dについて、トーリック多様体の場合に予想を証明すること。
• 量子Dモジュールが、シンプレクティック作用関数の勾配流データから構成されるDモジュールの半古典的極限として得られることを示すこと。

提案手法

• 本手法は、ループ空間のS¹-等変コホモロジーから、複素トーラス上の一次微分作用素のヒルベルト代数上のDモジュールを構成する。
• 臨界多様体がS¹作用の周期的軌道に対応するシンプレクティック作用関数を、モース・ボット関数として用いる。
• 量子Dモジュールは、臨界部分多様体およびその不安定多様体の等変コホモロジーから構成されるDモジュールの半古典的極限（ℏ → 0）として回復される。
• 構成は、デュブロヴィン接続の平坦セクションに対するギヴェンタルの公式と、生成関数Fがフローホモロジーの半無限サイクルΔのフーリエ変換に一致することを用いる。
• この手法は、すべての非自明なdについて∫_d c₁ > 0 を満たすトーリック多様体に適用可能であり、安定写像のモジュライ空間が適切に定義され、ゲロモフ＝ウィトテンインバリアントが有限であることを保証する。
• 評価写像ev_i: M_{3,d} → Mと、第一チャーン類cをもつ普遍的接線束Lを用いて重力的後駆動を定義し、生成関数Fを構成する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティックトーリック多様体の量子Dモジュールは、シンプレクティック作用関数を用いたループ空間上のモース理論によって計算可能か？
• RQ2 シンプレクティック多様体のループ空間のS¹-等変フローホモロジーは、ギヴェンタルが予想したように、量子Dモジュールを実現するか？
• RQ3 量子コホモロジールールの関係は、勾配流データから構成されるDモジュールの半古典的極限からどのように導かれるか？
• RQ4 シンプレクティック作用関数とその臨界多様体が、量子コホモロジールールを符号化するにあたって果たす明確な役割は何か？
• RQ5 ゲロモフ＝ウィトテンインバリアントを符号化する生成関数Fは、ループ空間のフローホモロジーのサイクルのフーリエ変換として解釈可能か？

主な発見

• すべての非自明なdについて∫_d c₁ > 0 を満たすトーリック多様体の量子Dモジュールは、ループ空間のS¹-等変コホモロジーから構成されるDモジュールと同型である。
• ゲロモフ＝ウィトテンインバリアントの生成関数Fは、微分方程式R(ℏ∂/∂t₁, e^{t₁}, ℏ) = 0 を満たす。ここでR = (ℏ∂/∂t₁)^{n+1} - e^{t₁} であり、これは量子コホモロジールールを支配する。
• ℙ^nの量子コホモロジールールは、ℏ → 0 の半古典的極限として、作用素Rによって定義されるDモジュールの極限として得られる。すなわち、ℂ[p,q]/(p^{n+1} = q) である。
• 生成関数Fの成分f_iはすべて、同じ微分作用素Rによって消える。したがって、これらは完全な解の基底をなす。
• Euler類の比e_{S¹}(N⁺_d)/e_{S¹}(N⁺_0) が、ev₁による(ℏ - c)^{-1} の押し出しに一致することが示され、一般のシンプレクティック多様体における正則化機構を示唆する。
• 本稿は、量子Dモジュールが、シンプレクティック作用関数の臨界多様体と不安定多様体から構成されるDモジュールの半古典的極限として生じることを確認した。