[論文レビュー] Nonabelian Hodge Theory in Characteristic p

Arthur Ogus, Vadim Vologodsky|ArXiv.org|Jul 22, 2005

Analytic Number Theory Research被引用数 7

ひとこと要約

本稿は、p 乗法的特徴の正の特性において、D-加群の可換でないホッジ理論を構築する。そのために、p² を法とするスキームのリフトと、Frobenius リフトの幾何を用い、可換でないホッジ理論の特徴的 p 版を提供する。この研究では、p-1 水準のノネルト D-加群の圏から、p-1 水準のニルポテンツ Higgs モジュールの圏へのファンクター、つまりカルティエ変換を構成する。この変換により、デリーニュ＝イルリューズの分解定理が、係数を伴う de Rham コホロロジーへ一般化され、スミンプソンのリーマン＝ヒルベルト対応の特徴的 p 版が得られる。

ABSTRACT

Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the decomposition theorem of Deligne-Illusie to the case of de Rham cohomology with coefficients.

研究の動機と目的

• 正の特性における de Rham コホロロジーの係数を伴う場合に、デリーニュ＝イルリューズの分解定理を、D-加群の係数へ拡張すること。
• スミンプソンの複素多様体上での理論に類似した、特徴的 p における非可換ホッジ対応を構築すること。
• Frobenius リフトとアズマヤ代数の幾何を用いて、可換接続と Higgs バンドルの関手的対応を確立すること。
• カルティエ変換を用いて、特徴的 p におけるリーマン＝ヒルベルト対応を一般化すること。
• 特徴的 p における p-進およびクリスタリンコホロロジーを、非可換ホッジ理論の枠組みで、Higgs モジュールと D-加群を通じて理解するためのフレームワークを提供すること。

提案手法

• X を p² を法としてリフトする。このリフトを用いて、p-1 水準のノネルト D-加群の圏（MICp−1(X/S)）から Higgs モジュールの圏（HIGp−1(X′/S)）へのファンクターを構成する。
• X 上の Frobenius リフトのトーショル L̃X を用い、これは F∗TX′ によるトーショルである。このトーショルに標準的接続を備える。
• DγX = DX ⊗S·TX′ ˆΓ·TX′ を、余接バンドル上の完全化された PD 対称代数を用いて定義する。
• カルティエ変換を C̃X(E) = ι∗HomDγX(B̃X, E) として定義する。ここで B̃X はアズマヤ代数 DγX のスプリットモジュールである。
• DγX が S·TX′ 上のアズマヤ代数であり、B̃X がスプリットを提供することにより、カテゴリの同値が誘導されることを活用する。
• 導来圏の枠組みを用いて、カルティエ変換を導来直接像および逆像へ拡張し、導来カルティエ変換を定義する。

実験結果

リサーチクエスチョン

• RQ1 スミンプソンの複素多様体上での理論に類似した、特徴的 p における非可換ホッジ対応を確立できるか？
• RQ2 カルティエ変換は、特徴的 p における古典的リーマン＝ヒルベルト対応とどのように関係するか？
• RQ3 p² を法とする Frobenius リフトは、D-加群のホッジ理論的対応を構築する上で果たす役割は何か？
• RQ4 導来カルティエ変換は、de Rham 直接像およびガウス＝マイン・接続とどのように作用するか？
• RQ5 カルティエ変換は、どのようにデリーニュ＝イルリューズの分解定理を、係数付きコホロロジーへ一般化するのか？

主な発見

• カルティエ変換 C̃X は、p-1 水準のノネルト D-加群の圏と p-1 水準のノネルト Higgs モジュールの圏の間で、準逆同値を与える。
• この構成は、X を p² を法としてリフトできることと、トーショル L̃X が標準的接続を持つことに基づいている。
• 代数 DγX は S·TX′ 上のアズマヤ代数であり、モジュール B̃X は DγX のスプリットモジュールを提供する。これにより、カルティエ変換がカテゴリの同値を誘導する。
• 導来カルティエ変換は、導来圏における導来ホムを用いて構成され、de Rham 直接像およびガウス＝マイン接続と可換である。
• 本稿では、de Rham コホロロジーと Higgs コホロロジーの間の同型が示されている：H•(X, E ⊗Ω•X) ≅ H•(X′, C̃X(E) ⊗Ω•X′)。
• 著者らは、カルティエ変換を用いてバランニコフとコンツェビッチの定理を証明し、ノネルト条件の下で、ホッジから de Rham のスペクトル系列が特徴的 p で退化することを示した。