[論文レビュー] Generic ordinarity for semi-stable fibration

Junmyeong Jang|ArXiv.org|May 26, 2008

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

ひとこと要約

本稿は、一般に通常である条件下で、正標数における半安定なファイブレーションに対して、半正性定理を確立する。これは、$ R^1\tilde{\tau}_*\tilde{\tau}^* $ のハーディング＝ナラシマンの勾配が非正であること、およびフロベニウス基底変換の下でベッチ数が安定することを証明する。主な結果は、非通常の場合（モアレ＝ベイユの反例で見られるように）失敗するのを避けるために、通常性を介して古典的な半正性を正標数に拡張するものである。

ABSTRACT

In this paper, we proved that, for a semi-stable fibration of a proper smooth surface to a proper smooth curve over a field of positive characteristic, if the generic fiber is ordinary, then the semi-positivity theorem holds. As an application, we constrcuted a counterexample to Parshin's conjecture on the Miyaoka-Yau inequality.

研究の動機と目的

• 半安定ファイブレーションに対して、ショウの半正性定理の正標数版を確立すること。
• 一般に通常という条件を課すことにより、正標数における半正性の失敗を解消すること。
• 一般に通常なファイブレーションに対して、繰り返しフロベニウス基底変換の下でベッチ数およびハーディング＝ナラシマンの勾配が不変であることを証明すること。
• ピカール多様体が滑らかである場合でさえも、ミヤオカ＝ヤウ不等式に関するパーシュインの期待に反する反例を構成すること。

提案手法

• フロベニウス準同型の相対的バージョン $ F_{X/C} $ を用いて、フロベニウスが同型でないことを測る $ B^1\omega $ の余核を分析する。
• 一般に通常なファイブレーションに対して、$ \pi^p_*B^1\omega = 0 $ かつ $ R^1\pi^p_*B^1\omega $ が torsion であることを示し、これによりコホモロジー的退化が生じることを示す。
• $ R^1\pi_*\mathcal{O}_X $、$ F_C^*R^1\pi_*\mathcal{O}_X $、および $ \pi^p_*B^1\omega $ を関係付ける完全列を適用し、フロベニウス引き戻しの下での次元安定性を導出する。
• Leray のスペクトル系列を用いて $ H^1(\mathcal{O}_X) $ と $ H^1(\mathcal{O}_{X^{p^n}}) $ を関連付け、フロベニウス基底変換の各段階でベッチ数が不変であることを証明する。
• Riemann-Roch 定理と勾配安定性を用いて、$ R^1\pi_*\mathcal{O}_X $ のすべてのハーディング＝ナラシマンの勾配が非正であることを導出する。
• ピカール多様体が滑らかであるが、すべての $ M > 0 $ に対して $ c_1^2 > M c_2 $ を満たす、有限体上に定義された一般型の曲面を構成する。

実験結果

リサーチクエスチョン

• RQ1 一般に通常なファイブレーションに対して、正標数における半正性定理は成り立つか？
• RQ2 通常性の下で、正標数における $ R^1\pi_*\mathcal{O}_X $ のハーディング＝ナラシマンの勾配は制御可能か？
• RQ3 一般に通常なファイブレーションに対して、繰り返しフロベニウス基底変換の下で $ H^1(\mathcal{O}_X) $ の振る舞いはいかなるものか？
• RQ4 ピカール多様体が滑らかである場合でも、パーシュインの期待に反するミヤオカ＝ヤウ不等式の反例を構成可能か？
• RQ5 $ \pi^p_*B^1\omega $ の消える条件は、通常性およびコホモロジー的退化とどのように関係しているか？

主な発見

• 一般に通常な半安定ファイブレーション $ \pi: X \to C $ に対して、$ H^0(R^1\pi_*\mathcal{O}_X) $ の次元は繰り返しフロベニウス基底変換の下で保存される：すべての $ n $ に対して $ \dim H^0(R^1\pi_*\mathcal{O}_X) = \dim H^0(R^1\pi^{p^n}_*\mathcal{O}_{X^{p^n}}) $ が成り立つ。
• 1次のベッチ数 $ \dim H^1(\mathcal{O}_X) $ はフロベニウス基底変換の下で不変である：すべての $ n $ に対して $ \dim H^1(\mathcal{O}_X) = \dim H^1(\mathcal{O}_{X^{p^n}}) $ が成り立つ。
• $ R^1\pi_*\mathcal{O}_X $ のすべてのハーディング＝ナラシマンの勾配が非正であるため、正標数における半正性の結果が確立される。
• 一般に通常という条件により、$ \pi^p_*B^1\omega = 0 $ かつ $ R^1\pi^p_*B^1\omega $ が torsion であることが保証され、これがコホモロジー的安定性の鍵となる。
• ピカール多様体が滑らかであるが、すべての $ M > 0 $ に対して $ c_1^2 > M c_2 $ を満たす、有限体上に定義された一般型の滑らかな曲面が構成された。これはパーシュインの予想に反する。
• 証明により、ガロア理論的通常性とフロベニウス、コホモロジー的降下を介したベクトルバンドルの数値的不変量との深い関係が明らかになった。