[論文レビュー] On positivity and semistability of vector bundles in finite and mixed characteristics

Adrián Langer|arXiv (Cornell University)|Jan 18, 2013

Algebraic Geometry and Number Theory参考文献 19被引用数 11

ひとこと要約

この論文は、有限および混合特徴値におけるベクトル束の正性と半安定性の相関関係を調査し、ネフ性、半アンピュルネス、強い半安定性の挙動を統一する予想を提示する。正性と特徴値正の特徴値におけるエタール自明化の関係を確立し、フォビオウス引き戻しとモノドロミーを通じて算術幾何とホッジ理論を結ぶ枠組みを提供する。

ABSTRACT

We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to behavior of strong semistability of vector bundles, which is another main topic of the paper.

研究の動機と目的

• 有限体上の多様体における線分束の正性（ネフ性、半アンピュルネス、効果性）の挙動を理解すること。
• 特徴値正における正の線分束の消滅定理と、そのコホホロジー的性質への影響を調査すること。
• 特徴値ゼロにおける正性と特徴値正における正性の関係を、特に還元技術を通じて探ること。
• エタール自明化とモノドロミーを用いて、混合特徴値におけるベクトル束の強い半安定性を説明する予想を提示すること。
• 特徴値正におけるフォビオウス引き戻しと数値同値関係を用いて、ベクトル束の算術的および幾何的性質を統一すること。

提案手法

• Néron–Severiの定理と交線理論を用いて、$N^1(X)_\mathbb{Q}$における除数および線分束の数値類を定義する。
• Keelの基準を適用：$\bar{\mathbb{F}}_p$ 上の多様体におけるネフ線分束 $L$ は、$L^\perp$ への制限が半アンピュルネスであるときかつそのときに限り半アンピュルネスである。
• フォビオウス引き戻しを用いて強い半安定性を定義する：ベクトル束 $E$ が強い半安定性をもつとは、すべての $n \geq 0$ に対して $(F^n)^*E$ がスロープ半安定であること。
• 混合特徴値における多様体の還元を分析し、一般ファイバーと閉点を介して、ファイバー間の正性と半安定性の関係を関連付ける。
• Simpsonの対応を用いて、有限モノドロミーをもつ平坦接続と特徴値正におけるエタール自明化可能な束とを結びつける。
• Elkiesの定理（特異還元に関する）を含む算術幾何の結果を応用し、非自明なフォビオウス作用をもつ素数の無限集合に関する予想を支持する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の多様体における線分束のネフ性、半アンピュルネス、効果性、擬効果性の間の関係は何か？
• RQ2 適切に正である線分束に対して、特徴値正におけるコルデア型消滅定理はどのようなものか？
• RQ3 還元を通じて、特徴値ゼロにおける正性と特徴値正における正性の関係は何か？
• RQ4 混合特徴値スキーム上のファミリーにおけるベクトル束の正性と半安定性の変動は何か？
• RQ5 混合特徴値におけるベクトル束がエタール自明化可能であるための条件は何か？ そして、これはモノドロミーとフォビオウス作用とどのように関係するか？

主な発見

• $\bar{\mathbb{F}}_p$ 上の射影的曲線におけるネフ線分束は半アンピュルネスである。なぜなら、数値的に自明な線分束は torsion であるから。
• $\bar{\mathbb{F}}_p$ 上の滑らかな射影的曲面におけるネフでビッグな線分束は半アンピュルネスである。なぜなら、$L^\perp$ への制限が数値的に自明で、したがって torsion であるから。
• Keelの基準は特徴値ゼロでは成立しない。曲線上の非 torsion の次数ゼロの線分束によって示される。
• 予想 7.7 は、$\operatorname{Spec} R$ 上のファミリーにおいて非常に一般な点 $s$ で $τ_s$ がエタール自明化可能でないならば、そのような $s$ の集合は無限大であると述べている。
• 特徴値ゼロでは、局所自由層 $\mathcal{E}$ が底空間の稠密な開部分集合でエタール自明化可能であるならば、その一般ファイバーもエタール自明化可能である。
• 予想 7.7 の類似は特徴値正では成立しない。すべてのファイバーがエタール自明化可能であるが一般ファイバーがそうではないようなファミリーが存在する。これは、モノドロミーの位数が特徴値で割り切れるためである。