[论文解读] Log Rigid Syntomic Cohomology for Strictly Semistable Schemes

Kazuki Yamada|arXiv (Cornell University)|May 14, 2015

Algebraic Geometry and Number Theory参考文献 16被引用 3

一句话总结

本文为 $p$-进域整数环上的严格半稳定概形引入了对数刚性纯 Syntomic 上同调，将其定义为可接受的过滤 $(\phi,N)$-模的扩张群。该上同调实现了绝对 $p$-进 Hodge 上同调，为 $p$-进 Beilinson 猜想提供了框架，并可通过 $p$-进 Hodge 理论实现显式计算。

ABSTRACT

We construct log rigid syntomic cohomology for strictly semistable schemes over the ring of integers of a p-adic field, and prove that it is interpreted as the extension group of the complex of admissible filtered $(ϕ,N)$-modules.

研究动机与目标

• 为 $V$（$p$-进域的整数环）上的严格半稳定概形定义一种上同调理论，使其实现绝对 $p$-进 Hodge 上同调。
• 将刚性纯 Syntomic 上同调理论从光滑概形扩展至具有潜在良好还原性的严格半稳定概形。
• 为与 $p$-进 Beilinson 猜想兼容的上同调框架提供支持，尤其适用于具有坏还原的概形。
• 通过可接受过滤 $(\phi,N)$-模的导出范畴，建立从 $K$-理论到 Syntomic 上同调的 Chern 类映射。

提出的方法

• 将对数刚性纯 Syntomic 上同调构造为 $ H^i_{\mathrm{syn}}(\mathcal{X},n) = \operatorname{Ext}^i_{p\mathrm{HD}_K}(K_0, \mathbb{R}\Gamma_{\mathrm{Hdg}}(\mathcal{X})(n)) $，其中 $ \mathbb{R}\Gamma_{\mathrm{Hdg}}(\mathcal{X}) $ 为 $p$-进 Hodge 复形。
• 使用广义 Godement 分解定义对数刚性上同调，并在复形上构造 Frobenius 与单值化算子。
• 建立等价关系 $ \Theta: D^b(\mathrm{MF}^{\mathrm{ad}}_K(\phi,N)) \to \widetilde{p\mathrm{HD}_K} $，将 Syntomic 上同调与可接受过滤 $(\phi,N)$-模的扩张群联系起来。
• 通过 $(\phi,N)$-模导出范畴中的普遍 Chern 类，定义 Syntomic Chern 类映射 $ c_{\mathrm{syn}}: K_i(\mathcal{X}) \to H^{2j-i}_{\mathrm{syn}}(\mathcal{X},j) $。
• 将该理论应用于满足 Hyodo-Kato 条件（HK）的严格半稳定概形情形，确保与已知 $p$-进 Hodge 理论的兼容性。

实验结果

研究问题

• RQ1 如何将刚性纯 Syntomic 上同调扩展至具有潜在坏还原性的严格半稳定概形？
• RQ2 对数刚性纯 Syntomic 上同调能否被解释为可接受过滤 $(\phi,N)$-模的扩张群？
• RQ3 在严格半稳定概形上，$p$-进 Hodge 复形在统一 de Rham 与对数刚性上同调方面起什么作用？
• RQ4 在 $p$-进 Beilinson 猜想的背景下，从 $K$-理论到 Syntomic 上同调的 Chern 类映射行为如何？
• RQ5 对数刚性纯 Syntomic 上同调与 $p$-进 Hodge 复形的导出范畴之间存在何种关系？

主要发现

• 对数刚性纯 Syntomic 上同调被定义为在导出范畴 $ p\mathrm{HD}_K $ 中，$p$-进 Hodge 复形 $ \mathbb{R}\Gamma_{\mathrm{Hdg}}(\mathcal{X}) $ 的扩张群，从而为绝对 $p$-进 Hodge 理论提供了上同调实现。
• 当 $ \mathcal{X} $ 满足 Hyodo-Kato 条件时，上同调 $ H^i_{\mathrm{syn}}(\mathcal{X},n) $ 同构于可接受过滤 $(\phi,N)$-模的扩张群。
• Chern 类映射 $ c_{\mathrm{syn}}: K_i(\mathcal{X}) \to H^{2j-i}_{\mathrm{syn}}(\mathcal{X},j) $ 通过 $(\phi,N)$-模导出范畴中的普遍 Chern 类构造而成。
• 该构造与动机框架兼容，其中 $ D\mathcal{R}_{\mathrm{Hdg}} $ 因子化为混合动机的导出范畴。
• 该理论为 Syntomic 上同调提供了 $p$-进 Hodge 理论的解释，使其适用于显式 $p$-进分析与 $L$-函数计算。