[論文レビュー] Logarithmic Prismatic Cohomology I

Teruhisa Koshikawa|arXiv (Cornell University)|Jul 28, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用数 7

ひとこと要約

本稿では、$δ$-環の対数的バージョン、すなわち$δ_{\log}$-環を導入することで、対数的プライスティックコホロジーを定義し、半安定の場合におけるブレュイ・キシンコホロジーの初の体系的構成を可能にする。主な貢献は、この新しい枠組みを通じて半安定設定における$A_{\text{inf}}$-コホロジーを回復することであり、ホッジ＝トーラーおよびクリスタリンコホロジーとの基礎的な比較が確立されている。

ABSTRACT

We introduce a logarithmic variant of the notion of $δ$-rings, which we call $δ_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to construct the Breuil-Kisin cohomology in the semistable case.

研究の動機と目的

• 対数的構造を備えた形式的スキームに対するプライスティックコホロジーの対数的一般化を展開し、バッチとショルツェのプライスティック理論を半安定の場合に拡張すること。
• Frobeniusの持ち上げが対数的構造と整合するような、$δ$-環の一般化である$δ_{\log}$-環を定義すること。
• 対数的プライスティック・サイトを構成し、それを用いて半安定設定で$A_{\text{inf}}$-コホロジーを回復するコホロジー理論を定義すること。
• 新しいコホロジー理論について、ホッジ＝トーラーおよびクリスタリン比較を含む基礎的な比較を確立すること。

提案手法

• モノイド準同態$\alpha: M \to A$に対して、Frobenius持ち上げ$\phi$が$\phi(\alpha(m)) = \alpha(m^p)$を満たす$δ_{\log}$-環を$δ$-環の対数的変種として導入する。
• 有界プライスティックに、整合性のある前対数的構造を備えたものとして対数的プライスティックを定義し、対数的プライスティック・サイトの基盤を築く。
• 基底対数的プライスティック上の対数的形式的スキーム$X$に対して、対数的プライスティック・サイト$(X/A)_{\mathbbl{\Delta}}^{\log}$を構成し、その対象は$A$上の有界対数的プライスティックであり、$X$への整合性のある写像を持つ。
• 対数的プライスティック・サイト上の構造層$\mathcal{O}_{\mathbbl{\Delta}}^{\log}$を用いて、対数的プライスティックコホロジーを$R\Gamma_{\mathbbl{\Delta}}^{\log}(X/A) = R\Gamma((X/A)_{\mathbbl{\Delta}}^{\log}, \mathcal{O}_{\mathbbl{\Delta}}^{\log})$として定義する。
• コサイクル的モジュール上のホモトピー同値を用いて、コホロジー複体がホッジ＝トーラー・ターンの直和に分解することを示すことにより、ホッジ＝トーラー比較を確立する。
• 自然なプライスティックの写像に沿った基底変換を通じて、対数的プライスティックコホロジーとクリスタリンコホロジーを関係づけることにより、クリスタリン比較を証明する。特に、$W(k)[[u]]$から$A_{\text{inf}}$への写像を含む。

実験結果

リサーチクエスチョン

• RQ1 プライスティックコホロジー理論は、特に半安定の場合に、どのようにして対数的構造を含めるように一般化できるか？
• RQ2 うまく振る舞うプライスティック・サイトおよびコホロジー理論を支えるために、正しい「対数的プライスティック」の概念とは何か？
• RQ3 半安定の場合のブレュイ・キシンコホロジーは、プライスティック形式的理論の対数的変種を用いて構成可能か？
• RQ4 対数的プライスティックコホロジーは、古典的なコホロジー理論（クリスタリンおよびホッジ＝トーラー）とどのように比較できるか？
• RQ5 $δ_{\log}$-環は、混合特徴関数の場合にFrobeniusと整合する対数的構造を実現するために果たす役割は何か？

主な発見

• 本稿では、対数的プライスティックコホロジーを用いて、半安定の場合におけるブレュイ・キシンコホロジーの初の既知のバージョンを構成した。
• 対数的プライスティックコホロジーは、バッチとショルツェによる滑らかな場合の構成を一般化し、半安定設定において$A_{\text{inf}}$-コホロジーを回復する。
• ホッジ＝トーラー比較が確立され、対数的プライスティックコホロジー複体がホッジ＝トーラー・ターンの直和に分解することが示され、コホロジー上の$\phi$作用がFrobeniusと整合することが分かった。
• クリスタリン比較が証明され、自然なプライスティックの写像に沿った基底変換を通じて、対数的プライスティックコホロジーがクリスタリンコホロジーに正しく基底変換されることを示した。
• 既知のプライスティック間の写像$W(k)[[u]] \to A_{\text{inf}} \to W(\overline{k})$との整合性が保たれ、古典的コホロジー理論と一貫していることが確認された。
• 群$G = Q^{\text{gp}}/M^{\text{gp}}$が自由アーベル群であるという仮定の下で、コサイクル的モジュール上の相対的Frobeniusのホモトピー同値が証明され、これは準同構の結果に不可欠である。