[論文レビュー] Cohomotopy invariants and the universal cohomotopy invariant jump formula

Okonek, Christian, Teleman, Andrei|ArXiv.org|Apr 19, 2007

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

ひとこと要約

本稿は、4次元多様体上のSeiberg-Witten写像に応用可能な、ヒルバート bundle 間のS¹-可換非線形写像からコhomotopy不変量を構成する新しい形式的枠組みを導入する。この手法により、微分同相写像の下で明確な函子的性質を示す不変量が得られ、b⁺ = 1の場合のウォールクロッシング現象を検出可能となり、Seiberg-Witten方程式の摂動に対する普遍的なジャンプ公式が確立される。

ABSTRACT

Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map, this formalism yields a new class of cohomotopy Seiberg-Witten invariants which have clear functorial properties with respect to diffeomorphisms of 4-manifolds. Our invariants and the Bauer-Furuta classes are directly comparable for 4-manifolds with $b_1=0$; they are equivalent when $b_1=0$ and $b_+>1$, but are finer in the case $b_1=0$, $b_+=1$ (they detect the wall-crossing phenomena). We study fundamental properties of the new invariants in a very general framework. In particular we prove a universal cohomotopy invariant jump formula and a multiplicative property. The formalism applies to other gauge theoretical problems, e.g. to the theory of gauge theoretical (Hamiltonian) Gromov-Witten invariants.

研究の動機と目的

• S¹-可換非線形写像によるヒルバート bundle 間からコhomotopy不変量を構成する一般形式的枠組みの開発。
• その形式的枠組みを4次元多様体上のSeiberg-Witten写像に適用し、古典的不変量よりも改善された函手的性質を持つ不変量を導出する。
• 可縮解の存在やウォールクロッシング現象の下で不変量が正しく定義されない、あるいは函手的でないという問題を解決する。
• 摂動のホモトピー類の変化に伴うコhomotopy不変量の変化を記述する普遍的な不変量ジャンプ公式を確立する。
• Seiberg-Witten理論を超えて、ゲージ理論的Gromov-Witten不変量などへの応用可能性を示す。

提案手法

• K(B) の要素を用いて、有限次元近似と安定化を用いて S¹-可換コホモトピー群 S¹α∗(B, V) を定義する。
• Seiberg-Witten写像の有限次元近似からの S¹-可換写像のホモトピー類として不変量 {µ} を構成する。
• シリンダ構成を用いて、写像 κ: B → S(iH⁺) を介して不変量とSeiberg-Witten方程式の摂動を関連付ける。
• 全摂動族を研究し、普遍的なジャンプ公式を導出するため、B × S(iH⁺) 上に普遍的摂動 ˜µ を導入する。
• 障害理論とトム同型を用いて、球体バンドル間の点付きバンドル写像のホモトピー類を分類する。
• 相対障害類と一次障害 oA(s∞, s) ∈ Hr(B, A; Z) を用いて、普遍的ジャンプ公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 S¹-可換非線形写像によるヒルバート bundle 間から、微分同相写像の下で函手的となるようなコhomotopy不変量を構成できるか？
• RQ2 B → S(iH⁺) への非定数摂動 κ を用いることで、古典的Seiberg-Witten不変量よりも新たな、より細かい不変量が得られるか？
• RQ3 摂動のホモトピー類の変化に伴ってコhomotopy不変量がどのように変化するかを記述する普遍的なジャンプ公式が存在するか？
• RQ4 普遍的摂動 ˜µ に付随する不変量は、個々の µκ 不変量と4次元多様体の位相的データを用いて表現可能か？
• RQ5 新しいコhomotopy不変量とBauer-Furuta類の関係は何か、特に b⁺ = 1 の場合にどうなるか？

主な発見

• 新しいコhomotopy不変量は、b⁺ = 1 であってもすべての4次元多様体に対して正しく定義され、古典的Seiberg-Witten不変量よりも細かく、より良い性質を持つ。
• b⁺ = 1 の場合にウォールクロッシング現象を検出可能であり、これは古典的不変量では達成できない。
• 普遍的なコhomotopy不変量ジャンプ公式が確立された：摂動のホモトピー類の変化に伴う不変量のジャンプは、一次障害 oA(s∞, s) ∈ Hr(B, A; Z) で与えられる。
• n + r₀ < r₁ のとき、任意の点付きバンドル写像 [ζ₀]₊ → [ζ₁]₊ は無限遠点における定数写像にホモトープであるが、n + r₀ = r₁ のとき、ホモトピー類は Hⁿ(B; Z) の要素によって分類される。
• コhomotopy不変量 {µ} は、Spinc-ホモトピー同値の下で函手的であり、微分同相写像との整合性が保証される。
• コhomotopy不変量のヒューレヴィチ像が、古典的Seiberg-Witten不変量に一致することが示され、標準理論とのつながりが確立された。