[論文レビュー] Logarithmic Gromov-Witten invariants

Mark Gross, Bernd Siebert|arXiv (Cornell University)|Feb 21, 2011

Algebraic Geometry and Number Theory参考文献 20被引用数 6

ひとこと要約

この論文は、新しい「基本的」な対数構造の概念を用いて、対数的グロモフ＝ウイッテン不変量の基礎的理論を構築し、モジュライスタックの代数的性と有界性を保証する。この理論により、基本的安定対数写像のスタックが、底面のスキーム上で局域的に有限型の代数的対数スタックであり、分離された対角を持つことが示され、自然なトロピカル化関手を通じて対数幾何と結びつくことが明らかになった。

ABSTRACT

The goal of this paper is to give a general theory of logarithmic Gromov-Witten invariants. This gives a vast generalization of the theory of relative Gromov-Witten invariants introduced by Li-Ruan, Ionel-Parker, and Jun Li, and completes a program first proposed by the second named author in 2002. One considers target spaces X carrying a log structure. Domains of stable log curves are log smooth curves. Algebraicity of the stack of such stable log maps is proven, subject only to the hypothesis that the log structure on X is fine, saturated, and Zariski. A notion of basic stable log map is introduced; all stable log maps are pull-backs of basic stable log maps via base-change. With certain additional hypotheses, the stack of basic stable log maps is proven to be proper. Under these hypotheses and the additional hypothesis that X is log smooth, one obtains a theory of log Gromov-Witten invariants.

研究の動機と目的

• 対数的滑らかさの設定におけるグロモフ＝ウイッテン不変量の一般的代数的幾何的枠組みを構築すること。
• 従来の相対グロモフ＝ウイッテン理論における技術的困難を、ファミリーの基底に普遍的な「基本的」対数構造を導入することで解決すること。
• 「基本性」の新しい概念を用いて、安定対数写像のモジュライスタックの代数的性と準コンパacts性を確立すること。
• 自然なトロピカル化関手を通じて、安定対数写像の幾何とトロピカル曲線を関手的かつ幾何的に意味のある方法で結びつけること。
• 分解公式と退化・相対不変量における次元削減のための基盤を提供すること。

提案手法

• 対数スキームの圏を定義し、対数的滑らかさを持つ領域を備えた写像としての安定対数写像をこの圏内のモルフィズムとして定義する。
• ゴースト・シーフにかかる条件を通じて「基本的」安定対数写像の核心的概念を定義し、幾何的に自然な振る舞いと代数的性を保証する。
• オルソンの細かい対数構造の代数的スタックと、対数的モルフィズムの代表可能性結果を用いて、基本的安定対数写像のスタックが代数的であることを証明する。
• 各安定対数写像に、Trop(X) と呼ばれる標準的な多面体空間内のトロピカル曲線の族を関手的に割り当てるトロピカル化関手を構成する。この関手は、特殊化と対数構造のモルフィズムと整合する。
• 特にゴースト・シーフに Q をテンソルしたもののグローバル生成性が成り立つ場合に、ホモロジー類の組合せ的有限性を用いて有界性結果を適用する。
• モノドロミー自由な対数スキームの概念を導入し、Trop(X) における病理的同定を避けるために、良好に振る舞うトロピカル化を保証する。

実験結果

リサーチクエスチョン

• RQ1 従来の相対理論の技術的複雑さを避ける一般的代数的対数的グロモフ＝ウイッテン不変量理論を、対数幾何の枠組みで構築可能か？
• RQ2 ファミリーの基底における「基本的」対数構造の正しい定義は何か？ これにより、モジュライスタックの代数的性と有界性が保証されるか？
• RQ3 安定対数写像のモジュライ空間を、関手的かつ幾何的に意味のある方法でトロピカル幾何と結びつけるにはどうすればよいか？
• RQ4 基本的安定対数写像のモジュライスタックが準コンパクトである条件は何か？ これはホモロジー類の組合せ的有限性とどのように関係するか？
• RQ5 ゴースト・シーフとその双対は、安定対数写像の幾何とそのトロピカル版を制御するために果たす役割は何か？

主な発見

• 底面 S 上の細く飽和した対数スキーム X への基本的安定対数写像のスタックは、S の底面スキーム上で局所的に有限型の代数的対数スタックであり、分離された対角を持つ。
• 基本的安定対数写像のスタックから通常の安定写像のスタックへの忘却モルフィズムは、代表可能である。これにより、新理論が古典的グロモフ＝ウイッテン理論と結びつく。
• ゴースト・シーフに Q をテンソルしたものがグローバル生成される場合、ホモロジー類 β の組合せ的有限性が確立される。これは、例えば genus 0 あるいは単純な交差分岐超曲面の場合に成立する。
• 安定対数写像のトロピカル化は、Hom(Q, R≥0) でパラメータ付けられたトロピカル曲線の族を生じ、Trop(X) への自然な写像を持つ。ここで Trop(X) は基本的モノイドの双対である。
• モノドロミー自由な対数スキームでは、Trop(X) は病理的同定を避ける良好な多面体複体となる。そうでない場合には、より抽象的なトロピカルスタックの解釈が必要となる可能性がある。
• この理論は、退化や相対不変量における分解公式の自然な枠組みを提供し、ジュン・リの理論およびシンプレクティック的手法を一般化する。