[论文解读] On Beilinson's equivalence for $p$-adic cohomology

Tomoyuki Abe, Daniel Caro|arXiv (Cornell University)|Sep 18, 2013

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

一句话总结

该论文通过利用 Kedlaya 的半稳定约化定理，构建了具有 Frobenius 结构的过上纯 $ω$-模的单值邻近循环函子，建立了贝林森关于上纯 $ω$-模的导出范畴与具有上纯上同调的复形导出范畴之间等价关系的 $p$-进类比。其关键贡献在于构造了一个在六种格罗滕迪克操作下封闭的过上纯复形的三角范畴，从而实现了贝林森等价关系的 $p$-进类比。

ABSTRACT

In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.

研究动机与目标

• 为克服 $p$-进上同调中邻近循环函子的缺失这一主要技术障碍，这是该理论中的一个重大难题。
• 在 $p$-进设定下，定义一个合适的上纯 $ω^\dagger$-模范畴，使其在格罗滕迪克六种操作下封闭。
• 建立光滑概族在 $\mathbb{C}$ 上的 $D^b(\mathrm{Hol}(X))$ 与 $D^b_{\mathrm{hol}}(X)$ 之间贝林森等价关系的 $p$-进类比。
• 为算术 $ω$-模理论提供基础工具，并应用于刚性上同调与迹公式。

提出的方法

• 通过模的分解方法，基于贝林森原始方法的启发，构造具有 Frobenius 结构的模的单值邻近循环函子。
• 利用 Kedlaya 对具有 Frobenius 结构的过收敛等角晶体的半稳定约化定理，绕过 $p$-进背景下 $b$-函数定义困难的问题。
• 定义一个包含 Frobenius 结构模的最小三角子范畴，确保其在六种操作下封闭。
• 采用 pro-ind 范畴来解决关键引理图示证明中的问题，用一个足够充分的同态替代错误的同构。
• 通过涉及 $j_!$、$j_+$ 和 $\Xi_f$ 的短正合列定义函子 $\Phi_f$，以构造邻近循环函子。
• 使用函子 $\Pi^{a,b}_{!+}$ 在 $j_!$ 和 $j_+$ 之间插值，并证明其在移位和 Frobenius 拉直下的稳定性。

实验结果

研究问题

• RQ1 在 $b$-函数未定义的 $p$-进背景下，能否构造出单值邻近循环函子？
• RQ2 在 $p$-进上同调中，上纯 $ω^\dagger$-模的正确定义是什么，且其在六种操作下封闭？
• RQ3 贝林森关于 $D^b(\mathrm{Hol}(X))$ 与 $D^b_{\mathrm{hol}}(X)$ 的等价关系是否具有 $p$-进类比？
• RQ4 能否利用这些构造将算术 $ω$-模理论与刚性上同调统一起来？

主要发现

• 通过 Kedlaya 定理作为 $b$-函数的替代，成功构造了具有 Frobenius 结构的过上纯 $ω^\dagger$-模的单值邻近循环函子。
• 通过三角子范畴构造，证明了具有 Frobenius 结构的上纯 $ω^\dagger$-模范畴 $\mathrm{Hol}_F(X/K)$ 在格罗滕迪克六种操作下封闭。
• 函子 $\Phi_f$ 是正合的，且对任意 $\mathcal{E} \in \mathrm{Hol}_F(Z/K)$ 满足 $\mathcal{E} \cong \Phi_f(\mathcal{E})$，确认其作为邻近循环函子的角色。
• 通过在 pro-ind 范畴中用同态 $\#'$ 替代图示中的同构，修正了关键引理证明中的关键图示，该同态已足够支持论证。
• 投影系统 $\mathrm{coker}(s^i \alpha^{a,b}(i))$ 在 $b$ 足够大时趋于稳定，表明 $\Pi^{a,a+i}_{!+}$ 是良定义的，且同构于其极限。
• 该构造为算术 $ω$-模理论提供了基础工具，并可应用于 $p$-进版的藤原迹公式等应用。