[论文解读] Direct Images in Non Abelian Hodge Theory

Ron Donagi, Tony Pantev+1 more|arXiv (Cornell University)|Dec 19, 2016

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

一句话总结

本论文通过在法向交叉点处结合单体权重过滤和 $V$-过滤的改进型 Dolbeault 复形，为具有 tame 性质的调和丛及其相关抛物 Higgs 丛的 $L^2$ 上同调建立了代数公式。关键贡献在于非交换 Hodge 理论中对高阶直接像的纯代数计算，该结果在曲线的半稳定族情形下得到证明，且与非交换 Hodge 对应关系相容。

ABSTRACT

In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new algebraic description for the fiberwise $L^2$ cohomology of a tame harmonic bundle or the corre- sponding flat bundle or tame polystable parabolic Higgs bundle. Specifically we give a formula for the Dolbeault version of the $L^2$ pushforward in terms of a modification of the Dolbeault complex of a Higgs bundle which takes into account the monodromy weight filtration in the normal directions of the horizontal parabolic divisor. The parabolic structure of the higher direct image is obtained by analyzing the V -filtration at a normal crossings point. We prove this algebraic formula for semistable families of curves.

研究动机与目标

• 为拟射影代数簇上 tame 调和丛及其相关平坦丛或抛物 Higgs 丛的 $L^2$ 上同调提供代数描述。
• 以完全代数化的方式定义此类丛的高阶直接像，避免使用解析方法。
• 证明该代数构造与非交换 Hodge 对应关系相容。
• 通过引入抛物结构与权重过滤，将经典 Hodge 定理推广至具有法向交叉除子的开代数簇。

提出的方法

• 利用法向交叉除子处的单体权重过滤与 $V$-过滤，构造 $L^2$ 抛物 Dolbeault 复形。
• 定义一个改进型 Dolbeault 复形 $\mathrm{DOL}^{\mathrm{par}}_{L^2}(X/Y,E_{\alpha(a)})$，其结合了相对对数 de Rham 复形与权重过滤。
• 利用法向交叉点处的 $V$-过滤，分析高阶直接像的抛物结构。
• 应用多 $V$-过滤，建立相对情形下 de Rham 复形与抛物结构之间的联系。
• 通过在二重点处的显式计算，建立代数 $L^2$ 复形与解析 $L^2$ 直接像之间的拟同构。
• 在关键情形下（包括相对维数为一及整体上同调情形）验证该代数构造与非交换 Hodge 对应关系的相容性。

实验结果

研究问题

• RQ1 如何代数化地计算拟射影代数簇上 tame 调和丛的 $L^2$ 上同调？
• RQ2 在非交换 Hodge 理论中，抛物 Higgs 丛的高阶直接像的正确代数表述为何？
• RQ3 在 $L^2$ 上同调的语境下，法向交叉除子处的 $V$-过滤如何编码单体权重过滤？
• RQ4 非交换 Hodge 对应关系能否在纯代数设定下推广至直接像情形？
• RQ5 代数构造的 $L^2$ 直接像是否与调和丛的解析 $L^2$ 推前像一致？

主要发现

• 本文构造了一个代数 $L^2$ 抛物 Dolbeault 复形 $\mathrm{DOL}^{\mathrm{par}}_{L^2}(X/Y,E_{\alpha(a)})$，用于计算 $X\setminus D$ 上 tame 调和丛的 $L^2$ 上同调。
• 该复形基于对数 de Rham 复形上的权重过滤 $W_{-2,0}$ 定义，其在法向方向中融入了单体权重过滤。
• 通过法向交叉除子处的 $V$-过滤，该构造在高阶直接像上诱导出抛物结构。
• 主要结果，定理 3.6，建立了代数 $L^2$ 复形与解析 $L^2$ 直接像之间的拟同构，从而证明了其与非交换 Hodge 对应关系的相容性。
• 在相对维数为一的情形下，该代数 $L^2$ 复形与前文定义的复形一致，验证了内部一致性。
• 该构造在两个关键情形下被验证与非交换 Hodge 对应关系相容：相对维数为一的情形，以及当 $Y$ 为一点时的整体上同调情形。