[論文レビュー] Construction of QHD smoothings of valency 4 surface singularities

Jonathan Wahl|arXiv (Cornell University)|May 12, 2010

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

ひとこと要約

本稿は、有理ホモロジー・ディスク（QHD）平滑化を持つ、以前未知の4価重み付き斉次表面特異点の第3の類型について、明示的なQ-ゴレンシュタイン平滑化を構成する。これにより、一様な商の記述が得られ、ミルナー多様体の基本群が非アーベルであることが明らかになった。また、QHD平滑化成分の一般次元公式を証明し、4価の場合にそれが常に1次元的かつ滑らかであることを示した。さらに、大部分のH型解体グラフはQHD平滑化を許容できないことが確認された。

ABSTRACT

Thanks to the recent work of Bhupal, Stipsicz, Szabo, and the author, one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk (QHD) smoothing, i.e., one with Milnor number 0. They fall into several classes, the interesting of which are the three classes whose resolution dual graph has central vertex with valency 4. We give a uniform quotient of the QHD smoothings for these classes; it is an explicit Q-Gorenstein smoothing, yielding a precise description of the Milnor fibre and its non-abelian fundamental group. This had already been done for two of these classes in a previous paper; what is new here is the construction of the third class, which is far more difficult. In addition, we explain the existence of two different QHD smoothings for the first class. We also prove a general formula for the dimension of a QHD smoothing component for a rational surface singularity. A corollary is that for the valency 4 cases, such a component has dimension 1 and is smooth. Another corollary is that most H-shaped resolution graphs cannot be the graph of a singularity with a QHD smoothing. This result, plus recent work of Bhupal-Stipsicz, is evidence for a general Conjecture: The only complex surface singularities with a QHD smoothing are the (known) weighted homogeneous examples.

研究の動機と目的

• 有理ホモロジー・ディスク（QHD）平滑化を持つ重み付き斉次複素表面特異点の分類を完成させるために、4価特異点のこれまで未解決であった第3の類型を構成する。
• 4価特異点の3つの類型すべてに対して、一様な商の構成によりQHD平滑化を提供し、先行研究を拡張する。
• 最初の類型に対して2つの異なるQHD平滑化が存在する理由を説明し、以前観察された現象を解消する。
• 有理表面特異点におけるQHD平滑化成分の次元に関する一般公式を導出する。
• 4価特異点において、QHD平滑化成分が常に1次元的かつ滑らかであることを証明し、大部分のH型解体グラフがこのような平滑化を許容できないことを示す。

提案手法

• 一様な商の構成を用いて、4価特異点の3つの類型すべてにおいてQHD平滑化を実現する。
• Q-ゴレンシュタイン変形理論を用いることで、平滑化が明示的かつ幾何的に意味を持つことを保証する。
• ミルナー多様体の基本群をトポロジカルおよび代数的技法を用いて解析し、それが非アーベルであることを示す。
• 変形理論的手法と有理表面特異点の不変量を用いて、QHD平滑化成分の次元に関する一般公式を導出する。
• 導出された公式と重み付き斉次特異点の性質を用いて、平滑化成分が1次元的かつ滑らかであることを証明する。
• 次元公式を適用し、既知の障害基準と比較することで、大部分のH型解体グラフがQHD平滑化を許容しないことを確立する。

実験結果

リサーチクエスチョン

• RQ1 以前未解決であった4価特異点の第3の類型に対するQHD平滑化の明示的構成は何か？
• RQ2 なぜ4価特異点の最初の類型に対して2つの異なるQHD平滑化が存在するのか？
• RQ3 任意の有理表面特異点におけるQHD平滑化成分の一般次元は何か？
• RQ4 4価特異点におけるQHD平滑化成分は常に1次元的かつ滑らかであるか？
• RQ5 どのH型解体グラフがQHD平滑化を許容できるか。どのような制約が適用されるか？

主な発見

• 第3の類型の4価特異点に対するQHD平滑化が、一様な商の方法を用いて明示的に構成され、分類における長年の空白が解消された。
• 構成された平滑化のミルナー多様体の基本群は非アーベルであり、平滑化を区別するトポロジカル不変量を提供する。
• QHD平滑化成分の次元に関する一般公式により、4価特異点においてこの成分が正確に1次元的かつ滑らかであることが確認された。
• 大部分のH型解体グラフが、QHD平滑化を持つ特異点の解体グラフとして実現できないことが証明された。
• 最近のBhupalとStipsiczの研究と組み合わせることで、QHD平滑化を許容するのは重み付き斉次例に限るとの予想に対する強い証拠が得られた。