[论文解读] Seiberg-Witten theoretic invariants of lens spaces

Liviu I. Nicolaescu|ArXiv.org|Jan 18, 1999

Advanced Operator Algebra Research参考文献 26被引用 8

一句话总结

本文提出了一种计算透镜空间的Seiberg-Witten不变量的有效算法，展示了其与Casson-Walker不变量及Milnor-Turaev torsion的拓扑等价性。该方法被用于计算一大类透镜空间的Froyshov不变量，并推导出这些空间所邻接的负定4-流形的拓扑约束。

ABSTRACT

We describe an effective algorithm for computing Seiberg-Witen invariants of lens spaces. We apply it to two problems: (i) to compute the Froyshov invariants of a large family of lens spaces; (ii) to show that the knowledge of the Seiberg-Witten invariants of lens spaces is topologically equivalent to the knowledge of its Casson-Walker invariant and of its Milnor-Turaev torsion. We also use the results in problem (i) to derive several topological results concerning the negative definite manifolds bounding a given lens space.

研究动机与目标

• 开发一种计算透镜空间Seiberg-Witten不变量的有效算法。
• 利用所提出的算法计算一大类透镜空间的Froyshov不变量。
• 在透镜空间上建立Seiberg-Witten不变量与经典不变量（Casson-Walker不变量和Milnor-Turaev torsion）之间的拓扑等价性。
• 利用计算得到的不变量，推导出邻接给定透镜空间的负定4-流形的拓扑约束。

提出的方法

• 在有理同调球面（特别是透镜空间）上利用Seiberg-Witten方程来计算不变量。
• 将该算法应用于透镜空间L(p,1)和更一般的L(p,q)以计算Froyshov不变量。
• 依赖Seiberg-Witten模空间的结构，以及期望维数和虚拟基本类的计算。
• 运用规范理论与3-流形拓扑的技术，将Seiberg-Witten不变量与经典不变量关联起来。
• 通过Rokhlin不变量和示性数定理，建立Seiberg-Witten不变量与Reidemeister-Turaev torsion之间的关系。
• 应用该算法，推导出邻接透镜空间的负定4-流形的交形式的约束。

实验结果

研究问题

• RQ1 透镜空间的Seiberg-Witten不变量的计算结构是什么？
• RQ2 透镜空间的Seiberg-Witten不变量如何与Casson-Walker不变量和Milnor-Turaev torsion相关联？
• RQ3 Seiberg-Witten不变量对邻接给定透镜空间的负定4-流形施加了哪些拓扑约束？
• RQ4 能否利用Seiberg-Witten理论有效计算一大类透镜空间的Froyshov不变量？
• RQ5 透镜空间的Seiberg-Witten不变量是否与其经典不变量拓扑等价？

主要发现

• 为计算透镜空间（特别是L(p,1)和其他L(p,q)空间）的Seiberg-Witten不变量，建立了一种有效算法。
• 计算了一大类透镜空间的Froyshov不变量，提供了来自规范理论的新不变量。
• 透镜空间的Seiberg-Witten不变量在拓扑上等价于其Casson-Walker不变量和Milnor-Turaev torsion的知识。
• 结果表明，Seiberg-Witten不变量在透镜空间上捕获了与这些经典不变量相同的拓扑信息。
• 该算法得出了邻接给定透镜空间的负定4-流形的交形式的约束。
• 该方法证实，在负定邻接4-流形的背景下，Seiberg-Witten不变量是透镜空间的完备不变量。