[论文解读] Vanishing and injectivity theorems for Hodge modules

Lei Wu|arXiv (Cornell University)|May 5, 2015

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

一句话总结

本文通过两种方法证明了在任意复射影代数簇上，纯Hodge模的Hodge滤子最低阶分量的Kawamata-Viehweg消去定理：一种是基于邻近周期的归纳证明，另一种是受Esnault-Viehweg启发的Deligne典范扩张的满射定理。关键贡献在于去除了先前结果中的额外假设，证明了当 $ L $ 为 nef 且 big，且 $ M $ 是具有严格支撑 $ X $ 的极化纯Hodge模时，有 $ H^i(X, S(M) \otimes L) = 0 $ 对所有 $ i > 0 $ 成立。

ABSTRACT

We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems and vanishing theorems for pure Hodge modules. We also give an inductive proof of Kawamata-Viehweg vanishing for the lowest graded piece of the Hodge filtration of a pure Hodge module using mixed Hodge modules of nearby cycles.

研究动机与目标

• 通过消除Popa关于Hodge模的Kawamata-Viehweg型消去定理中额外假设的空白，解决先前工作的不足。
• 在具有奇点的射影代数簇上，为纯Hodge模的Hodge滤子最低阶分量 $ S(M) $ 建立一个一般性消去定理。
• 提供两种不同的证明：一种是基于邻近周期的混合Hodge模的归纳方法；另一种是基于Deligne典范扩张的满射定理。
• 通过构造一个有效的 $ \varepsilon $-阈值，将结果推广至 $ \mathbb{Q} $-除子，确保在扰动下保持注入性和消去性。
• 将注入性和消去定理推广至nef且big的线丛以及有效 $ \mathbb{Q} $-除子的扰动情形。

提出的方法

• 采用基于邻近周期函子和混合Hodge模的邻近周期公式之归纳策略，通过超平面截面降低维数。
• 应用 $ \mathscr{D} $-模与Hodge模理论，特别是Riemann-Hilbert对应关系和Hodge模的de Rham复形。
• 证明一个关于具有拟单值单值(monodromy)的极化Hodge结构变体的Deligne典范扩张的满射定理，方法受Esnault-Viehweg启发。
• 构造奇点集与除子的log-解析化，将其约化至法向交叉设置，使注入性定理适用。
• 利用单值表示的特征值位于 $[0,1)$ 的事实，定义一个有效的 $ \varepsilon $-阈值，确保 $ N $ 沿 $ D $ 的扰动保持nef性与消去性。
• 应用Serre消去定理与同调归纳法，推导出当 $ L $ 为nef且big时，有 $ H^i(X, S(M) \otimes L) = 0 $ 对所有 $ i > 0 $ 成立。

实验结果

研究问题

• RQ1 能否在不附加假设的条件下，将纯Hodge模最低阶分量 $ S(M) $ 的Kawamata-Viehweg消去定理推广至nef且big的线丛？
• RQ2 如何将Hodge模的注入性与消去定理推广至具有小有理系数的 $ \mathbb{Q} $-除子？
• RQ3 在Hodge模设定下，映射 $ H^i(X, \text{Gr}^\text{first}_F \text{DR}_{(X,D)}(\tilde{\mathcal{V}}) \otimes L^{-1}(-E)) \to H^i(X, \text{Gr}^\text{first}_F \text{DR}_{(X,D)}(\tilde{\mathcal{V}}) \otimes L^{-1}) $ 的满射性，是否蕴含 $ S(M) \otimes L \to S(M) \otimes L(E) $ 的注入性？
• RQ4 能否使用基于邻近周期的归纳证明方法，推导出在奇点代数簇上纯Hodge模的完整Kawamata-Viehweg消去定理？
• RQ5 是否存在一个有效的 $ \varepsilon > 0 $，使得对nef且big的 $ \mathbb{Q} $-除子 $ N $，扰动 $ \varepsilon_1 D $（其中 $ 0 < \varepsilon_1 < \varepsilon $）后，仍有 $ H^i(X, S(M) \otimes L) = 0 $ 对所有 $ i > 0 $ 成立？

主要发现

• 当 $ L $ 为nef且big时，纯Hodge模 $ M $ 的最低阶分量 $ S(M) $ 满足Kawamata-Viehweg消去定理：对所有 $ i > 0 $，有 $ H^i(X, S(M) \otimes L) = 0 $。
• 当 $ L $ 仅为nef时，消去性对所有 $ i > n - \kappa(L) $ 成立，其中 $ \kappa(L) $ 是 $ L $ 的Iitaka维数。
• 当 $ L $ 为nef且big，或为半正则时，若存在 $ m > 0 $ 使得 $ H^0(X, L^m(-E)) \neq 0 $，则 $ S(M) $ 的注入性定理成立，即映射 $ H^i(X, S(M) \otimes L) \to H^i(X, S(M) \otimes L(E)) $ 是单射。
• 对于 $ \mathbb{Q} $-除子，存在一个有效的 $ \varepsilon > 0 $，使得若 $ L \sim_\mathbb{Q} N + \varepsilon_1 D $ 且 $ 0 < \varepsilon_1 < \varepsilon $，则对所有 $ i > 0 $，有 $ H^i(X, S(M) \otimes L) = 0 $，从而推广了原始的Kawamata-Viehweg定理。
• 当 $ X $ 光滑且 $ M = \mathbb{Q}_X^H $ 时，该结果退化为经典Kawamata-Viehweg消去定理，此时 $ \varepsilon = 1 $，恢复了对 $ \omega_X $ 和 $ \mathbb{Q} $-除子的原始结论。
• 基于邻近周期与邻近周期的混合Hodge模的归纳证明，提供了一种新颖的、几何化的消去定理证明方法，独立于Esnault-Viehweg的方法。