Chern-Simons 理论与 Yang-Baxter 方程

Nov 18, 2025 · updated May 22, 2026

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

Chern-Simons 理论

Chern-Simons 理论是定义在三维流形 $𝑋$ 上的 Yang-Mills 理论的拓扑版本。在这种情况下，规范联络 $𝐴$ 取值于规范群 $𝐺$ 的李代数 $𝔤$ 中，Chern-Simons 作用量由下式给出：

{CS}_{𝑋} [𝐴] = \int_{𝑋} tr (𝐴 𝑑 𝐴 + \frac{2}{3} 𝐴^{3}),

其中 $𝐴$ 是 $𝑋$ 上主 $𝐺$ -丛的联络 1-形式。在物理文献中，人们通常考虑带有耦合常数 $𝑘$ 的 Chern-Simons 作用量：

𝑆_{CS}^{𝑘} [𝐴] = \frac{𝑘}{4 𝜋} {CS}_{𝑋} [𝐴] .

其中 $𝑘$ 被量子化以确保量子层面的规范不变性。形式上，使用路径积分形式，Chern-Simons 理论的配分函数形式地由下式给出：

𝑍_{CS}^{𝑘} (𝑋) = \int 𝑑 𝜇_{𝑋} [𝐴] 𝑒^{𝑖 𝑆_{CS}^{𝑘} [𝐴]},

即对 $𝑋$ 上 $𝐺$ -丛中所有联络的空间模规范变换的商空间进行积分。

在微扰层面，配分函数在满足 $𝐹_{𝐴_{0}} = 0$ 的平坦联络 $𝐴_{0}$ 附近展开，这是从 Chern-Simons 作用量导出的经典运动方程。

Wilson 圈

Chern-Simons 理论中的规范不变观测量是 Wilson 圈，它由数据 $(𝐾, 𝜌)$ 定义，其中 $𝐾 : 𝕊^{1} ↪︎ 𝑋$ 是嵌入 $𝑋$ 中的纽结， $𝜌 : 𝐺 \to GL (𝑉)$ 是规范群 $𝐺$ 在向量空间 $𝑉$ 上的表示，可以写为：

𝑊_{𝐾} (𝜌) = {tr}_{𝜌} 𝒫︀ exp (\int_{𝐾} 𝑖 𝐴),

其中 $𝒫︀ exp$ 表示沿纽结 $𝐾$ 的路径有序指数。

在我们之前关于任意子的博客中，这样的 Wilson 圈观测量可以被理解为在 $𝑋$ 中运动并携带规范群 $𝐺$ 下某种电荷的粒子的世界线。其中该粒子的电荷由表示 $𝜌$ 标记。

Remark

从物理角度讲，Wilson 圈可以如下理解：

处于一般位置的 $𝐾$ （Morse 纽结） $\Leftrightarrow$ 在 $𝑋$ 中运动的粒子的世界线。
$𝜌$ $\Leftrightarrow$ 该粒子在规范群 $𝐺$ 下的电荷。

其中 Morse 纽结指的是限制在纽结上的高度函数（相对于某个固定方向，在物理语境中即时间方向）是 Morse 函数。

Remark

从物理角度讲，Wilson 圈可以如下理解：

处于一般位置的 $𝐾$ （Morse 纽结） $\Leftrightarrow$ 在 $𝑋$ 中运动的粒子的世界线。
$𝜌$ $\Leftrightarrow$ 该粒子在规范群 $𝐺$ 下的电荷。

其中 Morse 纽结指的是限制在纽结上的高度函数（相对于某个固定方向，在物理语境中即时间方向）是 Morse 函数。

Wilson 圈的量子期望值可以形式地定义为：

⟨ 𝑊_{𝐾_{1}} (𝜌_{1}) \dots 𝑊_{𝐾_{𝑛}} (𝜌_{𝑛}) ⟩ = \frac{1}{𝑍_{CS} (𝑋)} \int 𝑑 𝜇_{𝑋} [𝐴] 𝑒^{𝑖 𝑆_{CS} [𝐴]} 𝑊_{𝐾_{1}} (𝜌_{1}) \dots 𝑊_{𝐾_{𝑛}} (𝜌_{𝑛}) .

