[論文レビュー] Periodic Floer pro-spectra from the Seiberg-Witten equations

P. B. Kronheimer, Ciprian Manolescu|arXiv (Cornell University)|Mar 23, 2002

Geometric and Algebraic Topology参考文献 25被引用数 23

ひとこと要約

本稿は、$b_1 = 1$ で非ねじれなスピン^c 構造を持つ3次元多様体上のSeiberg-Witten方程式から、有限次元近似およびConley指数理論を用いて周期的Floerプロスペクトルを構成する。主な結果は、$\ell = \gcd\{(h \cup c_1(\mathfrak{s}))[Y] \mid h \in H^1(Y;\mathbb{Z})\}$ を法として周期的である安定ホモトピー不変量SWFであり、同型のホモロジーをもつが異なるホモトピー型を持つ双対不変量SWF$_0$を備えており、Seiberg-Witten理論における精密なFloer安定ホモトピー型を提供する。

ABSTRACT

Given a three-manifold with b_1=1 and a nontorsion spin^c structure, we use finite dimensional approximation to construct from the Seiberg-Witten equations two invariants in the form of a periodic pro-spectra. Various functors applied to these invariants give different flavors of Seiberg-Witten Floer homology. We also construct stable homotopy versions of the relative Seiberg-Witten invariants for certain four-manifolds with boundary.

研究の動機と目的

• $b_1 = 1$ で非ねじれなスピン^c 構造を持つ3次元多様体に対するSeiberg-Witten Floerホモロジーの安定ホモトピー型の精錐を定義すること。
• Seiberg-Wittenモジュライ空間のコンパクト性の欠如を、Chern-Simons-Dirac汎関数の有界部分レベル集合上で有限次元近似およびConley指数理論を用いることで克服すること。
• SWF（周期的プロスペクトル）とSWF$_0$（非正確な摂動をもつスペクトル）の2つの不変量を構成すること。両者ともFloer安定ホモトピー型を捉えている。
• 新しい不変量とOzsváth-Szabó Floerホモロジーとの間の関係を、自然な準同型 $j: \text{SWF}_0 \to \text{SWF}$ を通じて確立すること。

提案手法

• 有限次元近似を用いてSeiberg-Witten写像のプロスペクトル不変量を $\text{Pro-}\mathfrak{S}'$ 圏で構成し、フェイク写像および逆極限を取り扱う。
• Chern-Simons-Dirac汎関数 $CSD$ を用いて配置空間を2つのレベルの間で切断し、勾配流れのConley指数を定義可能にする。
• SWFに対しては、$H^1(Y;i\mathbb{Z})$ の残りのゲージ作用が $\ell$ を法として周期性を誘導し、実次元 $\ell$ の複素表現 $E$ に対して自然な同型 $\text{SWF} \simeq \Sigma^E(\text{SWF})$ が得られる。
• SWF$_0$に対しては、$[\nu] = -c_1(\mathfrak{s})$ である非正確な摂動を導入することで周期性が消去され、両方向への直接/逆極限が可能となり、別のスペクトルが得られる。
• 良いコロイミットと極限を保証するため、安定ホモトピー圏 $\mathfrak{S}$ の射をフェイク写像で割った圏 $\mathfrak{S}'$ を用いる。
• K理論的障害 $q(Y,\mathfrak{s}) \in K^1(\tilde{P})$ を、$\Lambda^3 H^1(Y,\mathfrak{s};\mathbb{R})$ 上の交叉形式として計算し、Seiberg-Witten流れのカテゴリーのフレーミングを妨げる。

実験結果

リサーチクエスチョン

• RQ1 $b_1 = 1$ で非ねじれなスピン^c 構造を持つ3次元多様体に対して、Seiberg-Witten Floerホモロジーの安定ホモトピー型の精錐を構成できるか？
• RQ2 有限次元近似およびConley指数理論の文脈において、Seiberg-Wittenモジュライ空間の非コンパクト性はどのように扱えるか？
• RQ3 残りのゲージ作用が、$\ell$ を法としてSWFの周期性を誘導する役割は何か？
• RQ4 非正確な摂動の導入が、構成に与える影響および新しい不変量SWF$_0$ の生成にどのように寄与するか？
• RQ5 新しい不変量SWFとSWF$_0$ とOzsváth-Szabó Floerホモロジーとの関係は何か？

主な発見

• 不変量SWFは、$\text{Pro-}\mathfrak{S}'$ 内で自然な同型類として一意に定義される、$S^1$-可換なプロスペクトルであり、$\ell = \gcd\{(h \cup c_1(\mathfrak{s}}))[Y] \mid h \in H^1(Y;\mathbb{Z})\}$ を法として周期的であり、実次元 $\ell$ の複素表現 $E$ に対して自然な同型 $\text{SWF} \simeq \Sigma^E(\text{SWF})$ を持つ。
• 不変量SWF$_0$ は、非正確な摂動をもつ有限次元近似により得られるスペクトルであり、ホモロジーおよび等変同調ホモロジーに同型を誘導する自然な準同型 $j: \text{SWF}_0 \to \text{SWF}$ が存在する。
• 向きの反転に対してSWFと $\overline{\text{SWF}}$ は双対であるが、SWF$_0$ については同様の双対性は成立せず、これは異なるホモトピー理論的性質を示している。
• $Y = S^1 \times S^2$ で任意の非ねじれスピン^c 構造に対して、SWFは自明である（$\text{SWF} = *$）が、SWF$_0$ は非自明であり、両不変量の主要な相違を示している。
• K理論的障害 $q(Y,\mathfrak{s}) \in K^1(\tilde{P})$ は、$\Lambda^3 H^1(Y,\mathfrak{s};\mathbb{R}) \to \mathbb{R}$ への交叉形式として与えられ、Seiberg-Witten流れカテゴリーのフレーミングを妨げ、したがって標準的な安定ホモトピー型の存在を妨げる。