[論文レビュー] Images directes II: F-isocristaux convergents

Jean-Yves Étesse|arXiv (Cornell University)|Oct 23, 2009

Algebraic Geometry and Number Theory参考文献 17被引用数 3

ひとこと要約

この論文は、正の特性を持つ完全体 k 上の滑らかで持ち上げ可能な射影的滑らか射影の下で、収束する F-イソクリスタルの直接像の収束を確立する。テイヒミュラー上の埋め込みと専門的写像の比較を用いることで、これらの直接像上のフロベニウス自己準同型が同型であることを証明し、リッジコhomologyにおける古典的結果を、フロベニウス構造付きの収束的 F-イソクリスタルの設定へと拡張する。

ABSTRACT

This article is the second one of a series of three articles devoted to direct images of isocrystals: here we consider convergent isocrystals with Frobenius structure. Let V be a complete discrete valuation ring, with residue field k = V/m of characteristic p > 0 and fraction field K of characteristic 0. Firstly we characterize convergent F-isocrystals on a smooth affine k-scheme. Secondly, for perfect k and after a detailed exposition of the Teichmûller liftings, especially for the affine rigid line, we derive the existence of Frobenius isomorphisms on the direct images of convergent F-isocrystals under a proper smooth and liftable k-morphism.

研究の動機と目的

• 滑らかでアフィンな k-スキーム上の収束的 F-イソクリスタルを特徴付ける。
• 特にアフィン直線に対して、リッジ解析幾何の文脈におけるテイヒミュラー上の埋め込みを研究する。
• 持ち上げ可能な射影的滑らか射影の下で、収束的 F-イソクリスタルの直接像の収束を確立する。
• このような直接像上のフロベニウス自己準同型が同型であることを証明する。
• これらの直接像に関連する L-関数を研究する基盤を築く。

提案手法

• モノスキー＝ワシュニツァー型の記述を用いて、滑らかでアフィンな k-スキーム上の収束的 F-イソクリスタルを特徴付ける。
• 形式的スキームに対するテイヒミュラー上の埋め込みを構成し、それらを専門的写像と還元写像に関連付ける。
• テイヒミュラー上の埋め込みが専門的写像のセクションであるという事実を用い、リッジコhomology へ還元する。
• リッジコhomologyにおけるフロベニウス同型に関する既知の結果を活用し、直接像に対しても同様の結果を導く。
• ボシュ＝ギュンツァー＝レムァルトの基準を適用：写像がファイバー上で同型であれば、その写像自体が同型である。
• フロベニウス構造の下で、直接像が基底変換とファイバー函手と可換であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 射影的滑らかな射影の下で、収束的 F-イソクリスタルの直接像が再び収束的 F-イソクリスタルであるための条件は何か？
• RQ2 リッジ解析的設定において、テイヒミュラー上の埋め込みは専門的写像と還元写像とどのように作用するか？
• RQ3 ファイバーごとの解析を用いて、収束的 F-イソクリスタルの直接像上のフロベニウス自己準同型が同型であることを示せるか？
• RQ4 テイヒミュラー上の埋め込みは、ファイバー函手を実現し、フロベニウスと可換である役割を果たすか？
• RQ5 直接像の収束性は、射のコhomological性質と基底スキームの性質とどのように関係するか？

主な発見

• 滑らかでアフィンな k-スキーム上の収束的 F-イソクリスタルは、モノスキー＝ワシュニツァー型の記述によって特徴付けられる。
• k が完全体であるとき、テイヒミュラー上の埋め込みは専門的写像の標準的セクションを提供し、フロベニウスと可換である。
• 持ち上げ可能な k-射影の下で、収束的 F-イソクリスタルの直接像は再び収束的 F-イソクリスタルである。
• テイヒミュラー上の埋め込みを用いてリッジコhomology へ還元することで、このような直接像上のフロベニウス自己準同型が同型であることが証明された。
• 直接像の構成は基底変換とファイバー函手と可換であり、フロベニウス構造を保存する。
• 結果は、有限エタール写像に限らず、射影的および相対的完遂交差射影へも拡張可能である。