[論文レビュー] Gorenstein stable surfaces with $K_X^2 = 1$ and $p_g>0$

Marco Franciosi, Rita Pardini+1 more|arXiv (Cornell University)|Nov 10, 2015

Algebraic Geometry and Number Theory参考文献 2被引用数 5

ひとこと要約

本稿では、$K_X^2 = 1$ かつ $p_g > 0$ であるGorenstein安定曲面を、重み付き射影空間内の完全交差として埋め込むことで分類する。$p_g = 2$ の場合は $
\mathbb{P}(1,1,2,5)$ 内の10次超曲面として、$p_g = 1$ の場合は $
\mathbb{P}(1,2,2,3,3)$ 内の双次数 $(6,6)$ の完全交差として、それぞれ標準的埋め込みが成り立つ。著者らは、モジュライ空間 $
\mathcal{M}^{\text{Gor}}_{1,3}$ および $
\mathcal{M}^{\text{Gor}}_{1,2}$ の有理型および既約性を確立し、すべてのKodaira次元を実現する例を構成した。非Gorensteinの場合、特異な特異点を含む例も含む。

ABSTRACT

In this paper we consider Gorenstein stable surfaces with $K^2_X=1$ and positive geometric genus. Extending classical results, we show that such surfaces admit a simple description as weighted complete intersection. We exhibit a wealth of surfaces of all possible Kodaira dimensions that occur as normalisations of Gorenstein stable surfaces with $K_X^2=1$; for $p_g=2$ this leads to a rough stratification of the moduli space. Explicit non-Gorenstein examples show that we need further techniques to understand all possible degenerations.

研究の動機と目的

• Gorenstein安定曲面を $K_X^2 = 1$ かつ正の幾何的 genus を満たすように、明示的な埋め込みを用いて分類すること。
• 古典的な canonical model の結果を、特に $p_g = 1$ および $p_g = 2$ の場合に、安定曲面の設定へと拡張すること。
• $\mathcal{M}^{\text{Gor}}_{1,3}$ のモジュライ空間を、二重 canonical 写像および分岐除集合に基づいて層化すること。
• Gorensteinおよび非Gorenstein安定曲面の明示的例を構成し、$K_X^2 = 1$ かつ $p_g = 2$ である場合、任意のKodaira次元を実現すること。
• 標準的埋め込みの限界を明らかにするために、$
  \mathbb{P}(1,1,2,5)$ に埋め込めない非Gorenstein例を提示すること。

提案手法

• 重み付き完全交差埋め込みを用いて、Gorenstein安定曲面を重み付き射影空間内の超曲面または完全交差として実現する。
• canonical ring 理論および多様体の多様体写像解析を用いて、曲面の幾何を制御する。
• 特定の除集合上に分岐する2重被覆の構成により、所望の特異点および不変量を持つ曲面を実現する。
• Hurwitzの公式および等変層の分解を用いて、特に $\mathbb{Z}/4$-被覆の循環的およびGalois被覆を分析する。
• $\mathbb{P}^2$ 内の除集合の退化を用いた明示的幾何的構成法。たとえば、一部の成分が共通点を通過させることで特異点を生成する。
• 半対数正則曲面の文脈において、正規化および特異点の解析を、導出イデアルおよびlog- canonical 対を用いて行う。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein安定曲面で $K_X^2 = 1$ かつ $p_g > 0$ であるものについて、重み付き射影空間への埋め込みによって一様に記述可能か？
• RQ2 $p_g = 2$ の場合のモジュライ空間 $\mathcal{M}^{\text{Gor}}_{1,3}$ の構造は何か？また、二重 canonical 写像の幾何に基づいて層化可能か？
• RQ3 Gorenstein安定曲面で $K_X^2 = 1$ かつ $p_g = 2$ であるものについて、その最小解消のKodaira次元は任意に取り得るか？
• RQ4 非Gorenstein安定曲面で $K_X^2 = 1$ かつ $p_g = 2$ であるものについて、可能な特異点および不変量は何か？
• RQ5 非Gorenstein例として、$\mathbb{Z}/4$ のような特異なGalois群作用を持つものが、Gorenstein曲面の退化として現れるか？

主な発見

• Gorenstein安定曲面で $K_X^2 = 1$ かつ $p_g = 2$ であるものは、$
  \mathbb{P}(1,1,2,5)$ の滑らかさの部分に属する10次超曲面として、標準的埋め込みが成り立つ。
• Gorenstein安定曲面で $K_X^2 = 1$ かつ $p_g = 1$ であるものは、$
  \mathbb{P}(1,2,2,3,3)$ の滑らかさの部分に属する双次数 $(6,6)$ の完全交差として、標準的埋め込みが成り立つ。
• $\mathcal{M}^{\text{Gor}}_{1,3}$ は、Gorenstein安定曲面で $K_X^2 = 1$、$\chi = 3$ の場合、次元28の有理的かつ既約なモジュライ空間である。
• $\mathcal{M}^{\text{Gor}}_{1,2}$ は、Gorenstein安定曲面で $K_X^2 = 1$、$\chi = 2$ の場合、次元18の有理的かつ既約なモジュライ空間である。
• 明示的例により、Gorenstein安定曲面で $K_X^2 = 1$ かつ $p_g = 2$ であるものの最小解消は、任意のKodaira次元（有理曲面、Enriques曲面、正則な楕円曲面を含む）を取り得ることが示された。
• 非Gorenstein例は、$
  \mathbb{P}(1,1,2,5)$ に標準的埋め込みされないものも存在する。特に、$\frac{1}{4}(1,1)$ 型の特異点と $A_1$ 点を持つ $\mathbb{P}^2$ 上の $\mathbb{Z}/4$-被覆の例があり、非Gorensteinの退化には新たな技術が必要であることを示している。