[論文レビュー] The maximum number of singular points on rational homology projective planes

DongSeon Hwang, JongHae Keum|ArXiv.org|Jan 20, 2008

Algebraic Geometry and Number Theory参考文献 15被引用数 7

ひとこと要約

この論文は、商特異点とネフな正則標準束をもつ有理ホモロジー射影平面が、唯一の例外を除き最大で4つの特異点を持つことを証明している。その例外は、5つの特異点 $3A_1 \oplus 2A_3$ をもつ表面であり、その最小解消はエンリケス面である。この結果は、オビットォルド・ボゴモロフ＝ミヤオカ＝ヤウの不等式、整数ホモロジー格子の格子論的解析、および可能な特異点配置の分類に依拠しており、類似の位相的およびコhomological条​​件を満たす微分可能およびシンプレクティックな設定へと拡張されている。

ABSTRACT

A normal projective complex surface is called a rational homology projective plane if it has the same Betti numbers with the complex projective plane $\mathbb{C}\mathbb{P}^2$. It is known that a rational homology projective plane with quotient singularities has at most 5 singular points. So far all known examples have at most 4 singular points. In this paper, we prove that a rational homology projective plane $S$ with quotient singularities such that $K_S$ is nef has at most 4 singular points except one case. The exceptional case comes from Enriques surfaces with a configuration of 9 smooth rational curves whose Dynkin diagram is of type $ 3A_1 \oplus 2A_3$. We also obtain a similar result in the differentiable case and in the symplectic case under certain assumptions which all hold in the algebraic case.

研究の動機と目的

• 有理ホモロジー射影平面に商特異点とネフな正則標準束をもつ場合、その特異点の最大数を特定すること。
• このような表面に5つの特異点が存在可能かどうかという長年の未解決問題を解消すること。
• 微分可能およびシンプレクティック4次元多様体において、類似の位相的およびコhomological条​​件を満たすオビットォルド構造に対して、この上限を拡張すること。
• 理論的な上限5つの特異点を実現可能なすべての特異点配置を分類すること。
• 上限が達成される例外的なケースを完全に分類すること、特に一意のエンリケス面構成を特定すること。

提案手法

• 特異点における局所基本群の位数を制限するために、オビットォルド・ボゴモロフ＝ミヤオカ＝ヤウの不等式を適用する。
• 例外的曲線が生成する部分格子 $R$ と $\langle K_{S'}\rangle$ の和 $R + \langle K_{S'}\rangle$ を、単位的コhomology格子 $H^2(S',\mathbb{Z})_{\text{free}}$ 内で格子論的手段で解析する。
• 商特異点の詳細な分類とその解消グラフを用いて、無限に及ぶ候補の特異点型を削減する。
• $K_S$ が数値的に自明でない場合、$|\det(R + \langle K_{S'}\rangle)|$ が完全平方であるという条件を用いて、多くの配置を除外する。
• 代数的状況における $f^*K_S$ の代わりに、微分可能およびシンプレクティックな設定で形式的標準類 $K_{S'}$ を構成する。
• 例外的なケース $3A_1 \oplus 2A_3$ が、9本の滑らかな有理曲線をもつエンリケス面から生じることを確認し、明示的な例によってその実現可能性を検証する。

実験結果

リサーチクエスチョン

• RQ1 有理ホモロジー射影平面に商特異点とネフな正則標準束をもつ場合、5つの特異点をもつことは可能か？
• RQ2 このような表面に5つの特異点をもつために必要な位相的およびコhomological条​​件は何か？
• RQ3 エンリケス面の構成 $3A_1 \oplus 2A_3$ が、4つの特異点の上限に対する唯一の例外であるか？
• RQ4 微分可能およびシンプレクティックなカテゴリーにおいて、特異点数の上限は類似の仮定のもとで拡張可能か？
• RQ5 コhomology格子の整数性および単位的性が、可能な特異点配置を制限する上で果たす役割は何か？

主な発見

• 有理ホモロジー射影平面に商特異点とネフな正則標準束をもつ場合、唯一の例外を除き最大で4つの特異点をもつ。
• 唯一の例外は、5つの特異点 $3A_1 \oplus 2A_3$ をもつ表面であり、その最小解消はエンリケス面である。
• この例外的ケースは、エンリケス面に9本の滑らかな有理曲線が存在し、そのディンキン図形が $3A_1 \oplus 2A_3$ であることを示す例7.3によって実現されている。
• 微分可能およびシンプレクティックな設定においても、代数的状況で満たされる条件（形式的標準類の存在を含む）のもとで、4つの特異点という上限が成り立つ。
• 格子 $R + \langle K_{S'}\rangle$ は、$3A_1 \oplus 2A_3$ および $4A_1 \oplus D_5$ を除くすべての配置について、単位的コhomology格子に埋め込むことはできないが、これら2つの配置は例外的なケースを除いて除外される。
• 例としての $3A_1 \oplus 2A_3$ の構成により、5つの特異点が可能であることが確認されたが、これは特定のエンリケス面の場合に限られ、それ以外の整数的・有理ホモロジー射影平面の文脈では成立しない。