[论文解读] Higher direct images of log canonical divisors and positivity theorems

Osamu Fujino|ArXiv.org|Feb 7, 2003

Algebraic Geometry and Number Theory参考文献 30被引用 10

一句话总结

本文通过在混合Hodge结构的变体中分析对数典范除子的高阶直接像并利用Hodge滤子的典范扩张，建立了Fujita-Kawamata半正性定理的对数推广。在单值单极性（unipotent monodromy）条件下，证明了 $ R^if_*ω_{X/Y}(D) $ 的半正性，并在强水平性条件下保证其无挠性，从而得出对数典范对偶对的广义Kawamata正性定理及对数典范丛公式。

ABSTRACT

In this paper, we investigate higher direct images of log canonical divisors. After we reformulate Kollár's torsion-free theorem, we treat the relationship between higher direct images of log canonical divisors and the canonical extensions of Hodge filtration of gradedly polarized variations of mixed Hodge structures. As a corollary, we obtain a logarithmic version of Fujita-Kawamata's semi-positivity theorem. By this semi-positivity theorem, we generalize Kawamata's positivity theorem and apply it to the study of a log canonical bundle formula. The final section is an appendix, which is a result of Morihiko Saito.

研究动机与目标

• 通过Hodge理论方法，将Fujita-Kawamata的半正性定理推广至对数情形。
• 以混合Hodge结构描述 $ R^if_*ω_{X/Y}(D) $ 的典范扩张。
• 将Kawamata的正性定理从klt对推广至对数典范对。
• 作为广义正性定理的推论，导出对数典范丛公式。
• 利用D-模与混合Hodge模，为对数典范除子的高阶直接像提供基础框架。

提出的方法

• 利用混合Hodge结构的几何变体重述Kollár的无挠性与消去定理，适用于对数典范除子。
• 运用Deligne扩张与典范滤子理论，将 $ R^if_*ω_{X/Y}(D) $ 表征为Hodge滤子的上位典范扩张。
• 应用 $ R^if_*ω_{X/Y}(D) $ 的无挠性，在单值单极性条件下证明其半正性。
• 借助滤子D-模的权重谱序列，验证直接像滤子的 $ F_0 $-条件。
• 通过严格支撑分解与对偶性，将问题约化为纯Hodge模情形。
• 应用Saito的混合Hodge模与滤子D-模理论，确立直接像的Hodge滤子性质。

实验结果

研究问题

• RQ1 Fujita-Kawamata的半正性定理如何在具有简单交叉除子的对数情形下推广？
• RQ2 当 $ D $ 是关于 $ f $ 的强水平除子时，$ R^if_*ω_{X/Y}(D) $ 在何种条件下为半正？
• RQ3 混合Hodge模的Hodge滤子的典范扩张能否以对数典范层的高阶直接像来表征？
• RQ4 Kawamata正性定理从klt对推广至对数典范对的范围有多大？
• RQ5 $ R^if_*ω_{X/Y}(D) $ 上的Hodge滤子结构如何？其与局部系统Deligne扩张的关系为何？

主要发现

• 当 $ D $ 关于 $ f $ 为强水平时，高阶直接像 $ R^if_*ω_{X/Y}(D) $ 无挠，推广了Kollár的无挠性定理。
• 在单值单极性条件下，$ R^if_*ω_{X/Y}(D) $ 为半正，提供了Fujita-Kawamata半正性定理的对数版本。
• 层 $ R^if_*ω_{X/Y}(D) $ 同构于一个分次极化混合Hodge结构的底部Hodge滤子的上位典范扩张。
• 广义Kawamata正性定理对对数典范对成立，推广了原定理在klt对中的结果。
• 作为推论，得到了对数典范丛公式，推广了Fujino-Mori的结果。
• 通过权重谱序列与严格支撑分解，验证了 $ H^if_*(j_*ω_U, F) $ 上的 $ F_0 $-条件，确保Hodge滤子在直接像下行为良好。