[論文レビュー] The equivariant Gromov-Witten theory of P^1

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Jul 25, 2002

Algebraic Geometry and Number Theory参考文献 16被引用数 49

ひとこと要約

本稿は、等長局所化と無限楔空間技法を組み合わせることで、$\mathbf{P}^1$ の等長グロモフ＝ウィトテン理論に対する明示的な作用素形式主義を確立し、全理論が2-Toda階層によって支配されることを証明する。主な貢献は、すべての等長グロモフ＝ウィトテン不変量を明示的作用素の真空行列要素として完全かつ有理的かつ可積分な形で記述することであり、GW/H対応を解決し、より高次の種数を持つ標的曲線におけるバーラソロ制約を証明する基盤を提供する。

ABSTRACT

We express all equivariant Gromov-Witten invariants of the projective line as matrix elements of explicit operators acting in the Fock space. As a consequence, we prove the equivariant theory is governed by the 2-Toda hierarchy of Ueno and Takasaki. This is the second in a sequence of three papers devoted to the Gromov-Witten theory of nonsingular target curves (the first paper of the series is math.AG/0204305).

研究の動機と目的

• 等長局所化とフォック空間技法を用いて、$\mathbf{P}^1$ の等長グロモフ＝ウィトテン理論に対する完全かつ明示的な作用素形式主義を構築すること。
• $\mathbf{P}^1$ の全等長グロモフ＝ウィトテン理論が2-Toda階層によって支配されることを確立すること、文字列方程式および除数方程式を含む。
• 絶対的定常非等長ケースにおけるグロモフ＝ウィトテン／ハーウィッツ対応の証明を完成させることで、等長理論の極限として非等長理論を導出すること。
• 特異でない標的曲線におけるグロモフ＝ウィトテン理論におけるバーラソロ制約を証明する基盤を提供すること、これは後続の研究で用いられている。

提案手法

• 等長局所化を適用して、グロモフ＝ウィトテン不変量をホッジ積分を含む頂点寄与に還元する。
• エケダール＝ランド＝シャピロ＝ヴァインシュタインの公式を用いて、ハーウィッツ数をホッジ積分として表現し、作用素形式主義を可能にする。
• 無限楔構成を用いてフォック空間を実現し、ホッジ積分を表す作用素$\mathcal{A}$をその上に定義する。
• 作用素$\mathcal{A}$の行列要素の収束性および有理的性を証明し、形式主義の適切な定義を保証する。
• 作用素構造から2-Toda階層を導出し、それが全等長グロモフ＝ウィトテン生成関数を支配することを示す。
• 解析接続および超幾何関数の恒等式を用いて、作用素形式主義における主要関数の対称性および正則性を証明する。

実験結果

リサーチクエスチョン

• RQ1 全等長グロモフ＝ウィトテン理論の$\mathbf{P}^1$ は、フォック空間における作用素形式主義を用いて明示的に記述可能か？
• RQ2 2-Toda階層は、$\mathbf{P}^1$ の等長グロモフ＝ウィトテン不変量を支配する正しい可積分構造か？
• RQ3 作用素形式主義は、絶対的定常非等長ケースにおけるグロモフ＝ウィトテン／ハーウィッツ対応を解消するか？
• RQ4 $\mathbf{P}^1$ の等長理論は非等長理論および点のグロモフ＝ウィトテン理論とどのように関係するか？
• RQ5 作用素形式主義は、一般の標的曲線におけるバーラソロ制約を証明するために拡張可能か？

主な発見

• $\mathbf{P}^1$ のすべての等長グロモフ＝ウィトテン不変量が、フォック空間内における作用素の真空行列要素として明示的に計算され、完全かつ有理的な記述が得られた。
• 2-Toda階層が、$\mathbf{P}^1$ の全等長グロモフ＝ウィトテン理論を支配しており、文字列方程式および除数方程式が理論を一意に決定する。
• 作用素形式主義により、絶対的定常非等長ケースにおけるグロモフ＝ウィトテン／ハーウィッツ対応が、等長理論の極限として証明された。
• $f_{s,u}(\mu,\nu)$および$g_{s,u}(\mu,\nu)$は原点近傍で解析的かつ対称的であり、$\mu + \nu = 0$で除去可能な特異点を持つため、形式主義の一貫性が保証される。
• $\mathbf{P}^1$ の理論は、点のグロモフ＝ウィトテン理論よりもより基本的であり、後者は前者の高次数極限として現れる。
• 本研究の結果は、特異でない標的曲線におけるグロモフ＝ウィトテン理論におけるバーラソロ制約を証明する上で重要な基盤を提供し、後続の研究[23]で確立された。