[論文レビュー] A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry

Lucas Mann|arXiv (Cornell University)|Jun 4, 2022

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、コンデンシティ数学と $π$-上での完全な位相的 $\mathcal{O}^+_X$-加群の導来圏を用いて、混合特徴値の体上の剛体解析的幾何における $p$- torsion エタール層の完全な 6-関手形式を確立する。$\mathbb{F}_p$-コホモロジーのポアンカレ双対性は、トーラスの場合に還元することで証明され、$\phi$-加群構造と $p$-進設定におけるリーマン＝ヒルベルト対応のバージョンを活用する。

ABSTRACT

We develop a full 6-functor formalism for $p$-torsion étale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $π$ an $\infty$-category $\mathcal D^a_\square(\mathcal O^+_X/π)$ of "derived quasicoherent complete topological $\mathcal O^+_X/π$-modules" on $X$. We then construct the six functors $\otimes$, $\underline{Hom}$, $f^*$, $f_*$, $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, similar to the $\ell$-adic case. By introducing $φ$-module structures and proving a version of the $p$-torsion Riemann-Hilbert correspondence we relate $\mathcal O^+_X/π$-sheaves to $\mathbb F_p$-sheaves. As a special case of this formalism we prove Poincaré duality for $\mathbb F_p$-cohomology on rigid-analytic varieties. In the process of constructing $\mathcal D^a_\square(\mathcal O^+_X/π)$ we also develop a general descent formalism for condensed modules over condensed rings.

研究の動機と目的

• 剛体解析的幾何における $p$- torsion エタール層の完全な 6-関手形式を構築すること。
• コンデンシティ数学を用いて、小規模な $v$-スタック $X$ 上の完全な位相的 $\mathcal{O}^+_X/\pi$-加群の導来圏 $\mathrm{D}^\square(\mathcal{O}^+_X/\pi)$ を構成すること。
• 混合特徴値の体上の固有かつ滑らかな剛体解析的多様体における $\mathbb{F}_p$-コホモロジーのポアンカレ双対性を証明すること。
• $\mathcal{O}^+_X/\pi$-層と $\mathbb{F}_p$-局所定数層との間の関係を $\phi$-加群構造と $p$- torsion リーマン＝ヒルベルト対応を用いて確立すること。
• 古典的および $\ell \neq p$ の場合の証明に類似した、局所的証明を用いて $\ell = p$ の場合のポアンカレ双対性を新たに証明すること。

提案手法

• コンデンシティ数学とコンデンシティ環を用いて、小規模な $v$-スタック $X$ 上の導来準連続完全位相的 $\mathcal{O}^+_X/\pi$-加群の $\infty$-圏 $\mathrm{D}^\square(\mathcal{O}^+_X/\pi)$ を定義する。
• この設定において、6 つの関手 $\otimes$、$\mathrm{Hom}$、$f^*$、$f_*$、$f_!$、および $f^!$ を構成し、すべての期待される整合性を検証する。
• コンデンシティ環上のコンデンシティ加群の一般な降下形式を適用して、アフィン・ペルフェクトイド空間上での形式を確立する。
• $\mathcal{O}^+_X/\pi$-加群に $\phi$-加群構造を導入し、$p$- torsion リーマン＝ヒルベルト対応を証明し、それによって $\mathbb{F}_p$-局所定数層と関連付ける。
• 6-関手形式を用いて局所的に双対性を検証することで、ポアンカレ双対性の証明をトーラスの場合に還元する。
• ステディ自己関手の理論とフィルター付き帰納極限の降下を用いて、形式が極限と帰納極限とで整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 混合特徴値の体上の剛体解析的幾何における $p$- torsion エタール層の完全な 6-関手形式を構築することは可能か？
• RQ2 コンデンシティ数学を用いて、完全な $\mathcal{O}^+_X/\pi$-加群の導来圏をどのように構成できるか？
• RQ3 $\phi$-加群は、$\mathcal{O}^+_X/\pi$-層と $\mathbb{F}_p$-局所定数層との関係をどのように果たすか？
• RQ4 剛体解析的設定において $p$- torsion リーマン＝ヒルベルト対応は成立するか？
• RQ5 局所的 6-関手形式を用いて、$\mathbb{F}_p$-コホモロジーのポアンカレ双対性を証明できるか？

主な発見

• この論文は、コンデンシティ数学を用いて、剛体解析的多様体上の $p$- torsion エタール層の完全な 6-関手形式を構築する。
• この $\infty$-圏 $\mathrm{D}^\square(\mathcal{O}^+_X/\pi)$ が 6 つの関手の間ですべて期待される整合性を満たすことを証明する。
• $p$- torsion リーマン＝ヒルベルト対応が確立され、$\phi$-加群構造を介して $\mathcal{O}^+_X/\pi$-層と $\mathbb{F}_p$-局所定数層とを関連付ける。
• 混合特徴値の体上の固有かつ滑らかな剛体解析的多様体における $\mathbb{F}_p$-コホモロジーのポアンカレ双対性が証明される。
• 証明はトーラスの場合に還元され、その場合に直接検証され、6-関手形式を用いて局所的に双対性が確認される。
• コンデンシティ環上のコンデンシティ加群の降下形式が開発され、アフィン・ペルフェクトイド空間上での形式の構成に応用される。