[论文解读] On S-Duality in Abelian Gauge Theory

Edward Witten|arXiv (Cornell University)|May 31, 1995

Mathematical and Theoretical Analysis参考文献 5被引用 116

一句话总结

本文证明了在四维流形上，U(1)规范场论的划分函数在 $SL(2,\mathbb{Z})$ 对偶性下，作为权为 $(u,v) = ((\chi + \sigma)/4, (\chi - \sigma)/4)$ 的模形式变换，其中 $\chi$ 和 $\sigma$ 分别是流形的欧拉示性数和亏格。该模形式变换律通过路径积分分析和指标定理推导得出，为 $N=2$ 超对称杨-米尔斯理论提供了关键的一致性检验，并确定了一种新的低能有效相互作用，这对于计算满足 $b_2^+ \leq 1$ 的四维流形上的唐纳森不变量至关重要。该结果还阐明了第二施里芬-惠特尼类在对偶性和异常抵消中的作用。

ABSTRACT

U(1) gauge theory on ${\bf R}^4$ is known to possess an electric-magnetic duality symmetry that inverts the coupling constant and extends to an action of $SL(2,{\bf Z})$. In this paper, the duality is studied on a general four-manifold and it is shown that the partition function is not a modular-invariant function but transforms as a modular form. This result plays an essential role in determining a new low-energy interaction that arises when N=2 supersymmetric Yang-Mills theory is formulated on a four-manifold; the determination of this interaction gives a new test of the solution of the model and would enter in computations of the Donaldson invariants of four-manifolds with $b_2^+\leq 1$. Certain other aspects of abelian duality, relevant to matters such as the dependence of Donaldson invariants on the second Stieffel-Whitney class, are also analyzed.

研究动机与目标

• 通过将对偶性推广到任意四维流形，理解阿贝尔规范场论在平坦空间之外的 $S$-对偶性。
• 确定 $U(1)$ 规范场论的划分函数在一般四维流形上受 $SL(2,\mathbb{Z})$ 对偶性作用时的变换方式。
• 将模形式变换律应用于 $N=2$ 超对称杨-米尔斯理论，以计算一种新的低能有效相互作用。
• 通过 duality 和费米子零模式分析，澄清唐纳森不变量对第二施里芬-惠特尼类的依赖关系。

提出的方法

• 使用路径积分量化方法分析紧致四维流形 $X$ 上自由 $U(1)$ 规范场论的划分函数。
• 计算划分函数在 $\tau \to -1/\tau$ 和 $\tau \to \tau + 1$ 下的变换，表明其作为权为 $(u,v) = ((\chi + \sigma)/4, (\chi - \sigma)/4)$ 的模形式变换。
• 利用指标定理，将费米子零模式数目的差异与典范线丛的第一陈类 $c_1(K)$ 模 2 联系起来。
• 将变换律应用于 $N=2$ 扭曲超对称理论，其中有效作用量包含依赖于 $\theta$-角的项，该依赖关系取决于质量矩阵的符号。
• 通过比较测度 $\mu$ 和 $\widetilde{\mu}$，推导出有效理论中费米子行列式的符号，表明其依赖于 $(-1)^{c_1(K) \cdot c_1(T)}$，该表达式模 2 等价于 $w_2(X)$。
• 证明所得相互作用项与 $S$-对偶性一致，并且对于计算满足 $b_2^+ \leq 1$ 的流形上的唐纳森不变量是必要的。

实验结果

研究问题

• RQ1 在一般四维流形上，$U(1)$ 规范场论的划分函数如何在 $SL(2,\mathbb{Z})$ 对偶性下变换？
• RQ2 划分函数的模形式权如何用 $\chi$ 和 $\sigma$ 等拓扑不变量表示？
• RQ3 阿贝尔规范场论中的 $S$-对偶性异常如何与 $N=2$ 超对称杨-米尔斯理论中的有效作用量相关联？
• RQ4 第二施里芬-惠特尼类在划分函数的对偶性变换中起什么作用？
• RQ5 低能有效理论中费米子行列式的符号如何依赖于四维流形的拓扑结构？

主要发现

• 在四维流形上，$U(1)$ 规范场论的划分函数 $Z(\tau)$ 在 $SL(2,\mathbb{Z})$ 对偶性下作为权为 $(u,v) = ((\chi + \sigma)/4, (\chi - \sigma)/4)$ 的模形式变换。
• 变换律 $Z(-1/\tau) = \tau^u \overline{\tau}^v Z(\tau)$ 表明划分函数并非模不变，而是以由欧拉示性数和亏格决定的非平凡权变换。
• 模异常与耦合引力的 $S$-对偶理论中的非最小耦合相关，需通过类似 $\int_X B(\tau) \, \mathrm{tr} R \wedge \widetilde{R}$ 的项来抵消异常。
• 在 $N=2$ 超对称杨-米尔斯理论中，模形式变换律确定了一种新的低能有效相互作用，这对于计算满足 $b_2^+ \leq 1$ 的四维流形上的唐纳森不变量至关重要。
• 有效理论中费米子行列式的符号为 $(-1)^{c_1(K) \cdot c_1(T)}$，其依赖于交形式，并模 2 等价于第二施里芬-惠特尼类 $w_2(X)$。
• 该分析确认了 $S$-对偶变换正确地交换了规范群与其对偶群，并为 $N=2$ 理论的解提供了一致性检验。