[論文レビュー] 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}$ 上の解析的ミルナー・ファイバーの解析化の特異コhomology が、関数芽の近くのコhomology における混合Hodge 構造の重み0部に一致することを確立する。厳密に半安定なモデルとBerkovichのホモトピー論を用いて、Berkovichのグローバル結果の局所版を証明し、特異ファイバーのストラトムを用いたDenefとLoeserのモチビックミルナー・ファイバーのモチビック表現を提供する。

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.

研究の動機と目的

• 厳密に半安定なモデルを用いて、解析的ミルナー・ファイバーのホモトピー型を記述すること。
• 関数 $f$ の $x$ における近くのコhomology における混合Hodge 構造の重み0部に一致する、$\widehat{\mathbb{C}((t))^{a}}$ 上のベース・チェンジされた解析的ミルナー・ファイバーの特異コhomology を示すこと。
• DenefとLoeserのモチビックミルナー・ファイバーを、厳密に半安定なモデルのストラトムを用いて表現すること。
• モチビックミルナー・ファイバーの表現が、厳密に半安定なモデルの選択に依存しないことを確立すること。

提案手法

• 厳密に半安定な形式的スキームの一般ファイバーにBerkovichのホモトピー論を適用する。
• 成分の和集合に沿った完成後における一般ファイバーのホモトピー型に関する重要な技術的結果（命題3.7および推論3.8）を適用する。
• 厳密に半安定な $k$-代数的集合に付随する単体的集合を用いて、解析的ミルナー・ファイバーのホモトピー型を記述する（定理4.10）。
• 近くのコhomology における混合Hodge 構造の構成にPetersとSteenbrinkの結果を用い、重み0部を特定する。
• モチビック積分と代数的多様体のGrothendieck環を用いて、モチビックミルナー・ファイバーを表現する（定理6.11）。
• Grothendieck環における基底変換と同型性の性質を用いて、モチビック表現の独立性を確立する。

実験結果

リサーチクエスチョン

• RQ1 解析的ミルナー・ファイバーの解析化の特異コhomology は、近くのコhomology における混合Hodge 構造の重み0部に一致するか？
• RQ2 特異点の厳密に半安定なモデルを用いて、解析的ミルナー・ファイバーのホモトピー型を記述できるか？
• RQ3 DenefとLoeserのモチビックミルナー・ファイバーは、Grothendieck環における特異ファイバーのストラトムの和として表現可能か？
• RQ4 モチビック表現が、厳密に半安定なモデルの選択に依存しないか？
• RQ5 非アーチメデス幾何学的構造である解析的ミルナー・ファイバーと、近くのコhomology におけるホッジ理論的構造との関係は何か？

主な発見

• $\overline{\mathscr{F}}_x = \mathscr{F}_x \widehat{\times}_{\mathbb{C}((t))} \widehat{\mathbb{C}((t))^{a}}$ の特異コhomology は、$f$ の $x$ における近くのコhomology における混合Hodge 構造の重み0部に同型である（定理5.7）。
• 解析的ミルナー・ファイバー $\mathscr{F}_x$ のホモトピー型は、厳密に半安定なモデルを用いて記述され、主な道具は一般ファイバー上の評価写像のファイバー・ホモトピー型（命題4.4）。
• モチビックミルナー・ファイバー $\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}}$ は、任意の一般に滑らかな特異ファイバーを持つ形式的 $R$-スキーム $\mathscr{U}$ に対して、$\mathcal{M}_{\mathscr{U}_0}$ 内で $\sum_{\emptyset \neq J \subset I} (1 - \mathbb{L})^{|J|-1} [E_J^o]$ として与えられる（定理6.11）。
• 特異ファイバーのストラトムを用いたモチビックミルナー・ファイバーの表現は、特異点の解消と整合的であることが、[19, 7.36] の公式により示された。
• 結果は、重み0ホッジ構造およびモチビックミルナー・ファイバーの非アーチメデス幾何的解釈を提供し、Berkovichのグローバル結果を局所的状況に拡張する。