[論文レビュー] Stable pair compactifications of the moduli space of degree one del pezzo surfaces via elliptic fibrations

Kenneth Ascher, Dori Bejleri|arXiv (Cornell University)|Feb 2, 2018

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

ひとこと要約

本稿では、有理的楕円的表面に安定対理論を適用することで、1次デル・フェッツォ表面のモジュライ空間の幾何的コンパクト化を構成する。重み付き安定楕円的表面のKSBAコンパクト化における壁交叉を分析することにより、著者たちは一意のモジュライ空間族 $ρ(a)$ を定義し、$ρ(1/12 + \epsilon)$ が普遍族が拡張可能な最小コンパクト化を提供することを示している。これはGITおよびバイリー＝ボレルコンパクト化における主要な問題を解決する。

ABSTRACT

A degree one del Pezzo surface is the blowup of P^2 at 8 general points. By the classical Cayley-Bacharach Theorem, there is a unique 9th point whose blowup produces a rational elliptic surface with a section. Via this relationship, we construct a stable pair compactification of the moduli space of anti-canonically polarized degree one del Pezzo surfaces.

研究の動機と目的

• 可能に退化する表面を含む1次デル・フェッツォ表面のモジュライ空間の幾何的コンパクト化を構築し、普遍族を支持するものとする。
• 既存のコンパクト化（GITおよびバイリー＝ボレル）における普遍族の境界での拡張不能性を解消する。
• 重み付きマーク付きファイバーを備えた有理的楕円的表面の安定対コンパクト化を通じて、境界ストラタのモジュラー解釈を確立する。
• 壁交叉技術を用いて、GIT、KSBA、およびバイリー＝ボレルコンパクト化の間の双有理的関係を明確化する。

提案手法

• 1次デル・フェッツォ表面の反標準線形系統の基本点を吹き上げることで得られる有理的楕円的表面の構造を利用する。
• 重み付きマーク付きファイバーを備えた有理的楕円的表面のモジュライ空間をコンパクト化するために、KSBA（Kollár-Shepherd-Barron-Alexeev）理論の安定対を適用する。
• 重み付き安定楕円的表面における安定性条件の変動を通じて、$1/12 < a \leq 1$ の一パラメータ族 $ρ(a)$ のモジュライ空間を構成する。
• 重み付き安定楕円的表面のモジュライ空間における壁交叉を分析し、$a = 1/12 + \epsilon$ や $a = 1/6$ といった臨界値を同定する。
• KSBAコンパクト化 $ρ(1/12 + \epsilon)$ からミランダのGITコンパクト化 $W$ への準同型を確立し、これはミランダのGITコンパクト化の厳密に半安定部分集合に沿った吹き上げであることを示す。
• 空間 $ρ(1/6)$ が判別式の分岐領域 $π^*$ に支配的かつ全単射に写像され、バイリー＝ボレルコンパクト化 $(_{\Gamma_0}\backslash\mathbb{B}_0)^*$ に同型であることを示し、普遍族の拡張問題を解決する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、退化する1次デル・フェッツォ表面（普遍族を含む）をパラメトライズする正しいDeligne-Mumfordスタックを構築できるか？
• RQ2 KSBAコンパクト化 $ρ(1/12 + \epsilon)$ とミランダのGITコンパクト化 $W$ の正確な双有理的関係は何か？
• RQ3 1次デル・フェッツォ表面の普遍族を、モジュラーな方法で境界に拡張することは可能か？
• RQ4 KSBAコンパクト化 $ρ(a)$ の境界ストラタは、有理的楕円的表面の幾何およびその特異ファイバーとどのように関係するか？
• RQ5 KSBAコンパクト化が、有理的楕円的表面の文脈において、GITとバイリー＝ボレルコンパクト化の間を補間する程度はどの程度か？

主な発見

• $ρ(1/12 + \epsilon)$ のモジュライ空間は、内部で至るところ有理的ダブル点特異をもつ1次デル・フェッツォ表面の空間をコンパクト化する正しいDeligne-Mumfordスタックである。
• $ρ(1/12 + \epsilon)$ の境界は、2-ゴレンシュタインの半正則特異点を持つ、2つの既約成分からなる単一の除数からなる。各成分は正則で、反標準線形系統が非常に正である。
• 写像 $R(1/12 + \epsilon) \to W$ は、ミランダのGITコンパクト化の厳密に半安定部分集合に沿った吹き上げであり、境界は二重部分集合の$j$-不変量へ写像される。
• 空間 $ρ(1/6)$ は判別式領域 $π^*$ に支配的に写像され、バイリー＝ボレルコンパクト化 $(_{\Gamma_0}\backslash\mathbb{B}_0)^*$ に同型である。これにより、普遍族の拡張問題が解決される。
• $ρ(1/6)$ は、1次デル・フェッツォ表面の普遍族が拡張可能な最小コンパクト化であり、非粗い部分集合を除いて $W^*$ に同型である。
• 著者らは、変化する係数をもつKSBAコンパクト化が、GITとバイリー＝ボレルコンパクト化の間を補間する一般的枠組みを提供すると提案している。これはモジュラー的かつ幾何的に意味のあるブリッジを提供する。