[論文レビュー] A simply connected surface of general type with p_g=0 and K^2=2

Yong‐Sun Lee, Jongil park|arXiv (Cornell University)|Sep 4, 2006

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿は、特定の$(-2)$-曲線の配置を持つ有理面上で、有理的ブロー・ダウンと${\mathbb{Q}}$-ゴレンシュタイン滑らかさ理論を用いて、初の既知の単連結で最小の一般型複素曲面を構成した。この曲面は、幾何的正則性$p_g = 0$で、自己交叉数$K^2 = 2$を満たす。この結果は、バロウ・サーフェスを除く一般型曲面の存在という、長年の代数幾何学の未解決問題を解決する。

ABSTRACT

In this paper we construct a simply connected, minimal, complex surface of general type with p_g=0 and K^2=2 using a rational blow-down surgery and Q-Gorenstein smoothing theory.

研究の動機と目的

• 既に知られていなかった、$p_g = 0$および$K^2 = 2$を満たす単連結で最小の一般型複素曲面の新規族の構成。
• バロウ・サーフェス（$K^2 = 1$）を除く、このような曲面が存在するかどうかという未解決問題の解決。
• ${\mathbb{Q}}$-ゴレンシュタイン滑らかさ理論と有理的ブロー・ダウン技術が、一般型曲面の構成に有効であることを示すこと。
• 有理的ブロー・ダウンにより得られた同じ配置を用いて構成されたシンプレクティック4次元多様体と同相であることが示される新例の提供により、シンプレクティック幾何と複素幾何の接続を図ること。

提案手法

• 特定の点での$\mathbb{P}^2$のブロー・アップにより、特殊な立方曲線束を解消する有理面$Y$を構成する。
• $Y$をさらにブロー・アップして、四つの互いに交わらない$(-2)$-曲線の鎖と、指定された自己交叉数を持つ他の有理曲線を含む曲面$\tilde{Z}$を構成する。
• これらの鎖を有理的ブロー・ダウンにより収縮し、クラス$T$の5つの特別な商特異点を持つ特異曲面$X$を生成する。これらは${\mathbb{Q}}$-ゴレンシュタイン特異点に対応する。
• ${\mathbb{Q}}$-ゴレンシュタイン滑らかさ理論を適用して、中心ファイバーが$X_0 = X$である滑らかさ族$\mathcal{X} \to \Delta$が存在することを示す。
• ミルナー・ファイバーの議論を用いて、一般ファイバー$X_t$が、同じ配置を有理的ブロー・ダウンにより得られるシンプレクティック4次元多様体と同相であることを証明し、単連結性を保証する。
• 一般ファイバー$X_t$が、$p_g = 0$、$K^2 = 2$、およびコホモロジーにおける自明な正則標準束を持つ最小一般型曲面であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 単連結で最小の一般型複素曲面が、$p_g = 0$および$K^2 = 2$を満たすものとして存在するか？
• RQ2 ${\mathbb{Q}}$-ゴレンシュタイン滑らかさ理論を用いて、特別な商特異点を持つ特異曲面から、新しい一般型曲面を構成できるか？
• RQ3 パクが[34]で有理的ブロー・ダウンにより構成したシンプレクティック4次元多様体は、$p_g = 0$、$K^2 = 2$を満たす複素構造に変形可能か？
• RQ4 本稿で構成された新例は、バロウ・サーフェスと同相か、あるいは変形同値か？

主な発見

• 本稿は、バロウ・サーフェスを除く、初の既知の単連結で最小の一般型複素曲面を構成した。この曲面は、$p_g = 0$、$K^2 = 2$を満たす。
• ${\mathbb{Q}}$-ゴレンシュタイン滑らかさの一般ファイバー$X_t$は、$p_g = 0$、$K^2 = 2$、コホモロジーにおける自明な正則標準束を持つ最小一般型曲面である。
• $X_t$は、有理的ブロー・ダウンにより同じ配置を有理面で得られるシンプレクティック4次元多様体と同相であり、単連結性が確認される。
• この構成は、クラス$T$の5つの特別な商特異点を持つ特異曲面$X$に依存しており、これは${\mathbb{Q}}$-ゴレンシュタイン滑らかさを許容する。
• この方法により、複数の例が得られる：$p_g = 0$、$K^2 = 2$、$H_1 = 0$の例と、$p_g = 0$、$K^2 = 2$、$H_1 = \mathbb{Z}_2$の例が得られ、ホモロジーの柔軟性が示される。
• 変種の構成により、$p_g = 0$、$K^2 = 1$を満たす単連結曲面が得られ、この方法のより広範な適用可能性が示された。