[論文レビュー] WDVV-Type Relations for Disk Gromov-Witten Invariants in Dimension 6

Xujia Chen, Aleksey Zinger|arXiv (Cornell University)|Apr 8, 2019

Geometric and Algebraic Topology参考文献 19被引用数 7

ひとこと要約

本稿は、特定の対称性を持つ実シンプレクティック六重多様体におけるディスク・グロモフ・ミラーワイナー不変量について、WDVV型の関係を確立する。これは、以前の四重多様体における結果を拡張するものである。実安定曲線のモジュライ空間から得られるホモロジー関係を、安定写像のモジュライ空間へと持ち上げ、群の対称性について平均化することで、Welschinger不変量の計算を低次の不変量に還元する微分方程式を導出する。これにより、特に正次元の挿入を持つ実有理曲線の数え上げに対する有効な下界が得られ、Alcoladoの予想（$\mathbb{P}^3$ について）を確認・拡張する。この枠組みは、$\mathbb{P}^3$ におけるKollárの消去結果と整合しており、リンク数に依存せず、従来の予想とは異なる。

ABSTRACT

The first author's previous work established Solomon's WDVV-type relations for Welschinger's invariant curve counts in real symplectic fourfolds by lifting geometric relations over possibly unorientable morphisms. We apply her framework to obtain WDVV-style relations for the disk invariants of real symplectic sixfolds with some symmetry, in particular confirming Alcolado's prediction for $\mathbb{P}^3$ and extending it to other spaces. These relations reduce the computation of Welschinger's invariants of many real symplectic sixfolds to invariants in small degrees and provide lower bounds for counts of real rational curves with positive-dimensional insertions in some cases. In the case of $\mathbb{P}^3$, our lower bounds fit perfectly with Kollár's vanishing results.

研究の動機と目的

• 実シンプレクティック四重多様体におけるSolomonのWDVV型関係を、対称性を持つ実シンプレクティック六重多様体へと拡張すること。
• Alcoladoの$\mathbb{P}^3$ 予想を確認し、他の実シンプレクティック六重多様体へ一般化すること。
• 生成関数に関する構造的ODEを用いて、Welschinger不変量の計算を小次元不変量に還元すること。
• 実代数的三重多様体における正次元挿入を持つ実有理曲線の数え上げに対する有効な下界を提供すること。
• 有限対称性群による平均化と実・複素不変量への分解により、曲線の数え上げにおける制約依存性を排除すること。

提案手法

• モジュライ空間 $\mathbb{R}\overline{\mathcal{M}}_{0,1,2}$ および $\mathbb{R}\overline{\mathcal{M}}_{0,0,3}$ からの零次元および一次元ホモロジー関係を、境界付きコボルディズムを用いて安定写像のモジュライ空間へと持ち上げる。
• 忘却写像における可定向性の障害を解消するため、$\widehat{\mathfrak{M}}_{k,l;l^*}(B;J)$ というカット構成を適用する。
• 定義1.2におけるように、群の平均化を用いて特定の曲線制約に依存しない不変量を実現する。
• 命題5.6および5.7を用いて、平均化された不変量を、既約な実曲線および複素曲線に対応する成分に分解する。
• 生成関数のための2つのWDVV風ODE（1.19）および（1.20）を導出する。
• モジュライ空間上の相対的向きと次数計算を用いて、指定された挿入を持つ曲線の符号付き数え上げを定義する。

実験結果

リサーチクエスチョン

• RQ1 六次元において、Welschinger不変量のWDVV型関係は存在するのか。その形はどのようなものか？
• RQ2 Alcoladoの$\mathbb{P}^3$ 予想は、体系的な枠組みを用いて確認され、他の実シンプレクティック六重多様体へ拡張可能か？
• RQ3 対称性による平均化は、ディスク・グロモフ・ミラーワイナー不変量における制約依存性をどのように排除できるか？
• RQ4 実代数的三重多様体における正次元挿入を持つ実有理曲線の数え上げに対して、どのような下界を確立できるか？
• RQ5 導出された生成関数のためのODEは、不変量の計算を小次元にどのように還元するか？

主な発見

• 本稿は、$\u005c mathbb{P}^3$ におけるAlcoladoの予想を、[1]と一致するが一般空間向けに構造を修正した2つのWDVV風ODE（1.19）および（1.20）を導出することで確認する。
• ODE（1.19）および（1.20）は、ディスク不変量を小次元不変量に完全に還元することができ、有効な計算を可能にする。
• $\u005c mathbb{P}^3$ において、導出された実立方曲線の数え上げに対する下界は、Kollárの消去結果と一致し、フレームワークの妥当性を裏付ける。
• 本手法により、[12]で除外されないすべてのケースについて、実立方曲線に対する非自明な下界が得られ、表1では太字で示されている。
• このフレームワークはリンク数に依存せず、[17]の従来の予想とは異なり、制約が固定された場合、標的の対称性仮定なしに適用可能である。
• 平均化された不変量は、実曲線と複素曲線の数え上げに明確に分解され、命題5.6および5.7を用いてWelschinger不変量の構造的分解が可能になる。