[論文レビュー] Full faithfulness for overconvergent F-isocrystals

Kiran S. Kedlaya|ArXiv.org|Oct 11, 2001

Algebraic Geometry and Number Theory参考文献 13被引用数 27

ひとこと要約

本稿は、正標数の体上の滑らかな代数的多様体における、収束的 $F$-等長層から過収束的 $F$-等長層への忘却函手が完全忠実であることを証明し、重要な降下性質を確立する。証明は、過収束的 $F$-等長層の擬不等位性と、過収束的冪級数環上の Quillen-Suslin 型定理に依拠しており、Frobenius作用と接続不変量を用いて、アフィン空間上の局所的計算に全球的問題を還元する。

ABSTRACT

Let X be a smooth variety over a field of characteristic p>0. We prove that the forgetful functor from the category of overconvergent F-isocrystals on X to the category of convergent F-isocrystals is fully faithful. The argument uses the quasi-unipotence theorem for overconvergent F-isocrystals (recently proved independently by Andre, Mebkhout, and the author; see math.AG/0110124), plus arguments of de Jong. In the process, we establish a theorem of Quillen-Suslin type (i.e., every finite projective module is free) over rings of overconvergent power series.

研究の動機と目的

• 過収束的から収束的 $F$-等長層への忘却函手の完全忠実性に関する Tsuzuki の予想を解決すること。
• 収束的等長層に起因する剛体コホロロジーにおける病理的現象を解消し、過収束的等長層が完全な部分カテゴリをなすことを証明すること。
• 完備離散付値環上の過収束的冪級数環上の有限生成射影加群に対して Quillen-Suslin 型定理を確立すること。
• 有限エタール被覆と押し出し構成を用いて、全球的完全忠実性問題をアフィン空間上の局所的計算に還元すること。

提案手法

• 最近、André, Mebkhout および著者により独立に証明された、過収束的 $F$-等長層の擬不等位性定理を活用する。
• de Jong が等標数の場合に拡張定理を証明する方法を、$p$-進設定に適応する。
• 過収束的 $F$-等長層のカテゴリが Hom に関して閉じており、その準同型は Frobenius 固定、接続殺しの切断に対応することを用いる。
• 有限エタール被覆を用いて、過収束的および収束的カテゴリにおける押し出しを用いて、全球的問題をアフィン空間に還元する。
• Quillen-Suslin 型結果を適用：完備離散付値環上の過収束的冪級数環上の任意の有限生成射影加群は自由である。
• Frobenius 固定、接続殺しの切断のランク $H^0_F(X,\mathcal{E})$ を、両カテゴリで比較し、完成化環内の解が過収束的部分環に属することを示す。

実験結果

リサーチクエスチョン

• RQ1 正標数の体上の滑らかな代数的多様体における、過収束的から収束的 $F$-等長層への忘却函手は完全忠実か？
• RQ2 全球的完全忠実性がアフィン空間上の局所的命題に還元可能か？
• RQ3 過収束的 $F$-等長層は擬不等位性を満たすか？ すなわち、有限の基底拡大により局所モノドロミーが不等位になるか？
• RQ4 完備離散付値環上の過収束的冪級数環上の任意の有限生成射影加群は、Quillen-Suslin 定理と同様に自由か？
• RQ5 $H^0_F(X,\mathcal{E})$ 内の Frobenius 固定、接続殺しの切断のランクは、過収束的から収束的等長層に渡って変わらないか？

主な発見

• 任意の正標数 $p>0$ の体 $k$ 上の滑らかで分離的かつ有限型の $k$-スキーム $X$ に対して、忘却函手 $j^*: \mathit{F^a\text{-}Isoc^\dagger}(X/K) \to \mathit{F^a\text{-}Isoc}(X/K)$ は完全忠実であり、Tsuzuki の予想が解決される。
• $H^0_F(X,\mathcal{E})$、すなわち Frobenius 固定、接続殺しの切断の空間のランクは、過収束的および収束的カテゴリの両方で同一である。
• 完備離散付値環上の過収束的冪級数環上の任意の有限生成射影加群は自由であり、この文脈における Quillen-Suslin 型定理が確立される。
• 証明は、アフィン空間上で過収束的冪級数の構造と Frobenius 作用が切断を制御できることにより、全球的完全忠実性を局所的命題に還元する。
• 主な技術的入力は、過収束的 $F$-等長層の擬不等位性であり、Frobenius 方程式および接続方程式の解が過収束的であることを保証する。
• 各変数についての過収束的冪級数環の交わり $\cap_i R_i = R$ の性質により、完成化環内の任意の解が過収束的部分環に属することが結論づけられる。