[论文解读] Hodge modules on complex tori and generic vanishing for compact Kähler manifolds

Giuseppe Pareschi, Mihnea Popa+1 more|arXiv (Cornell University)|May 4, 2015

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

一句话总结

本文将一般性消失理论推广至紧复环面上的极化实霍奇模，证明了到环面的全纯映射下，典范丛的高阶直接像可分解为M-正则层与挠线丛的张量积之和。这导致了对双全纯等价于环面的紧凯勒流形的双全纯刻画，并确立了上同调上勒勒（Leray）滤子与上积（cup-product）滤子的重合，从而解决了经典霍奇理论中的一个关键技术缺口。

ABSTRACT

We extend the results of generic vanishing theory to polarizable real Hodge modules on compact complex tori, and from there to arbitrary compact Kähler manifolds. As applications, we obtain a bimeromorphic characterization of compact complex tori among compact Kähler manifolds, semi-positivity results, and a description of the Leray filtration for maps to tori.

研究动机与目标

• 将经典霍奇理论中关于射影代数簇的一般性消失定理推广至任意紧凯勒流形，借助霍奇模理论。
• 建立从紧凯勒流形到复环面的映射下，典范丛高阶直接像的分解定理。
• 通过上同调不变量，提供紧凯勒流形双全纯等价于复环面的刻画。
• 以楔积作用描述典范丛上同调的勒勒滤子，从而解决经典霍奇理论中的一个缺口。

提出的方法

• 使用紧复环面上的极化实霍奇模作为经典霍奇理论的推广。
• 应用Saito的霍奇模理论及傅里叶-木卡伊变换，研究典范丛的上同调性质。
• 利用GV-层与M-正则性条件分析高阶直接像的支集与正性。
• 通过外代数上分次模的0-正则性，证明勒勒滤子与上积滤子的重合。
• 利用霍奇对合与塞尔对偶性，将滤子描述对偶化为全纯微分形式。
• 将[LPS]中关于0-正则性的结果适配至凯勒情形，确保在新框架下滤子重合。

实验结果

研究问题

• RQ1 能否将典范丛的一般性消失定理从射影代数簇推广至任意紧凯勒流形？
• RQ2 从紧凯勒流形到复环面的映射下，高阶直接像 $ R^j f_* ω_X $ 的精确结构是什么？
• RQ3 在何种上同调条件下，紧凯勒流形双全纯等价于复环面？
• RQ4 在凯勒情形下，$ H^k(X, ω_X) $ 上的勒勒滤子与上积滤子如何关联？
• RQ5 勒勒滤子能否通过与全纯1-形式的楔积显式描述？

主要发现

• 高阶直接像 $ R^j f_* ω_X $ 可分解为从目标环面商的M-正则层的拉回的有限直和，与 $ ×^0(T) $ 中的挠线丛张量。
• 层 $ R^j f_* ω_X $ 是GV-层，因此是 nef 的；在子mersion假设下，它还是半正的。
• 紧凯勒流形 $ X $ 双全纯等价于复环面当且仅当 $ \dim H^1(X,\mathbb{C}) = 2\dim X $ 且 $ P_1(X) = P_2(X) = 1 $。
• 上同调 $ H^k(X, ω_X) $ 上的勒勒滤子与由 $ H^1(T, \mathcal{O}_T) $ 的上积作用诱导的滤子重合，从而解决了长期存在的技术缺口。
• 上同调 $ H^0(X, \Omega_X^j) $ 上的对偶滤子由与 $ \bigwedge^{n+1-i-j} H^0(X, \Omega_X^1) $ 的楔积为零来刻画，提供了显式的几何描述。
• 该证明依赖于霍奇模理论，因为仅靠经典霍奇理论无法在缺乏对勒勒滤子先验控制的前提下建立滤子重合。