[論文レビュー] Decomposition of degenerate Gromov-Witten invariants

Dan Abramovich, Qile Chen+2 more|arXiv (Cornell University)|Sep 28, 2017

Algebraic Geometry and Number Theory参考文献 33被引用数 28

ひとこと要約

本稿は、対数的退化における退化 Gromov-Witten 不変量の仮想分解公式を確立し、特異ファイバー上での安定対数的写像のモジュライ空間の仮想基本類が、退化のトロピカル化への剛性トロピカル写像からの寄与に分解されることを示している。主な結果は、トロピカル幾何と Artin ファンを用いて、任意の単純な対数的構造への古典的分解定理の一般化を達成する。

ABSTRACT

We prove a decomposition formula of logarithmic Gromov-Witten invariants in a degeneration setting. A one-parameter log smooth family X->B with singular fibre over b_0 \in B yields a family M(X/B,β) -> B of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over b_0 in terms of rigid tropical curves. This generalizes one aspect of known results in the case that the fibre X_{b_0} is a normal crossings union of two divisors. We exhibit our formulas in explicit examples.

研究の動機と目的

• 正規交叉でない場合を含めた退化族における Gromov-Witten 不変量の分解を一般化すること。
• 剛性トロピカル写像を用いて、対数的 Gromov-Witten 不変量の仮想分解公式を確立すること。
• 特異ファイバー上のモジュライ空間の仮想基本類を、Artin ファンと対数的修正を介してトロピカルデータと関連付けること。
• トロピカル幾何と仮想サイクル理論を用いて、退化状況における不変量の計算のための枠組みを提供すること。

提案手法

• 著者たちは、対数的安定写像とそのモジュライスタックを用いて、退化族における仮想基本類を定義する。
• トロピカル幾何を適用し、退化 X → B のトロピカル化に付随する多面体複体 Δ(X₀) を構成する。
• Δ(X) への剛性トロピカル写像 τ は、その組合せ型と重み mτ で分類され、辺長の整数スケーリングを反映する。
• 分解公式は、剛性トロピカル型の和として仮想クラスを表し、重み mτ / |Aut(τ)| と包含写像 jτ によるプッシュフォワードで重み付けされる。
• この手法は、事前対数的写像の強化を保証するため、対数的修正と横断的写像に依存している。
• 仮想サイクルは、障害理論と具体的な例（吹き上げとファノ表面内の曲線の退化）におけるチャーン類の計算により計算される。

実験結果

リサーチクエスチョン

• RQ1 正規交叉でない場合を含めた退化対数的族における Gromov-Witten 不変量は、どのように分解できるか？
• RQ2 トロピカルデータを用いて、特異ファイバー上での安定対数的写像のモジュライ空間の仮想基本類の正確な仮想分解は何か？
• RQ3 剛性トロピカル写像は、退化ファイバーの各成分が仮想基本類に与える寄与をどのように符号化するか？
• RQ4 分解公式は、対数的修正と全空間の吹き上げを通じて幾何的に実現可能か？
• RQ5 トロピカル化が非基本的または退化したトロピカル型に対応する場合、安定対数的写像の仮想数は何か？

主な発見

• 特異ファイバー上でのモジュライ空間の仮想基本類は、重み mτ / |Aut(τ)| を持つ剛性トロピカル写像 τ の和として分解され、これにより定理 3.11 が証明される。
• 立方曲線の線形系統における有理曲線の場合は、自明な障害 bundle がチャーン類 0 を持つため、仮想数が 0 になる。
• n₃ = 2 かつ n₁ = n₂ = 0 の場合、剛性トロピカル写像は基本的安定対数的写像から生じないが、吹き上げ後の精密なモジュライ空間における退化として現れる。
• X の4成分の吹き上げ後、中心ファイバーにおける安定写像のモジュライ空間は、2つの成分を持ち、それぞれ ℙ¹ × ℙ¹ に同型であり、各成分の仮想クラスは 𝒪(1) ⊕ 𝒪(1) の最高チャーン類に等しく、次数 1 を与える。
• n₁ = n₂ = 1 または n₁ + n₂ = 1 を持つトロピカル型の仮想クラスも、同型な障害空間と自明なチャーン類を持つため、0 になる。
• n₁ = 2 または n₂ = 2 の場合は不可能である。これは、成分像のホモロジー的制約により、そのようなトロピカル型を実現する安定対数的曲線が存在しないからである。