[论文解读] Nonabelian Hodge Theory in Characteristic p

Arthur Ogus, Vadim Vologodsky|ArXiv.org|Jul 22, 2005

Analytic Number Theory Research被引用 7

一句话总结

本文通过构造一个Cartier变换——从具有可积联络的幂零D-模到Frobenius提升上的Higgs模的函子——在特征p > 0下发展了非交换Hodge理论。利用模p²的提升以及Frobenius提升的几何结构，作者建立了推广Deligne-Illusie分解定理至带系数的de Rham上同调的导出等价关系，提供了Simpson在复流形上Riemann-Hilbert对应关系的特征p类比。

ABSTRACT

Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the decomposition theorem of Deligne-Illusie to the case of de Rham cohomology with coefficients.

研究动机与目标

• 将Deligne-Illusie关于de Rham上同调的分解定理推广至正特征下D-模系数的情形。
• 构造一个类似于复流形上Simpson理论的特征p下的非交换Hodge对应关系。
• 利用Frobenius提升的几何结构与Azumaya代数，建立可积联络与Higgs丛之间的函子对应关系。
• 通过Cartier变换将Riemann-Hilbert对应关系推广至正特征。
• 为通过正特征下Higgs模与D-模的视角研究p进上同调与晶体上同调提供一个框架。

提出的方法

• 通过模p²的X的提升，构造从幂零D-模范畴（MICp−1(X/S)）到Higgs模范畴（HIGp−1(X′/S)）的函子。
• 利用X上的Frobenius提升的主齐性空间L̃X，其为F∗TX′-主齐性空间，并赋予其一个典范联络。
• 通过余切丛上的完成PD对称代数，定义代数DγX = DX ⊗S·TX′ ˆΓ·TX′。
• 将Cartier变换定义为C̃X(E) = ι∗HomDγX(B̃X, E)，其中B̃X是Azumaya代数DγX的分裂模。
• 利用DγX是S·TX′上的Azumaya代数，且B̃X提供分裂结构的事实，诱导出范畴之间的等价关系。
• 在导出范畴框架下，将Cartier变换扩展至导出直接像与反像，并定义导出Cartier变换。

实验结果

研究问题

• RQ1 能否在正特征p下建立类似于Simpson在C上理论的非交换Hodge对应关系？
• RQ2 Cartier变换与特征p下经典Riemann-Hilbert对应关系有何关联？
• RQ3 模p²的Frobenius提升在构造D-模的Hodge理论对应关系中起什么作用？
• RQ4 导出Cartier变换如何与de Rham直接像及Gauss-Manin联络相互作用？
• RQ5 在何种意义上，Cartier变换将Deligne-Illusie分解定理推广至带系数的上同调？

主要发现

• Cartier变换C̃X在幂零D-模范畴（水平≤ p−1）与幂零Higgs模范畴（水平≤ p−1）之间提供了一个拟逆等价。
• 该构造依赖于X模p²的提升的存在性，以及携带典范联络的Frobenius提升主齐性空间L̃X。
• 代数DγX是S·TX′上的Azumaya代数，且模B̃X是DγX的分裂模，使得Cartier变换成为范畴等价。
• 导出Cartier变换通过导出范畴中的导出Hom构造，且与de Rham直接像及Gauss-Manin联络可交换。
• 本文证明了Cartier变换诱导出de Rham上同调与Higgs上同调之间的同构：H•(X, E ⊗Ω•X) ≅ H•(X′, C̃X(E) ⊗Ω•X′)。
• 作者利用Cartier变换证明了Barannikov与Kontsevich的定理，表明在幂零条件成立时，特征p下Hodge到de Rham的谱序列在正特征下退化。