[論文レビュー] Surgery formula for Seiberg--Witten invariants of negative definite plumbed 3-manifolds

Gábor Braun, András Némethi|ArXiv.org|Apr 24, 2007

Geometric and Algebraic Topology参考文献 19被引用数 12

ひとこと要約

本稿は、負定値のプラムビングによる有理ホモロジー3次元球面のSeiberg–Witten不変量に対する手術公式を確立する。この公式は、3次元多様体のプラムビングを、その部分グラフの不変量と、プラムビンググラフから導かれる有理関数の組み合わせとして表す。主な結果として、この公式と奥田の再帰式を組み合わせることで、スプライス商Singularityの等化Seiberg–Witten不変量予想を証明し、ホモロジーの周期的定数を介して、位相的不変量と幾何学的 genusを結びつける。

ABSTRACT

We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide automatically a proof of the equivariant version [arXiv:math.AG/0310084, 5.2(b)] of the `Seiberg--Witten invariant conjecture' [arXiv:math.AG/0111298] for these singularities.

研究の動機と目的

• 負定値のプラムビングによる有理ホモロジー3次元球面のSeiberg–Witten不変量に対するカットアンドパースト型手術公式の開発。
• プラムビング3次元多様体の位相的不変量と、表面特異点の解析的不変量との関連の確立。
• 手術公式と奥田の再帰式を組み合わせることで、スプライス商Singularityの等化Seiberg–Witten不変量予想に対する新たな証明の提供。
• プラムビンググラフに関連する有理関数の周期的定数を、対応する特異点の幾何的 genus として表現すること。
• Seifert多様体および手術多様体における明示的計算を通じて、手術公式の算術的性質の提示。

提案手法

• Seiberg–Witten不変量、 Reidemeister–Turaev torsion、Casson–Walker不変量の関係を用いて、手術公式を導出する。
• 公式は、有理関数 Hσ,v の t=1 における多項式部 Hσ,v^pol と、部分グラフ Γi の不変量を含む和として表される。
• 有理関数 Hσ,v は、Weil型のねじれゼータ関数として定義され、次数比較により多項式部 Hσ,v^pol が抽出される。
• c1² + |V(Γ)| の加法性公式、Reidemeister–Turaev torsion、Casson–Walker不変量に依存する。
• Seifert多様体では、関数 Hσ,v が特異点の次数付き座標環のHilbert級数と一致することが示される。
• Hσ,v の周期的定数が計算され、特に標準的Spin c構造において、特異点の幾何的 genus pg に等しいことが証明される。

実験結果

リサーチクエスチョン

• RQ1 負定値のプラムビング3次元多様体のSeiberg–Witten不変量に対する、既知の特異点の再帰公式を一般化する手術公式を構築可能か？
• RQ2 有理関数 Hσ,v の周期的定数は、関連する表面特異点の幾何的 genus とどのように関係するか？
• RQ3 手術公式を用いて、スプライス商SingularityのSeiberg–Witten不変量予想を証明可能か？
• RQ4 Seifert多様体 Σ(a,b,c) のSeiberg–Witten不変量は、プラムビンググラフおよびその不変量を用いて明示的に表現可能か？
• RQ5 手術公式は部分グラフへの制限においてどのように振る舞い、どのような不変量が保存されるか？

主な発見

• 手術公式 (1.0.3) は、プラムビング3次元多様体 Σ のSeiberg–Witten不変量を、Hσ,v の t=1 における多項式部と部分グラフ Γi の不変量の和として表現する。
• 標準的Spin c構造において、公式は sw_can(Σ) + (c1(σ_can)² + |V(Γ)|)/8 = -pg に簡略化され、重み付き斉次特異点のSeiberg–Witten不変量予想が証明される。
• H_can,v の周期的定数が特異点の幾何的 genus pg に等しいことが示され、明示的公式は pc H_can,v = ∑_{l≥0} max(0, -1 + l b_v - ∑_i ⌊-l ω_i / α_i⌋) で与えられる。
• Seifert多様体 Σ(a,b,c) において、H_can,v の周期的定数は頂点 (0,0,0), (a,0,0), (0,b,0), (0,0,c) をもつ四面体内の内部格子点数に等しく、Dedekind和を用いて表現可能である。
• 手術多様体 S³_{-d}(K) に対しても公式が検証され、Hσ,v の周期的定数を用いて [15, 4.3] の既知の結果が回復される。
• 手術公式はFloer homologyの手術正確三角形とは異なり、特定の1つのSpin c構造とその拡張を固定しており、複数の構造にわたる混合を避ける。