[论文解读] Singular cohomology of the analytic Milnor fiber, and mixed Hodge structure on the nearby cohomology

Johannes Nicaise|ArXiv.org|Oct 1, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 3

一句话总结

该论文证明了复数域上形式幂级数域 $\mathbb{C}((t))^{a}$ 上的解析 Milnor 纤维的奇异上同调，与函数芽的邻近上同调的混合 Hodge 结构中的零权部分完全一致。通过严格半稳定模型和 Berkovich 的同伦理论，该文建立了 Berkovich 全局结果的局部版本，并在 Grothendieck 环中以特殊纤维的各层为基，给出了 Denef 和 Loeser 的动机 Milnor 纤维的动机表达式。

ABSTRACT

We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model.

研究动机与目标

• 使用严格半稳定模型描述解析 Milnor 纤维的同伦类型。
• 证明在 $\widehat{\mathbb{C}((t))^{a}}$ 上基变换后的解析 Milnor 纤维的奇异上同调，与函数芽在点 $x$ 处邻近上同调的混合 Hodge 结构中的零权部分一致。
• 在严格半稳定模型下，给出 Denef 和 Loeser 的动机 Milnor 纤维的动机表达式。
• 证明动机 Milnor 纤维表达式不依赖于严格半稳定模型的选择。

提出的方法

• 利用 Berkovich 对严格半稳定形式概形的通用纤维的同伦理论。
• 应用一个关键技术结果（命题 3.7 和推论 3.8），即在对若干分量的并集进行完备化后，其通用纤维的同伦类型。
• 通过与严格半稳定 $k$-概形相关的单纯集，描述解析 Milnor 纤维的同伦类型（定理 4.10）。
• 依赖 Peters 和 Steenbrink 对邻近上同调的混合 Hodge 结构的构造，以分离出零权部分。
• 利用动机积分和代数簇的 Grothendieck 环，表达动机 Milnor 纤维（定理 6.11）。
• 通过 Grothendieck 环中的基变换与同构性质，证明动机表达式的独立性。

实验结果

研究问题

• RQ1 解析 Milnor 纤维的基变换后的解析化在奇异上同调是否与邻近上同调的混合 Hodge 结构中的零权部分一致？
• RQ2 能否通过奇点的严格半稳定模型来描述解析 Milnor 纤维的同伦类型？
• RQ3 Denef 和 Loeser 的动机 Milnor 纤维能否在 Grothendieck 环中表示为特殊纤维各层的和？
• RQ4 动机 Milnor 纤维的表达式是否不依赖于严格半稳定模型的选择？
• RQ5 非阿基米德几何下的解析 Milnor 纤维与邻近上同调的 Hodge 理论结构之间有何关系？

主要发现

• 在 $\overline{\mathscr{F}}_x = \mathscr{F}_x \widehat{\times}_{\mathbb{C}((t))} \widehat{\mathbb{C}((t))^{a}}$ 上，其奇异上同调同构于函数 $f$ 在点 $x$ 处邻近上同调的混合 Hodge 结构中的零权部分（定理 5.7）。
• 解析 Milnor 纤维 $\mathscr{F}_x$ 的同伦类型通过严格半稳定模型描述，关键工具是通用纤维上限制映射的纤维同伦类型（命题 4.4）。
• 动机 Milnor 纤维 $\mathcal{S}_{f,x}$ 在 Grothendieck 环 $\mathcal{M}_x$ 中的表达式为 $\sum_{\emptyset \neq J \subset I} (1 - \mathbb{L})^{|J|-1} [E_J^o]$，且不依赖于严格半稳定模型的选择（推论 6.12）。
• 邻近上同调的动机表达式 $\mathcal{S}_{\mathscr{U}}$ 在 $\mathcal{M}_{\mathscr{U}_0}$ 中为 $\sum_{\emptyset \neq J \subset I} (1 - \mathbb{L})^{|J|-1} [E_J^o]$，对任意通用光滑的特殊形式 $R$-概形 $\mathscr{U}$ 成立（定理 6.11）。
• 通过 [19, 7.36] 中的公式可知，以特殊纤维各层表示的动机 Milnor 纤维表达式与奇点的解析化相容。
• 结果为零权 Hodge 结构与动机 Milnor 纤维提供了非阿基米德几何解释，将 Berkovich 的全局结果推广到了局部情形。