[论文解读] Localization for Wilson Loops in Chern-Simons Theory

Chris Beasley|arXiv (Cornell University)|Nov 13, 2009

Geometric and Algebraic Topology参考文献 96被引用 16

一句话总结

本文将非交换局部化方法扩展至塞弗特流形上的陈-西蒙斯理论中的威尔逊环路算符，表明环绕圆周纤维的威尔逊环路的期望值精确简化为平坦联络模空间上一个普遍丛的陈示性类。对于S³中的扭结，证明了驻定相位近似是精确的，从而确认了劳伦斯与罗扎斯基早期基于经验的观察结果。

ABSTRACT

We reconsider Chern-Simons gauge theory on a Seifert manifold M, which is the total space of a nontrivial circle bundle over a Riemann surface, possibly with orbifold points. As shown in previous work with Witten, the path integral technique of non-abelian localization can be used to express the partition function of Chern-Simons theory in terms of the equivariant cohomology of the moduli space of flat connections on M. Here we extend this result to apply to the expectation values of Wilson loop operators which wrap the circle fibers of M. Under localization, such a Wilson loop operator reduces naturally to the Chern character of an associated universal bundle over the moduli space. Along the way, we demonstrate that the stationary-phase approximation to the Wilson loop path integral is exact for torus knots, an observation made empirically by Lawrence and Rozansky prior to this work.

研究动机与目标

• 将非交换局部化技术从陈-西蒙斯理论的路径积分推广至塞弗特流形上威尔逊环路期望值的计算。
• 为陈-西蒙斯理论中的威尔逊环路可观测量提供一种上同调解释，类似于对路径积分的上同调描述。
• 严格确认驻定相位近似对威尔逊环路的精确性，特别是对S³中的扭结，此前由劳伦斯与罗扎斯基通过经验观察发现。
• 将环绕塞弗特流形上圆周纤维的威尔逊环路期望值表达为平坦联络模空间的等变上同调中的陈示性类。

提出的方法

• 在塞弗特流形M（即黎曼曲面Σ上的圆丛）上，对包含威尔逊环路插入项的陈-西蒙斯路径积分应用非交换局部化。
• 利用矩映射和等变上同调技术，将威尔逊环路路径积分重表述为联络空间上的辛积分。
• 将威尔逊环路的局部化贡献识别为M上平坦联络模空间上一个普遍丛的陈示性类。
• 通过考察能量代数的韦尔群与根系结构，分析特征标公式，特别关注正则与奇异权的情形。
• 通过证明路径积分可约化为有限维上同调积分，从而证明对扭结的驻定相位近似是精确的。
• 利用非交换局部化与等变上同调的已知结果，推导出以模空间表示的威尔逊环路期望值的精确表达式。

实验结果

研究问题

• RQ1 非交换局部化能否超越路径积分的范畴，用于计算塞弗特流形上陈-西蒙斯理论中威尔逊环路的期望值？
• RQ2 在陈-西蒙斯理论中，威尔逊环路的驻定相位近似是否精确成立，特别是对S³中的扭结？
• RQ3 环绕塞弗特流形上圆周纤维的威尔逊环路期望值与平坦联络模空间的等变上同调之间有何关系？
• RQ4 威尔逊环路算符的上同调解释如何通过特征类（如陈示性类）来表达？
• RQ5 韦尔特征标的扩展分母公式是否可推广至奇异权？其与威尔逊环路局部化的关联为何？

主要发现

• 环绕塞弗特流形上圆周纤维的威尔逊环路期望值精确简化为平坦联络模空间上一个普遍丛的陈示性类。
• 对S³中的扭结，威尔逊环路路径积分的驻定相位近似是精确的，从而确认了劳伦斯与罗扎斯基早期的经验观察结果。
• 威尔逊环路期望值以模空间上的等变上同调类表示，提供了类似于路径积分的上同调描述。
• 扩展的韦尔分母公式（D.1）对任意权α成立，将标准韦尔分母恒等式推广至奇异权的情形。
• 特征标和与乘积公式的比值在韦尔群Wα作用下保持不变，且该比值的常数性意味着特征标和与乘积表达式相等。
• 主导项分析表明，特征标和与乘积公式相等，从而在所有权α下确立了恒等式（D.1）的成立。