陈 - 西蒙斯理论的任意子起源

Nov 2, 2025 · updated May 22, 2026

翻译声明：本文由 LLM 从原文翻译而来，可能存在翻译不准确之处。建议阅读原文以获得最准确的内容。

我们可以通过研究二维空间中具有分数统计的任意子，来自然地导出陈 - 西蒙斯理论。这种任意子系统的时间演化可以表示为一个贝里相位 (Berry phase)，它与共形场论中产生的 Knizhnik-Zamolodchikov 联络密切相关。

作为引言，下面的讨论是直观和非形式化的。然而，由于这个故事非常简单（但深刻），将所有内容变得严格和精确是很容易的。

具有分数统计的任意子

众所周知，在三维（或更高维）空间中，存在两种基本粒子：玻色子和费米子，它们因交换统计的不同而相异。然而，在二维空间中，存在一种更奇特的粒子，称为“任意子” (anyons)，它们表现出介于玻色子和费米子行为之间的分数统计。简而言之，当两个任意子交换时，波函数会获得一个相位因子 $𝑒^{𝑖 𝜃}$ ，其中 $𝜃$ 可以在 $0$ （玻色子）和 $𝜋$ （费米子）之间取任何值。

我们可以考虑一个具有两个大质量任意子和统计相位 $𝜃$ 的系统。因此，在（例如）复平面 $ℂ$ 上，该系统的有效拉格朗日量可以写为：

𝐿_{𝜃} ≔ \sum_{𝑖 = 1}^{2} 𝑝_{𝑧}^{𝑖} {\dot{𝑧}}_{𝑖} + \sum_{𝑖 = 1}^{2} 𝐴_{𝑧}^{𝑖} {\dot{𝑧}}_{𝑖} = \sum_{𝑖 = 1}^{2} 𝑝_{𝑧}^{𝑖} {\dot{𝑧}}_{𝑖} + \frac{𝜃}{2 𝜋 𝑖} \frac{{\dot{𝑧}}_{1} - {\dot{𝑧}}_{2}}{𝑧_{1} - 𝑧_{2}},

其中 $𝑧_{1}, 𝑧_{2} \in ℂ$ 分别表示两个任意子的位置。根据留数定理，这个规范联络 $𝐴 \sim \frac{𝑑 𝑧}{𝑧}$ 围绕一个任意子的和乐 $(Hol)$ 将产生所需的相位因子 $𝑒^{𝑖 𝜃}$ 。

现在我们考虑这个系统的量子化。注意，我们已经为这个规范联络 $𝐴$ 固定了一个规范（全纯规范），而原始理论具有规范冗余。因此，相关的薛定谔方程可以从约束方程中产生：

(𝑝_{𝑧}^{𝑖} + 𝐴_{𝑧}^{𝑖}) 𝜓 (𝑧_{1}, 𝑧_{2}) = 0, 𝑝_{𝑧}^{𝑖} 𝜓 (𝑧_{1}, 𝑧_{2}) = 0, \forall 𝑖 = 1, 2 .

执行正则量子化 $𝑝_{𝑧}^{𝑖} = - 𝑖 𝜕_{𝑧_{𝑖}}$ ，并切换到新坐标 $𝑧 = 𝑧_{1} - 𝑧_{2}$ ，这样的方程可以写为：

(𝜕_{𝑧} - \frac{𝜃}{2 𝜋} \frac{1}{𝑧}) 𝜓 (𝑧, 𝑧) = 0, 𝜕_{𝑧} 𝜓 (𝑧, 𝑧) = 0 .

第二个方程意味着 $𝜓$ 在 $𝑧$ 中是全纯的，第一个方程可以直接求解，得到：

𝜓 (𝑧_{1}, 𝑧_{2}) = 𝐶 {(𝑧_{1} - 𝑧_{2})}^{\frac{𝜃}{2 𝜋}},

这是一个在 $ℂ$ 上的多值函数，在 $𝑧_{1} = 𝑧_{2}$ 处有一个分支切割，围绕这个分支切割的单值性 (monodromy) 恰好是所需的相位因子 $𝑒^{𝑖 𝜃}$ 。

