[论文解读] Logarithmic Comparison with smooth boundary divisor in Mixed Hodge Modules

Chuanhao Wei|arXiv (Cornell University)|Oct 20, 2017

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

一句话总结

本文建立了关于光滑边界除子的混合霍赫德模的对数比较定理，证明了局部化模的谱复形与德拉姆复形之间存在典范的拟同构。该工作将经典的对数比较定理推广至混合霍赫德模的框架，并表明局部化函子 $\mathcal{M}[\ast\log D]$ 与 $\mathcal{M}[!\log D]$ 在上推函子与对偶函子下表现良好，扩展了 Popa–Schnell 与 Viehweg 的结果。

ABSTRACT

We use filtered log-$\mathscr{D}$-modules to represent the (dual) localization of Saito's Mixed Hodge Modules along a smooth hypersurface, and show that they also behave well under the direct image functor and the dual functor in the derived category of filtered log-$\mathscr{D}$-modules. The results of this paper can be used to generalize the result of M. Popa and C. Schnell about Kodaira dimension and zeros of holomorphic one-forms into the log setting.

研究动机与目标

• 将关于光滑边界除子的对数比较定理推广至混合霍赫德模的框架。
• 在滤子 $\widetilde{\mathscr{D}}$-模的导出范畴中，建立 $\mathcal{M}[\ast\log D]$ 与 $\mathcal{M}[!\log D]$ 在上推函子与对偶函子下的行为。
• 利用混合霍赫德模的框架，将 Popa–Schnell 与 Viehweg 的结果推广至对数光滑情形。
• 证明局部化模 $\mathcal{M}[\ast\log D]$ 与 $\mathcal{M}[!\log D]$ 允许与 $V$-相容的多指标卡施瓦拉–马尔格朗日滤子。
• 为 Viehweg 的双曲性定理提供一个简化且推广的证明，适用于通解型对数光滑族。

提出的方法

• 本文使用雷思代数构造，定义了混合霍赫德模所依赖的滤子 $\widetilde{\mathscr{D}}$-模。
• 通过多指标卡施瓦拉–马尔格朗日滤子，引入函子 $\mathcal{M}[\ast\log D] := \mathbf{V}^{D}_{\mathbf{0}}(\mathcal{M}[\ast D])$ 与 $\mathcal{M}[!\log D] := \mathbf{V}^{D}_{<\mathbf{0}}(\mathcal{M}[!D])$。
• 关键的技术工具是 $\widetilde{\mathscr{D}}_{(X,D_I)}$ 上的导出张量积，表明 $\mathcal{M}[\ast D][\ast\log D_I] \otimes^{\mathbf{L}} \widetilde{\mathscr{D}}_{(X,D_S)} \simeq \mathcal{M}[\ast D][\ast\log D_S]$。
• 证明依赖于卡施瓦拉–马尔格朗日滤子的严格性，以及 $\mathbf{V}^{D}$-滤子与对偶函子及上推函子的相容性。
• 使用谱函子 $\text{Sp}_{(X,D)}$ 将对数德拉姆复形与经典德拉姆复形联系起来。
• 通过 $\text{Gr}^F$ 与 $\mathcal{G}$ 函子分析滤子模的分次项，从而在余切丛上导出对偶同构。

实验结果

研究问题

• RQ1 对数比较定理是否可推广至关于光滑边界除子的混合霍赫德模？
• RQ2 在滤子 $\widetilde{\mathscr{D}}$-模的导出范畴中，局部化模 $\mathcal{M}[\ast\log D]$ 与 $\mathcal{M}[!\log D]$ 在上推函子下的行为如何？
• RQ3 对偶函子是否在混合霍赫德模框架下保持 $\mathbf{V}^{D}$-滤子结构？
• RQ4 卡施瓦拉–马尔格朗日滤子在对数光滑情形下是否与对偶复形相容？
• RQ5 这些结果能否用于将 Viehweg 的双曲性定理推广至通解型对数光滑族？

主要发现

• 本文证明了在 $DG(\widetilde{\mathbb{C}}_X)$ 中有 $\text{Sp}_{(X,D)}(\mathcal{M}[\ast\log D]) \simeq \text{Sp}_X(\mathcal{M}[\ast D])$ 与 $\text{Sp}_{(X,D)}(\mathcal{M}[!\log D]) \simeq \text{Sp}_X(\mathcal{M}[!D])$，从而在混合霍赫德模框架中确立了对数比较定理。
• 导出张量积公式 $\mathcal{M}[\ast D][\ast\log D_I] \otimes^{\mathbf{L}}_{\widetilde{\mathscr{D}}_{(X,D_I)}} \widetilde{\mathscr{D}}_{(X,D_S)} \simeq \mathcal{M}[\ast D][\ast\log D_S]$ 成立，表明局部化与子除子限制的相容性。
• 混合霍赫德模 $\mathcal{M}$ 的对偶模 $\mathcal{M}'$ 允许与 $\mathbf{V}^{D}$-相容的多指标卡施瓦拉–马尔格朗日滤子，将 Saito 的结果推广至混合情形。
• 其分次模满足 $\text{Gr}^F \mathcal{M}'[\ast\log D] \simeq \mathbf{R}\mathcal{H}om_{\mathcal{A}_{(X,D)}}(\text{Gr}^F \mathcal{M}[!\log D], \omega_X[d_X] \otimes_{\mathscr{O}_X} \mathcal{A}_{(X,D)})$，从而给出一个对偶同构。
• 在余切丛上，同构 $\mathcal{G}(\mathcal{M}'[\ast\log D]) \simeq (-1)^*_{T^*_{(X,D)}} \mathbf{R}\mathcal{H}om_{\mathscr{O}_{T^*_{(X,D)}}}(\mathcal{G}(\mathcal{M}[!\log D]), p_X^*\omega_X[d_X] \otimes \mathscr{O}_{T^*_{(X,D)}})$ 成立，推广了已知的对偶结果。
• 这些结果为 Viehweg 的双曲性定理提供了简化且推广的证明，使其适用于对数设定。