[论文解读] A Quantum field theory of dyons

Kurt Lechner|ArXiv.org|Mar 1, 2000

Various Chemistry Research Topics被引用 3

一句话总结

本文提出了一种显式洛伦兹对称性与SO(2)对偶性不变的任意子量子场论，通过将经典作用量与一个固定的外部矢量场 $U^\mu$ 耦合，该场几何地定义了狄拉克弦。通过路径积分化量子化，得到的规范不变可观测量与带电场的关联函数与 $U$ 无关，从而解决了长期以来在任意子量子场论中关于弦依赖性和对偶性对称性的难题。

ABSTRACT

We construct a classical field theory action which upon quantization via the functional integral approach, gives rise to a consistent Dirac-string independent quantum field theory. The approach entails a systematic derivation of the correlators of all gauge invariant observables, and also of charged dyonic fields. Manifest SO(2)-duality invariance and Lorentz invariance are ensured by the PST-approach.

研究动机与目标

• 构建一个在经典层面显式满足洛伦兹对称性与 $SO(2)$ 对偶性不变性的任意子量子场论。
• 通过引入一个固定矢量场 $U^\mu$ 几何地定义狄拉克弦，系统性地消除任意子关联函数中对狄拉克弦的依赖性。
• 在狄拉克-施温格量子化条件成立时，确保通过路径积分得到的量子理论与 $U^\mu$ 无关。
• 系统地推导中性场与带电场的规范不变关联函数，使其与对偶性和洛伦兹对称性相容。
• 将形式化推广至费米子、$\theta$-角以及与引力的耦合，同时保持所有对称性。

提出的方法

• 引入一对规范一形式 $A^I$ 及其对应的场强双线 $F^I = dA^I + C^I$，其中 $C^I$ 满足 $dC^I = J^I$ 且 $i_U C^I = 0$。
• 利用矢量场 $U^\mu$ 将狄拉克弦定义为 $U$ 的积分曲线，从而对弦的位置实现几何控制，消除歧义。
• 通过PST形式化定义物理的、规范不变的可观测量：$K^I = F^I - v i_v (F^I - \varepsilon^{IJ} *F^J)$，其满足恒等式 $K^I = *\varepsilon^{IJ} K^J$。
• 将带电场算符定义为对路径 $\gamma_x$ 的加权路径有序指数之和，采用测度 $\mathcal{D}\gamma_x$，推广曼德尔施塔姆的方案以避免红外发散。
• 对作用量执行路径积分化量子化，证明在狄拉克-施温格条件成立时，所有关联函数与 $U^\mu$ 无关。
• 利用PST方法在整个量子化过程中保持显式的洛伦兹不变性与对偶性对称性。

实验结果

研究问题

• RQ1 如何在经典层面构建一个显式满足洛伦兹对称性与 $SO(2)$ 对偶性不变性的任意子量子场论？
• RQ2 如何通过固定矢量场 $U^\mu$ 几何地定义狄拉克弦，系统性地消除规范不变可观测量关联函数中的狄拉克弦歧义？
• RQ3 在任意子情况下，如何正确定义规范不变的带电场算符以避免红外发散？
• RQ4 当 $U^\mu$ 定义弦时，如何使任意子理论的路径积分化量子化结果与 $U^\mu$ 无关？
• RQ5 该形式化能否推广至费米子、$\theta$-角以及引力耦合，同时保持所有对称性？

主要发现

• 在满足狄拉克-施温格量子化条件时，所提出作用量的路径积分化量子化结果得到的关联函数与辅助矢量场 $U^\mu$ 无关。
• 物理场强算符 $K^I$ 被定义为恒等满足伪自对偶关系 $K^I = *\varepsilon^{IJ} K^J$，从而在非微扰情况下解决了 $F^1$ 与 $*F^2$ 的不匹配问题。
• 通过路径 $\gamma_x$ 的加权和定义的规范不变带电场算符 $\Phi_r(x)$，其关联函数与狄拉克弦无关（即与 $U$ 无关），并避免了红外发散。
• 该方法可通过已知的旋量行列式路径积分表示推广至费米子，且可扩展至 $\theta$-角与微分同胚不变的引力耦合。
• 狄拉克反常被证明是拓扑不变量，从而在弯曲时空下保证了狄拉克弦无关性。
• 该构造提供了一套系统化、对称性驱动的规范不变可观测量推导方法，其中 $U^\mu$ 从一开始就作为狄拉克弦的几何代理。