[論文レビュー] Normal complex surface singularities with rational homology disk smoothings

Heesang Park, Dong‐Soo Shin+1 more|arXiv (Cornell University)|Nov 8, 2013

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

ひとこと要約

この論文は、少なくとも2つのノードを含む解像グラフをもつ正則複素表面特異点が、4次元球の有理ホモロジーをもつミルナー繊維（Milnor fiber）をもつ有理ホモロジー球滑らかさ（rational homology disk smoothing）をもたないことを証明している。この結果を先行する分類と組み合わせることで、著者たちは、このような特異点の完全な分類を完成させ、J. ワルの予想を確認し、有理ホモロジー球滑らかさをもつ正則表面特異点の完全なリストを提示した。

ABSTRACT

In this paper we show that if the minimal good resolution graph of a normal surface singularity contains at least two nodes (i.e. vertex with valency at least 3) then the singularity does not admit a smoothing with Milnor fiber having rational homology equal to the rational homology of the 4-disk $D^4$ (called a rational homology disk smoothing). Combining with earlier results, this theorem then provides a complete classification of resolution graphs of normal surface singularities with a rational homology disk smoothing, verifying a conjecture of J. Wahl regarding such singularities. Indeed, together with a recent result of J. Fowler we get the complete list of normal surface singularities which admit rational homology disk smoothings.

研究の動機と目的

• 有理ホモロジー球滑らかさ（すなわち、ミルナー繊維が4次元球とホモトピー同値となる滑らかさ）をもつすべての正則複素表面特異点を分類すること。
• このような特異点の解像グラフの構造に関して長年の予想を解決すること。
• 有理ホモロジー球滑らかさが存在するための正確な位相的および組合せ的条件を同定すること。
• 特に複数のノードをもつ解像グラフを含む、有理ホモロジー球滑らかさに関する先行研究をすべて含める形で拡張すること。
• 位相的不変量と解像面における代数幾何学的技法を組み合わせることで、このような滑らかさをもつ特異点の完全なリストを提示すること。

提案手法

• 正則表面特異点の解像グラフを分析し、ノードの数（次数 ≥3 の頂点）に注目する。
• ミルナー繊維の理論を適用し、ミルナー繊維の1次ベッチ数を計算することで、有理ホモロジー型を特定する。
• 有理ホモロジー球滑らかさの主な障害として、不変量 $ h^1(S_{ar{Γ}}, \Theta_{S_{ar{Γ}}}(-\log Z_{ar{Γ}})) $ を用いる。
• ブローアップ操作（B-1, B-2）および修正操作（M）を適用し、非最小グラフを最小グラフに変換し、$ \sum (d_i - 3) $ の変化を追跡する。
• 有理ホモロジー球滑らかさが存在するための必要条件として、不等式 $ h^1(S_{ar{Γ}}, \Theta_{S_{ar{Γ}}}(-\log Z_{ar{Γ}})) + \sum (d_i - 3) \leq 0 $ を用いる。
• Stipsicz–Szabó–WahlおよびWahlによる、有理ホモロジー球滑らかさをもつ特異点の解像グラフに関する組合せ的制約の結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 どの正則表面特異点が、ミルナー繊維が4次元球の有理ホモロジーをもつ滑らかさをもつか？
• RQ2 解像グラフにおけるノードの数が、有理ホモロジー球滑らかさの存在を決定づける役割を果たすか？
• RQ3 J. ワルの予想（有理ホモロジー球滑らかさをもつのは、たかだか1つのノードをもつ特定の解像グラフに限られる）は証明可能か？
• RQ4 ブローアップ操作および修正操作が、有理ホモロジー球滑らかさを制御するコhomological不変量にどのように影響するか？
• RQ5 有理ホモロジー球滑らかさをもつ正則表面特異点に対応する解像グラフの完全なリストは何か？

主な発見

• 正則表面特異点の最小良い解像グラフに2つ以上のノードが含まれるならば、その特異点は有理ホモロジー球滑らかさをもたない。
• 不変量 $ h^1(S_{ar{Γ}}, \Theta_{S_{ar{Γ}}}(-\log Z_{ar{Γ}})) + \sum (d_i - 3) \leq 0 $ は、有理ホモロジー球滑らかさが存在するための必要条件である。
• 星型で次数3のノードが1つのみのクラス $\mathcal{W}, \mathcal{M}, \mathcal{N}$ の解像グラフでは、有理ホモロジー球滑らかさが存在する。
• 特定のグラフ構成によって定義されるクラス $\mathcal{A}, \mathcal{B}, \mathcal{C}$ は、他の潜在的候補であるが、コhomological不等式を満たす場合に限る。
• 有理ホモロジー球滑らかさをもつ特異点の完全な分類が確立され、ワルの予想が確認された。
• この結果とJ. フォーラーの最近の定理を組み合わせることで、有理ホモロジー球滑らかさをもつ正則表面特異点の完全なリストが得られた。