[論文レビュー] On the Vanishing Topology of Isolated Cohen-Macaulay Codimension 2 Singularities

Anne Fruehbis-Krueger, Matthias Zach|arXiv (Cornell University)|Jan 8, 2015

Algebraic Geometry and Number Theory参考文献 15被引用数 19

ひとこと要約

本稿は、3次元における孤立型 Cohen-Macaulay コホーマロウ2次特異点の消失トポロジーを、拡張された Tjurina 変形の導入により解決し、Milnor 繊性のベッチ数 b₂ と b₃ の明示的計算を可能にした。多くのこのような特異点において b₂ = 1 であることを証明し、Damon と Pike が観測した非消失する b₂ を、グローバルホモロジー関係と局所不変量によって解釈した。

ABSTRACT

Isolated Cohen-Macaulay codimension 2 singularities share many common features with isolated complete intersection singularities, but they also exhibit some striking new behaviour. One such instance was recently observed by Damon and Pike in their study of the vanishing topology and Euler characteristic, where they took this class of singularities as examples. In this article, we explore their findings further by determining the Betti numbers explicitly and explain the new phenomena. An important tool here is the Tjurina modification relating a Cohen-Macaulay codimension 2 singularity to a finite number of complete intersection singularities.

研究の動機と目的

• 完全交差を超える孤立型 Cohen-Macaulay コホーマロウ2次特異点のトポロジカルな振る舞いを理解すること、特に Damon と Pike が観測した b₁ およびそれ以上のホモロジー群の消失にもかかわらず非消失する第二ベッチ数 b₂ の原因を解明すること。
• 3次元特異点におけるオイラー特性の欠損、すなわち b₃ − b₂ < 0 の幾何的・トポロジカルな起源を明らかにすること。
• 従来曲面に限定されてきた Tjurina 変形技法を、高次元特異点および特異点の族へと一般化すること。
• すべての単純特異点である孤立型 Cohen-Macaulay コホーマロウ2次3次元特異点について、第二および第三ベッチ数 b₂ と b₃ を明示的に計算すること。
• 単純特異点を含む広範なクラスの特異点において b₂ = 1 となる条件を確立すること。

提案手法

• 3次元における Cohen-Macaulay コホーマロウ2次特異点に Tjurina 変形を拡張し、被約写像による双有理変換を通じて元の特異点と局所的完全交差の族を関連付ける。
• Tjurina 変形 Y₀ を用いて特異点集合 Σ(Y₀) を分析し、これは孤立点または空集合である可能性がある。また、h¹(Y₀, T_Y₀) を変形自由度の指標として計算する。
• Lê-Greuel 公式を適用し、第三ベッチ数 b₃ を特異点 p ∈ Σ(Y₀) における局所ミルナー数 μₚ の和と Tjurina 数 τₚ に関連付ける。
• 単純 ICMC2 特異点において、τ = h¹(Y₀, T_Y₀) + b₃ という公式を導出する。ここで τ は Tjurina 数を表す。
• Πₖ 特異点族の変形を解析し、ε ≠ 0 のとき k 個の A₀⁺ 特異点が現れ、それぞれがホモロジーに 3次元球面を寄与することを示す。
• 位相的議論を用いて、ε ≠ 0 のファイバーにおける k 個の 3次元球面が滑らかなファイバー内でホモロジー的にゼロであることを示し、H₃(X_ε) を生成するのは k−1 個に限られ、全チェーンはホモロジー的にゼロであることを示す。

実験結果

リサーチクエスチョン

• RQ1 なぜ一部の孤立型 Cohen-Macaulay コホーマロウ2次3次元特異点において、b₁ およびそれ以上のホモロジー群が消失しても第二ベッチ数 b₂ が非ゼロのままであるのか？
• RQ2 これらの特異点における観測されたオイラー特性の欠損 b₃ − b₂ < 0 の幾何的・トポロジカルな説明は何か？
• RQ3 Tjurina 変形を高次元および完全交差でない特異点に一般化し、ベッチ数を計算するにはどうすればよいか？
• RQ4 孤立型 Cohen-Macaulay コホーマロウ2次特異点が3次元において b₂ = 1 を満たす条件は何か？
• RQ5 Πₖ 家族において ε ≠ 0 のファイバーに現れる k 個の 3次元球面のバケツのトポロジカル的意義は何か？

主な発見

• すべての単純特異点である孤立型 Cohen-Macaulay コホーマロウ2次3次元特異点において、第二ベッチ数 b₂ は正確に 1 に等しい。
• 第三ベッチ数 b₃ は、Tjurina 変形 Y₀ の特異点における局所ミルナー数 μₚ の和に等しい。
• 単純特異点において、Tjurina 数 τ は τ = h¹(Y₀, T_Y₀) + b₃ を満たし、グローバルな変形不変量とホモロジーを結びつける。
• Πₖ 家族の Tjurina 変形 Y₀ は滑らかであり、h¹(Y₀, T_Y₀) は A₀⁺ 特異点の数 k に対して線形に増加する。
• ε ≠ 0 の変形ファイバーにおいて、k 個の 3次元球面はホモロジー的にゼロの鎖を形成し、H₃(X_ε) を生成するのは k−1 個に限られ、全 3次元チェーンはホモロジー的にゼロである。
• 単純特異点において b₃ − b₂ < 0 だが ≥ −1 であるという観測は、b₂ = 1 かつ b₃ ≥ 1 であること、特に A₀⁺ 特異点では b₃ = 1 であることによって説明できる。