[论文解读] An overview of Morihiko Saito's theory of mixed Hodge modules

Christian Schnell|arXiv (Cornell University)|May 13, 2014

Algebraic Geometry and Number Theory参考文献 25被引用 36

一句话总结

本文全面概述了森本守彦关于复流形上混合霍赫德模的理论，强调其通过滤过右D-模及六 functor形式体系的表述。文章解释了该理论如何将经典霍赫德理论推广至奇异空间与非紧致空间，并展示了关键结果，例如利用消失上同调与对偶性完成的霍赫德理论证明的分解定理。

ABSTRACT

After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito's most important results and their proofs, and then discuss two simple applications of the theory.

研究动机与目标

• 使用滤过D-模来解释复流形上纯霍赫德模与混合霍赫德模的基础定义。
• 展示Saito的关键结果，包括利用对偶性与消失上同调函子完成的霍赫德理论证明的分解定理，及其证明过程。
• 通过两个具体应用展示该理论的实用性：奇异或非紧致空间的上同调，以及子簇上混合霍赫德模的构造。
• 阐明滤过D-模的作用以及在形式体系中选择右D-模的考量，特别是针对直接像函子与对偶函子。
• 在霍赫德理论与 perverse sheaf 形式体系之间建立桥梁，展示混合霍赫德模如何将各种上同调情形统一于单一框架之下。

提出的方法

• 该理论基于滤过右D-模构建，其中权重滤过与霍赫德滤过构成核心结构。
• 将六 functor形式体系（拉回、推出等）应用于混合霍赫德模，确保底层构造层上的操作可提升至霍赫德结构。
• 通过沿除子的V-滤过构造消失上同调函子，复形 [ψ₁M → φ₁M[1]] 的上同调给出奇异点上子簇的混合霍赫德模。
• 该构造依赖于D-模沿除子的拟单值性与正则性，确保V-滤过下各阶数部分的定义良好。
• 通过作用于 gr₀ᵛM 与 gr₋₁ᵛM 上的 t∂ₜ，定义了与局部坐标无关的典范 D_Y-模结构。
• 对于一般态射 f: Y → X，函子 f* 与 f! 通过图分解 f = p₂∘i 定义，上同调移位 dim Y 以确保与D-模结构相容。

实验结果

研究问题

• RQ1 如何通过滤过D-模系统地定义奇异或非紧致复空间上的混合霍赫德模？
• RQ2 V-滤过及其在 gr₋₁ᵛM 与 gr₀ᵛM 上的诱导滤过在子簇上构造混合霍赫德模的过程中起何作用？
• RQ3 Saito的理论如何将经典霍赫德理论扩展至包含退化与可允许的混合霍赫德结构变化的情形？
• RQ4 混合霍赫德模的六 functor形式体系在多大程度上与 perverse sheaf 的形式体系相呼应？它如何保持霍赫德理论结构？
• RQ5 在混合霍赫德模的语境下，如何利用对偶性与消失上同调完成分解定理的霍赫德理论证明？

主要发现

• 混合霍赫德模被定义为具有权重滤过与满足特定相容条件的良好滤过的滤过正则Holonomic D-模。
• 消失上同调函子产生一个涉及 i⁻¹K、ψ₁K 与 φ₁K 的正合三角形，用于定义 Y 上的 Hʲi⁎M 在 MHM(Y) 中的上同调模，其中 j ∈ {−1, 0}。
• 在混合霍赫德模的导出范畴中，复形 [ψ₁M → φ₁M[1]] 对应于一个滤过D-模复形，其滤过由 F•M 诱导。
• 复形 [gr₋₁ᵛM → gr₀ᵛM[1]] 的上同调给出在 Y 上定义良好的混合霍赫德模，且不依赖于局部定义函数 t 的选择。
• gr₀ᵛ𝒟_X 对 t∂ₜ 的商在本质上同构于 𝒟_Y，从而赋予 ∂ₜ 的核与余核一个典范的 𝒟_Y-模结构。
• 对于一般态射 f: Y → X，函子 f* 与 f! 通过图嵌入定义，上同调移位 dim Y 以确保与D-模结构相容，并保持 MHM(Y) 的范畴不变。