[论文解读] Cartier Crystals

Manuel Blickle, Gebhard Böckle|arXiv (Cornell University)|Sep 4, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用 4

一句话总结

本文建立了Cartier模的导出范畴的基础性结果，证明了对于有限型态射，高阶直接像函子 $ Rf_* $ 在幂零性意义下保持凝聚上同调，且在局部幂零对象上局部化后，例外逆像 $ f^! $ 具有有界上同调维数。该工作为通过格罗滕迪克-塞尔对偶性将Cartier晶体与 $ \mathcal{D} $-模联系起来的对偶理论奠定了基础。

ABSTRACT

Building on our previous work modules: finiteness results we start in this manuscript an in depth study of the derived category of Cartier modules and the cohomological operations which are defined on them. After localizing at the sub-category of locally nilpotent objects we show that for a morphism essentially of finite type $f$ the operations $Rf_*$ and $f^!$ are defined for Cartier crystals. We show that, if $f$ is of finite type (but not necessarily proper) $Rf_*$ preserves coherent cohomology (up to nilpotence) and that $f^!$ has bounded cohomological dimension. In a sequel we will explain how Grothendieck-Serre Duality relates our theory of Cartier Crystals to the theory of $ au$-crystals as developed by Pink and the second author.

研究动机与目标

• 发展Cartier模的导出范畴理论，作为对偶定理的基础。
• 在Cartier晶体的背景下研究上同调运算 $ Rf_* $ 和 $ f^! $。
• 在有限型态射下建立这些函子的有限性与有界性性质。
• 在局部幂零对象上进行局部化以简化上同调行为。
• 为通过格罗滕迪克-塞尔对偶性将Cartier晶体与 $ \mathcal{D} $-晶体联系起来做好准备。

提出的方法

• 在局部幂零对象子范畴上局部化Cartier模的导出范畴，以简化上同调结构。
• 应用同调代数技巧来定义并分析Cartier晶体上的 $ Rf_* $ 和 $ f^! $。
• 利用先前工作中获得的有限性结果来控制上同调维数。
• 聚焦于本质上有限型的态射，以确保导出函子的良好行为。
• 利用幂零性考虑来稳定 $ Rf_* $ 下的凝聚上同调。
• 利用Cartier模的结构推导出 $ f^! $ 的有界性。

实验结果

研究问题

• RQ1 对于有限型态射，导出函子 $ Rf_* $ 和 $ f^! $ 在Cartier晶体上如何表现？
• RQ2 在Cartier模的导出范畴中，$ Rf_* $ 在多大程度上保持凝聚上同调？
• RQ3 在局部化于局部幂零对象后，$ f^! $ 的上同调维数是多少？
• RQ4 如何构建Cartier模的导出范畴以支持对偶定理？
• RQ5 在格罗滕迪克-塞尔对偶性的背景下，Cartier晶体与 $ \mathcal{D} $-晶体之间存在何种关系？

主要发现

• 对于有限型态射 $ f $，$ Rf_* $ 在幂零性意义下保持凝聚上同调。
• 在局部化于局部幂零对象后，函子 $ f^! $ 的上同调维数有界。
• $ Rf_* $ 和 $ f^! $ 的导出函子在Cartier模的局部化导出范畴上定义良好。
• 局部化过程有效消除了幂零上同调障碍。
• 所构建的框架为未来通过格罗滕迪克-塞尔对偶性比较 $ \mathcal{D} $-晶体提供了可能。
• 这些结果为通过Cartier模在正特征下建立对偶性的上同调基础提供了支持。