[論文レビュー] A simply connected numerical Godeaux surface with ample canonical class

Igor Dolgachev, C. Werner|ArXiv.org|Apr 25, 1997

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

ひとこと要約

本稿では、4つの単純な楕円的特異点をもつ $×××\mathbb{P}^3$ 内の $\sigma$-不変な5次曲面を用いて、有界な canonical 線分束をもつ、初めて知られている単連結な数的 Godeaux表面を構成する。特異点を解消し、二重平面モデルを解析することで、表面が $(-2)$-曲線を含まないことが証明され、単連結性および canonical 線分束の有界性が確認された。

ABSTRACT

We prove that a recent construction of a numerical Godeaux surface due to P. Craighero and R. Gattazzo is simply connected, and show how to realize their construction as a double plane. By proving that the surface contains no (-2)-curves, we obtain that this is the first example of a simply connected surface with vanishing geometric genus and ample canonical class.

研究の動機と目的

• 有界な canonical 線分束をもつ単連結な数的 Godeaux表面の新しい例を構成すること。
• Craighero-Gattazzo 表面が $(-2)$-曲線を含まないことにより、単連結であることを示すこと。
• 表面を、特定の特異点をもつ10次曲線に沿って分岐する二重平面としての有理型モデルを提供すること。
• Barlow 表面やトーショングループが非自明な基本群をもつ古典的 Godeaux 表面と区別すること。
• 表面が Barlow 表面と変形同値であるか、それとも単連結な数的 Godeaux 表面の新たな族に属するかを調査すること。

提案手法

• 4次元射影自己同型 $\sigma$ をもち、指定された固定点をもつ $\mathbb{P}^3$ 内の5次曲面を構成する。
• パラメータを満たす特定の5次同次多項式 $F_5$ の形を用い、4つの座標点に $z^2 + x^3 + y^6 = 0$ 型の特異点を保証する。
• 最小解消 $\pi: V \to S$ を用いて特異点を解消し、$p_g = 0$、$K_V^2 = 1$ をみたす一般型の極小表面 $V$ を得る。
• $\sigma^2$-不変な直線 $r$ に対応する滑らかな有理曲線 $R = \pi^{-1}(r)$ を特定し、$R^2 = -3$、$K_V \cdot R = 1$ を満たす。
• $\sigma^2$ の5つの固定点 $Q_0, \dots, Q_4$ を $V$ 上で blowing up して $V'$ を得た後、商 $F = V' / \sigma^2$ を形成し、二重平面モデルを構成する。
• $|3K_V - R|$ の線形系を解析し、4つの交わらない $(-2)$-曲線を同定し、Picard 群および torsion 構造における背理法を用いてそれらの存在を除外する。

実験結果

リサーチクエスチョン

• RQ1 有界な canonical 線分束をもつ単連結な数的 Godeaux表面を明示的に構成できるか？
• RQ2 表面に $(-2)$-曲線が存在しないことは、その基本群が自明であることを示唆するか？
• RQ3 表面の二重平面モデルは、5つの $(3,3)$-特異点と1つの通常の4重点をもつ10次曲線に沿って分岐するか？
• RQ4 Craighero-Gattazzo 表面は Barlow 表面と変形同値か？
• RQ5 表面は、特定の分岐locusをもつ有理面への二重被覆として実現可能か？

主な発見

• 構成された表面は、$(-2)$-曲線を含まないため単連結である。これは、4つのこのような曲線を含む Barlow 表面とは対照的である。
• canonical 線分束 $K_V$ は有界である。これは、2倍 canonical 系に固定部分がなく、$V$ が極小であることから確認された。
• 表面は、5つの $(3,3)$-特異点と1つの通常の4重点をもつ10次曲線に沿って分岐する二重平面モデルをもつ。
• 表面の基本群は自明であり、$\mathbb{Z}/2\mathbb{Z}, \mathbb{Z}/3\mathbb{Z}, \mathbb{Z}/4\mathbb{Z}, \mathbb{Z}/5\mathbb{Z}$ のような非自明な基本群をもつ古典的 Godeaux 表面とは区別される。
• 表面は Barlow 表面と同型でない。Barlow 表面は4つの $(-2)$-曲線を含むが、本構成ではそれらが存在しない。
• Picard 群および torsion 構造における背理法により、4つの交わらない $(-2)$-曲線の存在が除外され、表面の単連結性が確認された。