[論文レビュー] Overconvergent F-isocrystals and differential overcoherence

Daniel Caro|ArXiv.org|Nov 3, 2006

Enzyme Structure and Function被引用数 9

ひとこと要約

この論文は、滑らかな k-スキーム上の過収束 F-イソクリスタルと過包摂 F-D-加群の間の同型を確立し、滑らかな多様体上の過収束 F-イソクリスタルが、過包摂である F-D-加群であることを証明する。主な結果は、任意の滑らかな k-スキーム Y 上の過収束 F-イソクリスタルの圏が、Y 上の過包摂 F-イソクリスタルの圏に同型であることである。これは、アフィンな場合から一般の滑らかな設定へと、貼り合わせを用いて拡張された結果である。この同型は、固有射による押し出しと特別な引き戻しの下で安定しており、過収束 F-イソクリスタルが、より大きな、より安定な F-D-加群の圏へ埋め込まれる。

ABSTRACT

Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a smooth closed subscheme of $U$. We prove that the category of overconvergent $F$-isocrystals on $Y$ is equivalent to the category of overcoherent $F$-isocrystals on $Y$. More generally, we prove such an equivalence by gluing for any smooth variety $Y$ over $k$. Moreover, we check that overcoherent $F$-complexes of arithmetic $\mathcal{D}$-modules split in overconvergent $F$-isocrystals.

研究の動機と目的

• 滑らかな k-スキーム上での過収束 F-イソクリスタルと過包摂 F-イソクリスタルの圏的同型を確立し、p-進コホモロジー理論を統一する。
• アフィンな滑らかな多様体に関する従来の結果を、貼り合わせ技術を用いて一般の滑らかな k-スキームへと拡張する。
• 形式的スキーム上の ${\mathcal{D}}^\dagger$-加群の有界かつ過包摂な F-複体が、過収束 F-イソクリスタルとして正確に現れるかどうかを検証する。
• 固有射による押し出しの下で閉じた圏に過収束 F-イソクリスタルを埋め込むことで、安定な p-進コホモロジー理論の枠組みを提供する。
• 過包摂性が、グローテンディークの主要な操作（特に押し出しと引き戻し）の下で保存されることを確認し、p-進コホモロジー的構成に耐えうる強固な圏を構築する。

提案手法

• 形式的幾何学と算術的 ${\mathcal{D}}$-加群の理論を用いて、滑らかな k-スキーム上での過包摂 F-イソクリスタルを定義する。
• 微分的過包摂性と双対性を用いて、アフィンな滑らかな多様体上での過収束 F-イソクリスタルと過包摂 F-イソクリスタルの同型を証明する。
• 貼り合わせ技術を適用し、アフィンな場合から任意の滑らかな k-スキームへ同型を拡張する。
• ${\mathcal{D}}^\dagger$-加群の F-複体で、有界かつ過包摂なものを用いて、同型を構成する。
• 過包摂性が固有射による押し出しと特別な引き戻しの下で保存されることを検証し、安定性を保証する。
• 曲線（次元 ≤ 1）における過収束 F-イソクリスタルのホロノミーを用いて、導来圏の交わりに関する予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな k-スキーム Y 上の過収束 F-イソクリスタルの圏は、Y 上の過包摂 F-イソクリスタルの圏と同型であるか？
• RQ2 貼り合わせを用いて、アフィンな場合から一般の滑らかな k-スキームへ、過収束 F-イソクリスタルと過包摂 F-イソクリスタルの同型を拡張できるか？
• RQ3 形式的スキーム上の有界かつ過包摂な $F$-複体 ${\mathcal{D}}^\dagger$-加群は、正確に過収束 F-イソクリスタルとして現れるか？
• RQ4 過包摂性が、安定な p-進コホモロジー理論に必要な固有射による押し出しと特別な引き戻しの下で保存されるか？
• RQ5 有界かつ過包摂な F-複体の導来圏の交わりが、過収束 F-イソクリスタルの圏と一致する条件は何か？

主な発見

• 任意の滑らかな k-スキーム $Y$ 上の過収束 F-イソクリスタルの圏は、$Y$ 上の過包摂 F-イソクリスタルの圏に同型であり、アフィンな場合の結果を拡張する。
• 過包摂性は、固有射による押し出しと特別な引き戻しの下で保存され、過収束 F-イソクリスタルの像がこのような操作の下で依然として過包摂であることが保証される。
• 滑らかな k-スキーム上の過収束 F-イソクリスタルは、有界かつ過包摂な ${\mathcal{D}}^\dagger$-加群の F-複体として正確に特徴づけられる。
• 曲線（次元 ≤ 1）の場合、過包摂かつ有界な $F$-複体の ${\mathcal{D}}^\dagger$-加群の導来圏の交わりは、過収束 F-イソクリスタルの圏と一致する。
• 過包摂性により、$Y$ 上で過包摂な $F$-イソクリスタルは、有界かつ過包摂な $F$-D-加群の完全な部分圏をなすことが保証され、p-進コホモロジーのための安定な枠組みが得られる。