[論文レビュー] An inequality for the h-invariant in instanton Floer theory

Kim A. Frøyshov|ArXiv.org|Nov 4, 2001

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

ひとこと要約

本稿は、b₂⁺ = 1 である 4-多様体において、自己交叉数 +1 の埋め込み面の genus と、境界がホモロジー球面である場合のインスタントン Floer homology における h-不変量の間の鋭い不等式を確立する。モジュライ空間技法と射影的に平坦な U(2) 接続を用いて、h(Y) + ⌈g/2⌉ ≥ e(ℒ) を証明する。ここで e(ℒ) は、面の類の直交補空間に由来する格子不変量である。この結果は、ドナルドソンの対角化定理を一般化し、結び目の ±1 サービングにおける h-不変量の変化に対する境界を可能にする。

ABSTRACT

In math.DG/9903083 (henceforth referred to as EA) we defined an integer invariant $h(Y)$ for oriented integral homology 3-spheres $Y$ which only depends on the rational homology cobordism class of $Y$ and is additive under connected sums. In this paper we establish lower bounds for $h(Y)$ when $Y$ is the boundary of a smooth, compact, oriented 4-manifold with $b_2^+=1$. As applications, we give an upper bound for how much $h$ changes under -1 surgery on knots in terms of the slice genus of the knot, and compute $h$ for a family of Brieskorn spheres. This paper contains, in revised form, most of the material from v1 of EA that was left out in the final version of that paper. In particular, Theorem 1 of the present paper is virtually the same as Theorem 1 of v1 of EA. The proof is also essentially the same, but the exposition has been improved, with more details.

研究の動機と目的

• 境界がホモロジー球面で b₂⁺ = 1 である 4-多様体に対するインスタントン Floer homology における h-不変量を含む新しい不等式を確立すること。
• h-不変量を、自己交叉数 +1 の埋め込み面の genus およびコhomology 内の直交補空間格子の構造に関連付けること。
• Floer理論的不変量と格子不変量 e(ℒ) を用いて、ドナルドソンの対角化定理を一般化すること。
• 有理ホモロジー コボルディズムを用いて、結び目の ±1 サービングにおける h-不変量の変化に対する境界を導出すること。

提案手法

• ホモロジー コボルディズム群から ℤ への全射準同型として h-不変量をインスタントン Floer 理論によって定義する。
• 境界付き 4-多様体における SO(3) 接続のモジュライ空間技法を適用し、パラメータ化された族と還元可能接続に焦点を当てる。
• 単位的で負定値の格子 ℒ に対して、極値ベクトルと特徴的類を用いた和によって定義される格子不変量 e(ℒ) を導入する。
• 射影的に平坦な U(2) 接続と、3-多様体上の平坦な SU(2) 接続との関係を用いて、Floer チェイン複体を計算する。
• 3-トーラス上の平坦な SO(3) 接続のモジュライ空間の構造を解析し、インデックスが 4 異なる正確に 2 つの非退化な平坦接続が存在することを示す。
• メトリックの族とカットダウン技法を用いて、モジュライ空間の境界および端の振る舞いを制御する。

実験結果

リサーチクエスチョン

• RQ1 ホモロジー球面境界 Y を持つ 4-多様体 X において、b₂⁺(X) = 1 のとき、h-不変量 h(Y) は、自己交叉数 1 の埋め込み面の genus とどのように関係するか？
• RQ2 格子不変量 e(ℒ) が h-不変量の上界をどのように決定づけるか、その明確な役割は何か？
• RQ3 結び目の ±1 サービングにおいて、h-不変量はどのように変化するか？その境界は鋭いか？
• RQ4 h(Y) と e(ℒ) は、連結和やコボルディズムにおいてどのように振る舞うか？
• RQ5 3-トーラス上の平坦な SO(3) 接続のモジュライ空間の構造は何か？また、Floer homology とどのように関係するか？

主な発見

• 任意の滑らかでコンパクトかつ向き付けられた 4-多様体 X に対して、境界がホモロジー球面 Y で b₂⁺(X) = 1 であるとき、h(Y) + ⌈g/2⌉ ≥ e(ℒ) が成り立つ。ここで g は自己交叉数 1 の埋め込み面 Σ の genus である。
• 格子不変量 e(ℒ) は、ℒ が対角的であるときにかつそのときに限り 0 に等しく、ℒ が対角的で k ≥ 0 のとき、e(−kE₈ ⊕ ℒ) = k である。
• Brieskorn 球面 Σ(2,2k−1,4k−3) に対して、h-不変量は正確に ⌊k/2⌋ に等しく、不等式と上界・下界の一致から計算される。
• スライス genus が g である結び目 γ に対する −1 サービングでは、h(Y_{γ,−1}) − h(Y) は 0 から ⌈g/2⌉ の間で変化する。
• 3-トーラス上の平坦な SO(3) 接続のモジュライ空間には正確に 2 つの非退化点があり、それらはインデックス 4 の差を示す。これは、既知の Floer homology 上の次数 4 の対称的変換と整合する。
• 射影的に平坦な U(2) 接続を用いた構成により、T³ 上の非自明な SO(3) バンドルに対する Floer チェイン複体を明示的に計算可能である。