[論文レビュー] The minimal number of singular fibers of a semistable curves over P^1

Sheng-Li Tan|ArXiv.org|Nov 8, 1994

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

ひとこと要約

この論文は、$ g \geq 2 $ である非自明な安定なファイブレーションが $ \mathbb{P}^1 $ 上に存在する場合、少なくとも5本の特異ファイバーを持つ必要があるというベーユヴィルの予想を証明する。ミヤオカ＝ヤウおよびヴォイタの不等式に加え、 kodaira-parshin の基本変換技術を用いて、$ g \geq 2 $ の場合に4本の特異ファイバーを除外する厳密な canonical class 不等式を確立する。さらに、正確に5本の特異ファイバーを持つ genus 2 の具体例を構成する。

ABSTRACT

In this paper, we shall prove Beauville's conjecture: if $f:S o P^1$ is a non-trivial semistable fibration of genus g>1, then $f$ admits at least 5 singular fibers. We have also constructed an example of genus 2 with 5 singular fibers. This paper will appear in the Journal of Algebraic Geometry.

研究の動機と目的

• 非自明な安定ファイブレーションで genus $ g \geq 2 $ の場合の特異ファイバーの最小数に関する、シュピロおよびベーユヴィルの予想を解決すること。
• $ g \geq 2 $ の場合に4本の特異ファイバーを除外する厳密な canonical class 不等式を確立し、これによりベーユヴィルの予想を証明すること。
• genus 2 の安定ファイブレーションで正確に5本の特異ファイバーを持つ具体例を構成すること。
• ミヤオカ＝ヤウおよびヴォイタの不等式が代数的ファイブレーションにおける特異ファイバー数の上限をどのように制約するかを明確にすること。

提案手法

• 安定ファイブレーションにおける厳密な canonical class 不等式を導出：$ s $ 個の特異ファイバーを持つ場合、$ K_{S/C}^2 < (2g-2)(2g(C)-2+s) $ が成り立つ。
• Kodaira-Parshin の基本変換を、基底 $ \mathbb{P}^1 $ の $ e $ 次被覆に適用し、特異ファイバー上の分岐を用いて、$ e \to \infty $ の漸近的解析を行う。
• ADE 型特異点に対するミヤオカの不等式を用いて、特異点が canonical divisor に与える寄与を評価する。
• slope 不等式 $ \lambda_f \geq 4 - 4/g $ と canonical class 不等式を組み合わせ、$ g \geq 2 $ で $ s = 4 $ の場合に矛盾を導く。
• 二重被覆を用いて $ \mathbb{P}^1 \times \mathbb{P}^1 $ 上に genus 2 ファイブレーションを構成し、型 $ (6,2) $ の分岐 divisor に沿って分岐させる。この構成には、分岐の制御された二つの準同型 $ \phi $ と $ \psi $ が関与する。
• 分岐点が互いに交わらないこと、および分岐指数が2であることから、正確に5本の特異ファイバーが得られることを検証する。

実験結果

リサーチクエスチョン

• RQ1 $ \mathbb{P}^1 $ 上の非自明な安定ファイブレーションで genus $ g \geq 2 $ の場合、特異ファイバーの最小数は何か？
• RQ2 canonical class 不等式を厳密にすることで、$ g \geq 2 $ の場合に4本の特異ファイバーを除外できるか？
• RQ3 genus 2 のファイブレーションで正確に5本の特異ファイバーを持つものは存在するか？ また、その具体例を構成できるか？
• RQ4 ミヤオカ＝ヤウおよびヴォイタの不等式は、安定ファイブレーションの幾何的性質をどのように制約するか？
• RQ5 Kodaira-Parshin の基本変換は、特異ファイバー数の有効な上限を導く際に果たす役割は何か？

主な発見

• $ \mathbb{P}^1 $ 上の非自明な安定ファイブレーションで genus $ g \geq 2 $ の場合、特異ファイバーの最小数は正確に5である。
• $ g \geq 2 $ の場合、4本の特異ファイバーを持つファイブレーションは、厳密な canonical class 不等式 $ K_{S/C}^2 < (2g-2)(2g(C)-2+s) $ に矛盾するため、ベーユヴィルの予想が証明される。
• slope 不等式 $ \lambda_f \geq 4 - 4/g $ は鋭く、等号が成立する場合、少なくとも1本の特異ファイバーが存在するが、これは $ s = 4 $ の場合に成立する厳密不等式と矛盾する。
• 二重被覆を用いて、$ \mathbb{P}^1 \times \mathbb{P}^1 $ 上に、二つの制御された分岐を持つ準同型 $ \phi $ と $ \psi $ に沿って分岐する型 $ (6,2) $ の divisor に沿って分岐する、genus 2 ファイブレーションの具体例を構成する。
• 証明は、大きな次数 $ e $ の基本変換の漸近的解析に依拠しており、主要な不等式（5）の右辺が負になることを示し、これにより厳密不等式が証明される。