值得注意的是，根据 Witten 的工作，这些期望值给出了 $𝑋 = 𝕊^{3}$ 中纽结和链环的拓扑不变量（Jones 多项式）。

Witten 的方法使用非微扰方法，将 Chern-Simons 理论与 $𝑋$ 边界上的共形场论（Wess-Zumino-Witten 理论）联系起来，并采用手术技术来计算这些不变量。

一个自然的问题是：我们能用微扰方法恢复这些纽结不变量吗？在这个层面上，一个自然的期望是，结果将（至少形式上）对应于某些纽结多项式不变量的 Taylor 系数，而每个系数可能是一个新的纽结不变量。在这篇博客中，我们将看到这确实是事实。

从 Chern-Simons 理论得到 Kontsevich 积分

从现在开始，我们假设 $𝑋 = ℝ \times Σ$ ，其中 $Σ$ 是黎曼曲面， $ℝ$ 表示时间方向。在这种情况下，Morse 纽结可以相对于沿 $ℝ$ 方向的高度函数定义。

我们还为规范李代数 $𝔤$ 选择一组基 ${𝑡_{𝑎}}$ ，使得 $tr (𝑡_{𝑎} 𝑡_{𝑏}) = 𝛿_{𝑎 𝑏}$ ， $[𝑡_{𝑖}, 𝑡_{𝑗}] = 𝑓_{𝑖 𝑗}^{𝑘} 𝑡_{𝑘}$ 。然后规范联络 $𝐴$ 可以表示为 $𝐴 = 𝐴^{𝑎} 𝑡_{𝑎}$ ，其中 $𝐴^{𝑎} \in Ω^{1} (𝑋)$ 是 $𝑋$ 上的普通 1-形式（在选择主 $𝐺$ -丛的参考平凡化后）。

为了进行微扰展开，我们需要固定一个规范。在这种情况下，一个自然的规范固定条件可以按如下方式实现。首先，给定 $Σ$ 上的复结构，我们可以在 $Σ$ 上引入复坐标 $(𝑧, 𝑧)$ 。然后规范联络 $𝐴$ 可以分解为：

𝐴 (𝑧, 𝑧, 𝑡) = 𝐴_{𝑡} 𝑑 𝑡 + 𝐴_{𝑧} 𝑑 𝑧 + 𝐴_{𝑧} 𝑑 𝑧 .

我们将施加 轴向规范 条件（又称 全纯规范） $𝐴_{𝑧} = 0$ 。因此，规范联络简化为 $𝐴 (𝑧, 𝑡) = 𝐴_{0} 𝑑 𝑡 + 𝐴_{𝑧} 𝑑 𝑧$ ，Chern-Simons 作用量简化为：

{CS}_{𝑋} [𝐴] ≔ \int_{𝑋} 𝐴 𝜕_{𝑡} 𝐴,

其中 $𝜕_{𝑡} ≔ 𝑑 𝑡 𝜕$ 。在这种规范固定下，路径积分将简化为纯粹的高斯积分。

要使用微扰方法，我们需要计算规范场 $𝐴$ 的传播子（两点关联函数）。在轴向规范下，传播子可以计算为：

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

因此，Wilson 圈的期望值可以使用 Wick 定理计算。为了计算这个期望值，我们选择嵌入在 $𝑋$ 中的 Morse 纽结 $𝐾$ 和纽结的参数化 $𝛾 : [0, 1] ↪︎ 𝐾 \subset 𝑋$ 。然后 Wilson 圈观测量可以展开为：

𝑊_{𝐾} (𝜌) = 1 + \sum_{𝑛 = 1}^{\infty} 𝑖^{𝑛} {tr}_{𝜌} \int_{0 \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑛} \leq 1} 𝐴 (𝛾 (𝑡_{1})) \dots 𝐴 (𝛾 (𝑡_{𝑛})),

