[論文レビュー] Hypersurface Singularities and Milnor Equisingularity

Lê Dũng Tráng, David B. Massey|ArXiv.org|Apr 19, 2005

Algebraic Geometry and Number Theory参考文献 8被引用数 3

ひとこと要約

この論文は、原点における複素超曲面特異点 $f$ が滑らかな底上で定数のミルナー数をもつ単純な $\mu$-一定族を定義するかどうかを、ミルナーfiber $F_f$ の縮小ホモロジー群 $\widetilde{H}_{n-s}(F_f)$ のランクが完全に決定することを確立する。主な結果は、このベッチ数と一般の $s$ 次元 Lê 数 $\lambda^s_f(\mathbf{0})$ の等式が成り立つのは、かつそのときに限り、族がミルナー同一特異型であることを示しており、 perverse sheaves と消失サイクルを介して位相的不変量と同一特異型を結びつける。

ABSTRACT

Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional at the origin, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber, $F_{f, \mathbf 0}$, of $f$ at the origin, with either integral or $\mathbb Z/p\mathbb Z$ coefficients. If the critical locus of $f$ has arbitrary dimension, we show that the smallest possibly non-zero reduced Betti number of $F_{f, \mathbf 0}$ completely determines if $f$ defines a family of isolated singularities, over a smooth base, with constant Milnor number. This result has a nice interpretation in terms of the structure of the vanishing cycles as an object in the perverse category.

研究の動機と目的

• 滑らかな底上で定数のミルナー数をもつ孤立特異点族をなす超曲面特異点 $f$ がどのような場合に成立するかを特定すること。
• ミルナー同一特異型をミルナーfiberの位相的不変量の観点から特徴づけること。
• 消失サイクルの perverse 圏における構造と同一特異型との関係を理解すること。
• 非孤立特異点に対するミルナーfiberのベッチ数に対する有効的かつ計算可能な上限を確立すること。
• アフィン空間上の定数層の消失サイクルが、半単純または分解可能である条件を調べること。

提案手法

• 著者たちはミルナーfiber $F_f$ を用い、特に中間次元群 $\widetilde{H}_{n-s}(F_f)$ に注目してその縮小ホモロジー群 $\widetilde{H}_k(F_f)$ を計算する。
• 臨界集合 $\Sigma f$ の既約成分に沿った局所ミルナー数を用いて定義される $s$ 次元 Lê 数 $\lambda^s_f(\mathbf{0})$ を用いる。
• 一般座標 $\mathbf{z} = (z_0, \dots, z_{s-1})$ の選択を用いて法線断面を定義し、$s$ 次元 Lê 数を計算する。
• 導来圏における同一特異型の解釈に、 perverse sheaves の理論と消失サイクル関手 $\phi_f[-1]\mathbb{Z}^\bullet_\mathcal{U}[n+1]$ を用いる。
• セバスティアーニ＝トムの定理とサーフォン図法を用いて例を分析し、境界をテストする。
• 主要定理の証明は、帰納法と位相的不変性を用いて一般の場合を $s=1$ の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 なぜ $\widetilde{H}_{n-s}(F_f)$ のランクが一般の $s$ 次元 Lê 数 $\lambda^s_f(\mathbf{0})$ に等しくなるのか？
• RQ2 族が定数のミルナー数をもつための正確な位相的条件は何か？
• RQ3 消失サイクル複体 $\phi_f[-1]\mathbb{Z}^\bullet_\mathcal{U}[n+1]$ が perverse sheaf として半単純である条件は何か？
• RQ4 非孤立な場合において、ミルナーfiberのベッチ数を有効的に境界づけることは可能か？
• RQ5 どの perverse sheaf が $\mathbb{C}^{n+1}$ 上の定数層の消失サイクルとして現れるか？

主な発見

• $\widetilde{H}_{n-s}(F_f)$ のランクが $\lambda^s_f(\mathbf{0})$ に等しいのは、$f$ が原点で単純な $\mu$-一定族を定義するときかつそのときに限る。
• $s=1$ の場合、ミルナー同一特異型条件は $\operatorname{rank}\widetilde{H}_{n-1}(F_f) = \lambda^1_f(z_0)(\mathbf{0})$ または $\mathbb{Z}/p\mathbb{Z}$ 係数での同じ等式と同値である。
• もし $\Sigma f$ の $s$ 次元成分が滑らかであれば、$\bigoplus_\nu (\mathbb{Z}^{\mu^\circ_\nu})^\bullet_\nu[s]$ が $\phi_f[-1]\mathbb{Z}^\bullet_\mathcal{U}[n+1]$ の直和成分であるのは、$f$ がミルナー同一特異型であるときかつそのときに限る。
• ミルナー同一特異型の場合、消失サイクル複体は $(\mathbb{Z}^{\mu^\circ_{\Sigma f}})^\bullet_{\Sigma f}[s]$ に同型である。
• 非自明な場合、反例により消失サイクル複体は半単純ではないことが示されている。$\Sigma f$ が $\mathbb{C}$ と位相的に同相であっても、層構造が周囲の超曲面を記憶している。
• 反例により、ベッチ数が局所ミルナー数の和に等しくても族が同一特異型でない場合があることが示されており、より強い境界を得るにはサーフォン図やモノドロミーといった追加データが必要であることが示唆される。