[论文解读] Limits of Hodge structures in several variables, II

Taro Fujisawa|arXiv (Cornell University)|Jun 7, 2015

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

一句话总结

本文证明了在从凯勒流形到正规交点的恰当半稳定态态射关联的霍奇结构变化中，先前工作中构造的权重过滤与相对对数德拉姆上同调上的单值权重过滤一致。此外，本文进一步证明了极限混合霍奇结构在多变量情形下构成可接受的变体，通过使用对数德拉姆上同调与相对单值过滤，将斯廷布林克的结果推广至多变量情形。

ABSTRACT

The aim of this article is to study degeneration of the variations of Hodge structure associated to a proper Kähler semistable morphism. We prove that the weight filtrations constructed in the author's previous paper coincide with the monodromy weight filtrations on the relative log de Rham cohomology groups of a proper Kähler semistable morphism. Moreover, we show that the limiting mixed Hodge structures form admissible variations of mixed Hodge structure.

研究动机与目标

• 建立[8]中构造的权重过滤与恰当半稳定态射的相对对数德拉姆上同调上单值权重过滤的一致性。
• 将斯廷布林克在单参数情形下关于霍奇结构退化结果推广至多参数情形。
• 证明在多变量设定下，极限混合霍奇结构构成可接受的混合霍奇结构变体。
• 在半稳定态射的背景下，提供抽象霍奇理论过滤的德拉姆理论实现。

提出的方法

• 使用恰当半稳定态射 $ f: X \to Y = \Delta^k \times S $ 的相对对数德拉姆上同调，其中 $ Y \setminus E = (\Delta^*)^k $。
• 应用霍奇丛 $ \widetilde{\mathcal{V}} $ 的典范扩张，以扩展霍奇过滤 $ F $，确保 $ \operatorname{Gr}_F^p \widetilde{\mathcal{V}} $ 局部自由。
• 通过幂零算子 $ \sum_{i \in K} c_i \log T_i $ 的作用，为子集 $ K \subset \{1,\dots,k\} $ 构造权重过滤 $ W(K) $，并满足对偶性下的同构性质。
• 依赖于相对单值权重过滤理论，并通过对数联络的留数，将 $ L(I) $ 与 $ W(N(f;c)) $ 识别。
• 使用态射 $ \theta_{I'|I}(f) $ 关联不同层 $ Y[I]^* $ 上的上同调群，实现不同层之间的相容性。
• 应用[1]、[19]和[23]的结果，通过单值单值性与典范扩张，验证极限混合霍奇结构的可接受性。

实验结果

研究问题

• RQ1 在恰当半稳定态射的相对对数德拉姆上同调群中，[8]中构造的权重过滤是否与单值权重过滤一致？
• RQ2 在每一切片 $ Y[I]^* $ 上的极限混合霍奇结构是否在德利涅的意义下可接受？
• RQ3 相对单值权重过滤在横截于切片的曲线上的限制下行为如何？
• RQ4 在多变量设定下，过滤 $ L(I) $ 与单值权重过滤 $ W(N(f;c)) $ 之间关系为何？
• RQ5 能否通过使用对数德拉姆上同调，显式构造抽象霍奇理论过滤的德拉姆实现？

主要发现

• 在 [8] 中构造的 $ V_\mathbb{R} $ 上的权重过滤 $ W(K) $ 与幂零算子 $ \sum_{i \in K} c_i \log T_i $ 关联的单值权重过滤一致，对任意 $ c_i > 0 $ 成立。
• 在 $ Y[I]^* $ 上的极限混合霍奇结构，由 $ (\mathcal{O}_{Y[I]} \otimes_{\mathcal{O}_Y} \widetilde{\mathcal{V}}, W(I)[m], F)|_{Y[I]^*} $ 给出，构成一个可接受的混合霍奇结构变体。
• 在 $ \mathbb{C}(0) \otimes \varphi^* R^n(f_I)_* sB_I(f) $ 上的相对单值权重过滤 $ L(I) $ 与单值权重过滤 $ W(N(f;c)) $ 一致，通过联络的留数得以证明。
• 态射 $ N_{\overline{K}|}(f)^l $ 诱导同构 $ \operatorname{Gr}_l^{L(\overline{K})} E_2^{-m,n+m}(Rf_{0*}sB(f), L(K)) \xrightarrow{\sim} \operatorname{Gr}_{-l}^{L(\overline{K})} E_2^{-m,n+m}(Rf_{0*}sB(f), L(K)) $，确认了该过滤的对偶性。
• 对数联络 $ \varphi^* \nabla(I) $ 的典范扩张是单值的，且其幂零余项确保了相对单值权重过滤的明确定义。
• 识别 $ L(I) = W(N(f;c)) $ 暗示过滤 $ L $ 满足单值权重过滤的定义性质，从而证明了其唯一性与正确性。