[论文解读] Logarithmic nonabelian Hodge theory in characteristic p

Daniel Schepler|ArXiv.org|Feb 14, 2008

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

一句话总结

该论文通过Lorenzon的索引代数，建立了在特征 $p$ 的对数概形上，具有幂零可积联络的 $Ø$-模与具有幂零希格斯场的索引 $Ø_{X/S}$-模之间的等价关系。关键结果是：当 $p$-曲率与希格斯场的幂零阶小于 $p$ 时，de Rham 上同调与希格斯上同调同构，将非交换 Hodge 理论扩展至对数、正特征情形。

ABSTRACT

Given a morphism $X o S$ of log schemes of characteristic $p > 0$ and a lifting of $X'$ over $S$ modulo $p^2$, we use Lorenzon's indexed algebras $A_X^{gp}$ and $B_{X/S}$ to construct an equivalence between $O_X$-modules with nilpotent integrable connection and indexed $B_{X/S}$-modules with nilpotent $B_{X/S}$-linear Higgs field. If either satisfies a stricter nilpotence condition, we find an isomorphism between the de Rham cohomology of the connection and the Higgs cohomology of the Higgs field.

研究动机与目标

• 将非交换 Hodge 理论扩展至特征 $p$ 的对数概形。
• 解决在对数概形的 Riemann-Hilbert 对应中，来自 $p$-曲率与留数的障碍。
• 利用索引代数，构造具有幂零可积联络的模与具有幂零希格斯场的模之间的等价关系。
• 证明当 $p$-曲率与希格斯场的幂零阶小于 $p$ 时，de Rham 上同调与希格斯上同调在导出范畴中同构。

提出的方法

• 使用 Lorenzon 的索引代数 $\mathcal{A}_{X}^{\operatorname{gp}}$ 和 $\mathcal{B}_{X/S} = (\mathcal{A}_{X}^{\operatorname{gp}})^{d=0}$ 定义对应关系。
• 依赖于 $X'$ 在 $S$ 上模 $p^2$ 的提升 $\mathcal{X}/\mathcal{S}$ 来构造等价关系。
• 通过 $\psi_D = \nabla_D^p - \nabla_{D^{(p)}}$ 定义 $p$-曲率映射 $\psi: \mathscr{T}_{X/S} \to F_{X/S*}\mathscr{E}nd_{\mathscr{O}_X}(E)$。
• 利用 $p$-阶微分算子与条件 $\phi(\zeta_m^{[p]}) = 0$（其中 $m \in \mathscr{M}_X$）证明 $\psi$ 是 $F$-线性的。
• 通过导出等价性，在幂零性条件下建立 de Rham 上同调与希格斯上同调之间的同构。
• 在局部使用对数坐标，验证 $F_{X/S}^*\Omega^1_{X'/S}$ 与 $\bar{I}/(\bar{I}^{[p+1]} + I\mathscr{O}_{D(1)})$ 之间的同构。

实验结果

研究问题

• RQ1 非交换 Hodge 对应能否在特征 $p$ 的对数概形上，超越 $p$-曲率消失的情形进行扩展？
• RQ2 在对数 Riemann-Hilbert 对应中，留数与 $p$-曲率障碍如何相互作用？
• RQ3 在基概形上需要何种结构，才能在正特征下实现联络与希格斯场之间的等价？
• RQ4 当 $p$-曲率与希格斯场的幂零阶均小于 $p$ 时，de Rham 上同调与希格斯上同调之间是否存在导出等价？
• RQ5 能否利用 $p$-阶微分算子与索引代数证明 $p$-曲率映射是 $F$-线性的？

主要发现

• 构造了具有幂零可积联络的 $\mathscr{O}_X$-模与具有幂零 $\mathcal{B}_{X/S}$-线性希格斯场的索引 $\mathcal{B}_{X/S}$-模之间的等价关系。
• $p$-曲率映射 $\psi_D = \nabla_D^p - \nabla_{D^{(p)}}$ 通过使用 $p$-阶微分算子的全新概念性证明，被证明是 $F$-线性的。
• 通过局部使用对数坐标，建立了 $F_{X/S}^*\Omega^1_{X'/S}$ 与 $\bar{I}/(\bar{I}^{[p+1]} + I\mathscr{O}_{D(1)})$ 之间的同构。
• 证明了映射 $\psi: E \to E \otimes_{\mathscr{O}_X} F_{X/S}^*\Omega^1_{X'/S}$ 等于 $\nabla_D^p - \nabla_{D^{(p)}}$，从而证明 $p$-曲率是 $F$-线性的。
• 当 $p$-曲率与希格斯场的幂零阶小于 $p$ 时，de Rham 上同调与希格斯上同调在导出范畴中同构。
• 该构造依赖于模 $p^2$ 的提升 $\mathcal{X}/\mathcal{S}$，这对等价关系与上同调同构至关重要。