[論文レビュー] Sheaves of maximal intersection and multiplicities of stable log maps

Jinwon Choi, Michel van Garrel+2 more|arXiv (Cornell University)|Aug 28, 2019

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

ひとこと要約

本稿は、対数ケーラー・ヤウ表面における種数0の対数グロモフ＝ウィッテン不変量への非剛性な不可約および可約${\mathbb{A}}^1$-曲線の寄与を計算する。非剛性な曲線のための対数1次元的層のモジュライ空間を構成し、2つの剛性曲線の直和の変形理論を明示的に記述し、対数安定写像不変量と相対安定写像不変量を比較する。主な結果は、非剛性の場合における対数的およびトロピカルな重みの正確な一致であり、可約な場合における相対不変量との対比である。

ABSTRACT

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the union of two rigid curves in general position. For the former, we construct and study a moduli space of "logarithmic" 1-dimensional sheaves and compare the resulting multiplicity with tropical multiplicity. For the latter, we explicitly describe the components of the moduli space and work out the logarithmic deformation theory in full, which we then compare with the deformation theory of the analogous relative stable maps.

研究の動機と目的

• 対数ケーラー・ヤウ設定における非剛性な不可約${\mathbb{A}}^1$-曲線が種数0の対数グロモフ＝ウィッテン不変量に与える寄与を計算すること。
• このような曲線のための対数1次元的層のモジュライ空間を研究し、その重みがトロピカル不変量とどのように関係するかを明らかにすること。
• 一般位置にある2つの剛性${\mathbb{A}}^1$-曲線の直和のための安定対数写像の成分と変形理論を明示的に記述すること。
• 可約な場合における安定対数写像のモジュライ空間と相対安定写像のモジュライ空間を比較し、変形理論における構造的差異を明らかにすること。

提案手法

• 対数ケーラー・ヤウ表面における非剛性${\mathbb{A}}^1$-曲線を研究するため、対数1次元的層のモジュライ空間を構築する。
• 局所座標と対数構造を用いて、2つの非崩壊成分をもつ安定対数写像の変形理論を分析する。
• 相対的コンパクト化ピック群スキームを用いて、対数設定における非特異性を研究する。
• 明示的な$\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$上の族を用いて、安定対数写像の変形理論と相対安定写像の変形理論を比較する。
• 可逆関数$\tilde{A}_i, \tilde{B}_i$と再パrametrization式を用いて、事前変形可能性および境界の引き戻し条件を検証する。
• 主結果[54]に依拠し、相対的安定写像のモジュライ空間が$\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$に同型であることを結論づける。これは、対数の場合とは異なり、2点スキームとは異なる。

実験結果

リサーチクエスチョン

• RQ1 非剛性な不可約${\mathbb{A}}^1$-曲線は、対数ケーラー・ヤウ設定における対数グロモフ＝ウィッテン不変量にどのように寄与するか？
• RQ2 非剛性の場合における安定対数写像の重みとトロピカル重みの関係は何か？
• RQ3 2つの剛性${\mathbb{A}}^1$-曲線からなる可約曲線に対して、安定対数写像と相対安定写像の変形理論はどのように異なるか？
• RQ4 一般位置にある2つの剛性${\mathbb{A}}^1$-曲線の直和のための安定対数写像のモジュライ空間の構造は何か？
• RQ5 なぜ、このような構成における相対的安定写像のモジュライ空間は1つの単一の被約点をもち、一方対数モジュライ空間は2つなのであろうか？

主な発見

• 非剛性な不可約${\mathbb{A}}^1$-曲線の重みは、対数1次元的層のモジュライ空間を用いて計算した結果、トロピカル重みと一致する。
• 一般位置にある2つの剛性${\mathbb{A}}^1$-曲線のための安定対数写像の変形理論は、非自明な変形データを持つ$\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$上の族を用いて明示的に記述できる。
• 同じ構成における相対的安定写像のモジュライ空間は$\mathrm{Spec}\ \mathbb{C}[s]/(s^2)$に同型であり、これは1つの無限小変形を示している。
• これに対して、同じ構成における安定対数写像のモジュライ空間は2つの被約点をもち、異なる変形構造を示している。
• 対数写像による境界除数の引き戻しは$4\cdot\tilde{x}_1$であることが確認され、対数設定における正しい重みが得られている。
• 可逆関数$\tilde{A}_i, \tilde{B}_i$を用いて事前変形可能性が検証され、$\tilde{A}_1\tilde{B}_1 = 2$および$\tilde{A}_2\tilde{B}_2 = 8$を満たすことで、対数構造と整合性が保証されている。