[論文レビュー] Logarithmic Geometry and Moduli

Dan Abramovich, Qile Chen+5 more|arXiv (Cornell University)|Jun 30, 2010

Algebraic Geometry and Number Theory参考文献 46被引用数 42

ひとこと要約

この論文は、特異的・退化する多様体のモジュライ空間を構成・分析するための基礎的ツールとして対数幾何学を確立し、特に対数滑らか曲線と対数安定写像を通じてそれを実現する。対数構造が変形理論的障害を自然に記述すること、d-半安定性を統一すること、拡張された退化構造を必要とせず完璧な障害理論をもたらすことにより、対数安定写像の正しい、射影的で、基本的モジュライ空間を有する。

ABSTRACT

We discuss the role played by logarithmic structures in the theory of moduli.

研究の動機と目的

• 特異的・退化する多様体のモジュライを研究するための自然な枠組みとして、対数構造が提供されることを示すこと。
• 拡張された退化構造の代わりに、内在的な対数構造を用いることで、モジュライ空間における変形理論的問題を解決すること。
• d-半安定性と正則的交わりの退化を、同一の対数形式論で統一すること。
• 対数安定写像に対して、射影的で基本的モジュライ空間を有する対数的デリーニュ＝マクマーレンスタックを構成すること。
• 対数スキームのスタック上の相対的な対数写像が完璧な障害理論を有することを確立し、仮想基本類を可能にすること。

提案手法

• 相対的な対数微分形式が豊富であるような、細かく飽和した対数スキーム上の曲線の族として対数滑らか曲線を定義する。
• 対数微分形式 Ω_X(log D) と商 Ω_X(log D)/f^*Ω_S(log s) を用い、特異的ファイバーでも滑らかさに類似した振る舞いを回復する。
• 対数的安定写像のモジュライスタック M̄_Γ(X) を、細かく飽和した対数スキームの圏上のファイバードカテゴリとして構成する。
• M̄_Γ(X) の基本的スタックが最小対数構造を持つ写像をパラメトライズすることを示し、Kimの手法を一般化する。
• M̄_Γ(X) が対数的デリーニュ＝マクマーレンスタックであり、射影的で基本的モジュライ空間を有することを証明する。また、古典的モジュライスタックに対して固有かつ準有限であることを示す。
• 対数変形理論とスタック LOG を用いて障害複体を記述し、完璧な障害理論に至る。

実験結果

リサーチクエスチョン

• RQ1 対数構造は、多様体のモジュライ空間における非滑らか化可能な退化の問題をどのように解決できるか？
• RQ2 d-半安定性は、対数的枠組み内で自然に一般化され、統一可能か？
• RQ3 対数写像のスタックが、基本対象に対して局所的に有限型であり、固有であるための条件は何か？
• RQ4 拡張された退化構造を用いずに、対数安定写像に対して完璧な障害理論を構成可能か？
• RQ5 最小対数構造は、対数写像とその変形理論をパラメトライズする上で果たす役割は何か？

主な発見

• 対数滑らか曲線のモジュライ空間は、古典的安定曲線のモジュライ空間と同型であり、対数幾何学が古典的ケースを自然に捉えていることを示している。
• 対数構造はd-半安定性を包含し、退化のためのより柔軟で内在的な枠組みを提供する。
• 対数的安定写像のスタック M̄_Γ(X) は、射影的で基本的モジュライ空間を有する対数的デリーニュ＝マクマーレンスタックである。
• M̄_Γ(X) は、古典的モジュライスタック M̄_Γ(underline{X}) に対して固有かつ準有限であり、良好なコンパクト性を保証する。
• 対数的安定写像は、スタック LOG に対する相対的な完璧な障害理論を有し、拡張された退化構造を必要とせず仮想基本類を可能にする。
• 写像 f: Z → X を対数スキーム上に引き上げるカテゴリは自然なスタック構造を有し、インertiaスタックを一般化し、Gromov–Witten理論における接触順序を捉える。