[论文解读] On the definition of mixed Hodge modules

Morihiko Saito|arXiv (Cornell University)|Jul 8, 2013

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

一句话总结

本文通过采用贝利诺森的极大扩张和子商的系统稳定性，简化了混合霍赫德模的定义，取代了早期的递归构造。关键贡献在于提出了一种简化且内在的定义，确保了上同调函子的相容性与稳定性，通过维数归纳法和邻近/消失循环函子的良定义性加以验证。

ABSTRACT

We give some details of a simpler definition of mixed Hodge modules which has been announced in some papers. Compared with earlier arguments, this new definition is simplified by using Beilinson's maximal extension together with stability by subquotients systematically.

研究动机与目标

• 提供一种简化且内在的混合霍赫德模定义，避免使用递归构造。
• 确立该定义对局部函数和邻域选择的独立性。
• 证明由此得到的范畴在诸如直接像、邻近与消失循环等基本上同调函子下保持稳定。
• 证明在混合霍赫德模有界导出范畴中使用导出函子的合理性。
• 阐明可接受变体的作用，并阐明新定义在解析与代数设定中的必要性。

提出的方法

• 通过在扎里斯基开邻域上定义一个函数 $ g $ 的局部条件，使得其在 $ U' = U \setminus g^{-1}(0) $ 上的限制为混合霍赫德结构的可接受变体。
• 利用贝利诺森的极大扩张，简化从纯霍赫德模构造混合霍赫德模的过程。
• 应用子商下的稳定性，将问题约化为通过归纳法验证支撑集维数上的条件。
• 确保邻近与消失循环函子 $ \psi_g $ 和 $ \varphi_{g,1} $ 在局部定义下的良定义性。
• 在有界导出范畴 $ D^b\mathrm{MHM}(X,A) $ 上构造导出函子 $ f_* $, $ f_! $, $ f^* $, $ f^! $, $ \psi_g $, $ \varphi_{g,1} $, $ \boxtimes $, $ \otimes $, $ \mathcal{H}om $。
• 将函子性验证归约为具有 $ A $-系数的底层佩尔科夫层，其中标准结果适用。

实验结果

研究问题

• RQ1 能否通过使用极大扩张和子商稳定性，取代递归构造，从而简化混合霍赫德模的定义？
• RQ2 作为混合霍赫德模的条件是否独立于局部函数 $ g $ 和邻域 $ U_x $ 的选择？
• RQ3 混合霍赫德模范畴在诸如 $ \mathcal{H}^j f_* $, $ \psi_g $, 和 $ \varphi_{g,1} $ 等上同调函子下是否保持稳定？
• RQ4 能否在 $ D^b\mathrm{MHM}(X,A) $ 上自然地定义导出函子，并使其与底层佩尔科夫层相容？
• RQ5 新定义如何处理非正则概形，特别是如何在奇点处验证变体的可接受性？

主要发现

• 新定义的混合霍赫德模对局部函数 $ g $ 和邻域 $ U_x $ 的选择具有独立性，如定理1所证明。
• 范畴 $ \mathrm{MHM}(X,A) $ 在所有标准上同调函子 $ \mathcal{H}^j f_* $, $ \mathcal{H}^j f_! $, $ \mathcal{H}^j f^* $, $ \mathcal{H}^j f^! $, $ \psi_g $, $ \varphi_{g,1} $, 和 $ \boxtimes $ 下保持稳定，如定理2所述。
• 有界导出范畴 $ D^b\mathrm{MHM}(X,A) $ 允许定义标准函子 $ f_* $, $ f_! $, $ f^* $, $ f^! $, $ \psi_g $, $ \varphi_{g,1} $, $ \boxtimes $, $ \otimes $, $ \mathcal{H}om $，且其上同调函子与 $ \mathcal{H}^j $ 版本一致，如推论1所示。
• 使用贝利诺森的极大扩张和子商稳定性，消除了对通过光滑投影重复限制的需要，简化了 [Sa3] 中的早期构造。
• 该定义确保：若一个弱混合霍赫德模在其稠密开子集上的限制为可接受变体，且邻近/消失循环函子良定义并保持范畴，则该模即为混合霍赫德模。
• 稳定性证明依赖于对支撑集维数的归纳法，并归约为底层佩尔科夫层，此时可接受变体与循环函子的标准结果适用。