[论文解读] An inverse Cartier transform via exponential in positive characteristic

Guitang Lan, Mao Sheng+1 more|arXiv (Cornell University)|May 30, 2012

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

一句话总结

本文在奇特征 $ p $ 的完美域 $ k $ 上的光滑代数簇上，通过 $ W_2(k) $ 上的弗罗贝尼乌斯提升，利用指数型构造，从指数 $ n \leq p-1 $ 的幂零赫格斯丛构造出一个平坦丛。关键结果表明，该构造在几何情形下与奥古斯-沃洛戈茨基的逆卡蒂埃变换同构，该同构由相对弗罗贝尼乌斯诱导。

ABSTRACT

Let $k$ be a perfect field of odd characteristic $p$ and $X_0$ a smooth connected algebraic variety over $k$ which is assumed to be $W_2(k)$-liftable. In this short note we associate a de Rham bundle to a nilpotent Higgs bundle over $X_0$ of exponent $n\leq p-1$ via the exponential function. Presumably, the association is equivalent to the inverse Cartier transform of A. Ogus and V. Vologodsky for these Higgs bundles. However this point has not been verified in the note. Instead, we show the equivalence of the association with that of Sheng-Xin-Zuo in the geometric case. The construction relies on the cocycle property of the difference of different Frobenius liftings over $W_2(k)$, which plays the key role in the proof of $E_1$-degeration of the Hodge to de Rham spectral sequence of $X_0$ due to P. Deligne and L. Illusie.

研究动机与目标

• 在奇特征 $ p $ 的完美域 $ k $ 上的光滑代数簇 $ X_0 $ 上，从指数 $ n \leq p-1 $ 的幂零赫格斯丛构造平坦丛。
• 利用微分几何工具与指数函数，提供逆卡蒂埃变换的替代构造。
• 在几何情形下，建立该构造与奥古斯-沃洛戈茨基逆卡蒂埃变换的等价性。
• 通过弗罗贝尼乌斯提升的上链性质，验证所构造的联络在局部基变换下可定义良好且满足可积性。

提出的方法

• 将代数簇 $ X_0 $ 提升为 $ W_2(k) $-概形 $ X_1 $，并在仿射开集 $ U'_\alpha $ 上使用局部弗罗贝尼乌斯提升 $ F_\alpha $。
• 在拉回丛 $ H_\alpha = F_0^*E|_{U_\alpha} $ 上定义联络 $ \nabla_\alpha = d + \frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha) $，其中使用赫格斯场 $ \theta_\alpha $。
• 通过验证变换律（利用 $ dF_0^*M = 0 $ 与 $ \frac{dF_\alpha}{[p]} $ 的结构），证明联络在局部基变换下定义良好。
• 通过证明 $ d\left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right) = 0 $ 与 $ \left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right)^2 = 0 $，证明联络的可积性，该结果依赖于赫格斯场的幂零性与可积性。
• 通过相对弗罗贝尼乌斯同构 $ \tilde{\Phi}_{\tilde{F}_\alpha} $，利用局部联络的粘合构造全局平坦丛，该同构与提升的选择无关。
• 通过验证过渡函数与联络的一致性，建立所构造平坦丛与奥古斯-沃洛戈茨基逆卡蒂埃变换之间的同构，使用指数级数 $ \sum \frac{(h_{\alpha\beta}(F_0^*\theta))^i}{i!} $。

实验结果

研究问题

• RQ1 能否在正特征下，通过指数型映射，从指数 $ n \leq p-1 $ 的幂零赫格斯丛构造平坦丛？
• RQ2 该构造在几何情形下是否与奥古斯-沃洛戈茨基的逆卡蒂埃变换等价？
• RQ3 在 $ W_2(k) $ 上，弗罗贝尼乌斯提升的上链性质如何确保所构造联络的定义良好性与可积性？
• RQ4 相对弗罗贝尼乌斯在诱导所构造平坦丛与逆卡蒂埃变换之间的同构中起什么作用？
• RQ5 在赫格斯场满足幂零性与可积性条件下，通过 $ \nabla_\alpha = d + \frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha) $ 定义的联络是否产生平坦结构？

主要发现

• 所构造的联络 $ \nabla_\alpha $ 在 $ H_\alpha = F_0^*E|_{U_\alpha} $ 上在局部基变换下定义良好，因为 $ dF_0^*M = 0 $ 确保了变换律成立。
• 联络 $ \nabla_\alpha $ 是可积的，因为 $ d\left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right) = 0 $ 且 $ \left(\frac{dF_\alpha}{[p]}(F_0^*\theta_\alpha)\right)^2 = 0 $，该结果由赫格斯场的幂零性与可积性保证。
• 全局平坦丛的过渡函数为 $ g_{\alpha\beta} = 1 + \sum_{|\underline{j}|=1}^n F_0^*(\theta_\partial^{\underline{j}}) \cdot \frac{z^{\underline{j}}}{\underline{j}\,!} $，与弗罗贝尼乌斯提升差的指数级数一致。
• 所构造的平坦丛 $ (H_{\text{exp}}, \nabla_{\text{exp}}) $ 通过相对弗罗贝尼乌斯同构 $ \tilde{\Phi}_{F_\alpha} $ 自然同构于逆卡蒂埃变换 $ (H_{(G,\theta)}, \nabla) $。
• 联络同构成立，因为 $ \tilde{\Phi}_{F_\alpha}(\nabla_{\text{exp}}(F_0^*e_\alpha)) = \nabla[\tilde{\Phi}_{F_\alpha}(F_0^*e_\alpha]) $，通过匹配联络公式验证。
• 该构造关键依赖于 $ W_2(k) $ 上弗罗贝尼乌斯提升差的上链性质，该性质确保了粘合过程的一致性，并构成赫格斯丛到德拉姆谱序列的 $ E_1 $-退化性的基础。