[論文レビュー] Milnor fibration and fibred links at infinity

Arnaud Bodin|ArXiv.org|Sep 19, 2003

Geometric and Algebraic Topology参考文献 5被引用数 3

ひとこと要約

本稿は、多項式写像 $ f: \mathbb{C}^2 \to \mathbb{C} $ に対する無限遠におけるファイバー多リンクの特徴づけを確立し、多リンク $ K_0 = f^{-1}(0) \cap S^3_R $ がファイバーであるための必要十分条件が、すべての非ゼロ値が無限遠で正則であることであることを証明する。無限遠における特異点の解消を用いて、ミルナーのファイブレーションのファイバーとモノドロミーを解消から得られる組合せ的不変量で記述し、従来のより強い仮定のもとで得られていた結果の新たな証明を与える。

ABSTRACT

For a polynomial $f$ in two complex variables, we prove that the multi-link at infinity of the 0-fiber $f^{-1}(0)$ is a fibred multi-link if and only if all the values different from 0 are regular at infinity.

研究の動機と目的

• 多項式 $ f: \mathbb{C}^2 \to \mathbb{C} $ に対して、多リンク $ K_0 = f^{-1}(0) \cap S^3_R $ が無限遠でファイバーである条件を特徴づけること。
• 従来の「半安定（semitame）」仮定を避けるために、無限遠における特異点の解消を用いてファイバー多リンクの特徴づけを再証明すること。
• ミルナーのファイブレーションの無限遠におけるファイバーとモノドロミーを、解消プロセスから得られる組合せ的不変量で記述すること。
• 値 $ 0 $ の役割を明確にし、$ 0 $ が無限遠で特異的または正則的であっても、ファイバー性に影響を与えないことを示すこと。

提案手法

• 吹き上げを用いた弱解消、部分的解消、全解消を用いて無限遠における特異点を解消し、写像 $ \tilde{f} $ を解消された曲面 $ \Sigma_t $ 上の準同型写像 $ \phi $ に拡張すること。
• 無限遠における臨界値を、臨界 divisor $ D_{\text{crit}} $ の成分 $ D $ で $ \phi_t(D) = c $ を満たす $ c \in \mathbb{C} \setminus \{0\} $、または $ \phi_t|_{D_{\text{dic}}} $ の臨界値として同定すること。
• 境界球面 $ S \subset \Sigma_t $ に制限された写像 $ \theta = \phi / |\phi| $ を考察し、これは $ f / |f| $ とホモトープであるため、ファイブレーション構造を解析すること。
• ワルドハウス分解を応用して、$ S \setminus \phi^{-1}(0) $ を $ \pi_t^{-1}(L_\infty) $ の既約成分に対応するセイフェルト3多様体に分解し、各部分にファイブレーションが存在することを証明すること。
• 最小ワルドハウス分解と仮想成分を用いて、$ c \neq 0 $ が無限遠で臨界値である場合の非ファイバー性を検出すること。
• 背理法と場合分け（特にホフリンクの場合）を用い、$ c \neq 0 $ が無限遠で臨界値である場合、ファイバー性が成立しない可能性を除外すること。

実験結果

リサーチクエスチョン

• RQ1 多項式 $ f: \mathbb{C}^2 \to \mathbb{C} $ に対して、多リンク $ K_0 = f^{-1}(0) \cap S^3_R $ が無限遠でファイバーであるのはいつか？
• RQ2 値 $ 0 $ が無限遠で特異的である場合、$ K_0 $ のファイバー性を決定づける役割は何か？特に $ 0 $ が無限遠で臨界値である場合に注目する。
• RQ3 解消における組合せ的不変量を用いて、無限遠におけるミルナーのファイブレーションのファイバーとモノドロミーをどのように記述できるか？
• RQ4 無限遠で臨界値 $ c \neq 0 $ が存在する場合、$ K_0 $ が非ファイバーであることを示す条件は何か？
• RQ5 $ K_0 $ のファイバー性が、$ 0 $ の正則性に依存しない、無限遠における臨界値のみに依存する形で特徴づけられるか？

主な発見

• 多リンク $ K_0 = f^{-1}(0) \cap S^3_R $ がファイバーであるための必要十分条件は、すべての非ゼロ値が無限遠で正則であることであり、$ 0 $ が無限遠で正則または特異的であっても成立する。
• $ S^3_R \setminus f^{-1}(0) $ 上の写像 $ f/|f| $ のファイブレーション構造は、解消された境界 $ S $ 上の $ \phi / |\phi| $ とホモトープであり、すべての $ c \neq 0 $ が無限遠で正則であるとき、この写像はファイブレーションである。
• 無限遠におけるミルナーのファイブレーションのファイバーとモノドロミーは、全解消における組合せ的データ（特に、dicritical および臨界成分の次数と配置）によって完全に決定される。
• もし $ c \neq 0 $ が無限遠で臨界値であるならば、$ K_0 $ はファイバー多リンクでない。これは、最小ワルドハウス分解に、セイフェルト面と交わらない仮想成分が存在することによって示される。
• 特別な場合として、$ K_0 $ がホフリンクであるとき、$ c \neq 0 $ は無限遠で正則値でなければならない。このとき、多項式 $ f $ は自己同型の下で $ (xy + \lambda)^l $ または $ x^p y^q $ に同値であり、両者とも $ c \neq 0 $ に対して無限遠に臨界値を持たない。
• 証明により、非ファイバー性は解消における位相的障害によって生じる。もし dicritical 成分 $ D $ に対して $ \phi_p|_D $ が2つより多くの零点を持つならば、$ K_0 $ はファイバーでない。これは、$ c \neq 0 $ が無限遠で臨界値である場合に保証される。