[論文レビュー] Singular Q-homology planes of negative Kodaira dimension have smooth locus of non-general type

Karol Palka, Mariusz Koras|arXiv (Cornell University)|Jan 13, 2010

Algebraic Geometry and Number Theory参考文献 11被引用数 4

ひとこと要約

この論文は、負の kodaira 次元をもつ特異 $Π$-ホモロジー平面は、一般型でない滑らかさを持つ領域をもつべきであることを証明している。対数的 bogomolov-miyaoka-yau 不等式、解消技術、および hamburger-noether 組み合わせを用いて、滑らかさを持つ領域が一般型であると仮定した場合に矛盾を導き出し、そのような構成を排除することで、これらの曲面の幾何学的性質に対する強い制約を確立している。

ABSTRACT

We continue the program of classification of normal Q-acyclic surfaces defined over the field of complex numbers, so-called 'Q-homology planes'. Here we show that if a Q-homology plane has negative Kodaira dimension then its smooth locus is not of general type. This generalizes an earlier result of Koras-Russell for contractible surfaces.

研究の動機と目的

• 滑らかさを持つ領域の対数的 kodaira 次元を分析することによって、特異 $Π$-ホモロジー平面を分類すること。
• 表面の kodaira 次元が負であるにもかかわらず、滑らかさを持つ領域が一般型であるという未解決事項を解消すること。
• 可縮曲面に関する koras-russell 結果を、より広いクラスの $Π$-アセイクリック曲面へと拡張すること。
• 負の kodaira 次元をもつ任意の特異 $Π$-ホモロジー平面の滑らかさを持つ領域が一般型でないことを確立すること。
• 負の kodaira 次元のもとで、滑らかさを持つ領域が一般型であるような構成を除外することで、構造的分類を提供すること。

提案手法

• 表面の幾何学的性質とその解消の制約を求めるために、対数的 bogomolov-miyaoka-yau 不等式を適用する。
• fujita-zariski 分解と hamburger-noether 組み合わせを用いて、特異除法と境界成分の双対グラフを分析する。
• 表面の最小解消を行い、特異除法を $(-2)$-曲線とコア成分 $E$ に分解する。
• 対数的正則除法 $K + D + \widehat{E}$ の交差性質を分析する。ここで $D$ は snc 最小境界で、$\widehat{E}$ は特異除法である。
• アフィンルーリングの議論を用いて、解消における $\Delta$（外部の $(-2)$-曲線）の配置を制御する。
• $(K + D + \widehat{E})^2 = -1 - \epsilon$ を通じて数値的不変量 $\epsilon$ を導出し、miyaoka の不等式 $\epsilon \geq 0$ を適用する。

実験結果

リサーチクエスチョン

• RQ1 負の kodaira 次元をもつ特異 $Π$-ホモロジー平面が、一般型の滑らかさを持つ領域をもてるか？
• RQ2 滑らかさを持つ領域が一般型である場合に、$Π$-ホモロジー平面の解消にどのような構造的制約が生じるか？
• RQ3 対数的不変量と解消の双対グラフが、特異除法と境界の可能な構成をどのように制限するか？
• RQ4 対数的 bogomolov-miyaoka-yau 不等式は、一般型の滑らかさを持つ領域を除外するために果たす役割は何か？
• RQ5 負の kodaira 次元と一般型の滑らかさを持つ領域を同時に満たすような、特異除法の双対グラフの有限構成は存在するか？

主な発見

• 負の kodaira 次元をもつ任意の特異 $Π$-ホモロジー平面の滑らかさを持つ領域は一般型ではありえない。これは主要定理の確認である。
• 表面には高々1つの特異点があり、それは有限部分群 $G < GL(2,\mathbb{C})$ に対して $\mathbb{C}^2/G$ と解析的に同型である。
• 特異除法 $\widehat{E}$ は高々1つの分岐成分をもつ連結な木であり、$\widehat{E} = E + \Delta$ と書ける。ここで $\Delta$ は外部の $(-2)$-曲線からなる。
• $(K + D + \widehat{E})^2 = -1 - \epsilon$ で定義される不変量 $\epsilon$ は $\epsilon \geq 0$ を満たし、すべてのケース（1つを除く）で $K \cdot E + 2\epsilon \leq 5$ が成り立つ。
• 境界 $D$ は正確に1つの分岐成分 $B$ をもち、これにより $K + D + \widehat{E}$ の明確な fujita-zariski 分解が可能である。
• 一般型の滑らかさを持つ領域に至るすべての試みは、$c^\prime$、$p^\prime$、および $\kappa$ などの数値的不変量に関連する矛盾を引き起こし、そのようなケースは排除される。