[论文解读] Nonabelian Hodge theory in positive characterstic via exponential twisting

Guitang Lan, Mao Sheng+1 more|arXiv (Cornell University)|Dec 2, 2013

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

一句话总结

本文在正特征非交换 Hodge 理论中，对逆 Cartier 变换给出了显式、指数扭转变换的重新表述。证明了在幂零 Higgs 丛与幂零平坦丛的指数 ≤ p−1 情况下，逆 Cartier 变换等价于经典 Cartier 降维的指数扭变，通过 Deligne-Illusie 引理与 Higgs-de Rham 流，给出了 Ogus-Vologodsky 等价关系的显式实现。

ABSTRACT

Let $k$ be a perfect field of odd characteristic and $X$ a smooth algebraic variety over $k$ which is $W_2$-liftable. We show that the exponent twisiting of the classical Cartier descent gives an equivalence of categories between the category of nilpotent Higgs sheaves of exponent $\leq p-1$ over $X/k$ and the category of nilpotent flat sheaves of exponent $\leq p-1$ over $X/k$, and it is equivalent up to sign to the inverse Cartier and Cartier transforms for these nilpotent objects constructed in the nonabelian Hodge theory in positive characteristic by Ogus-Vologodsky. In view of the crucial role that Deligne-Illusie's lemma has ever played in their algebraic proof of $E_1$ degeneration and Kodaira vanishing theorem in abelian Hodge theory, it may not be overly surprising that again this lemma plays a significant role via the concept of Higgs-de Rham flow in establishing $p$-adic Simpson correspondence in nonabelian Hodge theory and Langer's algebraic proof of Bogomolov inequality for semistable Higgs bundles and Miyaoka-Yau inequality.

研究动机与目标

• 为奇特征域上非交换 Hodge 理论中的逆 Cartier 变换提供更显式、更具几何直观性的描述。
• 证明在指数 ≤ p−1 的幂零 Higgs 丛与平坦丛上，逆 Cartier 变换源于经典 Cartier 降维的指数扭变。
• 建立指数扭变函子与 Ogus-Vologodsky 的逆 Cartier 变换之间的自然同构。
• 阐明 Deligne-Illusie 引理在 p-进 Simpson 对应及其相关不等式构造中的作用。
• 证明 Fontaine-Faltings 模的 Gauss-Manin 联络可由其对应的分次 Higgs 丛通过逆 Cartier 变换重构。

提出的方法

• 通过指数扭变，构造从指数 ≤ p−1 的幂零 Higgs 丛范畴到指数 ≤ p−1 的幂零平坦丛范畴的函子 $ C^{-1}_{\exp} $。
• 使用相同的指数扭变机制，定义反向的函子 $ C_{\exp} $。
• 在 $ W_2 $-提升 $ \tilde{X} $ 上利用 Frobenius 提升 $ \tilde{F}_{\alpha} $，通过相对 Frobenius $ \Phi $ 构造 $ F_0^*E $ 与 $ H $ 之间的局部同构。
• 应用水平联络 $ \nabla $ 的泰勒展开，证明同构 $ \tilde{\Phi}_{\tilde{F}_{\alpha}} $ 与联络结构相容。
• 利用恒等式 $ J_{\alpha\beta} = \sum_{i=0}^n \frac{(h_{\alpha\beta}(F_0^*\theta))^i}{i!} $，证明局部同构可胶合为全局同构。
• 通过 Higgs-de Rham 流利用 Deligne-Illusie 引理，确保指数扭变与幂零性条件及可积性相容。

实验结果

研究问题

• RQ1 在非交换 Hodge 理论中，逆 Cartier 变换如何通过指数扭变显式描述？
• RQ2 指数扭变构造与正特征下经典 Cartier 降维之间的确切关系是什么？
• RQ3 在本背景下，Deligne-Illusie 引理在 Higgs 丛与平坦丛等价关系中起多大作用？
• RQ4 能否通过逆 Cartier 变换从其对应的分次 Higgs 丛重构 Fontaine-Faltings 模的 Gauss-Manin 联络？
• RQ5 指数扭变函子 $ C^{-1}_{\exp} $ 与 Ogus-Vologodsky 的逆 Cartier 变换 $ C^{-1} $ 之间有何关系？

主要发现

• 指数扭变函子 $ C^{-1}_{\exp} $ 提供了逆 Cartier 变换 $ C^{-1} $ 的显式、几何实现，建立了 $ C^{-1}_{\exp} $ 与 $ C^{-1} $ 之间的自然同构。
• 在指数 ≤ p−1 的幂零 Higgs 丛上，逆 Cartier 变换 $ C^{-1} $ 等价于经典 Cartier 降维的指数扭变，仅符号不同。
• 同构 $ \tilde{\Phi}: C^{-1}(E, -\theta) \cong (H, \nabla) $ 通过相对 Frobenius $ \Phi $ 构造，表明 Gauss-Manin 平坦丛由 Higgs 丛经 $ C^{-1} $ 产生。
• 局部同构 $ \tilde{\Phi}_{\tilde{F}_{\alpha}} $ 由于联络相容性与 $ \nabla $ 的泰勒展开而可胶合成全局同构。
• 证明依赖于恒等式 $ J_{\alpha\beta} = 1 + \sum_{|\underline{j}|=1}^n F_0^*(\theta_{\partial}^{\underline{j}}) \cdot \frac{z^{\underline{j}}}{\underline{j}\,!} $，该式由 $ \Phi $ 的水平性与 $ h_{\alpha\beta} $ 的定义推出。
• 该构造在 $ \operatorname{char}(k) = p $ 为奇数且 $ X $ 允许 $ W_2 $-提升的假设下成立，确保 Frobenius 提升的存在性及 Deligne-Illusie 引理的适用性。