[論文レビュー] Higher-genus Gromov-Witten invariants as genus 0 invariants of symmetric products

Kevin Costello|ArXiv.org|Mar 31, 2003

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

本稿は、滑らかな射影的多様体 $X$ の高(genus) Gromov-Witten 不変量を、その対称積スタック $S^{g+1}(X)$ の genus 0 不変量で正確に表現する公式を確立する。ねじれ曲線のモジュライスタックとエタール被覆を活用することで、仮想基本クラスのプッシュフォワード公式を導出し、genus $g$ 不変量を対称積上の genus 0 不変量に還元する。特に点の場合への明示的応用により、対称群の構造定数を用いて $̄\mathcal{M}}_{g,n}$ 上のタウトロジカル積分に対する新しい公式が得られる。

ABSTRACT

I prove a formula expressing the descendent genus g Gromov-Witten invariants of a projective variety X in terms of genus 0 invariants of its symmetric product stack S^{g+1}(X). When X is a point, the latter are structure constants of the symmetric group, and we obtain a new way of calculating the Gromov-Witten invariants of a point.

研究の動機と目的

• 滑らかな射影的多様体 $X$ の descendent genus $g$ Gromov-Witten 不変量を、対称積スタック $S^{g+1}(X)$ の genus 0 不変量で表す一般公式を確立すること。
• すべての genus における $X$ の完全な量子コホノロジーが、Fock 空間 $\mathcal{F} = \bigoplus_{d \geq 0} H^{\ast}_{\text{orb}}(S^d(X), \mathbb{C})$ 上の Frobenius 多様体構造の系列に埋め込まれていることを示すこと。
• 点の Gromov-Witten 不変量の計算フレームワークを新たに提供し、それらを対称群代数 $\mathbb{C}[S_d]^{S_d}$ の中心の構造定数として表現すること。
• エタール対応のモジュライスタックから通常の安定写像のモジュライ空間への有限次元写像 $p$ に対して、仮想プッシュフォワード公式 $p_*[\overline{\mathcal{M}}_\eta(X)]_{\text{virt}} = k[\overline{\mathcal{M}}_{g,r}(X)]_{\text{virt}}$ を証明すること。

提案手法

• エタール対応 $\mathcal{C}' \to \mathcal{C} \to X$ のモジュライスタック $\overline{\mathcal{M}}_\eta(X)$ を構成し、$\mathcal{C}$ は genus 0 のねじれ曲線で、$\mathcal{C}'$ は $G$-作用をもつ高(genus)曲線である。
• $C(X)$-値のマークイングを持つ曲線のモジュライスタック $\mathfrak{M}_{g,n,\beta}$ を用いた普遍的設定を導入し、これらは滑らかで、適切な収縮写像をもつため、仮想圏における基底変換の議論が可能になる。
• 主要な技術的ステップは、Mori 锥体 $C(X)$ の構造と安定グラフ分解を用いて、普遍スタック $\overline{\mathcal{M}}_{g,\beta}(X)$ からの基底変換により仮想プッシュフォワード公式 (1.0.1) を証明すること。
• 主公式 (8.0.2) を適用し、$\overline{\mathcal{M}}_{g,r}(X)$ 上の積分をグラフ $f: \rho \to \eta$ に関する和に展開し、境界ストラトと自己同型因子 $\|f\|^{-1}$ の寄与を含める。
• 公式 (9.1.1) を用いて、$\overline{\mathcal{M}}_\eta$ と $\overline{\mathcal{M}}_{\rho_i}$ 上の積分を、ターゲットグラフの頂点ごとの積に分解し、$\overline{\mathcal{M}}_{0,n}$ に関する既知の結果を活用する。
• ねじれ曲線の幾何とその評価写像の解析を通じて、複雑な genus-$g$ 積分を対称積上の genus 0 不変量に還元し、最終的に $\int_{\overline{\mathcal{M}}_{2,1}} \psi^4$ を対称群データで表現する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな射影的多様体 $X$ の高(genus) Gromov-Witten 不変量は、その対称積スタック $S^{g+1}(X)$ の genus 0 不変量で完全に表現可能か？
• RQ2 エタール対応のモジュライスタック $\overline{\mathcal{M}}_\eta(X)$ と標準的モジュライ空間 $\overline{\mathcal{M}}_{g,r}(X)$ の間の正確な仮想プッシュフォワード公式は何か？
• RQ3 対称群代数 $\mathbb{C}[S_d]^{S_d}$ の構造定数は、どのようにして $\overline{\mathcal{M}}_{g,n}$ 上のタウトロジカル積分を計算するのに用いられるか？
• RQ4 半群値マークイングを持つ曲線のモジュライスタックは、基底変換および仮想プッシュフォワードの議論を可能にする役割を果たすか？
• RQ5 Frobenius 多様体構造を用いて、$S^dX$ の大規模量子コホノロジーは、$X$ のそれから一般に再構成可能か？

主な発見

• 本稿は、$X$ の genus $g$ の descendent Gromov-Witten 不変量が、$S^{g+1}(X)$ の genus 0 不変量によって完全に決定されることを証明し、後者は $H^{\ast}_{\text{orb}}(S^{g+1}(X), \mathbb{C})$ 上の Frobenius 多様体構造に符号化されていることを示した。
• 点 $X = \ast$ の場合、積分 $\int_{\overline{\mathcal{M}}_{g,n}} \psi_1^{a_1} \cdots \psi_n^{a_n}$ は、$\mathbb{C}[S_d]$ の中心の構造定数の有理数線形結合として表現され、新しい組合せ論的公式が得られた。
• 仮想プッシュフォワード公式 $p_*[\overline{\mathcal{M}}_\eta(X)]_{\text{virt}} = k[\overline{\mathcal{M}}_{g,r}(X)]_{\text{virt}}$ は $k \in \mathbb{Q}^\times$ で成り立ち、普遍スタックからの基底変換により確立され、特定の例でも検証された。
• 積分 $\int_{\overline{\mathcal{M}}_{2,1}} \psi^4$ の計算により、正確な値 $2^{-7} \cdot 3^{-2}$ が得られ、既知の結果と整合することが確認された。
• 方法により、$\int_{\overline{\mathcal{M}}_\eta} \psi_1^4 = 2^{-6} \cdot 3^{-1}$ および $\int_{\overline{\mathcal{M}}_{\rho_i}} \psi_e^3 = 2^{-12} \cdot 3^{-1}$ が正しく計算され、後者は頂点ごとの分解と $\overline{\mathcal{M}}_{0,n}$ 上の既知の積分から導出された。
• 本稿は、$S^dX$ の小規模量子コホノロジーが、Lehn-Sorger の構成を用いて $X$ のそれから完全に決定されることを示したが、大規模量子コホノロジーは一般にはそうではないことを示した。