[论文解读] Prismatic Dieudonn\'e theory

Johannes Anschütz, Arthur-César Le Bras|arXiv (Cornell University)|Jul 24, 2019

Homotopy and Cohomology in Algebraic Topology被引用 2

一句话总结

本文通过引入可接受的棱柱化狄奥多内晶体类别 DMadm(R)，为拟拟正则环上的 p-可除群建立了棱柱化狄奥多内理论，并证明了从 R 上的 p-可除群到 DMadm(R) 的函子是一个反等价。该构造利用了棱柱化上同调，并将经典狄奥多内理论扩展至混合特征情形，提供了一个统一的、几何的框架，避免了特征 p 的限制，适用于完美oid环和具有完美剩余域的完全正则局部环等环。

ABSTRACT

We define, for each quasi-syntomic ring $R$ (in the sense of Bhatt-Morrow-Scholze), a category $\mathrm{DM}^{ m adm}(R)$ of extit{admissible prismatic Dieudonn\'e crystals over $R$} and a natural functor from $p$-divisible groups over $R$ to $\mathrm{DM}^{ m adm}(R)$. We prove that this functor is an antiequivalence. Our main cohomological tool is the prismatic formalism recently developed by Bhatt and Scholze.

研究动机与目标

• 将经典狄奥多内理论扩展至超越特征 p 的混合特征情形。
• 利用棱柱化上同调，为 p-可除群的分类函子提供一个统一的、几何的构造。
• 通过用棱柱化形式系统替代晶体形式系统，克服先前理论（尤其是针对 p=2 时）的局限性。
• 定义并表征可接受的棱柱化狄奥多内晶体，作为分类函子的自然目标范畴。
• 在拟拟正则环上建立 p-可除群与可接受的棱柱化狄奥多内晶体之间的反等价。

提出的方法

• 在拟拟正则环 R 上引入可接受的棱柱化狄奥多内晶体类别 DMadm(R)。
• 利用棱柱化上同调和 Bhatt-Scholze 的棱柱化形式系统，从 R 上的 p-可除群范畴构造一个函子到 DMadm(R)。
• 应用棱柱化上同调形式系统计算同调群，并确立该函子的完全忠实性。
• 利用 p-完全忠实平坦态射的下降理论，证明 p-可除群与有限局部自由群概形的栈性质。
• 运用 q-对数函数与截断的霍奇-陶恩上同调，分析拟正则半完美oid环上棱柱化上同调的结构。
• 通过与已知情形（例如在 OK 上及 µp∞ 情形）的比较，借助截面拓扑技术证明其本质满射性，从而确立反等价。

实验结果

研究问题

• RQ1 能否构造一个棱柱化狄奥多内理论，以在混合特征下对拟拟正则环上的 p-可除群进行分类？
• RQ2 棱柱化形式系统如何实现一种统一的分类，从而避免晶体上同调在混合特征下的局限性？
• RQ3 可接受的棱柱化狄奥多内晶体的精确结构是什么？能否以带有弗罗贝尼乌斯与联络的模的形式进行具体描述？
• RQ4 棱柱化狄奥多内函子是否可扩展至超越拟拟正则环的更一般环？如果是，狄奥多内晶体的适当类比是什么？
• RQ5 能否以格罗滕迪克-梅辛理论的精神，发展棱柱化狄奥多内函子的形变理论？

主要发现

• 从拟拟正则环 R 上的 p-可除群到可接受的棱柱化狄奥多内晶体类别 DMadm(R) 的函子是一个反等价。
• 利用棱柱化上同调构造了 p-可除群的棱柱化狄奥多内晶体，并证明其完全忠实且本质满射。
• 对于群概形 Qp/Zp 和 µp∞，棱柱化狄奥多内模被显式计算，并证明其恢复了已知结果。
• 该理论与 OK 上的经典狄奥多内理论相容，并可推广至完美oid环。
• 证明依赖于 p-完全忠实平坦态射的下降理论，以及对 G[pn] 的对偶与棱柱化站点上同调的识别。
• 该构造是几何且内在的，避免了对特征 p 的约化，从而解决了先前方法的局限性，特别是针对 p=2 的情形。