[論文レビュー] Topological recursion relations and Gromov-Witten invariants in higher genus

Andreas Gathmann|ArXiv.org|May 26, 2003

Algebraic Geometry and Number Theory参考文献 14被引用数 21

ひとこと要約

本論文は、 genus-g Gromov-Witten 不変量において、余接線束クラスの (3g-1) 乗を含むものを、再帰的構造を介してより単純な不変量に表現する、新しい位相的再帰関係を確立する。Virasoro 制約と組み合わせることで、射影空間のすべての高 genus Gromov-Witten 不変量を計算可能な方法で決定することが可能となり、その根拠として、明示的な非ゼロ行列式の公式により、関連する線形系がフルランクであることを示した。

ABSTRACT

We state and prove a topological recursion relation that expresses any genus-g Gromov-Witten invariant of a projective manifold with at least a (3g-1)-st power of a cotangent line class in terms of invariants with fewer cotangent line classes. For projective spaces, we prove that these relations together with the Virasoro conditions are sufficient to calculate the full Gromov-Witten potential. This gives the first computationally feasible way to determine the higher genus Gromov-Witten invariants of projective spaces.

研究の動機と目的

• 高 genus Gromov-Witten 不変量において、余接線束クラスの高次のべきを含むものを、計算的に実行可能な再帰的関係に簡約する実用的な位相的再帰関係の開発。
• 任意の genus に適用可能な最小で普遍的な形に焦点を当てることで、従来の再帰関係の計算不能性を克服する。
• この再帰関係と Virasoro 制約を組み合わせることで、射影空間の Gromov-Witten ポテンシャルを完全に決定できることを証明する。
• 係数行列の行列式を計算し、それが非ゼロであることを示すことで、得られる線形系の可解性を確立する。
• 組み込み幾何学における高 genus 不変量を体系的かつアルゴリズム的に計算するための構成的枠組みを提供する。

提案手法

• 忘却写像を介して $\overline{M}_{g,1}$ から $\overline{M}_{g,n}(\mathbb{P}^r, \beta)$ に tautological 関係 $\psi_1^{3g-1} = 0$ を引き戻すことにより、位相的再帰関係を導出する。この際、補正項を注意深く追跡する。
• 補正項を普遍的かつ genus に依存しない形で表現するため、補助的相関関数 $\langle\!\langle \cdots \rangle\!\rangle^i$ を再帰的に定義する。
• 得られた不変量に Virasoro 制約を適用する。これにより、genus と標識点数の再帰が可能となり、有限系に帰着される。
• 次数 $d_0, \dots, d_{3g-2}$ に対応する $3g-1$ 個の異なる Virasoro 条件を選択し、$3g-1$ 個の未知数に対する $3g-1$ 個の線形方程式系を構成する。
• この方程式系の係数行列の行列式を計算し、それが非ゼロであることを証明する。これにより、方程式系は一意に解けることが保証される。
• 明示的な行列式の公式 $\frac{\prod_{i>j}(d_i - d_j)}{\prod_{i=1}^{3g-2} i!} \cdot \prod_{i=1}^{3g-2} \left(i + \frac{1}{2}\right)^{3g-1-i}$ を用いて、フルランクであることと解の一意性を確認する。

実験結果

リサーチクエスチョン

• RQ1 genus-g Gromov-Witten 不変量に $\psi^{3g-1}$ を含む場合、計算的に実行可能な方法でより単純な不変量に還元できるような位相的再帰関係を定式化できるか？
• RQ2 このような再帰関係と Virasoro 制約を組み合わせることで、射影空間の Gromov-Witten ポテンシャルを完全に決定できるか？
• RQ3 Virasoro 制約と新しい再帰関係を適用した際に生じる線形系がフルランクであるか、一意に解けるか？
• RQ4 この線形系の係数行列の行列式を明示的に計算でき、かつすべての次数の選択に対して非ゼロであるか？
• RQ5 この枠組みを用いて、$\mathbb{P}^r$ における具体的な高 genus Gromov-Witten 不変量を体系的かつアルゴリズム的に計算できるか？

主な発見

• 本論文は、再帰的に定義された補助関数を用いて、$\langle\!\langle \tau_{3g-1+m}(\gamma) \rangle\!\rangle_g$ を低次の不変量の積の和として表現する、新しい位相的再帰関係を確立した。
• 補助関数 $\langle\!\langle \cdots \rangle\!\rangle^i$ は普遍的であり、genus $g$ に依存しないため、異なる genus 間での応用が容易である。
• Virasoro 制約と再帰関係から導かれる線形方程式系の行列式は非ゼロであり、具体的には $\frac{\prod_{i>j}(d_i - d_j)}{\prod_{i=1}^{3g-2} i!} \cdot \prod_{i=1}^{3g-2} \left(i + \frac{1}{2}\right)^{3g-1-i}$ に等しいことが証明された。これにより、一意に解けることが保証された。
• この行列式の公式は、背後にある方程式の複雑さに比べて驚くほど単純であり、Virasoro 制約と位相的再帰の間にはより深い構造的関係が存在する可能性を示唆している。
• 本手法により、$\mathbb{P}^r$ のすべての高 genus Gromov-Witten 不変量を、初めて構成的かつ実行可能に計算可能となった。$\mathbb{P}^2$ および $\mathbb{P}^3$ に対する不変量の明示的な表が提示された。
• 具体的な例として、$\mathbb{P}^2$ における $\langle \text{pt}^{3d-1+g} \rangle_{g,d}$ および $\mathbb{P}^2$ と $\mathbb{P}^3$ における $\langle \tau_m(\gamma) \rangle_{g,d}$ の計算が行われ、既知の結果と整合し、高 genus および高次数における新しい値が得られた。