一个自然的假设是，这样的波函数在环绕 $𝑘$ 次后会回到自身。因此，统计相位 $𝜃$ 被量子化为 $𝜃 = 2 \frac{𝜋}{𝑘}$ ，其中 $𝑘 \in ℤ_{> 0}$ （电荷 $𝑞$ 将被吸收到 $𝑈 (1)$ 表示中），这使得波函数变为：

𝜓 (𝑧_{1}, 𝑧_{2}) = 𝐶 {(𝑧_{1} - 𝑧_{2})}^{\frac{1}{𝑘}} .

这样一个方程正是在共形场论中著名的 Knizhnik-Zamolodchikov 方程！并且相关的 KZ 联络可以被解释为我们上面介绍的规范联络 $𝐴$ ，它描述了任意子之间的统计相互作用。

当推广到 $𝑛$ 个任意子时，规范联络可以表示为：

𝐴_{𝑧}^{𝑖} = \frac{1}{𝑘} \sum_{𝑗 \neq 𝑖} \frac{Ω_{𝑖 𝑗}}{𝑧_{𝑖} - 𝑧_{𝑗}},

其中 $Ω_{𝑖 𝑗} = 𝑞_{𝑖} 𝑞_{𝑗}$ ，并且上述步骤可以直接重复。

时间演化

现在我们考虑这种任意子系统的时间演化。注意，该系统的哈密顿量是平凡的 $𝐻 = 0$ ，因此，时间演化将完全由规范联络 $𝐴$ 产生的贝里相位决定。

因此，我们唯一需要考虑的是 $𝑈 (𝑡_{𝑏}, 𝑡_{𝑎}) ≔ 𝒯︀ exp (𝑖 \int 𝑧^{*} (𝐴_{𝑧}) 𝑑 𝑡)$ ，其中 $𝑧 : 𝑡 \to ℝ^{2}$ 是任意子的世界线， $𝒯︀ exp$ 表示时间排序指数。这样的时间演化算符可以展开为戴森级数 (Dyson series)：

𝑈 (𝑡_{𝑏}, 𝑡_{𝑎}) = 1 + \sum_{𝑛 = 1}^{\infty} 𝑖^{𝑛} \frac{1}{𝑛!} \int_{𝑡_{𝑎} \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑛} \leq 𝑡_{𝑏}} 𝐴_{𝑧} (𝑧 (𝑡_{1})) \dots 𝐴_{𝑧} (𝑧 (𝑡_{𝑛})) 𝑑 𝑡_{1} \dots 𝑑 𝑡_{𝑛} ≔ 1 + \sum_{𝑛 = 1}^{\infty} {(\frac{𝑖}{𝑘})}^{𝑛} {𝒜︀}_{𝑛} .

将规范联络的定义 $𝐴_{𝑧} = \frac{1}{𝑘} \sum_{𝑖 < 𝑗} \frac{1}{𝑧_{𝑖} - 𝑧_{𝑗}}$ 代入上式，我们可以将时间演化算符重写为：

{𝒜︀}_{𝑛} = \sum_{𝑃} \underset{𝑙 \in 𝑃}{⋀} \int_{𝑡_{𝑎} \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑛} \leq 𝑡_{𝑏}} \frac{𝑑 𝑧_{𝑙_{1}} - 𝑑 𝑧_{𝑙_{2}}}{𝑧_{𝑙_{1}} - 𝑧_{𝑙_{2}}} Ω_{𝑙},

其中 $𝑃$ 是集合 ${1, \dots, 𝑛}$ 的一个配对， $𝑃$ 中的每一对 $𝑙$ 由两个元素 $(𝑙_{1}, 𝑙_{2})$ 组成， $Ω_{𝑙} = 𝑞_{𝑙_{1}} 𝑞_{𝑙_{2}}$ 是在世界线上的点 $𝑧 (𝑡_{𝑙_{1}})$ 和 $𝑧 (𝑡_{𝑙_{2}})$ 处的电荷的双重插入，可以写为 $Ω_{𝑖 𝑗} ≔ 𝑞_{𝑖} 𝑞_{𝑗}$ ，这实际上标记了 $𝑈 (1)$ 表示。

这样的表达式（在非阿贝尔情况下，经过适当的正则化）是Kontsevich 积分公式，用于计算“环路不变量” (link invariant)，它是某个环路多项式（例如，琼斯多项式）的泰勒系数，被称为“普适 Vassiliev 不变量” (universal Vassiliev invariant)。

