[論文レビュー] Remarks about bubbles

Michael McQuillan, Gianluca Pacienza|arXiv (Cornell University)|Nov 1, 2012

Algebraic Geometry and Number Theory参考文献 13被引用数 8

ひとこと要約

本稿は、snc境界付きの滑らかで穏やかなDeligne-MumfordスタックにおけるMoriのBend-and-Break定理の対数版を確立し、ネフかつ有効なコーンのコーン定理を証明する。このコーンは、非負部分と、有界な負性を持つ境界ストラタ内の有理曲線から来る可算個の放物的線（parabolic rays）で生成され、標準的でない、非固有の設定へと結果を拡張する。

ABSTRACT

We make some remarks about bubbling on, not necessarily proper, champs de Deligne-Mumford, i.e. compactification of the space of mappings from a given (wholly scheme like) curve, so, in particular, on quasi-projective projective varieties. Under hypothesis on both the interior and the boundary such as Remark ef{rmk:interior} below, this implies an optimal logarithmic variant of Mori's Bend-and-Break. The main technical remark is ef{thm:logMM}, while our final remark, the cone theorem, ef{rmk:cone}, is a variant.

研究の動機と目的

• klt や dlt の仮定がなくても、準射影的多様体および境界付きDeligne-MumfordスタックへのMoriのBend-and-Break技法の一般化を図ること。
• 対数幾何学的設定下でのMoriコーンの閉包に対するコーン定理を確立すること。
• 標準的変形理論が失敗する状況においても、有理曲線（境界ストラタ内の放物的曲線）がMoriコーンを生成する条件を同定すること。
• 非スキーム的設定における標準的Bend-and-Breakの失敗を、スタックへのマップのモジュライ空間を用いた精密化された構成により補うこと。
• 放物的線（𝔸¹からのマップを許容する曲線から来るもの）が、ネフコーンの負の部分で局所的に離散的であることを証明し、コーン定理の正当性を保証すること。

提案手法

• 境界 divisor の存在下で、Gromov収束とMark Greenの補題を用いて極限マップを分析し、バブル形成がストラタ内に有理曲線の存在を示すこと。
• 境界が任意の特異性を持つ場合でも、バブルの挙動を制御するため、補題4.7の技術的核を適用すること。
• 境界ストラタへのℙ¹からのマップのモジュライ空間を用いた変形論的議論を展開し、このようなマップの空間の次元の上限を用いること。
• 有理曲線のモジュライの次数に関する帰納法を用いて、厳密に小さい次数の新しい放物的曲線を構成し、収束を保証すること。
• Hilbertスキームの代わりに、滑らかで穏やかなDeligne-Mumfordスタックへの曲線の直接的構成を用い、Hilbertチャンプの形式的論法を回避すること。
• K2のコーン定理の証明を、$K_X$ を $K_{\mathscr{X}} + \Delta$ に置き換えることで適応し、対数スタック設定下でも同じ構造が成り立つことを保証すること。

実験結果

リサーチクエスチョン

• RQ1 MoriのBend-and-Breakは、klt や dlt の仮定なしに、準射影的多様体および境界付きDeligne-Mumfordスタックへ一般化可能か？
• RQ2 コンパクト化されたDeligne-Mumfordスタックの境界ストラタ内に、有理曲線（または𝔸¹からのマップ）が存在する条件は何か？
• RQ3 snc境界付きDeligne-MumfordスタックのMoriコーンは、非負部分と有限個の放物的線で生成されるか？
• RQ4 任意の境界特異性を持つスタックに対して、変形論的制御のみを用いて、対数設定下でのコーン定理を証明可能か？
• RQ5 非スキーム的設定下では、標準的正接因子と放物的曲線の交わりにおける負性の挙動は、スキームの場合と比べてどう異なるか？

主な発見

• 本稿は、対数コーン定理を証明する：$\overline{\mathrm{NE}}(\mathscr{X}) = \overline{\mathrm{NE}}(\mathscr{X})_{(K_\mathscr{X}+\Delta)\geq 0} + \sum_k \mathbb{R}_+[{\mathscr{L}}_k]$。ここで各 $[\mathscr{L}_k]$ は境界ストラタ内の曲線から来る放物的線である。
• 各放物的曲線 $\mathscr{L}_k$ は、$0 < -(K_\mathscr{X} + \Delta) \cdot \mathscr{L}_k \leq 2 \cdot \dim(X)$ を満たし、一様な負性の上限が得られる。
• 放物的線 $\mathbb{R}_+[{\mathscr{L}}_k]$ は $\mathrm{N}_1(\mathscr{X})_{(K_\mathscr{X}+\Delta)<0}$ 内で局所的に離散的であり、コーンが適切に振る舞うことを保証する。
• 境界が正則性を持たない場合（例：klt や dlt でない場合）でも、この構成は有効であり、非固有的および非スキーム的設定へも拡張可能である。
• 上限 $2 \cdot \dim(X)$ は最適ではない。特に非スキーム的状況では、修正された構成によりより良い上限（例：$\dim(X)+1$）が得られる。
• この結果により、$K_\mathscr{X} + \Delta$ が擬有効でない場合、モジュライ空間 $V$ が𝔸¹-マップの像で被覆されることを示し、固有の場合に既知の結果を一般化する。