[论文解读] Cartier crystals and perverse constructible étale $p$-torsion sheaves

Tobias Schedlmeier|arXiv (Cornell University)|Mar 24, 2016

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

一句话总结

本文在正特征 p 下，为奇异概形上的 Cartier 模块建立了 Riemann-Hilbert 对应关系，通过解函子 Solκ 将其与 perverse 可构造的 étale p-挠层联系起来。本文构造了 Cartier 模块的中间扩张，并证明了 Solκ 保持这些扩张，从而通过局部有限生成单位模与重合形式语言，将经典的 D-模对偶性推广至正特征情形。

ABSTRACT

For an $F$-finite scheme $X$ separated over a perfect field $k$ of characteristic $p>0$ which admits an embedding into a smooth $k$-scheme, we establish an equivalence between the bounded derived categories of Cartier crystals on $X$ and constructible $\mathbb{Z}/p\mathbb{Z}$-sheaves on the étale site $X_{ ext{ét}}$. The key intermediate step is to extend the category of locally finitely generated unit $\mathcal{O}_{F,X}$-modules for smooth schemes introduced by Emerton and Kisin to embeddable schemes. On the one hand, this category is equivalent to Cartier crystals. On the other hand, by using Emerton-Kisin's Riemann-Hilbert correspondence, we show that it is equivalent to Gabber's category of perverse sheaves in $D_c^b(X_{ ext{ét}},\mathbb{Z}/p\mathbb{Z})$. Furthermore, we define intermediate extensions for Cartier crystals and show that our equivalence between Cartier crystals and perverse constructible étale sheaves commutes with the intermediate extension functor.

研究动机与目标

• 将 Riemann-Hilbert 对应关系从光滑复流形推广至正特征 p 下的奇异概形。
• 利用重合形式语言，定义并研究 Cartier 模块的中间扩张。
• 建立解函子 Solκ 与中间扩张之间的相容性，确保其保持 perverse 结构。
• 通过局部有限生成单位模，将 Emerton-Kisin 的伴随形式语言推广至奇异概形。
• 在奇异概形上，建立 Cartier 模块与 perverse 可构造的 étale p-挠层之间的导出范畴等价。

提出的方法

• 将 Cartier 模块用作正特征下 D-模的代数对应物，通过 Frobenius 拉回定义。
• 引入局部有限生成单位（lfgu）模，作为 Cartier 模块在奇异概形上的推广。
• 在开-闭分解 X = U ∪ Z 的导出范畴中应用重合形式语言。
• 将中间扩张 j!∗M 构造为导出范畴中典范态射 pj! → pj∗ 的像。
• 使用解函子 Solκ: D⁺_crys(κ(X)) → D⁺_c(Ué t, ℤ/pℤ)，将 Cartier 模块与 perverse 层联系起来。
• 通过重合设定中的伴随关系与普遍性质论证，证明 Solκ 与中间扩张的相容性。

实验结果

研究问题

• RQ1 能否在正特征下，为奇异概形上的 Cartier 模块建立 Riemann-Hilbert 对应关系？
• RQ2 Cartier 模块的中间扩张在解函子 Solκ 下如何表现？
• RQ3 解函子 Solκ 是否在 étale 层的导出范畴中与中间扩张可交换？
• RQ4 能否通过 lfgu 模将 Emerton-Kisin 的伴随形式语言推广至奇异概形？
• RQ5 在奇异概形上，perverse 可构造的 étale p-挠层与 Cartier 模块之间的确切关系为何？

主要发现

• 解函子 Solκ 在奇异概形上诱导了 Cartier 模块的导出范畴与 perverse 可构造的 étale p-挠层的导出范畴之间的等价关系。
• Cartier 模块的中间扩张 j!∗M 被表征为唯一满足在闭补集上不支持非平凡子模或商模的扩张。
• Cartier 模块上的中间扩张函子 j!∗ 保持单射与满射，确保其与正合序列的相容性。
• Solκ 与中间扩张可交换：存在自然同构 j!∗∘Solκ ≅ Solκ∘j!∗，从而确立了解函子与中间扩张构造之间的相容性。
• 在奇异概形上，Cartier 模块的 Riemann-Hilbert 对应关系通过解函子 Solκ 实现，将经典对应关系推广至奇异与正特征情形。
• 重合形式语言适用于具有可构造上同调的 étale 层的导出范畴，从而允许中间扩张的构造及其普遍性质的验证。