[論文レビュー] Geography of Gorenstein stable log surfaces

Wenfei Liu, Sönke Rollenske|arXiv (Cornell University)|Jul 8, 2013

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

ひとこと要約

本稿は、Gorenstein安定対数表面に対して、2つの基本的不等式——$P_2$-不等式と安定ノイザー不等式——を確立し、それらの不変量がこれらの境界によって制約されることを証明する。組み合わせ的接合技術とリーマン–ローチ法を用いて、著者らは、等号成立の場合を除き、すべての可能な不変量が実現可能であることを示し、古典的な幾何的制約が安定設定においてどこまで成り立たないかを示す明示的例を構成する。

ABSTRACT

We study the geography of Gorenstein stable log surfaces and prove two inequalities for their invariants: the stable Noether inequality and the $P_2$-inequality. By constructing examples we show that all invariants are realised except possibly some cases where the inequalities become equalities.

研究の動機と目的

• Gorenstein安定対数表面の古典的地図理論を、Gorenstein安定対数表面のモジュライ空間へと拡張すること。
• 滑らかさの状況におけるノイザーおよびバゴモロフ–ミヤオカ–ヤウ不等式に類似した、安定対数表面の不変量を支配する基本的不等式を確立すること。
• 特に古典的不等式が成り立たない場合においても、不変量が明示的構成によって実現可能かどうかを特定すること。
• 安定設定における正規化写像の挙動を調査し、その像が非連結である可能性や、双有理的でない可能性を示すこと。

提案手法

• リーマン–ローチおよび接合理論を適用し、Gorenstein安定対数表面に対して$P_2$-不等式を導出する。
• 正則な表面を除法に沿って組み合わせる組み合わせ的接合法を用いて、所望の不変量を持つ安定表面を構成する。
• 正規化およびプッシュアウト図式を用いて、双対化層のコホモロジーおよび特異点集合への制限を分析する。
• 変形理論を用いて、フェイク・プロジェクト型平面の不変量を持つ1次元族の安定表面を構成する。
• 命題2.5を用いて、公式$\chi(\mathcal{O}_X) = \chi(\mathcal{O}_{\bar{X}}) + \chi(\mathcal{O}_D) - \chi(\mathcal{O}_{\bar{D}})$ を用いて不変量を比較する。
• 曲線のマーク付き点における対合を含む明示的接合データを用いて、特異点を制御し、不変量を計算する。

実験結果

リサーチクエスチョン

• RQ1 Gorenstein安定対数表面の不変量を制約する不等式は何か。また、それらは鋭いのか。
• RQ2 すべての可能な安定表面の不変量は、明示的幾何的構成によって実現可能か。
• RQ3 ノイザーおよびバゴモロフ–ミヤオカ–ヤウ不等式のような古典的不等式は、安定設定においてどのように失敗するか。
• RQ4 安定表面における正規化写像の挙動は何か。その像が非連結になり得るか。
• RQ5 $\chi(\mathcal{O}_X) - 2 = K_X^2 \geq 3$ を満たす安定表面は存在するか。また、$P_2$-不等式の等号成立時にそれらが存在するか。

主な発見

• $P_2$-不等式は$\chi(\omega_X(\Delta)) \geq -(K_X + \Delta)^2$ であり、等号成立は$\Delta = 0$かつ$P_2(X) = 0$のときに限る。
• 安定ノイザー不等式は$p_g(X,\Delta) \leq (K_X + \Delta)^2 + 2$ を与え、$\Delta = 0$のとき厳密な不等式が成り立つ。
• 不等式を満たすすべての不変量は、等号成立の場合を除き明示的構成によって実現可能である。
• 安定表面の正規化写像の像は、双有理的であっても非連結になり得る。
• $K_X^2 = 9$、$\chi(\mathcal{O}_X) = 1$ を満たす1次元族の安定表面が構成され、滑らかな表面が剛性を持つにもかかわらず、安定表面のモジュライ空間が正次元成分を持つことが示された。
• フェイク・プロジェクト型平面の不変量を持つ1パラメータ族の例は、滑らかな場合とは異なり、安定表面は剛性を持たないことを示している。