[論文レビュー] Gromov-Witten theory via roots and logarithms

Luca Battistella, Navid Nabijou+1 more|arXiv (Cornell University)|Mar 31, 2022

Polynomial and algebraic computation被引用数 4

ひとこと要約

本稿は、 genus zero における単純な正則交差対 $(X|D)$ に対して、多様体の Gromov–Witten 理論から対数的 Gromov–Witten 理論への収束を、多重根スタックを用いて確立する。$\backslash$Lambda$-感受性ブローアップ条件を導入し、中間として単純な Gromov–Witten 理論を用いることで、著者らは十分に細分化されたストラタのブローアップが、オルビフォールド不変量と対数的不変量が同型であることを証明し、2つの理論を区別する主要因として双有理不変性が本質的であることを特定する。

ABSTRACT

Orbifold and logarithmic structures provide independent routes to the virtual enumeration of curves with tangency orders for a simple normal crossings pair $(X|D)$. The theories do not coincide and their relationship has remained mysterious. We prove that the genus zero orbifold theories of multi-root stacks of strata blowups of $(X|D)$ converge to the corresponding logarithmic theory of $(X|D)$. With fixed numerical data, there is an explicit combinatorial criterion that guarantees when a blowup is sufficiently refined for the theories to coincide. There are two key ideas in the proof. The first is the construction of a naive Gromov-Witten theory, which serves as an intermediary between roots and logarithms. The second is a smoothing theorem for tropical stable maps; the geometric theorem then follows via virtual intersection theory relative to the universal target. The results import new computational tools into logarithmic Gromov-Witten theory. As an application, we show that the genus zero logarithmic Gromov-Witten theory of a pair is determined by the absolute Gromov-Witten theories of its strata.

研究の動機と目的

• 単純な正則交差対 $(X|D)$ における対数的およびオルビフォールド Gromov–Witten 理論の間の長年の謎を解明すること。
• オルビフォールド不変量が対数的不変量に収束する、正確な幾何的条件を同定すること。
• ストラタ $D$ の絶対不変量を用いて、genus zero の対数的 Gromov–Witten 不変量を再構成する原理を確立すること。
• 新たな中間理論である「単純な Gromov–Witten 理論」を通じて、対数的からオルビフォールド不変量への計算的ブリッジを提供すること。
• 双有理不変性が、対数的理論とオルビフォールド理論を区別する本質的性質であることを示すこと。

提案手法

• オルビフォールド理論と対数的理論の間のブリッジとして、新たな「単純な」Gromov–Witten 理論を導入すること。
• $(X|D)$ のストラタに沿った繰り返しブローアップに対して、$\backslash$Lambda$-感受性という組合せ的条件を定義し、オルビフォールド不変量と対数的不変量の収束を保証すること。
• トロピカルな安定写像の滑らかさ定理を構築し、単純な理論と対数的理論の仮想サイクルを関連付けること。
• 普遍的ターゲットに関する仮想的交差理論を用いて、トロピカルな結果を幾何的設定に持ち上げること。
• オルビフォールドの量子 Lefschetz 定理を適用し、多重重根スタックの制限された Gromov–Witten 理論をストラタの不変量に還元すること。
• 射影バンドル上のトーラス作用を用いた局在化により計算を局在化し、固定点局在化および仮想押し出し定理を用いて寄与を計算すること。

実験結果

リサーチクエスチョン

• RQ1 $(X|D)$ のストラタのブローアップにおける多重重根スタックの genus zero オルビフォールド Gromov–Witten 不変量が、$(X|D)$ の対数的不変量と一致する条件は何か？
• RQ2 genus zero における対数的理論とオルビフォールド理論の乖離を説明する幾何的性質は何か？
• RQ3 $(X|D)$ の genus zero 対数的 Gromov–Witten 理論は、$D$ のすべてのストラタの絶対 Gromov–Witten 理論から再構成可能か？
• RQ4 単純な Gromov–Witten 理論は、オルビフォールドと対数的アプローチの間でどのように中間的役割を果たすか？
• RQ5 双有理不変性は、2つの理論を統合する上で果たす役割は何か？

主な発見

• $\backslash$Lambda$ という数値データを持つ genus zero の対数的 Gromov–Witten 不変量は、任意の $\backslash$Lambda$-感受性ブローアップ $(X^{ackslash$dagger$}|D^{ackslash$dagger$})\to(X|D)$ のオルビフォールド不変量と同型である。
• 多重重根オルビフォールド理論は、$\backslash$Lambda$-感受性条件のもとで、対数的理論に安定化する。これは収束結果の非自明な帰結である。
• $(X|D)$ の genus zero 対数的 Gromov–Witten 理論は、$D$ のすべてのストラタの絶対 Gromov–Witten 理論から一意に再構成可能であり、Maulik と Pandharipande の結果を一般化する。
• 多重重根スタック $\backslash$mathcal{X}$ の制限された genus zero Gromov–Witten 理論は、局在化および仮想押し出しを介して、$(X|D)$ のストラタの絶対理論によってアルゴリズム的に決定される。
• 局在化計算におけるオイラー類の項は、$\cap_{i\in I}D_i$ というストラタの交差の仮想基本クラスと一致し、絶対不変量への還元を確認する。
• ルートゲルベの仮想押し出し定理により、$\backslash$mathsf{Orb}$\backslash$Lambda$}(ackslash$mathcal{Z}$\backslash$mathrm{I}$)$ 上のオルビフォールド積分が、$\backslash$mathsf{M}$\backslash$Lambda$}(X)$ の粗いモジュライ空間上の積分に翻訳可能であり、その入力は $X$ から引き戻される。