[论文解读] Frobenius gauges and a new theory of p-torsion sheaves in characteristic p. I

Jean-Marc Fontaine, Uwe Jannsen|arXiv (Cornell University)|Apr 12, 2013

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文引入了弗罗贝尼乌斯规管（Frobenius gauges）——一类新的线性代数结构，其推广了迪厄东内模（Dieudonné modules），并细化了特征 p 下的晶体上同调。通过利用截痕（syntomic）和 fppf 拓扑构造取值于这些规管的上同调理论，作者建立了一个框架，该框架扩展了经典的 p-挠层上同调理论，并为正特征完美域上的代数簇提供了一种更精细、有限型的上同调工具。

ABSTRACT

We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the theory for smooth projective varieties over perfect fields of charatceristic p. We also compare our theory with other existing structures like the F-zips of Moonen and Wedhorn and the displays of Langer and Zink.

研究动机与目标

• 开发一种在特征 p 下针对 p-挠层的新型上同调理论，以克服当 l = p 时 étale 拓扑的局限性。
• 利用弗罗贝尼乌斯规管将经典的迪厄东内模及其相关结构（如显示和 F-张量）推广到更广泛的框架中。
• 定义一种更精细的上同调理论——规管上同调（gauge cohomology），其扩展了晶体上同调，并捕捉到更精细的算术与几何信息。
• 通过截痕-étale 层建立 p-进霍奇理论与伽罗瓦表示特殊纤维之间的联系。
• 为通过层论结构而非仅通过表示本身研究伽罗瓦表示的形变提供理论基础。

提出的方法

• 引入规管、φ-模和 φ-规管的概念，作为在完美域 k 的威特环 W(k) 上的广义迪厄东内模。
• 从光滑簇 X 的 de Rham 复形构造一个普遍规管 G₁(X)，配备弗罗贝尼乌斯算子与微分算子，形成一个严格且有效的 φ-规管。
• 利用截痕拓扑与晶状环层 O₁^cris，定义取值于 φ-W_n-规管的规管上同调理论 H^i_g(X, W_n)。
• 建立一个典范同构 Rα_*G₁ ≅ G₁(X)，其中 α: X_syn → X_Zar 是拓扑点之间的态射，将规管上同调与 de Rham 上同调联系起来。
• 利用 W_n-晶状体理论与 fppf/fpqc 拓扑，定义并关联新的层论构造与现有的 p-挠层。
• 应用经典的塞尔对偶性与 de Rham 复形的结构，证明在光滑射影簇情形下，规管上同调满足庞加莱对偶性。

实验结果

研究问题

• RQ1 如何构造一种在特征 p 下针对 p-挠层的上同调理论，使其能细化晶体上同调，并克服当 l = p 时 étale 上同调的失效？
• RQ2 何种广义结构可统一地捕捉 μ_{p^n} 与 Z/p^nZ 等层的结构，作为迪厄东内模的适当推广？
• RQ3 弗罗贝尼乌斯规管如何与正特征几何中已有的结构（如 F-张量、显示与 W_n-晶状体）相关联？
• RQ4 规管上同调能否用于将经典对偶定理（如庞加莱对偶性）推广到一类新的层论不变量？
• RQ5 截痕-étale 拓扑在实现 p-进霍奇理论对象（如伽罗瓦表示的特殊纤维）中扮演何种角色？

主要发现

• 规管上同调 H^i_g(X, W_n) 是有限型的，且当 i ≥ d 时消失，其中 d 是定义在特征 p 的完美域 k 上的光滑射影簇 X 的维数。
• 对于光滑射影簇，规管上同调满足完美的庞加莱对偶性：H^i_g(X, W_n) × H^{2d−i}_g(X, W_n) → H^{2d}_g(X, W_n) ≅ W_n(−d)，其中对偶化规管 W_n(−d) 配备弗罗贝尼乌斯算子 σ。
• 存在一个典范同构 Rα_*G₁ ≅ G₁(X)，其中 α: X_syn → X_Zar 是站点之间的态射，通过 Fontaine-Messing 同构将规管上同调与 de Rham 复形联系起来。
• 规管上同调的零次部分恢复了晶体上同调：H^i_g(X, W_n)^0 = H^i_cr(X/W_n)。
• de Rham φ-规管 G₁(X) 是从带有弗罗贝尼乌斯与微分算子的 de Rham 复形构造而成，形成一个严格且有效的规管，其非零部分集中在 [0, d] 区间。
• 该理论为 p-进霍奇理论的特殊纤维提供了层论实现，其中在截痕层上乘以 p^n 的核对应于新一类中的 p-挠层。