本节摘要:闭弦在半径 R 的圆上有动量数 n 与缠绕数 w 两类量子数,能谱 E^2 = (n/R)^2 + (wR)^2(取 \alpha'=1)在 R \leftrightarrow 1/R 且 n \leftrightarrow w 下严格不变。数值实验给出两个半径下前 30 级能谱的零差异。推论连锁:IIA 与 IIB 互为 T 对偶、开弦端点条件翻转(上一节 D 膜的出身)、最小半径的存在、镜像对称的物理内核。
上一节把 D 膜推上舞台并预支了它的出身证明,本节兑现:T 对偶。它在知识链上的位置是全章几何轴的轴心——5.1 节的 KK 塔(动量侧)在此与缠绕侧合流,5.4 节的镜像对称在此显影为它的六维推广。
点粒子在圆上只有动量量子数 n(5.1 节的 KK 塔)。闭合弦多一项技能:缠在圆上绕 w 圈。两类量子数贡献能量的方式恰好互补:
动量项在 R 大时密、缠绕项在 R 大时疏;R 变小时动量塔稀疏化而缠绕塔密集化。把 R 换成 1/R、同时交换 n 与 w,表达式分毫不动。一个半径 2 的世界与一个半径 0.5 的世界,频谱完全相同——前提是居民是弦而不是点粒子。
对偶映射的账目: 动量塔:n/R --R->1/R--> n·R 原本缠绕项的形式 缠绕塔:w·R --R->1/R--> w/R 原本动量项的形式 交换标签 n <-> w 后两塔互换,谱逐级重合 结论:R 与 1/R(以弦长为单位)在物理上不可区分
把两类量子数的谱在两个半径下分别排序比对:
def spectrum(R, alpha=1.0, nmax=20, wmax=20): e = [] for n in range(-nmax, nmax + 1): for w in range(-wmax, wmax + 1): if n == 0 and w == 0: continue e.append((n / R) ** 2 + (w * R / alpha) ** 2) return sorted(e) s1 = spectrum(2.0) s2 = spectrum(0.5) print("R=2.0 最低 8 级质量平方:%s" % [round(x, 4) for x in s1[:8]]) print("R=0.5 最低 8 级质量平方:%s" % [round(x, 4) for x in s2[:8]]) K = 30 # 截断安全区内的能级数 diff = max(abs(a - b) for a, b in zip(s1[:K], s2[:K])) print("前 %d 级的最大差异:%.2e" % (K, diff))
运行结果:
R=2.0 最低 8 级质量平方:[0.25, 0.25, 1.0, 1.0, 2.25, 2.25, 4.0, 4.0] R=0.5 最低 8 级质量平方:[0.25, 0.25, 1.0, 1.0, 2.25, 2.25, 4.0, 4.0] 前 30 级的最大差异:0.00e+00
两个世界给出逐项相同的列表,判定读数是最后一行:截断安全区内前 30 级的最大差异精确为零。半径 2 与半径 0.5(以弦长为单位)是同一个物理世界的两种记账。

T 对偶的账目虽小,推论一条比一条重:
推论一:IIA 与 IIB 互为 T 对偶。 沿圆紧致化后,两理论仅差缠绕态的手征性;T 对偶交换左右行波的缠绕实现,恰好把 IIA 的谱翻成 IIB 的谱。第 4 章的双胞胎由此获得血缘关系。
推论二:端点条件翻转(D 膜出身)。 开弦端点沿某方向自由时,其动量与该方向的 T 对偶变量共轭;对偶化后动量好量子数换成了位置好量子数——自由端点变成钉住的端点。上一节的 D 膜由此获得存在性证明。
推论三:最小半径。 由于 R 与 1/R 不可区分,"把圆缩到零"在弦物理里是平滑地走到"无限大的圆"。弦宇宙的空间分辨率有下限——不是技术限制,是记账对称性的结论。
推论四:镜像对称的内核。 六维版本的 T 对偶(沿三维方向做)给出 5.4 节的镜像对称:凯勒与复结构模空间互换。T 对偶是它的"一维缩影"。
💡 计算策略(本节的工作遗产):T 对偶的典型用法是"翻到另一侧计算"。大半径侧的动量塔密集时,翻到小半径侧变成稀疏的缠绕塔;瞬子求和收敛慢的 5.4 节曲线计数,翻到镜像侧变成解析的周期积分。对偶性首先是一种计算工具——哪个变量好用就用哪个,答案不变。
T 对偶在弦论里近乎普适,但有边界:它依赖紧致方向的存在(平直非紧空间的 T 对偶涉及非对易几何,第 8.3 节一带而过);在有通量的背景中要推广为包含 B 场的变换(镜像对称的完整构造必须用这一版);对开弦的适用要小心端点条件(推论二)。把 T 对偶当成"万能半径翻转换"而不检查背景条件,是对偶网络图上接错线的常见起点。
几何轴的对偶就位。下一节转动耦合轴:S 对偶,强弱互换的旋转门。
易错点:T 对偶改变膜维数与 IIA/IIB 归属,因此不是对称性而是等价性(同一 CFT 的两种几何描述);对偶方向上的坐标本征值是缠绕数而非动量,"位置"在此方向上被量子化。