[论文解读] Variation of mixed Hodge structures and the positivity for algebraic fiber spaces

Yūjirō Kawamata|arXiv (Cornell University)|Aug 9, 2010

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文利用混合霍奇结构，对代数纤维丛的局部自由性与半正性定理给出了新的、简化的证明。它将科拉尔对对偶层高阶直接像的分解定理推广至任意次数微分形式的层，建立了谱序列在 $E_1$ 和 $E_2$ 的退化性，并通过对数空间上的权滤子与霍奇滤子证明了正性。

ABSTRACT

These are the lecture notes based on earlier papers with some additional new results. New and simple proofs are given for local freeness theorem and the semipositivity theorem. A decomposition theorem for higher direct images of dualizing sheaves of Kollár is extended to the sheaves of differential forms of arbitrary degrees in the case of a well prepared birational model. We will also prove the log versions of some of the results, i.e., the case where we allow horizontal boundary components.

研究动机与目标

• 为代数纤维丛的局部自由性与半正性定理提供新的、简化的证明。
• 将科拉尔对对偶层高阶直接像的分解定理推广至任意次数微分形式的层。
• 在良好准备的代数纤维丛的纤维上建立上同调混合霍奇复形的存在性。
• 证明与霍奇滤子和权滤子相关的谱序列的 $E_1$ 和 $E_2$ 退化性。
• 通过由对数几何构造的拓扑模型，将结果推广至对数情形，包括水平边界分量。

提出的方法

• 将对数空间 $X^{\log}$ 构造为 $X \setminus B$ 的紧化，其同胚于 $X \setminus B$ 中移除管状邻域后的闭子集。
• 定义 $X^{\log}$ 的结构层，使其包含对数微分形式，从而可研究具有对数极点的微分形式。
• 在 $X^{\log}$ 上的层上引入权滤子，并通过对数形式的庞加莱引理将其与德拉姆上同调联系起来。
• 利用德拉姆在导出范畴中的分解准则，证明复形 $\bigoplus_k Rf_*\Omega^k_{X/Y}(\log)[-k]$ 可分解为上同调层的直和。
• 应用格里菲斯正性定理及极化霍奇结构的半单性，推导出权滤子的分次项的数值半正性。
• 利用与权滤子相关的谱序列，通过德利涅的工具证明其在 $E_1$ 和 $E_2$ 退化。

实验结果

研究问题

• RQ1 如何利用混合霍奇理论，以更简明的论证重新证明局部自由性与半正性定理？
• RQ2 科拉尔对对偶层的分解定理能否推广至任意次数微分形式的层？
• RQ3 对数几何时在简化代数纤维丛退化纤维分析中的作用是什么？
• RQ4 对数空间上的权滤子与霍奇滤子如何导致谱序列的退化？
• RQ5 在具有水平边界分量的良好准备的双有理模型下，对数微分形式的高阶直接像表现出何种行为？

主要发现

• 与复形 $\bigoplus_k Rf_*\Omega^k_{X/Y}(\log)[-k]$ 上霍奇滤子相关的谱序列在 $E_1$ 退化。
• 与同一复形上权滤子相关的谱序列在 $E_2$ 退化，意味着其在 $E_2$ 退化。
• 在无水平分量的良好准备情形下，对所有 $k$，高阶直接像 $Rf_*\Omega^k_{X/Y}(\log)$ 可分解为直和 $\bigoplus_i R^i f_*\Omega^k_{X/Y}(\log)[-i]$。
• 分次项 $\mathrm{Gr}^W_q(Rf_*\Omega^k_{X/Y}(\log))$ 同构于对所有余维数为 $q$ 的层 $B^h_I$ 的直和，满足 $\mathrm{Gr}^W_q \cong \bigoplus_{\mathrm{codim}\, B^h_I = q} Rf_*\Omega^k_{B^h_I/Y}(\log)[-k-q]$。
• 若 $F = f_*\Omega^k_{X/Y}(\log)$ 或 $R^k f_*\Omega^n_{X/Y}(\log)$，则其为数值半正性，因其权滤子的分次项为数值半正性。
• 权滤子复形中的边界映射由不同余维数的层之间的吉辛同态给出，例如当 $B^h_I \subset B^h_J$ 时，有 $R^q f_*\Omega^k_{B^h_I/Y}(\log) \to R^{q+1} f_*\Omega^{k+1}_{B^h_J/Y}(\log)$。