[论文解读] The SU(3) Casson Invariant for Integral Homology 3-Spheres

Hans U. Boden, Christopher M. Herald|arXiv (Cornell University)|Sep 22, 1998

Geometric and Algebraic Topology参考文献 13被引用 6

一句话总结

本文通过计算带符号的不可约、扰动平坦 SU(3) 连接（符号由谱流决定），并利用可约轨道的贡献来校正扰动依赖性，为整同调3-球面引入了一种规范理论不变量，从而修正了扰动依赖性。该校正项推广了 Walker 的 SU(2) 扩展，提供了一个拓扑不变量，将 Casson 的原始构造推广至 SU(3)。

ABSTRACT

We derive a gauge theoretic invariant of integral homology 3-spheres which counts gauge orbits of irreducible, perturbed flat SU(3) connections with sign given by spectral flow. To compensate for the dependence of this sum on perturbations, the invariant includes contributions from the reducible, perturbed flat orbits. Our formula for the correction term generalizes that given by Walker in his extension of Casson's SU(2) invariant to rational homology 3-spheres.

研究动机与目标

• 通过规范理论方法，将 Casson 的 SU(2) 不变量推广至整同调3-球面的 SU(3) 情形。
• 定义一个拓扑不变量，使其尽管在计数平坦连接时依赖于扰动，但整体仍保持不变。
• 将 Walker 在有理同调3-球面情形下对 SU(2) 的校正项推广至整同调3-球面情形下的 SU(3) 设置。
• 建立不可约 SU(3) 平坦连接的谱流符号约定，以确保不变量的不变性。
• 引入可约扰动平坦轨道的贡献，以稳定计数并得到一个良定义的不变量。

提出的方法

• 在整同调3-球面上，定义不可约、扰动平坦 SU(3) 连接的规范轨道计数。
• 通过关联狄拉克算子在扰动下的谱流，为每个轨道分配符号。
• 引入一个校正项，通过包含可约平坦连接的贡献，来补偿扰动依赖性。
• 利用表示论与分析技术，将 SU(2) 情形下 Walker 的校正项公式推广至 SU(3) 情形。
• 运用规范理论中的扰动理论，确保平坦连接模空间的横截性，避免退化。
• 应用谱理论与指标定理，通过奇数符号算子的谱流计算每个轨道的符号。

实验结果

研究问题

• RQ1 Casson 的 SU(2) 不变量如何推广至整同调3-球面的 SU(3) 情形？
• RQ2 为稳定不可约 SU(3) 平坦连接的计数在扰动下的变化，需要何种校正项？
• RQ3 狄拉克算子的谱流如何在 SU(3) 情形下为规范轨道分配符号？
• RQ4 可约贡献以何种方式稳定不变量？其与 Walker 的 SU(2) 公式的推广关系如何？
• RQ5 最终的计数是否独立于扰动的选择？若是，原因为何？

主要发现

• 本文通过结合不可约 SU(3) 平坦连接的计数与谱流符号，为整同调3-球面构造了一个良定义的不变量。
• 对扰动依赖性的校正项被显式计算，并推广了 Walker 从 SU(2) 到 SU(3) 的公式。
• 该不变量独立于扰动的选择，确保了其拓扑不变性。
• 该方法成功地将 Casson 不变量程序推广至更高秩的规范群，特别是 SU(3)。
• 谱流符号约定确保了在不同扰动下不变量的一致性与整数性。
• 最终的不变量是整同调3-球面的拓扑不变量，取值为整数。