[论文解读] Some remarks on the semi-positivity theorems

Osamu Fujino, Taro Fujisawa+1 more|arXiv (Cornell University)|Feb 25, 2013

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

一句话总结

本文利用混合霍赫德模理论，在约化简单法向交截对 (X,D) 的对偶化层上建立了规范的权重过滤，并将对偶化层高阶直接像的半正性定理约化到光滑情形。通过利用 perverse 层和混合霍赫德模，本文提供了适定混合霍赫德结构变体半正性定理的简化证明，将 Kawamata 的经典结果从纯情形推广至混合情形。

ABSTRACT

We show that the dualizing sheaves of reduced simple normal crossings pairs have a canonical weight filtration in a compatible way with the one on the corresponding mixed Hodge modules by calculating the extension classes between the dualizing sheaves of smooth varieties. Using the weight spectral sequence of mixed Hodge modules, we then reduce the semi-positivity theorem for the higher direct images of dualizing sheaves to the smooth case where the assertion is well known. This may be used to simplify some constructions in a recent paper of Y. Kawamata. We also give a simple proof of the semi-positivity theorem for admissible variations of mixed Hodge structure in [FF] by using the theories of Cattani, Kaplan, Schmid, Steenbrink, and Zucker. This generalizes Kawamata's classical result in the pure case.

研究动机与目标

• 在约化简单法向交截对 (X,D) 的对偶化层 ω_X(D) 上构造一个与混合霍赫德模结构相容的规范权重过滤。
• 通过混合霍赫德模的权重谱序列，将 R^i f_* ω_X/Y(D) 的半正性定理约化到光滑情形。
• 通过使用 perverse 层和混合霍赫德模理论，为适定混合霍赫德结构变体的半正性定理提供简化证明。
• 将 Kawamata 的半正性结果从纯情形推广至混合霍赫德结构设定。
• 证明此处构造的 ω_X(D) 上的权重过滤与 Kawamata [Kaw3] 中构造的过滤一致，通过上同调扩张类确立其唯一性。

提出的方法

• 通过导出范畴和对偶复形，计算光滑代数簇的对偶化层之间的扩张类，构造 ω_X(D) 上的权重过滤。
• 在 Y 上使用混合霍赫德模的权重谱序列：E_1^{-q,i+q} = H^i f_* Gr^W_q(j_* DQ_h,U[-n]) ⇒ H^i f_*(j_* DQ_h,U[-n])，该谱序列在 E_2 项退化。
• 应用左模与右模之间的变换，将混合霍赫德模上的霍赫德过滤与层 ω_X(D) 关联起来。
• 应用极化霍赫德模的半单性，证明权重谱序列中的 E_1 微分可分裂，使得 E_2 项成为直和项。
• 利用混合霍赫德模理论与 perverse 层理论，简化 Kawamata 工作中的构造，避免使用技术性极强的残余复形方法。
• 应用分解定理及单值单体的性质，将几何起源的混合霍赫德模的半正性定理约化为文献中已知的结果。

实验结果

研究问题

• RQ1 如何在与混合霍赫德模结构相容的前提下，对简单法向交截对的对偶化层 ω_X(D) 上的权重过滤进行规范定义？
• RQ2 能否通过谱序列与混合霍赫德模理论，将 R^i f_* ω_X/Y(D) 的半正性定理约化到光滑情形？
• RQ3 能否通过使用 perverse 层与混合霍赫德模，为适定混合霍赫德结构变体的半正性定理提供更简明的证明？
• RQ4 本文构造的 ω_X(D) 上的权重过滤是否与 Kawamata [Kaw3] 中的过滤一致？能否通过扩张类计算确立其唯一性？
• RQ5 在什么条件下，权重谱序列中的 E_1 微分可分裂？这与极化霍赫德模的半单性有何关联？

主要发现

• 对偶化层 ω_X(D) 携带一个规范权重过滤 W，使得 Gr^W_q ω_X(D) ≅ ⨁_{k+l=n+q+1} ω_{D^{[k,l]}}。
• f_* j_* DQ_h,U[-n] 的权重谱序列在 E_2 项退化，且 E_1 微分可分裂，意味着 E_2 项是直和项。
• 通过权重谱序列与混合霍赫德模理论，将 R^i f_* ω_X/Y(D) 的半正性定理约化到光滑情形。
• ω_X(D) 上权重过滤的构造与局部嵌入无关，且与 [Kaw3] 中的构造一致，确立了其唯一性。
• 通过使用混合霍赫德模与 perverse 层，实现了适定混合霍赫德结构变体半正性定理的简化证明，避免了技术性极强的残余复形构造。
• 当 f: X → Y 是一个正规凯勒态射，且 (X,D) 是一个约化简单法向交截解析对时，结果可推广至解析范畴。