[論文レビュー] A note on a theorem of Xiao Gang

Margarida Mendes Lopes|ArXiv.org|Feb 26, 2003

Meromorphic and Entire Functions参考文献 5被引用数 3

ひとこと要約

本稿では、1985年に肖剛が示した定理の新しい証明を提示する。この定理は、一般型の極小な曲面 S に対して、2次 canonical 系 |2K_S| がペンシルに分解されないための必要十分条件は K_S² > 1 であることである。標準的な曲面論の技法——例えば、p_g ≥ 1 のときの |2K_S| の基点自由性、接合公式、指数定理、エタール被覆および二重被覆の性質——を用いて、|2K_S| がペンシルであると仮定すると、K_S² > 1 のとき矛盾が生じることを示している。特に、不規則な二重被覆の構成とアラケロフ不等式の違反を通じてその矛盾を特定している。

ABSTRACT

In 1985 Xiao Gang proved that the bicanonical system of a complex surface $S$ of general type with $p_2(S)>2$ is not composed of a pencil [Bull. Soc. Math. France, 113 (1985), 23--51]. When in the end of the 80's it was finally proven that $| 2K_S|$ is base point free, whenever $p_g\geq 1$, the part of this theorem concerning surfaces with $p_g\geq 1$ became trivial. In this note a new proof of this theorem for surfaces with $p_g=0$ is presented.

研究の動機と目的

• 一般型曲面の2次 canonical 系に関する肖剛の1985年の結果に対する、新しいかつ簡潔な証明を提供すること。
• p_g = 0 の仮定の下で、K_S² > 1 のとき |2K_S| がペンシルに分解されないことを確立すること。
• 標準的な曲面論の道具——特に二重被覆、接合公式、指数定理——を用いて、|2K_S| がペンシルであると仮定した場合の矛盾を導出すること。
• 以前の証明がより技術的な消失定理に依存していた、残りの非自明な場合（K_S² > 1）を解決すること。

提案手法

• |2K_S| が一般型 F を持つペンシルに分解されると仮定し、2K_S ≡ dF + Z と書ける。ここで d = K_S² であり、Z は有効 divisor である。
• K_S のnef性から K_S F ≤ 2 を得られ、指数定理を適用して K_S² F² ≤ (K_S F)² を評価する。
• 数値的可能な場合を分析する：(i) K_S F = 2、F² = 2、K_S ∼ F；(ii) K_S F = 2、F² = 0。
• ケース (i) では、2-torsion divisor η = K_S − F が存在し、これによりエタール二重被覆 Y → S が誘導される。このとき p_g(Y) = 2 であり、q(Y) > 0 であるため、Proposition 2.2 に矛盾する。
• ケース (ii) では、Z = 2Z₀ + Z₁ と分解し、Z₁ を非特異かつ有効な divisor とみなす。Z₁ に分岐する二重被覆 Y′ → S を構成し、χ(O_Y′) = 2 − p/4 および K_Y′² = 4 − p を得る。
• De Franchis の定理とアラケロフ不等式を用いて、p = 4 のとき K_Y′² ≥ 8(f − 1)(q(Y) − 1) が成り立つが、これは矛盾を引き起こす。これにより、ペンシル仮定の不可能性が証明される。

実験結果

リサーチクエスチョン

• RQ1 一般型の極小曲面 S に対して、2次 canonical 系 |2K_S| がペンシルに分解される条件は何か？
• RQ2 K_S² > 1 かつ p_g(S) = 0 のとき、|2K_S| はペンシルになり得るか？
• RQ3 p_g = 0 かつ K_S² > 1 の場合に、|2K_S| がペンシルであると仮定したときの、コhomologicalおよび幾何的結果は何か？
• RQ4 二重被覆とアーベリアン写像は、このような構成における矛盾を検出するためにどのように役立つか？
• RQ5 アラケロフ不等式は、一般型曲面上の特定のファイブレーションの存在を妨げる役割を果たすのか？

主な発見

• 一般型の極小曲面 S に対して、p_g(S) = 0 のとき、|2K_S| がペンシルに分解されないための必要十分条件は K_S² > 1 である。
• K_S² = 1 のとき、h⁰(2K_S) = 2 であるため、|2K_S| は必然的にペンシルである。
• K_S ∼ F となるケース (i) では、2-torsion divisor η = K_S − F が存在し、これによりエタール二重被覆 Y → S が誘導される。このとき p_g(Y) = 2 かつ q(Y) > 0 であるため、Proposition 2.2 に矛盾する。
• F² = 0 かつ K_S F = 2 となるケース (ii) では、Z₁ に分岐する二重被覆 Y′ → S が構成され、χ(O_Y′) = 2 − p/4 および K_Y′² = 4 − p が得られる。
• χ(O_Y′) = 1 となる唯一の可能性は p = 4 であるが、このとき q(Y) = 2 ならばアラケロフ不等式 K_Y′² ≥ 8(f − 1)(q(Y) − 1) に矛盾する。
• したがって、K_S² > 1 のとき、このようなペンシルは存在しえない。これにより、幾何的およびコhomologicalな制約を用いて、肖剛の定理が再確認された。