[论文解读] 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 pro-谱。主要结果是一个稳定同伦不变量 SWF，其周期性模 $\ell = \gcd\{(h \cup c_1(\mathfrak{s}))[Y] \mid h \in H^1(Y;\mathbb{Z})\}$，并存在一个对偶不变量 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 同调的稳定同伦精化。
• 通过在 Chern-Simons-Dirac 泛函的有界次水平集上使用有限维逼近与 Conley 指标理论，克服 Seiberg-Witten 模空间的非紧性。
• 构造两个不变量：SWF（周期性 pro-谱）与 SWF$_0$（带有非精确扰动的谱），二者均捕捉 Floer 稳定同伦类型。
• 通过自然态射 $j: \text{SWF}_0 \to \text{SWF}$ 建立新不变量与 Ozsváth-Szabó Floer 同调之间的联系。

提出的方法

• 使用 Seiberg-Witten 映射的有限维逼近，在范畴 $\text{Pro-}\mathfrak{S}'$ 中构造一个 pro-谱不变量，以处理幻影映射与逆极限。
• 利用 Chern-Simons-Dirac 泛函 $CSD$ 截取配置空间的两个水平之间，从而为梯度流定义 Conley 指标。
• 对于 SWF，剩余规范群作用 $H^1(Y;i\mathbb{Z})$ 诱导模 $\ell$ 的周期性，从而产生自然同伦等价 $\text{SWF} \simeq \Sigma^E(\text{SWF})$，其中 $E$ 是实维数为 $\ell$ 的复表示。
• 对于 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})$ 上的交形式，该障碍阻碍了流范畴的定向，从而阻碍了规范稳定同伦类型的构造。

实验结果

研究问题

• 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}'$ 中定义良好、模 $\ell = \gcd\{(h \cup c_1(\mathfrak{s}}))[Y] \mid h \in H^1(Y;\mathbb{Z})\}$ 周期的 pointed $S^1$-等变 pro-谱，且存在自然同伦等价 $\text{SWF} \simeq \Sigma^E(\text{SWF})$，其中 $E$ 是实维数为 $\ell$ 的复表示。
• 不变量 SWF$_0$ 是通过有限维逼近与在上同调类 $-c_1(\mathfrak{s})$ 中的非精确扰动得到的谱，且存在自然态射 $j: \text{SWF}_0 \to \text{SWF}$，其在同调与等变 Borel 同调上诱导同构。
• 在方向反转下，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 流范畴的定向，从而阻碍了规范稳定同伦类型的构造。