[論文レビュー] The degeneration formula for logarithmic expanded degenerations

Qile Chen|arXiv (Cornell University)|Sep 22, 2010

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

ひとこと要約

本稿は、アブラモビッチ＝ファンテキのオルビフォールド技術とキムの対数的安定写像を組み合わせることで、マークされた点と除法から生じる対数構造を両方取り入れた、対数的拡張された退化の分解公式を確立する。主な貢献は、[AF]の構造と一致する分解公式を可能にする仮想基本類の構成であり、この文脈において横断的写像と対数的安定写像の同値性を証明する。

ABSTRACT

We define a notion of logarithmic stable maps based on Bumsig Kim's construction. Then we prove a degeneration formula under this setting by applying the method develeoped by Dan Abramovich and Barbara Fantechi for transversal maps.

研究の動機と目的

• 対数的構造を用いて、退化族における特異なファイバーにグロモフ＝ウィッテン理論を拡張すること。
• 拡張された退化において事前変形可能性が開集合でない問題を、対数的構造と仮想基本類を用いて解決すること。
• マークされた点と除法から生じる追加の対数的構造を有する対数的安定写像の完全な障害理論を構成すること。
• ペア (X_i, D_i) の相対的不変量に対する分解公式を、アブラモビッチ＝ファンテキの公式の構造と一致させるものとして証明すること。
• 退化の文脈において、横断的写像の理論と対数的安定写像の理論との間の概念的かつ技術的な橋渡しを確立すること。

提案手法

• キムの対数的安定写像の概念を採用するが、マークされた点と滑らかな除法からの寄与を含むように対数的構造を拡張する。
• 文献 [Kim09] と同じ手法を用いて対数的安定写像のスタックを構成し、[Ols05] の対数的接空間複体と整合性を保つ。
• 対数的接空間複体を用いて仮想基本類を構成し、[AF] のアプローチを適応することで横断性と完全な障害理論を保証する。
• 除法に沿ったルートスタックを用いて横断的写像を構成し、開条件を可能にするとともに、障害理論の構築を簡素化する。
• 本稿の対数的安定写像のモジュライスタックが [AF] のそれらと同型または同値であることを証明し、分割結果の移行を可能にする。
• 直線束の同型の組として対数的写像の貼り合わせを分析し、押し出し図式を避けることで仮想基本類の比較を可能にする。

実験結果

リサーチクエスチョン

• RQ1 マークされた点と除法からの対数的構造を強化した対数的安定写像を用いて、対数的拡張された退化のための分解公式を構築できるか？
• RQ2 マークされた点と除法からの対数的構造の取り入れ方が、安定写像の変形理論および障害理論にどのように影響するか？
• RQ3 本稿で構成された対数的安定写像の仮想基本類は、[AF] で得られた横断的写像によるものと整合するか？
• RQ4 対数的写像の貼り合わせは、押し出し図式ではなく、直線束の同型の組として記述できるか？
• RQ5 本稿の文脈において、[AF] における横断的写像の理論と、対数的安定写像の理論との関係は何か？

主な発見

• 対数的拡張された退化の分解公式は定理 7.1.3 で確立され、[AF] の公式の構造と一致する。
• 対数的安定写像スタックの仮想基本類は、対数的接空間複体を用いて構成され、完全な障害理論が保証される。
• 本稿の対数的安定写像のモジュライスタックは、[AF] のそれらと同型または同値であるため、分割結果の移行が可能である。
• 対数的写像の貼り合わせは、直線束の同型の組として特徴づけられ、仮想基本類の比較を明確に可能にする。
• 本稿は、[AF] における横断的写像の理論と、この文脈における対数的安定写像の理論との同値性について強く示唆するが、同値性の完全な証明は今後の研究に期待される。