[论文解读] Localisation of the Donaldson's invariants along Seiberg-Witten classes

V Ya Pidstrigach, Andrei Tyurin|ArXiv.org|Jul 24, 1995

Geometric and Algebraic Topology参考文献 5被引用 41

一句话总结

本文通过在反自对偶联络的模空间与自洽的Seiberg-Witten解的模空间上进行局部化，建立了4-流形拓扑中Donaldson不变量与Seiberg-Witten不变量之间的基础联系。利用规范理论技巧和模空间的紧化方法，证明了Donaldson多项式可表示为Seiberg-Witten类的和，其局部贡献由几何定义的多项式编码，从而为完全识别这两种不变量铺平了道路。

ABSTRACT

This article is a first step in establishing a link between the Donaldson polynomials and Seiberg-Witten invariants of a smooth 4-manifold.

研究动机与目标

• 为光滑、单连通的4-流形建立Donaldson多项式与Seiberg-Witten不变量之间的精确关系。
• 通过分析规范理论方程的解的模空间，证明Donaldson理论的基本类与Seiberg-Witten类一致。
• 构建一个几何框架，用于计算Seiberg-Witten模空间对全局Donaldson多项式的局部贡献。
• 构造一个有限维几何模型 $MH^1(\beta,r)$，其编码的局部多项式贡献独立于上同调类 $f$。
• 通过将问题约化为纯几何空间上的拓扑不变量，消除最终计算中对规范理论工具的依赖。

提出的方法

• 通过度量和2-形式扰动的扰动反自对偶方程，构造带有标记点的反自对偶联络的紧化模空间 $\overline{{\Cal{M}}_B}$。
• 应用横截性论证（引理1.1），证明对于通用参数，扰动的Seiberg-Witten系统是横截截断的，从而确保模空间的光滑性。
• 利用庞加莱对偶性，在 $\overline{{\Cal{M}}_B}$ 中定义一个1维奇异流形 $\Cal{I}$，其边界对应于Donaldson多项式的取值。
• 分析 $\Cal{I}$ 上的交点理论，表明其边界分量与满足 $(-\beta + f)^2 \geq p_1$ 的Seiberg-Witten模空间 $\Cal{M}_{SW}(\beta)$ 的链接相关。
• 引入“局部多项式” $loc\gamma$ 的概念，即 $\Cal{M}_{SW}(\beta)$ 链接上 $\prod \mu_\Sigma \cdot t^n$ 的积分，其仅依赖于 $\beta$、$f$ 和交点形式 $q_X$。
• 提出一个几何模型 $MH^1(\beta,r)$，其中 $4r = (-\beta + f)^2 - p_1$，用于参数化粘合数据，并定义一个虚拟向量丛，其最高陈类计算出局部多项式。

实验结果

研究问题

• RQ1 Donaldson多项式如何被分解为在Seiberg-Witten类上的局部贡献？
• RQ2 Seiberg-Witten模空间在紧化反自对偶模空间中的链接的精确几何与拓扑结构是什么？
• RQ3 每个Seiberg-Witten类对Donaldson多项式的局部贡献能否表示为 $\langle\beta, \cdot\rangle$、$\langle f, \cdot\rangle$ 和 $q_X$ 的通用多项式？
• RQ4 能否构造一个独立于上同调类 $f$ 的有限维几何空间，以捕捉局部多项式数据？
• RQ5 反自对偶模空间的紧化如何控制可约联络与泡状现象之间的相互作用？

主要发现

• Donaldson多项式 $\gamma^{d}_{p_1,f\text{ mod }2 - w_2(X)}(\Sigma)$ 表示为对满足 $(-\beta + f)^2 \geq p_1$ 的Seiberg-Witten类 $\beta$ 的求和，每一项为 $\Cal{M}_{SW}(\beta)$ 链接上 $\prod \mu_\Sigma \cdot t^n$ 的积分。
• 每个 $\Cal{M}_{SW}(\beta)$ 的局部贡献由一个在 $\langle\beta, \cdot\rangle$、$\langle f, \cdot\rangle$ 和交点形式 $q_X$ 上的通用多项式 $loc\gamma$ 给出，其与度量或扰动无关。
• 在 $\Cal{M}_B(p_1)$ 与 $\Cal{M}_B(p_1 + 4)$ 之间维度下降6，确保奇异流形 $\Cal{I}$ 仅在至多两个度数为2或一个度数为4的上同调类参与时，与低层相交于Seiberg-Witten可约点。
• $\Cal{I}$ 的边界计算了Donaldson多项式的取值，且 $\sharp \partial \Cal{I} \cap \Cal{MP}$ 等于在平坦联络模空间上的多项式取值。
• 构造空间 $MH^1(\beta,r)$，其中 $4r = (-\beta + f)^2 - p_1$，为粘合参数提供了有限维几何模型，从而实现对局部多项式的纯拓扑计算。
• 最终，局部多项式的计算被约化为在 $MH^1(\beta,r)$ 上的虚拟向量丛上的交点理论，有效消除了对联络和模空间等规范理论数据的依赖。