阿贝尔陈 - 西蒙斯理论

现在我们考虑这种任意子系统的场论描述。描述任意子低能行为的有效场论是“陈 - 西蒙斯理论” (Chern-Simons theory)，它是一个定义在三维时空中的拓扑量子场论。阿贝尔陈 - 西蒙斯作用量由下式给出：

{CS}_{𝑋} [𝐴] = \frac{𝑘}{4 𝜋} \int_{𝑋} 𝐴 𝑑 𝐴,

在全纯规范 $𝐴 = 𝐴_{𝑡} 𝑑 𝑡 + 𝐴_{𝑧} 𝑑 𝑧$ 下，陈 - 西蒙斯作用量简化为：

{CS}_{𝑋} [𝐴] ≔ \frac{𝑘}{4 𝜋} \int_{𝑋} 𝐴 𝜕_{𝑡} 𝐴,

其中 $𝜕_{𝑡} ≔ 𝑑 𝑡 𝜕$ 。并且任意子拉格朗日量将通过最小耦合引入到该作用量中，可以表示为：

𝑆_{anyon} [𝐴, 𝑧] = \int_{ℝ} [𝐴_{𝑧} (𝑧 (𝑡)) \dot{𝑧} (𝑡) + 𝐴_{0} (𝑧 (𝑡))] 𝑑 𝑡,

这本质上是陈 - 西蒙斯理论中的威尔逊线 (Wilson line) 可观测量，其中时间是沿着任意子世界线的自然参数。

为了获得该理论的有效作用量，我们需要积分掉规范场 $𝐴$ 。由于陈 - 西蒙斯作用量是 $𝐴$ 的二次型，这样的积分可以精确执行。注意，在全纯规范下，规范场 $𝐴$ 的关联函数（传播子）可以计算为：

⟨ 𝐴 (𝑧_{1}, 𝑡_{1}) 𝐴 (𝑧_{2}, 𝑡_{2}) ⟩ = \frac{1}{𝑖 𝑘} \frac{𝑑 𝑧_{1} - 𝑑 𝑧_{2}}{𝑧_{1} - 𝑧_{2}} 𝛿 (𝑡_{1} - 𝑡_{2}) 𝑑 𝑡_{1} .

执行高斯积分后，有效作用量可以表示为：

𝑆_{eff} [𝑧] = \frac{1}{𝑘} \int_{ℝ} \frac{𝑑 𝑧 (𝑡) - 𝑑 𝑧 (𝑡)}{𝑧 (𝑡) - 𝑧 (𝑡)} (\dot{𝑧} (𝑡) - \dot{𝑧} (𝑡)) 𝑑 𝑡 = \int_{ℝ} 𝐿_{2 𝜋 / 𝑘} 𝑑 𝑡,

这正是我们上面构造的任意子拉格朗日量！因此，我们可以得出结论，陈 - 西蒙斯理论为我们上面构造的具有分数统计的任意子提供了自然的场论描述。

关于 CS-WZW 对应的一些说明

虽然我们不会详细讨论非微扰陈 - 西蒙斯理论，但仍然值得一提的是威腾 (Witten) 工作中的一些重要结果。

我们已经知道，任意子系统的波函数满足 Knizhnik-Zamolodchikov 方程。这个方程在 Wess-Zumino-Witten (WZW) 模型中自然产生，它是 WZW 模型的共形块（可以解释为局域关联函数）所满足的方程。

另一方面，陈 - 西蒙斯理论的波函数可以被解释为我们上面构造的任意子波函数。因此，CS-WZW 对应关系可以被解释为

Ψ_{CS} [𝑋, {𝐾_{𝑖}, 𝜌_{𝑖}}] ⟷ ⟨ \prod_{𝑖} 𝑉_{𝐾_{𝑖}} (𝜌_{𝑖}) ⟩_{WZW, 𝜕 𝑋},

其中 $𝑉_{𝐾} (𝜌)$ 表示在 WZW 模型中，线 $𝐾$ 与边界 $𝜕 𝑋$ 相交点处的顶点算符插入，而 ${𝐾, 𝜌}$ 表示一个由规范群的表示 $𝜌$ 着色的威尔逊线 $𝐾$ 。在这里， $𝜌$ 扮演了我们上面介绍的电荷 $𝑞$ 的角色。

Back to all articles