[論文レビュー] $p$-adic vanishing cycles as Frobenius-fixed points

Matthew Morrow|arXiv (Cornell University)|Feb 9, 2018

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

ひとこと要約

この論文は、混合特徴値の完備化体の整数環上の滑らかな形式的スキームに対する $p$-進退化サイクルが、特定の de Rham–Witt 複体のプロシステムのフロベニウス固定点と同型であることを確立する。$p$-進カルティエ同型定理とフロベニウス引数から制限への写像のホモトピー核を活用することで、著者たちは $p$-進退化サイクルを $F - R$ の核として特定し、整数 $p$-進ホッジ理論におけるフロベニウス固定構造を通じて、これらのコホモロジー的不変量の新しい解釈を提供する。

ABSTRACT

Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.

研究の動機と目的

• 整数コホモロジー理論における $p$-進退化サイクルを $p$-進ホッジ理論におけるフロベニウス固定点として解釈すること。
• de Rham–Witt 複体と $q$-de Rham 複体の枠組みを完備化環上の形式的スキームへ拡張すること。
• プロシステム上の $F - R$ のホモトピー核と関連付けることで、$p$-進退化サイクルの新しい視点を提供すること。
• 離散的価値体からのゲイセッカー–ヘッセルホルトの結果を完備化幾何学を用いて代数的閉包へ一般化すること。
• フロベニウス固定点を通じて、$p$-進退化サイクルと $q$-de Rham 複体 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\}$ の間の構造的関係を確立すること。

提案手法

• 著者たちはプロ・エタール位相を用い、特殊ファイバーのエタールサイト上の $W_r(\mathcal{O})$-加群のプロ複体 $\tau^{\leq j}\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$ を構成する。
• 彼らは $p$-進カルティエ同型定理を適用し、$\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$ のコホモロジーを相対 de Rham–Witt 複体 $W_r\Omega^{\bullet}_{\mathfrak{X}/\mathcal{O}}$ と関連付ける。
• 主な構成は、写像 $F - R: \tau^{\leq j}\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\} \to \tau^{\leq j}\widetilde{W_{r-1}\Omega}_{\mathfrak{X}}\{j\}$ のホモトピー核であり、これが $p$-進退化サイクルを捉える。
• 彼らは、$\tau^{\leq j}Rb_*\mathbb{Z}/p^N\mathbb{Z}(j)$ と $F - R$ マップのプロシステムを含むファイバー列が正確であることを証明し、退化サイクルを核として特定する。
• 証明は、$F - R$ が de Rham–Witt シェーブに全射であることにより、$p$-進コホモロジーの長い完全系列が短い完全系列に分解することに依存する。
• 彼らは $q$-de Rham 複体 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\} = \varprojlim_{r, F} \widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$ を用いて、Bhatt–Morrow–Scholze が得た既知の結果 $\ker(1 - \varphi^{-1})$ を回復する。

実験結果

リサーチクエスチョン

• RQ1 de Rham–Witt 複体の完備化環上のフロベニウス固定点の文脈で、$p$-進退化サイクルをどのように解釈できるか？
• RQ2 プロシステム $\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$ と $p$-進エタールコホモロジー $Rb_*\mathbb{Z}/p^N\mathbb{Z}(j)$ の間の明確な関係は何か？
• RQ3 切り詰めた de Rham–Witt 複体上の $F - R$ の写像が、$p$-進退化サイクルを実現するファイバー列を誘導するか？
• RQ4 $\mathbb{F}_p$-スキーム上の de Rham–Witt シェーブに於いて $F - R$ の全射性が、$p$-進コホモロジーの長い完全系列の分解を証明するために利用可能か？
• RQ5 $q$-de Rham 複体 $\mathbb{A}\Omega_{\mathfrak{X}}\{j\}$ は、フロベニウス固定点を通じてどのように $p$-進退化サイクルを符号化するか？

主な発見

• ファイバー列 $\tau^{\leq j}Rb_*\mathbb{Z}/p^N\mathbb{Z}(j) \to \varprojlim'_{r, R} \tau^{\leq j}\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\} \xrightarrow{F-R} \varprojlim'_{r, R} \tau^{\leq j}\widetilde{W_{r-1}\Omega}_{\mathfrak{X}}\{j\}$ は、$p$-進退化サイクルがプロシステム上の $F - R$ の核として特定されることを示す。
• $p$-進カルティエ同型定理により、$H^j(\widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}) \cong W_r\Omega^j_{\mathfrak{X}/\mathcal{O}}$ が保証され、複体のコホモロジーと de Rham–Witt 形式との間の関係が確立される。
• $F - R$ の全射性により、$p$-進コホモロジーの長い完全系列が短い完全系列に分解する。これは、$\mathbb{F}_p$-ケースと滑らかさのケースへの還元により証明される。
• アフィンかつ有限型の $\mathbb{F}_p$-スキーム $Y$ に対して、写像 $F - R: W_r\Omega^j_{Y/\mathbb{F}_p} \to W_{r-1}\Omega^j_{Y/\mathbb{F}_p}$ は全射であり、$\varprojlim^1$ の障害がないことを保証する。
• プロシステム $\mathbb{A}\Omega_{\mathfrak{X}}\{j\} = \varprojlim_{r, F} \widetilde{W_r\Omega}_{\mathfrak{X}}\{j\}$ は、$\tau^{\leq j}(\mathbb{A}\Omega_{\mathfrak{X}}\{j\}/p^N) \xrightarrow{1 - \varphi^{-1}} \tau^{\leq j}(\mathbb{A}\Omega_{\mathfrak{X}}\{j\}/p^N)$ で、核が $\tau^{\leq j}R\nu_*\mathbb{Z}/p^N\mathbb{Z}(j)$ であることを満たし、Bhatt–Morrow–Scholze の既知の結果を回復する。
• プロシステム $\mathbb{A}\Omega_{\mathfrak{X}}\{j\}/p^N$ のフロベニウス固定点は、$p$-進退化サイクル $\tau^{\leq j}Rb_*\mathbb{Z}/p^N\mathbb{Z}(j)$ と同型であり、整数 $p$-進ホッジ理論におけるフロベニウス固定構造を通じた、コホモロジー的不変量の新たな解釈を提供する。