[論文レビュー] Notes on the A_inf-cohomology of Integral p-adic Hodge theory

Matthew Morrow|arXiv (Cornell University)|Aug 2, 2016

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

ひとこと要約

この論文は、相対 de Rham–Witt 複体を介した $p$-進 Cartier 同型の $p$-進類似を焦点に、整数的 $p$-進 Hodge 理論における $Ā_{\text{inf}}$-cohomology 理論について、詳細かつ自己完結的な解説を提供する。$p$-進スキームに対する新しい整数的コホモロジー理論を構成し、エタール、クリスタリン、de Rham コホモロジーを補間する。主な結果は、デカルージャー関手 $L\eta$ と写像 $\widetilde{\theta}_r$ を通じて、基底変換された $Ā\Omega_{\mathfrak{X}/\mathcal{O}}$ 複体のコホモロジー層が Langer–Zink の相対 de Rham–Witt 複体と同一視されることである。これは、古典的なクリスタリンおよび de Rham の設定を超えた整数的 $p$-進 Hodge 理論の基礎的枠組みを確立する。

ABSTRACT

We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.

研究の動機と目的

• プレプリント [BMS] から $Ā_{\text{inf}}$-cohomology 理論を自己完結的かつ詳細に構成することを目的とし、整数的 $p$-進 Hodge 理論におけるその役割に焦点を当てる。
• 相対 de Rham–Witt 複体を介した $p$-進類似の Cartier 同型の明確な解釈を提供し、理論の整数性および他のコホモロジー理論との整合性に不可欠な役割を明らかにする。
• $L\eta$ 関手と写像 $\widetilde{\theta}_r$ に注目し、$Ā_{\text{inf}}$-cohomology の構成をよりアクセス可能にするために、主な技術的要素を分離・詳細化する。
• $p$-進 Cartier 同型を中心定理として確立し、$Ā\Omega_{\mathfrak{X}/\mathcal{O}}$ 複体のコホモロジーを Langer–Zink の相対 de Rham–Witt 複体と結びつける。
• 基底変換、準同型、および $L\eta$ 関手による torsion 制御に関する重要な補題を証明することで、整数的 $p$-進 Hodge 理論の広範なプログラムの技術的基盤を提供する。

提案手法

• この構成は、$p$-進コホモロジーにおける「余計な torsion」を除去するデカルージャー関手 $L\eta$ に依存しており、複体内の不自然な torsion を除去することで整数的結果を得る。
• コホモロジーは、プロ・エタール・サイト $X_{\text{proét}}$ 上で計算され、完全体的環に関連する almost quasi-isomorphism および群コホモロジー技法が用いられる。
• 鍵となる写像 $\theta_r$ および $\widetilde{\theta}_r$ は、Fontaine の古典的 $\theta$ 写像を一般化し、$\u0100_{\text{inf}}$ から $\mathcal{O}$-代数への基底変換を可能にし、$p$-進 Cartier 同型を実現する。
• $p$-進 Cartier 同型は、トーラス上の局所的計算に還元され、de Rham–Witt 複体がラテン多項式代数の群コホモロジーとして実現されることを用いる。
• Witt 複体は、$\u0100_{\text{inf}}$ 上のフロベニウス作用を持つ導来可換代数から構成され、制限、フロベニウス、および Verschiebung 写像を持つ微分形式の普遍的枠組みを提供する。
• 基底変換およびコホモロジーにおける $L\eta$ の振る舞いに関する技術的補題を用い、almost quasi-isomorphism がデカルージャーを経て真の quasi-isomorphism に変わる仕組みを示し、主要な比較定理の証明を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、エタール、クリスタリン、de Rham コホモロジーを統合する $p$-進スキームのための新しい整数的コホモロジー理論を構築できるか？
• RQ2 デカルージャー関手 $L\eta$ は、$p$-進 Hodge 理論における torsion の除去と整数的結果の達成に、どのようにして果たす役割を果たすか？
• RQ3 $p$-進 Cartier 同型は、$\u0100\Omega_{\mathfrak{X}/\mathcal{O}}$ のコホモロジーと Langer–Zink の相対 de Rham–Witt 複体をどのように結びつけるか？
• RQ4 ラテン多項式代数の群コホモロジーとして、フロベニウス作用を持つ $\u0100_{\text{inf}}$ 上で相対 de Rham–Witt 複体を構成できるか？
• RQ5 $*>1$ に対して $\operatorname{Tor}_{*}^{\u0100_{\text{inf}}}(M,W(k))=0$ が成り立つための条件は何か？また、これはクリスタリン特異化における torsion 無し性とどのように関係するか？

主な発見

• $p$-進 Cartier 同型が中心的結果として確立された：基底変換された複体 $\u0100\Omega_{\mathfrak{X}/\mathcal{O}} \otimes_{\widetilde{\theta}_r} \mathcal{O}$ のコホモロジー層は、$\mathfrak{X}$ の Langer–Zink の相対 de Rham–Witt 複体と同型である。
• デカルージャー関手 $L\eta$ は、基底変換後に quasi-isomorphism を保存し、almost quasi-isomorphism を真の quasi-isomorphism に変換することが示された。これにより、torsion の整数的制御が可能になった。
• トーラスの相対 de Rham–Witt 複体は、$\u0100_{\text{inf}}$ 上のラテン多項式代数の群コホモロジーとして実現され、$p$-進 Cartier 同型の局所的モデルを提供する。
• フロベニウス作用を持つ $\u0100_{\text{inf}}$ 上の導来代数から Witt 複体を構成することで、Witt 複体の圏における普遍的対象が得られ、古典的な de Rham–Witt 理論を一般化する。
• $\widetilde{\theta}_r$ 写像は、well-behaved な基底変換を誘導し、$p$-進 Cartier 同型をトーラス上の計算に還元することで、グローバル証明の簡略化を可能にする。
• $M[1/p]$ が $\u0100_{\text{inf}}[1/p]$ 上で平坦であれば、$*>1$ に対して $\operatorname{Tor}_{*}^{\u0100_{\text{inf}}}(M,W(k))=0$ が成り立つことが示され、$\u0100_{\text{inf}}$-cohomology のクリスタリン特異化が高次で torsion 無しであることが保証された。