[論文レビュー] Overconvergent unit-root F-isocrystals and isotriviality

Teruhisa Koshikawa|arXiv (Cornell University)|Nov 9, 2015

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

ひとこと要約

本稿では、有限体上の滑らかで幾何的に連結な多様体上における半単純な収束性を持つユニットルートF-イソクリスタルが、有限エタール被覆の後に定数となることを確立し、非分岐なFontaine-Mazur予想のp進類似を一般化する。主な結果は、半単純性または有限行列式条件の下で等値性（isotriviality）を示し、変形を用いた曲線への還元および基本群の技法を用いる。

ABSTRACT

We show that a semisimple overconvergent "absolutely unit-root" F-isocrystal on a geometrically connected smooth variety over a finite field becomes constant over a finite covering.

研究の動機と目的

• 非射影的滑らかな多様体へのp進類似の非分岐Fontaine-Mazur予想の一般化。
• 収束性を持つユニットルートF-イソクリスタルが有限エタール基底変換の後に定数となる条件の確立。
• 曲線の場合の結果（命題1.1）を、収束性を持つF-イソクリスタルを用いて高次元滑らかな多様体に拡張すること。
• 半単純性および有限行列式がF-イソクリスタルの等値性に果たす役割の明確化。
• ユニットルートフロベニウス固有値を持つ局所系に関して、$\u0002ell$-adic結果のp進類似の提供。

提案手法

• de Jongの変形定理を用いて射影的場合に還元し、滑らかなコンパactificationを持つ有限エタール被覆を許容する。
• 収束性を持つF-イソクリスタルとエタール基本群の潜在的に非分岐なp進表現との対応の利用。
• Bertini型定理およびLefschetz型定理を用いて、コンパクト化の基本群に全射的に写像する幾何的に連結な曲線の構成。
• Clifford理論を用いて、有限行列式を持つ表現の既約成分から生じる特徴の分析。
• 基本群のアーベル化における核の有限性を活用し、行列式が有限位数のとき、作用が有限商群を通じて因数分解することを示す。
• $\u0002ell$-adic幾何の議論（例：Deligne, Katz-Lang）をp進設定に適応し、ユニットルート条件の下での等値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の滑らかな多様体上における半単純な収束性を持つユニットルートF-イソクリスタルが、有限エタール被覆の後に定数となる条件は何か？
• RQ2 既約成分の行列式が有限位数であるという条件が、収束性を持つF-イソクリスタルの等値性にどのように影響するか？
• RQ3 曲線の場合の等値性結果を、変形および基本群の技法を用いて高次元滑らかな多様体に拡張できるか？
• RQ4 ユニットルートフロベニウス固有値を持つ局所系が有限被覆の後に自明になるという$\u0002ell$-adic結果のp進類似は何か？
• RQ5 半単純性または有限行列式の仮定が、モノドロミー作用が有限商群を通じて因数分解することをどれほど保証するか？

主な発見

• 有限体上の滑らかで幾何的に連結な多様体上における半単純な収束性を持つユニットルートF-イソクリスタルは、有限エタール被覆の後に定数となる。
• 任意の既約成分の行列式が有限位数のとき、F-イソクリスタルは有限エタール被覆の後に自明になる。
• 変形および基本群の還元を用いて、命題1.1の曲線の場合の結果を高次元多様体に一般化する。
• de Jongの変形定理を用いて射影的場合に還元し、基本群に関するLefschetz型定理を適用する。
• コンパクトでない場合でも、収束性を持つF-イソクリスタルと潜在的に非分岐表現を用いることで、等値性結果は成立する。
• $\u0002ell$-adic類似が確立され、すべてのフロベニウス固有値が$p$-進単数である局所系は、有限エタール被覆の後に自明になる。