[论文解读] Some remarks on limit mixed Hodge structure and spectrum

Alexandru Dimca, Morihiko Saito|arXiv (Cornell University)|Oct 15, 2012

Algebraic Geometry and Number Theory参考文献 12被引用 5

一句话总结

本文在复流形的退化（具有法向交截痕除数）背景下，对极限混合霍奇结构与谱给出了明确的构造与澄清。通过动机邻近纤维与单值群作用，建立了其与霍奇滤子之间的联系，表明谱自然地源自单值群作用与对偶函子。关键结果包括谱序列的相容性以及孤立奇点情形下霍奇数的对称性。

ABSTRACT

We give some remarks on limit mixed Hodge structure and spectrum. These are more or less well-known to the specialists, and do not seem to be stated explicitly in the literature. However, they do not seem to be completely trivial to the beginners, and may be worth writing down explicitly.

研究动机与目标

• 在非单峰单值群情形下，通过Čech型复形与分支覆盖的基变换，明确构造极限混合霍奇结构。
• 通过半单单值群作用与霍奇滤子，将动机邻近纤维与奇点的谱联系起来。
• 在单值群作用下，建立具有紧支集上同调的谱序列的相容性，并证明其在 $E_2$ 页退化。
• 定义并关联谱 $\mathrm{Sp}(f,x)$ 及其对偶 $\mathrm{Sp}'(f,x)$ 与米勒尔纤维上的混合霍奇结构及动机不变量。
• 证明加权齐次多项式的谱与已知乘积公式一致，并将谱的定义推广至共形同调紧致情形下的无穷远处谱。

提出的方法

• 在分支基变换 $\widetilde{X} \to X$ 上使用Čech型复形 $\mathcal{K}_{\widetilde{X}}^{\bullet}$，以建模米勒尔纤维的紧支集上同调。
• 对复形 $\mathcal{K}_{\widetilde{X}}^{\bullet}$ 应用邻近层函子 $\psi_{\tilde{f}}$，其底层为与分层 $\widetilde{D}_J$ 上对数微分形式相容的混合霍奇复形。
• 利用对数德拉姆复形 $\widetilde{\Omega}_{\widetilde{D}_J}^{\bullet}(\log(\widetilde{Y} \cap \widetilde{D}_J))$ 上的权重与霍奇滤子，定义极限上同调上的霍奇结构。
• 通过公式 $t^n \iota(\mathrm{Sp}'(f,x))$ 构造谱 $\mathrm{Sp}(f,x)$，其中 $\mathrm{Sp}'(f,x)$ 由约化米勒尔上同调的分次霍奇分量定义。
• 利用对偶性 $\mathbf{D} \circ \psi_t = \psi_t \circ \mathbf{D}$（至多相差 Tate 旋转）将紧支集上同调与对偶上同调联系起来。
• 应用混合霍奇模理论与动机积分，将动机邻近纤维与谱联系起来，尤其在孤立奇点情形下。

实验结果

研究问题

• RQ1 如何通过Čech型复形，在非单峰单值群情形下显式构造具有紧支集上同调的极限混合霍奇结构？
• RQ2 在霍奇与单值群数据下，动机邻近纤维与奇点谱之间的精确关系为何？
• RQ3 混合霍奇结构的谱序列 $\psi_{\tilde{f}}\mathcal{K}_{\widetilde{X}}^{\bullet}$ 如何退化？其与单值群作用的相容性如何？
• RQ4 谱 $\mathrm{Sp}(f,x)$ 在何种意义下与 [St2] 或 [St4] 中的定义一致？对合 $\iota$ 如何影响此识别？
• RQ5 无穷远处谱的定义与行为为何？在共形同调紧致情形下，其与局部谱有何关系？

主要发现

• 谱序列 $E_1^{p,q} = \bigoplus_{|J|=p} H^q(\widetilde{D}_{J,\infty}, \mathbb{Q}) \Rightarrow H^{p+q}_c(\widetilde{U}_\infty, \mathbb{Q})$ 在 $E_2$ 页退化，且与单值群的半单部分和幂零部分相容。
• 通过 $t^n \iota(\mathrm{Sp}'(f,x))$ 定义的谱 $\mathrm{Sp}(f,x)$ 在孤立奇点情形下与 [St2] 中的标准定义一致，与 [St4] 仅相差乘以 $t$。
• 对于权重为 $(w_1, \dots, w_n)$ 的加权齐次多项式，原点处的谱为 $\mathrm{Sp}(f,0) = \prod_{i=1}^n \left( \frac{t - t^{w_i}}{t^{w_i} - 1} \right)$，此结果通过单值群作用与霍基数据得出。
• 在孤立奇点情形下，谱满足对称性 $\mathrm{Sp}(f,x) = \mathrm{Sp}'(f,x)$，反映了霍基数的对偶性。
• 通过 $\mathrm{Sp}'(f,\infty) = \sum_j (-1)^{n-1-j} \mathrm{Sp}'(\widetilde{H}^j(X_\infty), T_s)$ 定义的无穷远处谱与局部情形相容，并在加权齐次情形下与已知公式一致。
• 动机邻近纤维表示为 $\sum_{\min(I)\leq r} [\widetilde{E}_I^\circ, T_s] (\mathbf{1} - \mathbf{L})^{|I'|-1}$，通过米勒尔纤维上的霍基结构将动机不变量与谱联系起来。