拓扑量子场论 · Jones 不变量

结与量子场论 · Witten 的桥

拖动投影视角，连续拉伸、剪切一个闭合绳结，并轮流检查三种 Reidemeister 动作。二维图上的交叉数可以变化，但只要绳子没有剪断或穿过自身，结型与 Jones 多项式保持不变。最后打开概念性的场配置，理解 Wilson 环如何把结放进 Chern–Simons 量子场论。

结型三叶结

投影可见交叉 $N_{\times}=3$

最小交叉数 $c(K)=3$

Jones 指纹 · 固定约定 $V_{3_1}(q)=q^{-1}+q^{-3}-q^{-4}$

Chern–Simons 取样点 $q=e^{2\pi i/(k+2)}$

当前允许动作I · 扭出或消去小圈

画面中的场线只是“对规范场配置求和”的概念示意，不是路径积分数值解。这里用已知参考值展示 $V_K(q)$ 在连续变形下保持不变；与 Chern–Simons 期望值的精确对应还依赖取向、镜像、归一化与 framing 约定。

物理教程

从一根闭合绳到量子场论

背景数学中的结不是一根有端点的鞋带，而是三维空间里一条不自交的闭合曲线。只要变形过程中始终没有剪断、粘接或让绳股互相穿过，前后就属于同一个结型。二维结图虽然会改变，但 Reidemeister 的三类局部动作恰好刻画了这种等价。

为什么值得理解Jones 多项式最初由数学方法发现。Witten 在 $1989$ 年指出：把结当作 $2+1$ 维 Chern–Simons 量子场论中的 Wilson 环，量子期望值会给出 Jones 型结不变量。这不是“物理替数学猜一个答案”，而是揭示看似不同的代数规则背后有一个自然的三维量子理论。

先抓重点

核心问题: 一个绳结的二维图可以增加或减少交叉，为什么某个量子场论的计算结果却只认结型，不认具体画法？
一句话直觉: Chern–Simons 作用量不需要空间度量；Wilson 环只记录规范场沿闭合曲线的平行移动。因此对规范场配置取量子平均后，结果天然对光滑坐标变形不敏感，正好具有结不变量所需要的性质。

核心数学模型

结型只允许经过嵌入

K_s:S^1\hookrightarrow \mathbb R^3,\qquad 0\le s\le1

每个 $K_s$ 都必须仍是一条不自交的闭合曲线。拉伸、旋转和剪切都可以；一旦某个时刻两段绳股穿过彼此，映射就不再是嵌入，结型可能改变。

Wilson 环把结放进场论

W_R(K)=\operatorname{Tr}_R\,\mathcal P\exp\!\left(\oint_K A\right)

$A$ 是规范联络， $\mathcal P$ 表示沿曲线排序。它可以理解为：让一个带有内部量子“颜色”的探针沿结 $K$ 走一圈，记录规范场造成的总平行移动。

Chern–Simons 作用量不使用度量

S_{\mathrm{CS}}[A]=\frac{1}{4\pi}\int_M\operatorname{Tr}\!\left(A\wedge \mathrm dA+\frac{2}{3}A\wedge A\wedge A\right)

公式只用三维流形的取向、微分形式与楔积，没有长度、角度或距离。这个“没有度量”的结构，是量子可观测量能够成为拓扑不变量的核心原因。

量子期望值连接 Jones 多项式

\left\langle W_R(K)\right\rangle=\frac{1}{Z}\int\mathcal DA\,e^{ikS_{\mathrm{CS}}[A]}W_R(K)\ \longleftrightarrow\ V_K(q),\qquad q=e^{2\pi i/(k+2)}

对 $SU(2)$ 、基本表示和合适的归一化与 framing 约定，Wilson 环期望值给出 Jones 多项式在单位根处的值。Lab 右侧的场线只是这条逻辑的示意，不是在浏览器里真的计算无限维路径积分。

常见难点

Witten 不是凭空发明 Jones 多项式

容易误解数学家卡住以后，Witten 用一套没人敢写的物理公式直接造出了结不变量。

正确理解Jones 多项式已经由 Vaughan Jones 发现，也已有代数与统计力学构造。Witten 的突破是给出自然的三维量子场论解释，并把结、多项式、规范场和拓扑量子场论统一到同一幅图景中。

路径积分不是对绳结形状求平均

容易误解量子场论把同一个结的所有扭曲形状平均起来，所以最后看不见形状。

正确理解路径积分固定流形和 Wilson 环 $K$ ，积分的是规范场配置 $A$ 。拓扑不变性来自作用量与可观测量的结构，不是把许多结图做普通平均。

投影交叉数不是结不变量

容易误解一个图上有三个交叉，所以无论从哪里看都必须永远有三个交叉。

正确理解改变视角或做 Reidemeister 动作会改变图上的交叉数。真正的最小交叉数 $c(K)$ 是在所有结图中取最小值；Jones 多项式则通过满足局部关系且兼容三类动作来保持不变。

Jones 多项式不是完整身份证

容易误解只要两个结的 Jones 多项式相同，它们就一定是同一个结。

正确理解不同结可以共享同一个 Jones 多项式，所以它是强大的不变量，但不是完整分类器。它能证明许多结彼此不同，却不能解决所有结的判别问题。

动手实验

01
先只做连续变形
选择三叶结，点击“连续变形”，再拖动画面改变投影视角。
应该观察到： 绳子的轮廓和可见交叉数会改变，但结型、最小交叉数与 $V_K(q)$ 始终不变，因为整个过程没有让绳股互穿。
02
逐个检查三类局部动作
连续点击“下一个 Reidemeister 动作”，对照右下角的动作前后图。
应该观察到： 第一类改变一个局部扭结，第二类成对加入或消去交叉，第三类把一股滑过另两股的交叉。它们会改变结图，却不改变三维结型。
03
比较三个已知结型
依次选择平凡结、三叶结与八字结；每次都调整投影与连续变形。
应该观察到： 三个预设的参考多项式不同，因此 $V_K(q)$ 可以区分这三个结；同一预设内部的所有允许变形则共享同一指纹。
04
走过 Witten 的桥
打开“概念性规范场配置”，改变 Chern–Simons 能级，并沿右侧三步读图。
应该观察到： 结先成为 Wilson 环可观测量，再对规范场配置取量子平均。改变整数能级 $k$ 会改变单位根 $q=e^{2\pi i/(k+2)}$ ，也就是从同一个 Jones 多项式读取不同的量子取样值。