[論文レビュー] The geometric genus and Seiberg-Witten invariant of Newton nondegenerate surface singularities

Baldur Sigurðsson|arXiv (Cornell University)|Jan 11, 2016

Geometric and Algebraic Topology参考文献 3被引用数 4

ひとこと要約

この論文は、解消グラフとニュートン図の組み合わせ的性質、およびOkaのアルゴリズムを用いて、幾何学的 genus をリンクの位相から明示的に評価し、最終的に回復する計算列を構成することで、ニュートン非退化な表面特異点に対するSeiberg–Witten不変量の予想を証明する。著者らは、リンクの標準的spin^c構造の正規化されたSeiberg–Witten不変量が幾何学的 genus に等しいことを示し、位相的データからスペクトルの一部およびPoincaré級数を回復する。

ABSTRACT

Given a normal surface singularity (X,0), its link, M is a closed differentiable three dimensional manifold which carries much analytic information. It is an interesting question to ask whether, under suitable analytic and topological conditions, the geometric genus (or other analytic invariants) can be recovered from the link. The Casson invariant conjecture predicts that p_g can be identified using the Casson invariant in the case when (X,0) is a complete intersection and M has trivial first homology with integral coefficients. The Seiberg-Witten invariant conjecture predicts that the geometric genus of a Gorenstein singularity, whose link has trivial first homology with rational coefficients, can be calculated as a normalized Seiberg-Witten invariant of the link. The first conjecture is still open, but counterexamples have been found for the second one. We prove here the Seiberg-Witten invariant conjecture for hypersurface singularities given by a function with Newton nondegenerate principal part. We provide a theory of computation sequences and of the way they bound the geometric genus. Newton nondegenerate singularities can be resolved explicitly by Oka's algorithm, and we exploit the combinatorial interplay between the resolution graph and the Newton diagram to show that in each step of the computation sequence we construct, the given bound is sharp. Our method recovers the geometric genus of (X,0) explicitly from the link, assuming that (X,0) is indeed Newton nondegenerate with a rational homology sphere link. Assuming some additional information about the Newton diagram, we recover part of the spectrum, as well as the Poincaré series associated with the Newton filtration. Finally, we show that the normalized Seiberg-Witten invariant associated with the canonical spin^c structure on the link coincides with our identification of the geometric genus.

研究の動機と目的

• Gorensteinな表面特異点の幾何学的 genus がそのリンクのSeiberg–Witten不変量から回復可能であるという長年の予想を解決すること。
• 特にニュートン非退化特異点に対して、リンクの位相的不変量から幾何学的 genus を構成的に計算する方法を確立すること。
• リンクの標準的spin^c構造の正規化されたSeiberg–Witten不変量が幾何学的 genus に等しいことを示すこと。
• リンクの位相からニュートンフィルトレーションのスペクトルの一部およびPoincaré級数を回復すること。

提案手法

• 解消グラフとニュートン図に基づく計算列を構成し、各段階で幾何学的 genus を評価する。
• Okaのアルゴリズムを用いて、ニュートン図からの明示的な組み合わせ的データにより、ニュートン非退化特異点を解消する。
• 拡大された多角形および多面体における格子点の数え上げを用いて、交差数およびゼータ関数係数を計算する。
• パス格子コホモロジーおよびトポロジカルゼータ関数の理論を用いて、解析的不変量と位相的データの関係を確立する。
• 1変数のべき級数の多項式部および周期的定数を用いて、スペクトル情報を抽出する。
• 腕構成のケース解析を用いて、リンクの標準的spin^c構造の正規化されたSeiberg–Witten不変量が幾何学的 genus に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 ニュートン非退化な表面特異点の幾何学的 genus は、そのリンクの位相的データから純粋に計算可能か？
• RQ2 リンクの標準的spin^c構造の正規化されたSeiberg–Witten不変量は、幾何学的 genus と一致するか？
• RQ3 リンクの位相からニュートンフィルトレーションのスペクトルの一部およびPoincaré級数を回復可能か？
• RQ4 ニュートン図のどの組み合わせ的条件下で、計算列の各段階において幾何学的 genus の評価が鋭い上界となるか？

主な発見

• リンクが有理ホモロジー球面である場合、ニュートン非退化な表面特異点の幾何学的 genus はリンクの位相から明示的に回復可能である。
• リンクの標準的spin^c構造の正規化されたSeiberg–Witten不変量が幾何学的 genus に等しいことが示され、この場合におけるSeiberg–Witten不変量予想が裏付けられた。
• 構築された計算列は各段階で鋭い評価を提供し、組み合わせ的手段により幾何学的 genus を正確に回復可能である。
• ニュートン図の追加的条件のもとで、0以下の次数までのスペクトルおよびニュートンフィルトレーションのPoincaré級数はリンクの位相から回復可能である。
• ニュートン図に中心の三角形を持つ特異点では、特定の幾何的制約のもとでSeiberg–Witten係数が消えることが確認され、関連するゼータ関数項の消滅が裏付けられた。
• 本手法により、解消グラフ、ニュートン図、および解析的不変量（例：$p_g$ やスペクトル）との間の完全な組み合わせ的対応が確立された。