[论文解读] Rigid analytic reconstruction of Hyodo--Kato theory

Veronika Ertl, Kazuki Yamada|arXiv (Cornell University)|Jul 25, 2019

Algebraic Geometry and Number Theory参考文献 14被引用 4

一句话总结

本文提出了一种新的刚性解析构造方法，用于 Hyodo–Kato 上同调与 Hyodo–Kato 映射，基于对数刚性上同调，实现了对统一参数选择的独立性，并仅依赖于 $p$-进对数的分支。该构造是显式的，可通过 Čech 上链计算，且与经典结晶上同调 Hyodo–Kato 理论以及 Gro{̈}sse-Kl{"o}nne 的刚性方法相容。

ABSTRACT

We give a new and very intuitive construction of Hyodo--Kato cohomology and the Hyodo--Kato map, based on logarithmic rigid cohomology. We show that it is independent of the choice of a uniformiser and study its dependence on the choice of a branch of the $p$-adic logarithm. Moreover, we show the compatibility with the classical construction of Hyodo--Kato cohomology and the Hyodo--Kato map.)

研究动机与目标

• 开发一种计算显式且几何直观的 Hyodo–Kato 上同调的刚性解析版本。
• 消除 Hyodo–Kato 映射对统一参数选择的依赖，代之以对 $p$-进对数分支的依赖。
• 建立与经典结晶上同调 Hyodo–Kato 理论以及 Gro{̈}sse-Kl{"o}nne 的刚性解析构造的相容性。
• 提供一个可推广至对数过收敛 $F$-等构层系数上同调的框架。

提出的方法

• 作者使用一个定义在单位开盘上的 dagger 空间上的复形 $\omega^{\bullet}_{\mathcal{Z}/W^{\varnothing},\mathbb{Q}}[u]$，受 Kim 和 Hain 启发，以定义刚性 Hyodo–Kato 上同调。
• 通过从 dagger 空间的刚性上同调到 de Rham 上同调的自然态射，定义了刚性 Hyodo–Kato 映射 $\Psi_{\pi,q}$，从而实现通过 Čech 上链进行显式计算。
• 该构造依赖于对数刚性上同调以及具有伪-弱 cwg 代数的弱形式概形，从而允许一种相对的弱完备性概念。
• 证明了映射 $\Psi_{\pi,q}$ 与统一参数 $\pi$ 无关，仅依赖于由 $q \in \mathfrak{m}_V \setminus \{0\}$ 编码的 $p$-进对数分支。
• 使用一个涉及单纯对数概形及其特殊纤维的刚性上同调的交换图表，将新映射与经典构造及 Gro{̈}sse-Kl{"o}nne 构造进行比较。
• 通过刚性复形的公理化中 Frobenius 相容性与函子性，证明新映射与经典截面 $s_\pi$ 一致，从而确保相容性。

实验结果

研究问题

• RQ1 如何在刚性解析设定下重构 Hyodo–Kato 上同调，使其既计算显式又与统一参数的选择无关？
• RQ2 Hyodo–Kato 映射对 $p$-进对数分支的选择具有何种精确依赖关系？
• RQ3 新刚性解析构造是否与经典结晶上同调 Hyodo–Kato 理论以及 Gro{̈}sse-Kl{"o}nne 的刚性解析方法相容？
• RQ4 新构造能否推广至对数过收敛 $F$-等构层系数的上同调？

主要发现

• 刚性 Hyodo–Kato 上同调 $R\Gamma_{\mathrm{HK}}^{\mathrm{rig}}(\mathcal{X})$ 通过定义在 dagger 空间上的复形构造，使得可通过 Čech 上链实现显式计算。
• 刚性 Hyodo–Kato 映射 $\Psi_{\pi,q}$ 与统一参数 $\pi$ 无关，仅依赖于由 $V$ 的极大理想中非零元 $q$ 定义的 $p$-进对数分支。
• 通过涉及拟同构与 Frobenius 相容性的交换图表，证明了 $\Psi_{\pi,q}$ 的构造与经典结晶 Hyodo–Kato 映射 $\Psi_{\pi}^{\mathrm{cris}}$ 相容。
• 当 $q = \pi$ 时，映射 $\Psi_{\pi,q}$ 与 Gro{̈}sse-Kl{"o}nne 的刚性 Hyodo–Kato 映射一致，确立了与先前刚性解析方法的一致性。
• 新构造与 Frobenius 作用相容，且图表中映射的复合与 Frobenius 交换，从而确保与 $(\varphi,N)$-模中 $\varphi$-结构的一致性。
• 作者证明了图表中映射的复合是特化映射的截面，且由 Frobenius 相容性，其与经典截面 $s_\pi$ 一致，从而证明了完全相容性。