[論文レビュー] A note on convergent isocrystals on simply connected varieties

Atsushi Shiho|arXiv (Cornell University)|Nov 3, 2014

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

ひとこと要約

この論文は、特徴が正の整数の下で、単連結かつ滑らかな射影的多様体が特徴が0に持ち上がると、ある安定性条件の下で収束的イスキューロイドが自明であることを証明する。変形理論、フロベニウス引き戻し、および半安定な層のモジュライ空間を用いて、ランク1のイスキューロイドおよびユニフォーマライザーを法として強く半安定な還元を持つイスキューロイドの自明性を確立する。

ABSTRACT

It is conjectured by de Jong that, if $X$ is a connected projective smooth variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial etale fundamental group, any convergent isocrystal $\mathcal{E}$ on $X$ is trivial. We discuss this conjecture when $X$ is liftable to characteristic zero, and prove the triviality of $\mathcal{E}$ in this case under certain conditions on (semi)stability.

研究の動機と目的

• 正の特徴の下で単連結な射影的多様体上の収束的イスキューロイドが自明であるというde Jongの予想を調査すること。
• 特徴が0の下での一様なモジュールと接続の自明性の既知の結果、および正の特徴の下でのストラティファイドバンドルの結果を、収束的イスキューロイドのp進設定に拡張すること。
• 多様体が特徴が0に持ち上がるとの仮定の下で、予想を確立すること。
• ランク1のイスキューロイドおよびユニフォーマライザーを法として強く半安定な還元を持つイスキューロイドの自明性を証明すること。
• 変形理論とモジュライ空間を用いて、mod pでの自明性を完全なイスキューロイドへと持ち上げること。

提案手法

• 混合特徴の離散的評価リング上の射影的滑らかスキームへの多様体の持ち上げの存在を利用する。
• Langerが構成した半安定層のモジュライ空間を用いて、ユニフォーマライザーのべきを法としたイスキューロイドの還元をパラメトライズする。
• Berthelotが導入したレベル上昇フロベニウス引き戻し関手を用いて、ユニフォーマライザーの高次のべきを法としたイスキューロイドの変形を分析する。
• ジョルダン＝ホルダー分解と安定性条件を用いて、還元の構造を制御し、各レベル間の整合性を保証する。
• Langtonの定理を用いて、有界な変形理論を通じて、mod p還元からの自明性を完全なイスキューロイドへと持ち上げる。
• イスキューロイドと自明なバンドルによって誘導されるモジュライ空間の$V$-点を比較し、一意性を示し、したがって一般ファイバーでの自明性を示す。

実験結果

リサーチクエスチョン

• RQ1 正の特徴の下で単連結多様体上の収束的イスキューロイドが自明であるための条件は何か？
• RQ2 特徴が0に持ち上がるとの仮定の下で、de Jongの収束的イスキューロイドの自明性に関する予想を検証できるか？
• RQ3 ユニフォーマライザーを法とした強く半安定な還元の存在は、イスキューロイドの自明性を意味するか？
• RQ4 フロベニウス引き戻しによる変形類の振る舞いは、イスキューロイドの構造をどのように制約するか？
• RQ5 半安定層のモジュライ空間を用いて、$V$-点の比較を通じてイスキューロイドの自明性を証明できるか？

主な発見

• 代数的に閉じた体の特徴が$p>0$である射影的滑らかな単連結多様体上の収束的イスキューロイドは、多様体が特徴が0に持ち上がるとの仮定の下で、$ frac{\text{mod } \nu}{\text{mod } \nu}$還元が$ frac{\text{mod } \nu}{\text{mod } \nu}$-半安定である場合に自明である。
• この種の多様体上のランク1収束的イスキューロイドに関して、de Jongの予想が検証された。
• ユニフォーマライザーを法として強く半安定な還元を持つ収束的$F$-イスキューロイドについても、同じ持ち上げと安定性の仮定の下で自明性が確立された。
• レベル上昇フロベニウス引き戻しと変形理論を用いて、すべての$N$について$ u^N$を法としたイスキューロイドの自明性が証明された。
• 半安定層のモジュライ空間に関連するイスキューロイドの$V$-値点は、自明なバンドルのそれと一致し、一般ファイバーでの自明性を示唆する。
• イスキューロイドの幾何的一般ファイバーは、$H^1(\bar{\bbX}, \tcal{O})$の消滅により、構造層の直和と同型である。