[論文レビュー] A survey on the bicanonical map of surfaces with $p_g=0$ and $K^2\ge 2$

Margarida Mendes Lopes, Rita Pardini|ArXiv.org|Feb 19, 2002

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

ひとこと要約

本調査は、$p_g=0$ かつ $K^2 \geq 2$ である一般型の最小複素曲面に対する双標準写像について包括的な概説を提供し、双標準像が曲面であることを確立し、基点と次数の上限を分析し、$K^2=6$ かつ次数4の写像をもつ曲面がバーナイヤー曲面であることを特徴づけている。主な結果には、$K^2 \geq 5$ における準同型写像の性質、次数の上限、および $K^2=6$ における次数4写像の4次元の有理型モジュライ成分が含まれる。また、$K^2=3,4,5,7$ における基点と次数実現可能性に関する未解決問題も提示している。本研究は、Xiao, Reider, Langer, Catanese, Kotschick および他の研究者らの結果を統合し、双標準系とアーベル被覆に応用された幾何学的・コhomオロジカル技法に焦点を当てている。

ABSTRACT

We give an up-to-date overview of the known results on the bicanonical map of surfaces of general type with $p_g=0$ and $K^2\ge 2$.

研究の動機と目的

• 一般型の最小曲面で $p_g=0$ かつ $K^2 \geq 2$ を満たすものに対する双標準写像に関する既知の事項の状況を要約すること。
• 双標準像の次元、$|2K_S|$ の基点、および双標準写像の次数を分析すること。
• $K^2=6$ かつ双標準写像の次数が4である曲面をバーナイヤー曲面として特徴づけること。
• $K^2=3,4,5,7$ における双標準写像の準同型写像の性質と次数実現可能性に関する未解決問題を提示すること。
• Xiao, Reider, Langer, Catanese, Kotschick および他の研究者らの双標準系とモジュライに関する結果を統合すること。

提案手法

• Xiao Gangの定理を用いて、系がペンシルに含まれると仮定して背理法を用い、$K^2 \geq 2$ に対して双標準像が曲面であることを示す。
• 接続系に関するReiderの定理を適用し、$K_S^2 \geq 5$ の条件に依存して、$K^2 \geq 5$ の場合に双標準写像が準同型写像であることを証明する。
• Langerの結果を用いて $K^2=4$ の場合に $|2K_S|$ に固定成分がないこと、および Catanese-Tovena/Kotschick の結果を用いて、基点が基本群を介して $H^2(\pi_1(S), \mathbb{Z}_2)=0$ と関係することを示す。
• 特に $\mathbb{Z}_2^3$-被覆を用いたアーベル被覆による解析を通じて、$K^2=6$ における次数4の写像がバーナイヤー曲面に対応することを示す。
• 幾何的推論を用いて、$K^2=6$ の場合の双標準像 $\Sigma$ が次数6の非特異デル・ペッツォ曲面であり、分岐分岐が六角形の辺と追加の曲線を含むことを示す。
• 基底 $B$ 上での $\mathbb{Z}_2^2$-被覆の滑らかな族を構成し、バーナイヤー曲面がモジュライ空間の4次元の有理型で既約な成分をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般型曲面で $p_g=0$ かつ $2 \leq K^2 \leq 4$ を満たすものについて、双標準写像は準同型写像か？
• RQ2 一般型曲面で $p_g=0$、$K^2=3$ または $K^2=4$ であり、かつ双標準写像の次数が5であるものが存在するか？
• RQ3 一般型曲面で $p_g=0$、$K^2=6$ であり、かつ双標準写像の次数が3であるものが存在するか？
• RQ4 一般型曲面で $p_g=0$、$K^2=5$ であり、双標準写像の次数が4であるものについて、特徴づけは可能か？
• RQ5 Inoue曲面は、$p_g=0$、$K^2=7$ かつ双標準写像が双有理でないような曲面の唯一の例か？

主な発見

• $K^2 \geq 2$ では、$p_g=0$ である最小曲面の双標準像は、Xiao Gangの定理により曲面である。
• $K^2 \geq 5$ では、接続系に関するReiderの定理により、双標準写像は準同型写像である。
• $K^2=4$ では、双標準系に固定成分がない（Langer）、かつ基点は基本群によって制御される（Catanese-Tovena, Kotschick）。
• $K^2=6$ では、双標準写像の次数が4であることは、曲面がバーナイヤー曲面であることと同値であり、このような曲面はモジュライ空間の4次元の有理型で既約な成分をなす。
• $K^2=2$ では双標準写像は準同型写像でないが、既知のすべての例では次数が8であり、像は $\mathbb{P}^2$ である。$K^2=8$ では次数が2であり、標準クラスは非常に正である。
• 極限ケース $K^2=6$（次数4）、$K^2=8$（次数2）、$K^2=7$（Inoue曲面）は、すべて標準クラスが非常に正であり、期待されるモジュライ次元が0であるにもかかわらず、正の次元の族に属する。