使用规范场的分解 $𝐴 = 𝐴^{𝑎} 𝑡_{𝑎}$ ，我们可以将其重写为：

𝑊_{𝐾} (𝜌) = 1 + \sum_{𝑛 = 1}^{\infty} 𝑖^{𝑛} \sum_{𝑎_{1}, \dots, 𝑎_{𝑛}} {tr}_{𝜌} (𝑡_{𝑎_{1}} \dots 𝑡_{𝑎_{𝑛}}) \int_{0 \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑛} \leq 1} 𝐴^{𝑎_{1}} (𝛾 (𝑡_{1})) \dots 𝐴^{𝑎_{𝑛}} (𝛾 (𝑡_{𝑛})) .

因此，期望值可以通过以下方式计算：

⟨ 𝐴^{𝑎_{1}} (𝑧 (𝑡_{1}), 𝑡_{1}) \dots 𝐴^{𝑎_{2 𝑛}} (𝑧 (𝑡_{2 𝑛}), 𝑡_{2 𝑛}) ⟩ = {(\frac{1}{𝑖 𝑘})}^{𝑛} {tr}_{𝜌} \sum_{𝑃} {(- 1)}^{# ↓ 𝑃} \underset{𝑙 \in 𝑃}{⋀} \frac{𝑑 𝑧_{𝑙_{1}} - 𝑑 𝑧_{𝑙_{2}}}{𝑧_{𝑙_{1}} - 𝑧_{𝑙_{2}}} 𝛿 (𝑡_{𝑙_{1}} - 𝑡_{𝑙_{2}}),

其中 $𝑃$ 是集合 ${1, \dots, 2 𝑛}$ 的配对，每个配对 $𝑙 \in 𝑃$ 由两个元素 $(𝑙_{1}, 𝑙_{2})$ 组成， $# ↓ 𝑃$ 表示当赋予从 $𝐾$ 继承的定向时，向下定向的弧的数量。

在积掉 delta 函数后，连接的顶点将位于沿 $ℝ$ 方向的同一时间切片上。因此，Wilson 圈的期望值可以表示为：

⟨ 𝑊_{𝐾} (𝜌) ⟩ = \sum_{𝑛 = 0}^{\infty} \frac{1}{𝑘^{𝑛}} {tr}_{𝜌} Φ_{𝑛} (𝐾),

其中 $Φ_{𝑛} (𝐾)$ 称为纽结 $𝐾$ 的 Kontsevich 积分，可以表示为：

Φ_{𝑛} (𝐾) = \sum_{𝑃} \underset{𝑙 \in 𝑃}{⋀} {(- 1)}^{# ↓ 𝑃} \int_{0 \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑛} \leq 1} \frac{𝑑 𝑧_{𝑙_{1}} - 𝑑 𝑧_{𝑙_{2}}}{𝑧_{𝑙_{1}} - 𝑧_{𝑙_{2}}} Ω_{𝑙} .

其中 $Ω_{𝑙} = 𝜌 (𝑡_{𝑙_{1}}) \otimes 𝜌 (𝑡_{𝑙_{2}})$ 是在纽结上点 $𝛾 (𝑡_{𝑙_{1}})$ 和 $𝛾 (𝑡_{𝑙_{2}})$ 处李代数元素的双重插入，可以理解为在这两点处用权重 $Ω_{𝑙}$ “连接”纽结。

不难看出， $Φ_{𝑛} (𝐾)$ 的定义是（我们在前一篇博客中讨论的任意子系统构造的时间演化算符的非阿贝尔推广）。因此，你可以认为 Kontsevich 积分可以被理解为某个任意子系统沿世界线 $𝐾$ 运动时在统计相互作用存在下的时间演化算符。

Remark

嗯，在 $Φ_{𝑛} (𝐾)$ 的定义中有一个额外的因子 ${(- 1)}^{# ↓ 𝑃}$ ，这在任意子系统中是不存在的。这是因为，在任意子系统中，高度函数沿世界线不应该有临界点，因此，这样的因子总是平凡的。因此，从这个意义上说，Chern-Simons 理论自然地包含了“反任意子”效应，这在我们上面构造的简单任意子系统中是不存在的。

一个有趣的问题是，我们能否构造某个包含这种“反任意子”效应的任意子系统？

Remark

一个有趣的问题是，我们能否构造某个包含这种“反任意子”效应的任意子系统？

例子：从 Kontsevich 积分得到 R-矩阵

我们考虑两条链的简单辫子构型，这是嵌入在 $ℝ \times ℂ$ 中的简单 Morse 纽结。

时间切片上两条链的交点将在 $ℂ$ 中成为两个不同的点 $𝑧_{1}, 𝑧_{2}$ 。使用 Kontsevich 积分的构造，唯一的非平凡贡献来自这两点上规范联络的 $𝑛$ 次方，这给出¹：

⟨ 𝑊_{𝐾} (𝜌) ⟩ = {tr}_{𝜌} \sum_{𝑛 = 0}^{\infty} \frac{1}{𝑘^{𝑛}} \frac{1}{𝑛!} {(Φ_{1} (𝐾))}^{𝑛},

其中 $Φ_{1} (𝐾)$ 可以计算为：

Φ_{1} (𝐾) = \oint \frac{𝑑 𝑧}{𝑧} Ω = 2 𝜋 𝑖 Ω,

因此，期望值可以表示为：

⟨ 𝑊_{𝐾} (𝜌) ⟩ = {tr}_{𝜌} exp (\frac{2 𝜋 𝑖}{𝑘} Ω),

这（在取迹之前）恰好与作用在张量积表示 $𝜌^{\otimes 2} : 𝔤 \otimes 𝔤 \to GL (𝑉 \otimes 𝑉)$ 上的量子 R-矩阵 相关。

Knizhnik-Zamolodchikov 联络

现在我们考虑上面构造的期望值的物理解释。为了实现这个目标，让我们考虑一个（看似）独立的来自共形场论的问题。

在研究具有规范对称性的共形场论时，Knizhnik 和 Zamolodchikov 发现了 Wess-Zumino-Witten (WZW) 模型中初级场关联函数满足的一个显著的微分方程。

考虑复平面 $ℂ$ 中的 $𝑛$ 个不同点 ${𝑧_{1}, \dots, 𝑧_{𝑛}}$ ，并将李代数 $𝔤$ 的表示 $𝜌_{𝑖} : 𝔤 \to GL (𝑉_{𝑖})$ 关联到每个点 $𝑧_{𝑖}$ 。 Knizhnik-Zamolodchikov (KZ) 方程是关于函数 $𝐹 : {Conf}_{𝑛} (ℂ) \to 𝑉_{1} \otimes \dots \otimes 𝑉_{𝑛}$ 的一阶微分方程组，其中 ${Conf}_{𝑛} (ℂ) = {(𝑧_{1}, \dots, 𝑧_{𝑛}) \in ℂ^{𝑛} | 𝑧_{𝑖} \neq 𝑧_{𝑗}, \forall 𝑖 \neq 𝑗}$ 是 $ℂ$ 中 $𝑛$ 个不同点的位形空间：

\frac{𝜕 𝐹}{𝜕 𝑧_{𝑖}} - \frac{1}{𝑘 + ℎ^{\lor}} \sum_{𝑖 > 𝑗} \frac{Ω_{𝑖 𝑗}}{𝑧_{𝑖} - 𝑧_{𝑗}} 𝐹 = 0, \forall 𝑖 = 1, \dots, 𝑛,

其中 $ℎ^{\lor}$ 是李代数 $𝔤$ 的对偶 Coxeter 数， $Ω_{𝑖 𝑗}$ 是作用在张量积 $𝑉_{1} \otimes \dots \otimes 𝑉_{𝑛}$ 的第 $𝑖$ 和第 $𝑗$ 个因子上的 Casimir 元，定义为：

Ω_{𝑖 𝑗} = \sum_{𝑎} 𝜌_{𝑖} (𝑡_{𝑎}) \otimes 𝜌_{𝑗} (𝑡_{𝑎}) .

根据定义，KZ 方程描述了位形空间 ${Conf}_{𝑛} (ℂ)$ 上的局部系统，可以被理解为平坦联络 $\nabla_{KZ}$ 。

平坦性的证明是直接计算。然而，这个平坦性有一些非常重要的结果，所以我强烈建议你阅读它。

平坦性的证明

由于 $\frac{𝑑 𝑧}{𝑧}$ 已经是闭形式，我们只需要检查 $𝐴_{KZ} \land 𝐴_{KZ} = 0$ ，其中 $𝐴_{KZ} = \frac{1}{𝑘 + ℎ^{\lor}} \sum_{𝑖 < 𝑗} Ω_{𝑖 𝑗} 𝑑 log (𝑧_{𝑖} - 𝑧_{𝑗})$ 。我们记 $𝑔_{𝑖 𝑗} = 𝑑 log (𝑧_{𝑖} - 𝑧_{𝑗})$ ，我们有一个重要的恒等式（Arnold 恒等式）：

𝑔_{𝑖 𝑗} \land 𝑔_{𝑗 𝑘} + 𝑔_{𝑗 𝑘} \land 𝑔_{𝑘 𝑖} + 𝑔_{𝑘 𝑖} \land 𝑔_{𝑖 𝑗} = 0 .

因此，验证 $𝐴_{KZ} \land 𝐴_{KZ} = 0$ 可以归结为检查以下恒等式：

[Ω_{𝑖 𝑗}, Ω_{𝑖 𝑘} + Ω_{𝑗 𝑘}] = 0,

这本质上是 经典 Yang-Baxter 方程，可以使用

Ω_{𝑖 𝑗}

的定义和李代数关系直接验证。

平坦性的证明

𝑔_{𝑖 𝑗} \land 𝑔_{𝑗 𝑘} + 𝑔_{𝑗 𝑘} \land 𝑔_{𝑘 𝑖} + 𝑔_{𝑘 𝑖} \land 𝑔_{𝑖 𝑗} = 0 .

因此，验证 $𝐴_{KZ} \land 𝐴_{KZ} = 0$ 可以归结为检查以下恒等式：

[Ω_{𝑖 𝑗}, Ω_{𝑖 𝑘} + Ω_{𝑗 𝑘}] = 0,

这本质上是 经典 Yang-Baxter 方程，可以使用

Ω_{𝑖 𝑗}

的定义和李代数关系直接验证。

一个自然的问题是：这个局部系统的单值性是什么？我们首先考虑 $𝑛 = 2$ 的情况，它可以归结为单个常微分方程：

\frac{𝜕 𝐹}{𝜕 𝑧} - \frac{1}{ℏ} \frac{Ω}{𝑧} 𝐹 = 0 .

解可以表示为 $𝐹 (𝑧) = 𝑧^{\frac{1}{ℏ} Ω} 𝐶$ 。在 $𝑧$ 绕原点转一圈后，即 $𝑧 \mapsto 𝑒^{2 𝜋 𝑖} 𝑧$ ，解将变换为：

𝐹 (𝑧) \mapsto 𝑒^{2 𝜋 𝑖 \frac{1}{ℏ} Ω} 𝐹 (𝑧),

因此，单值矩阵由 $𝑀 = 𝑒^{2 𝜋 𝑖 \frac{1}{ℏ} Ω}$ 给出。这恰好是我们从微扰 Chern-Simons 理论中找到的 R-矩阵！²

事实上，这不是巧合。根据 Drinfeld 和 Kohno 的工作，KZ 联络的单值表示等价于从相应量子群的 R-矩阵获得的辫群表示。

另一个自然的问题是： $𝑛$ 个点的一般情况如何？由于 KZ 联络是平坦的，单值性等价于这个联络的和乐，这样的和乐可以重新表述为：

{Hol}_{\nabla_{KZ}} (𝛾) = 𝒫︀ exp (\int_{𝛾} 𝐴_{KZ}),

其中 $𝐴_{KZ} = \frac{1}{𝑘 + ℎ^{\lor}} \sum_{𝑖 < 𝑗} Ω_{𝑖 𝑗} 𝑑 log (𝑧_{𝑖} - 𝑧_{𝑗})$ 。这样的和乐可以展开并直接计算：

{Hol}_{\nabla_{KZ}} (𝛾) = \sum_{𝑚 = 0}^{\infty} \frac{1}{𝑚!} \int_{0 \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑚} \leq 1} 𝐴_{KZ} (𝛾 (𝑡_{1})) \dots 𝐴_{KZ} (𝛾 (𝑡_{𝑚})) .

代入 $𝐴_{KZ}$ 的表达式后，和乐可以表示为：

{Hol}_{\nabla_{KZ}} (𝛾) = \sum_{𝑚 = 0}^{\infty} \frac{1}{{(𝑘 + ℎ^{\lor})}^{𝑚}} \sum_{𝑃} \underset{𝑙 \in 𝑃}{⋀} \int_{0 \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑚} \leq 1} \frac{𝑑 𝑧_{𝑙_{1}} - 𝑑 𝑧_{𝑙_{2}}}{𝑧_{𝑙_{1}} - 𝑧_{𝑙_{2}}} Ω_{𝑙},

将 $𝑡$ 解释为时间方向，这恰好是我们从微扰 Chern-Simons 理论构造的 Kontsevich 积分（在取 $𝑘 ≫ ℎ^{\lor}$ 极限后）。

此外，我们可以得出结论，微扰 Chern-Simons 理论中 Wilson 圈的期望值是 KZ 联络的（形式）Dyson 级数展开。

从 Chern-Simons 理论得到 Yang-Baxter 方程

与其使用 KZ 联络及其 Dyson 公式来手摇论证 Chern-Simons 理论产生 Yang-Baxter 方程的解，我们将给出一个更直接的来自紧化位形空间的论证。这样的构造最初由 Kontsevich 在关于 Poisson 流形形变量子化的工作中引入。

Kontsevich 积分的不变性

我们首先回到从微扰 Chern-Simons 理论对 Kontsevich 积分的定义：

Φ_{𝑛} (𝐾) = \sum_{𝑃} \underset{𝑙 \in 𝑃}{⋀} {(- 1)}^{# ↓ 𝑃} \int_{0 \leq 𝑡_{1} \leq \dots \leq 𝑡_{𝑛} \leq 1} \frac{𝑑 𝑧_{𝑙_{1}} - 𝑑 𝑧_{𝑙_{2}}}{𝑧_{𝑙_{1}} - 𝑧_{𝑙_{2}}} Ω_{𝑙} .

这个构造可以用 Feynman 图重新解释。为了实现这个目标，我们注意到：

坐标 ${𝑡_{𝑖}}$ 表示 $𝕊^{1}$ （或 $ℝ^{1}$ ）上的一些点
配对 $𝑃$ 可以被理解为连接 $𝕊^{1}$ （或 $ℝ^{1}$ ）上这些点的一组弦

第一个观察引入了 Feynman 图中的顶点，而第二个观察引入了 Feynman 图中的边（传播子）。因此，弦图可以自然地嵌入 Feynman 规则。

Remark

在弦图的世界中，Feynman 图中的顶点称为弦，而边称为弦。

Remark

在弦图的世界中，Feynman 图中的顶点称为弦，而边称为弦。

在

𝕊^{1}

上的弦图。

在

𝕊^{1}

上的弦图。

不难想象，由于 Kontsevich 积分是从 Chern-Simons 理论的微扰展开构造的，它应该在纽结 $𝐾$ 的同痕下不变。

然而，这种朴素的期望在纽结 $𝐾$ 的任意同痕下并不成立。例如，考虑一个会在沿纽结 $𝐾$ 的高度函数中创建或湮灭一对临界点的同痕，Kontsevich 积分在这样的同痕下不会不变。

如果我们限制在保持纽结 $𝐾$ 的 Morse 性质的同痕，Kontsevich 积分将在这样的同痕下不变。

Morse 纽结类中任何纽结的形变都可以用三种类型的形变序列来近似：

保持定向的重新参数化，验证 Kontsevich 积分的不变性是平凡的。
水平形变：保持所有水平平面 ${𝑡 = const}$ 并固定所有临界点（连同一些小邻域）。
临界点的移动。

现在我们关注后两种类型的形变。

水平形变

水平形变可以看作是固定边界点的缠结的同痕。考虑两个缠结 $𝑇_{0}$ 和 $𝑇_{1}$ ，它们通过水平形变 $𝑇_{𝜆}$ ， $𝜆 \in [0, 1]$ 相关。

$𝑇_{1}$ 和 $𝑇_{0}$ 上的 Kontsevich 积分可以与参数空间 $Δ = Δ_{0} \times [0, 1]$ 的边界上的积分相关，其中 $Δ_{𝜆} ≔ {0 < 𝑡_{1} < \dots < 𝑡_{𝑛} < 1} \times {𝜆}$ 是固定 $𝜆$ 时 $[0, 1]$ 上的标准 $𝑛$ -单纯形。通过 Stokes 定理，我们有：

\int_{𝜕 Δ} 𝜔 = \int_{Δ} 𝑑 𝜔 \overset{𝑑 𝜔 = 0}{⟶} 0,

其中 $𝜕 Δ = Δ_{1} - Δ_{0} + \dots$ ， $\dots$ 表示来自（余维 $1$ ）边界层的贡献，其特征是某两点坍缩构型，即：

\int_{Δ_{1}} 𝜔 - \int_{Δ_{0}} 𝜔 + \int_{𝜕 Δ \times [0, 1]} 𝜔 = 0 .

使用 Fubini 定理，我们只需要检查来自 $𝜕 Δ$ 的贡献来验证 Kontsevich 积分在水平形变下的不变性，即，我们需要检查来自 $𝜕 Δ$ 的贡献会消失。

有四种类型的这样的坍缩构型：

时间平面碰到临界点。
两条弦终止于两个相同点。
两条弦的端点属于四条不同的弦。
两条弦的端点属于三条不同的弦。

第一种类型 的边界层不会对积分有贡献，因为被积形式会在这样的边界上消失。

第二种类型 的边界层也不会对积分有贡献，因为由于楔积的反对称性，被积形式会在这样的边界上消失：

(𝑑 𝑧_{𝑘} - 𝑑 𝑧_{𝑘}^{'}) \land (𝑑 𝑧_{𝑘} - 𝑑 𝑧_{𝑘}^{'}) = 0,

而 $𝑧_{𝑘} = 𝑧_{𝑘 + 1}$ 且 $𝑧_{𝑘}^{'} = 𝑧_{𝑘 + 1}^{'}$ 。

第三种类型 的边界层不会天真地为零。我们将四条不同的弦记为 $1, 2, 3, 4$ ，以及两条坍缩的弦，例如 $(1, 3)$ 和 $(2, 4)$ ，用它们的端弦来表示。

可能的坍缩构型可以通过以下两种方式构造：

第 $𝑘$ 条弦是 $(1, 3)$ ，第 $𝑘 + 1$ 条弦是 $(2, 4)$ 。
第 $𝑘$ 条弦是 $(2, 4)$ ，第 $𝑘 + 1$ 条弦是 $(1, 3)$ 。

并且有两条额外的弦分别连接 $(1, 2)$ 和 $(3, 4)$ 。因此，来自这两个坍缩构型的贡献可以表示为：

(1, 2) \land (3, 4) \land \frac{𝑑 𝑧_{𝑘} - 𝑑 𝑧_{𝑘}^{'}}{𝑧_{𝑘} - 𝑧_{𝑘}^{'}} \land \frac{𝑑 𝑧_{𝑘 + 1} - 𝑑 𝑧_{𝑘 + 1}^{'}}{𝑧_{𝑘 + 1} - 𝑧_{𝑘 + 1}^{'}} + (1, 2) \land (3, 4) \land \frac{𝑑 𝑧_{𝑘 + 1} - 𝑑 𝑧_{𝑘 + 1}^{'}}{𝑧_{𝑘 + 1} - 𝑧_{𝑘 + 1}^{'}} \land \frac{𝑑 𝑧_{𝑘} - 𝑑 𝑧_{𝑘}^{'}}{𝑧_{𝑘} - 𝑧_{𝑘}^{'}} = 0,

（其中这种构型的 $𝐷_{𝑝}$ 是相同的）因此，第三种类型的边界层也不会对积分有贡献。

最后一种类型 的边界层是最有趣的。我们可以通过遍历所有连接情况，用以下 $6$ 种方式构造这样的坍缩构型：

使用 $𝜔_{𝑖 𝑗} = 𝜔_{𝑗 𝑖}$ 的事实，上面的方程与 Arnold 恒等式一致：

𝜔_{12} \land 𝜔_{23} + 𝜔_{23} \land 𝜔_{13} + 𝜔_{13} \land 𝜔_{12} = 0,

因此，最后一种类型的边界层也不会对积分有贡献。因此，我们得出结论：

Theorem

Kontsevich 积分在 Morse 纽结

𝐾

的水平形变下不变。

Theorem

Kontsevich 积分在 Morse 纽结

𝐾

的水平形变下不变。

临界点的移动

Kontsevich 积分在临界点移动下不是不变量。在这样的形变下，Kontsevich 积分会改变 ${Φ (\infty)}^{\frac{1}{2}}$ ，这是未知结的 Kontsevich 积分（进一步讨论，请查看此文）。因此，归一化的 Kontsevich 积分定义为：

{\hat{Φ}}_{𝑛, 𝑐} (𝐾) = \frac{Φ_{𝑛} (𝐾)}{{(Φ (\infty))}^{\frac{𝑐}{2}}},

其中 $𝑐$ 是 Morse 纽结 $𝐾$ 的临界点数量。这个归一化因子也将抵消 Chern-Simons 理论中的框架异常。这被称为 泛 Vassiliev 不变量。

应用：量子 Yang-Baxter 方程

Yang-Baxter 方程可以理解为纽结理论中 III 型 Reidemeister 移动下 Kontsevich 积分的不变性。在任意子的语境中，这可以被解释为三个任意子之间辫状的一致性条件。

因此，积分将由 $3$ -链缠结建模，对 $Δ \times [0, 1]$ 的边界上的积分将导致：

Φ_{𝑛} (𝑇_{1}) - Φ_{𝑛} (𝑇_{0}) + \int_{𝜕 Δ \times [0, 1]} 𝜔 = 0,

其中 $𝑇_{0}$ 和 $𝑇_{1}$ 是通过 III 型 Reidemeister 移动相关的两个缠结。

这与上面讨论的水平形变情况完全相同。因此，使用与之前相同的论证，来自边界层的贡献将消失。我们剩下的是 $Φ_{𝑛} (𝑇_{1}) = Φ_{𝑛} (𝑇_{0})$ ，这是 $ℏ^{𝑛}$ 阶（量子）Yang-Baxter 方程。

¹这是量子场论中所谓连通图展开的最简单情况。
²嗯，你可能会争辩说在 CS 和 KZ 情况下 $ℏ$ 的定义中有一个（轻微的）因子 $ℎ^{\lor}$ 的差异。然而，由于微扰展开是在大 $𝑘$ 极限（小 $ℏ$ ）下进行的，这个差异可以被忽略。此外，从微扰 CS 理论的角度恢复这个因子 $ℎ^{\lor}$ 是相当有趣的，我不知道如何做到这一点。

Back to all articles