[论文解读] Intersection Pairings on Spaces of Connections and Chern-Simons Theory on Seifert Manifolds

G.E. Thompson|arXiv (Cornell University)|Jan 17, 2010

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

一句话总结

本文在塞弗特3-流形上建立了陈-西蒙斯理论的路径积分形式，作为黎曼曲面连接空间上的交截配对，推广了希茨布吕赫-黎曼-罗赫公式。通过等变上同调与非交换局部化，推导出精确的配分函数表达式，表明路径积分退化为具有修正陈-西蒙斯作用量的平坦连接上的有限维积分，其中通过共轭轨道引入威尔逊线，贡献来自共轭轨道。

ABSTRACT

Let M be a U(1) bundle over a smooth Riemann surface. I show that for Chern-Simons theory on M, with structure group G, the path integral is an integral over the space of G-connections on the Riemann surface involving characteristic classes as well as a certain 4-dimensional class that comes from a universal bundle. When M is the product of a Riemann surface with a circle the 4-dimensional class does not enter and the path integral takes the form of a Riemann-Roch formula albeit in infinite dimensions. The discussion is generalised to include Wilson lines along the fibre direction in M.

研究动机与目标

• 将陈-西蒙斯不变量的几何形式化从海加德分裂推广至塞弗特3-流形。
• 利用非交换局部化，推导塞弗特流形上配分函数的精确、规范不变的路径积分表达式。
• 通过共轭轨道引入威尔逊线，并证明其与路径积分中holonomy迹插入的等价性。
• 统一陈-西蒙斯理论的量子希尔伯特空间结构与平坦连接模空间上的交截理论。
• 通过拓扑路径积分形式化，将韦林德公式推广至塞弗特流形。

提出的方法

• 将塞弗特流形上的陈-西蒙斯配分函数的精确路径积分表示为黎曼曲面Σ上连接空间的有限维积分。
• 利用非交换局部化，将3D路径积分约化为平坦连接上的2D积分，将Σ上G-平坦连接的模空间M识别为临界点集。
• 引入涉及模空间Todd类与与塞弗特流形度数−p成比例的曲率项的修正陈-西蒙斯作用量。
• 应用等变上同调与阿蒂亚-博特局部化原理计算路径积分，通过有限重正则化确保规范不变性与超对称性。
• 将威尔逊线建模为共轭轨道Mλ的插入，通过基里洛夫-康斯坦特辛形式与等变√A-示性类表示holonomy迹。
• 通过几何量子化与局部化，建立路径积分与交截配对∫M Todd(M) ∧ Ch(L^k) ∧ exp(−ip/2π(k + c_g)Θ(M)) 的等价性。

实验结果

研究问题

• RQ1 塞弗特3-流形上的陈-西蒙斯配分函数能否表示为黎曼曲面平坦连接模空间上的交截配对？
• RQ2 在塞弗特纤维化背景下，威尔逊线的引入如何影响路径积分形式化？
• RQ3 塞弗特流形M的精确规范不变路径积分表示Z_{k,G}[M]是什么？其与希茨布吕赫-黎曼-罗赫定理的关系如何？
• RQ4 能否使用非交换局部化推导出捕捉完整拓扑不变量的配分函数的有限维公式？
• RQ5 共轭轨道如何几何地编码路径积分中holonomy迹（威尔逊线）的插入？

主要发现

• 塞弗特流形M上的陈-西蒙斯配分函数精确等于基底黎曼曲面Σ上连接空间的路径积分，表达式为Z_{k,G}[M] = exp(iπη₀/2) / Vol(𝒢) ∫_𝒜 Todd(𝒜) ∧ Ch(ℒ^k) ∧ exp(−ip/2π(k + c_g)Θ(𝒜))。
• 当p = 0时，该公式退化为希茨布吕赫-黎曼-罗赫指标定理，恢复希尔伯特空间维数的韦林德公式。
• 在Σ中点x_i处引入的威尔逊线通过共轭轨道M_{R_i}的插入几何实现，迹W_R(K_i)表示为∫_{M_{R_i}} exp(i⟨λ_i, φ⟩/2π + Ω_{λ_i})与雅可比行列式j_g^{-1/2}(φ/2π)的乘积。
• 经过涉及对偶考绍弗数c_g与连接曲率2-形式的有限重正则化后，路径积分保持规范不变性与超对称性。
• 当限制在模空间的光滑部分时，结果与贝斯莱-维滕局部化一致，确认与先前结果的一致性。
• 通过共轭轨道与等变上同调的几何形式化，确认配分函数计算了G/T的等变√A-示性类，建立了拓扑与几何量子化之间深层联系。