[論文レビュー] Notes on axiomatic Gromov--Witten theory and applications

Y. -P. Lee|ArXiv.org|Oct 23, 2007

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿では、Gromov–Witten理論の公理的枠組みを提示し、固定ランクの genus zero 理論のモジュライ空間がねじれループ群によって作用することを確立した。半単純理論はこの作用の下で同次空間をなす。主な貢献は、半単純 genus zero 理論の量子化を通じて高 genus 不変量を構成し、それによって Virasoro 制約や、特異解消および単純なフロップにおける不変性をシンプレクティック変換と量子変数における解析接続を用いて証明できることを可能にした。

ABSTRACT

This an expository article on Givental's axiomatic Gromov--Witten theory and some of its applications.

研究の動機と目的

• シンプレクティック幾何学と無限次元リー群を用いて、genus zero Gromov–Witten 理論の公理的定式化を展開すること。
• ねじれループ群が genus zero 理論のモジュライ空間を整理する役割を果たすことを確立すること。
• 半単純 genus zero 理論を量子化することで高 genus 不変量に拡張し、高 genus 不変量の研究を可能にすること。
• 公理的枠組みを応用して、Virasoro 制約と、特異解消のような幾何的変換におけるタウトロジカル方程式の不変性を証明すること。
• Givental 理論の相対的、軌道的、およびオープンストリング Gromov–Witten 理論への一般化を検討すること。

提案手法

• シンプレクティックベクトル空間 $\mathcal{H} = H[z, z^{-1}]$ に残留形式 $\Omega(f,g) = \mathrm{Res}_{z=0} \langle f(-z), g(z) \rangle$ を備えた、genus zero Gromov–Witten 理論の形式的定式化。
• Darboux座標 $\{q^k_\mu, p^k_\mu\}$ を $\mathcal{H}$ 上に導入し、$\mathcal{H}_q$ を下降不変量の状態空間と同一視する。
• $\tau$-関数を $\tau_{\mathrm{GW}}^X = \exp\left(\sum_{g=0}^\infty \hbar^{g-1} F_g^X\right)$ として定義し、$F_g^X$ が genus $g$ 不変量を生成することを示す。
• ねじれループ群の作用を用いて、genus zero 理論のモジュライ空間をパrametrizeし、半単純理論が同次商空間をなすこととする。
• 半単純 genus zero 理論を高 genus に上昇させるための量子化手続きを適用し、シンプレクティック構造と可積分性を保存する。
• シンプレクティック変換と解析接続を用いて、単純なフロップおよび特異解消における祖先不変量の不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 固定ランクの genus zero Gromov–Witten 理論のモジュライ空間に、ねじれループ群がどのように作用するか。
• RQ2 半単純 genus zero 理論を一貫した公理的枠組み内で、系的に量子化して高 genus 不変量を得られるか。
• RQ3 シンプレクティック変換は、たとえば単純なフロップで関連づけられる $K$-同値な多様体の Gromov–Witten 理論をどのように関連付けるか。
• RQ4 Virasoro 制約は、genus zero 理論の公理的構造からどのように導かれるか。
• RQ5 Givental の公理的形式主義は、相対的、軌道的、およびオープンストリング Gromov–Witten 理論へ拡張可能か。

主な発見

• 固定ランクの genus zero 公理的 Gromov–Witten 理論のモジュライ空間は、ねじれループ群による推移的作用をもち、半単純理論はその同次商空間をなす。
• 半単純 genus zero 理論の量子化により、一貫した高 genus 理論が得られ、genus zero 構造がその基礎的入力として機能する。
• Virasoro 制約は、シンプレクティック作用素が $\tau$-関数に与える作用を分析することで、公理的枠組みから導かれる。
• 単純なフロップにおける祖先不変量の不変性は、量子変数における解析接続を用いて証明され、トーリックケースへの還元と genus zero 計算を経由する。
• 公理的枠組みは、特異解消予想を支持しており、量子変数における解析接続後にシンプレクティック変換を施すことで祖先不変量が保存されることを示す。
• 本稿は、軌道的 Gromov–Witten 理論が同様の公理的取り扱いが可能である可能性を示唆しているが、相対的およびオープンストリング理論は、公理的定式化がより困難であるとされる。