[論文レビュー] Hypersurface Singularities and the Swing

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

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

本稿は、複素超曲面特異点の1次元的臨界集合をもつ場合のミルナー多様体のベッチ数に対する新たな一般的上限を、セールフ図の「スイング」技法と分岐層理論を用いて確立する。主な貢献は、臨界集合が特異的である場合に、ミルナー多様体の(n−1)次ホモロジー群のランクが1次元的レーナンバーによって上限づけられることを示すホモロジー的精錬であり、臨界集合が特異的である場合に既存の上限を改善する。

ABSTRACT

Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber of $f$. This result has an interesting implication on the structure of the vanishing cycles in the category of perverse sheaves.

研究の動機と目的

• 1次元的臨界集合をもつ超曲面特異点のミルナー多様体のベッチ数に対する既存の上限を精錬すること。
• 「スイング」技法を用いて、分岐層の圏における消滅サイクルの構造を調査すること。
• 臨界集合の各成分のミルナー数に対応する消滅サイクル複体の直和成分が、いつ成立するかを特定すること。
• 1次元的レーナンバーがミルナー多様体の(n−1)次ベッチ数に対して最良の上界を与える条件を探索すること。

提案手法

• セールフ図からの「スイング」技法を用いて、ミルナー多様体のハンドル付加によるアタッチメント記述を精錬する。
• Lê のアタッチメント結果を適用し、ミルナー多様体を、一般の超平面断面のファイバーにτ個のインデックスnのハンドルを付加して得られる空間として記述する。
• τを0次元的レーナンバーλ⁰と1次元的極座標数γ¹に分解し、ホモロジーにおける境界写像を分析する。
• 分岐層理論を用いて、消滅サイクル複体φ_f[−1]k•U[n+1]の構造、特にその直和成分を研究する。
• セバスティアーニ＝トムの定理を適用し、平面曲線特異点のスパニングなど、特定のケースにおけるホモロジーを計算する。
• 交差図とセールフ図を分析し、ミルナー多様体のホモロジーに課される位相的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 臨界集合が特異的である場合、˜H_{n−1}(F_f) のランクが臨界集合の成分のミルナー数の和よりも厳密に小さいことはあり得るか？
• RQ2 sheaves (k^{μ̂_ν})•_ν[1] の直和が消滅サイクル複体 φ_f[−1]k•U[n+1] の直和成分である条件は何か？
• RQ3 臨界集合の成分が特異的である場合、1次元的レーナンバー λ¹ が ˜H_{n−1}(F_f) のランクに対する最良の上界であるか？
• RQ4 非孤立特異点を有する状況において、スイング技法が既存の手法よりも鋭いベッチ数の上限を導くことができるか？
• RQ5 アフィン空間上の定数層の消滅サイクルとして現れる分岐層はどれか？

主な発見

• 境界写像の下でγ¹次元の直和成分が同型であることから、˜H_n(F_f) のランクはλ⁰、すなわち0次元的レーナンバー以下である。
• ˜H_{n−1}(F_f) のランクはλ¹、すなわち1次元的レーナンバー以下であり、以前の結果で得られたγ¹ + λ¹の上限よりも改善されている。
• 臨界集合の成分が特異的である場合、λ¹の上限は最良ではなく、Siersmaの上限∑μ̂_νがより鋭い推定を与える。
• 臨界集合が滑らかで、一般のs次元相対極座標多様体が空である場合、消滅サイクル複体は⊕_ν (k^{μ̂_ν})•_ν[s]に同型である。
• 一般のs次元相対極座標多様体が非空である場合、⊕_ν (k^{μ̂_ν})•_ν[s] は消滅サイクル複体の直和成分ではない。
• 反例により、臨界集合が非自明であっても、˜H_{n−1}(F_f) のランクが∑μ̂_νに等しくなることが示され、より厳しい予想は否定された。