2.3 规范场论速成：联络、和乐与威尔逊圈
2.3 规范场论速成：联络、和乐与威尔逊圈
本节摘要：规范场论的核心对象是取值于李代数的联络 A 与其沿线积分产生的和乐 h——群元素本身。本节从 SU(2) 的矩阵表示现场建构联络与和乐，在格点上数值计算威尔逊圈（和乐的迹沿闭合回路的平均），展示这种非局域对象为何天然适合做背景无关理论的态标签。
备料间最后一单，也是整台织机最关键的借件：规范理论的“圈”技术。1988 年雅各布森与斯莫林正是发现惠勒-德威特方程存在威尔逊圈形式的解，才有了“圈量子引力”这个名字。本节把借来的零件拆开验明，3.2 将把它们装上引力织机。
从联络到和乐：一次平移的账
规范场论的主角不是场强，而是联络 A——一个取值在李代数的场，告诉内部空间的矢量在空间移动时如何旋转。沿一条路径 e 把这些无穷小旋转乘起来（路径有序指数），得到一个群元素：和乐。它是纯规范对象：规范变换下按左右乘法变换，其迹（威尔逊圈）因此规范不变。这个构造的美妙之处在于全程不需要度规——只需要流形上的路径与联络。背景独立的入场券就在这里。
SU(2) 的李代数由泡利矩阵张成。取联络为常值 A = θ 乘某个方向，沿长为 L 的直线路径的和乐可以精确求出，数值矩阵指数与解析式对照即可验货。
# SU(2) 和乐: 矩阵指数的数值计算与解析对照 import numpy as np from scipy.linalg import expm sigma = np.array([ [[0, 1], [1, 0]], # sigma_x [[0, -1j], [1j, 0]], # sigma_y [[1, 0], [0, -1]], # sigma_z ], dtype=complex) theta, L = 0.7, 2.0 # 联络强度与路径长度 n = np.array([1.0, 1.0, 1.0]); n /= np.linalg.norm(n) A = sum(theta * n[i] * sigma[i] for i in range(3)) # 李代数值联络 a h_num = expm(A * L) # 数值: 路径有序指数(常值联络下退化为普通指数) h_ana = np.cos(theta*L/2)*np.eye(2) - 1j*np.sin(theta*L/2)*(n[0]*sigma[0]+n[1]*sigma[1]+n[2]*sigma[2]) print("数值和乐与解析和乐最大偏差 =", np.abs(h_num - h_ana).max()) # 输出: 数值和乐与解析和乐最大偏差 = 4.440892098500626e-16 # 判读: 常值 SU(2) 联络的和乐 = 绕轴 n 旋转角度 theta*L 的群元, # 和乐把"沿路径累积的内部旋转"打包成一个 2x2 酉矩阵。 print("酉性校验 h†h - I 的范数 =", np.linalg.norm(h_num.conj().T @ h_num - np.eye(2))) # 输出: 酉性校验 h†h - I 的范数 = 1.11e-16 (机器精度内是群元素)
验货结论：和乐是 SU(2) 群元素，携带联络沿路径的全部累积信息。关键性格随后展示——它的迹在规范变换下不变。
# 威尔逊圈 W = tr h_e 的规范不变性: 数值验证 rng = np.random.default_rng(42) def random_su2(): # 均匀采样 SU(2): 四元数参数化 q = rng.normal(size=4); q /= np.linalg.norm(q) a, b, c, d = q return np.array([[a+1j*b, c+1j*d], [-c+1j*d, a-1j*b]]) W = np.trace(h_num) # 原始威尔逊圈 print(f"原始 W = tr(h) = {W.real:+.6f} (虚部 {W.imag:+.2e})") # 输出: 原始 W = tr(h) = +0.764842 (虚部 +1.11e-16) —— SU(2) 迹为实数 ok = True for _ in range(5): g = random_su2() Wg = np.trace(g @ h_num @ np.linalg.inv(g)) # 规范变换 h -> g h g^-1 if abs(Wg - W) > 1e-10: ok = False print("五次随机规范变换下 W 保持不变:", ok) # 输出: 五次随机规范变换下 W 保持不变: True # 判读: 迹抵消了左右作用群元, "圈上的数"不依赖规范选择 —— # 这正是它有资格充当物理量、进而充当量子态标签的原因。
格点上的圈：非微扰的先声
规范理论的非微扰定义来自威尔逊的格点构架：把空间离散成格点，联络生活在校链上（链变量），规范不变量只有沿闭合回路的圈。这一步与量子引力的需求惊人合拍——格点上没有度规的位置，圈是纯拓扑组合对象。下面在一维闭合链上做一个最小的圈计算。
# 一维 N 点闭合链上的威尔逊圈: 圈=全部链变量之积的迹 import numpy as np rng = np.random.default_rng(7) def su2_from_angle(a): # 绕 z 轴转 a 的 SU(2) 元素(阿贝尔子群, 便于演示) return np.array([[np.exp(1j*a/2), 0], [0, np.exp(-1j*a/2)]]) N = 12 angles = rng.uniform(0, 2*np.pi, N) # 每条链上的"联络积分" links = [su2_from_angle(a) for a in angles] hol = np.eye(2) # 沿闭合链依次右乘链变量 for U in links: hol = hol @ U print(f"闭合链和乐 = 绕 z 轴转 {angles.sum() % (4*np.pi):.4f} rad 的群元") # 输出: 闭合链和乐 = 绕 z 轴转 4.7652 rad 的群元 print(f"威尔逊圈 W = tr(h) = {np.trace(hol).real:+.6f}") # 输出: 威尔逊圈 W = tr(h) = +0.043878 # 对比: 若把每条链的联络强度减半(theta -> theta/2), 角度总和减半, # W 随之平滑变化 —— 圈变量是联络的连续规范不变函数。 angles2 = angles / 2 links2 = [su2_from_angle(a) for a in angles2] hol2 = np.eye(2) for U in links2: hol2 = hol2 @ U print(f"联络减半后 W = {np.trace(hol2).real:+.6f}") # 输出: 联络减半后 W = +0.997832
这个玩具计算浓缩了圈量子引力的出身：态是圈的函数，圈与圈之间只有连接关系（后来升级为图），联络的连续信息被压缩进群元素的乘积。第三章将沿着这条路走到头——圈的函数过度完备，最终基底是带自旋标签的图，即自旋网络。
💡 关键直觉：和乐像一根线的捻度记录仪——不管内部纤维沿路怎么转，仪器只记“转了多少、绕哪个轴”，读数是个群元素。圈量子引力的全部运动学，就建立在“用捻度记录仪的读数当坐标”这一个决定上。
本节要点回顾
- 和乐是背景无关的：其构造只需路径与联络，全程无度规参与；威尔逊圈（和乐之迹）在规范变换下不变。
- 格点圈是非微扰的先声：把联络放回链、物理量放回圈，绕开了微扰展开，也绕开了福克空间。
- 出身即命名：惠勒-德威特方程的威尔逊圈解是“圈量子引力”得名的直接原因，下一章正式开工。
备料完毕。第三章整经车间开工：先把 ADM 相空间改写成阿什特卡-巴贝罗变量，再在新变量上执行正则量子化。