4.1 标本一：I 型超弦

4.1 标本一：I 型超弦

本节摘要：I 型超弦是五种理论中唯一容纳开弦的：开弦端点携带规范荷，端点条件的对称性给出 SO(32) 规范群；理论同时含不可定向闭弦（含引力子）。1984 年格林与施瓦茨证明其规范与引力反常精确相消，这一计算点燃了第一次超弦革命。本节核对 496 这个魔数——SO(32) 与 E8xE8 共享的维数——并登记 I 型标本的完整档案。

第 3 章造好了超弦频谱仪，本章开始清点十维时空允许的全部装配方案。本节登记第一件标本：唯一让开弦进场的理论。它在知识链上的位置是"自洽性筛选"的第一案例——I 型被历史选中，靠的不是优美，是一张反常收支表上的精确平衡。

一、开弦的端点会带电

回顾 2.1 节的边界条件分岔：开弦端点可以自由（诺伊曼），也可以被钉住（狄利克雷）。I 型选择让端点在全部十维自由，但端点本身携带量子数——查尼–巴顿机制：开弦端点的行为像带规范荷的粒子，端点条件的对称结构决定规范群。

具体地，给端点附加内部空间的反射对称性，N 个"颜色"标签在端点群作用下置换。自洽性（无反常）把可选群压到两个：SO(32) 与 E8xE8。I 型取前者，得到一张 496 维的李代数。开弦的无质量矢量态就是这个群的规范玻色子，闭弦部分（不可定向，即模掉左右互换）贡献引力子超多重态——引力和规范力在同一理论里各就各位。

二、1984：一张收支表救活一个领域

要理解 I 型的历史地位，得先看反常是什么。经典对称性在量子化后可能失效——路径积分测度的权重无法同时满足所有对称性，差额就是反常。反常对手征理论是致命的：规范反常破坏规范不变性，理论失去自洽性；引力反常同理破坏微分同胚不变性。

十维超引力加规范场的反常看似灾难：规范荷与引力荷的组合项多到没法指望相消。1984 年格林与施瓦茨发现，反常多项式可以分解为因子乘积，且其抵消项（与 B 场的陈–西蒙斯耦合）恰好能被理论自动容纳——但只在规范群为 SO(32) 或 E8xE8 时精确成立。计算骨架如下：

十维反常多项式 I_12 的结构：
  I_12 ~ Tr F^6 + Tr F^4 Tr R^2 + Tr F^2 Tr R^4 + (Tr F^2)^3 + Tr R^6 + ...
抵消机制（格林—施瓦茨项）：
  B 场耦合 H = dB + omega_3Y，其规范变换的差额恰好吸收 I_12
  可分解条件要求规范群伴随维数满足严格等式
  两个解：SO(32) 与 E8xE8，伴随维数都是 496
​

用组合数学核对第一个解的维数：

# 李群维数核对：SO(N) 的维数是 N(N-1)/2
for N in [8, 16, 32]:
    print("dim SO(%d) = %d x %d / 2 = %d" % (N, N, N - 1, N * (N - 1) // 2))
# E8 是 248 维例外群，E8xE8 是两个 E8 的直积
print("dim E8 x E8 = 248 + 248 = %d" % (248 * 2))
​

运行结果：

dim SO(8) = 8 x 7 / 2 = 28
dim SO(16) = 16 x 15 / 2 = 120
dim SO(32) = 32 x 31 / 2 = 496
dim E8 x E8 = 248 + 248 = 496
​

两个群维数同为 496，不是巧合：反常相消条件给出的是伴随表示维数的等式，496 是它唯一的"大群"解。一个群的维数由另一个群的生存条件决定——这类跨标本的数值纠缠，是第 6 章对偶性的前奏。

三、标本档案

与第 4.2 节将登记的 II 型对照，I 型的特色是把规范力放在开弦端点上——这个"开弦即规范"的图景，在第 6.1 节 D 膜登场后会升级为更普适的"膜上的规范理论"，并在第 7.4 节成为弦论逼近标准模型的主通道。

⚠️ 排错提示：I 型的闭弦部分是不可定向的（含左右互换轨道），这与 II 型的定向闭弦不同。不少初学者把"I 型含闭弦"误记成"和 II 型一样"，导致对偶网络图接错线——第 6.3 节会看到，I 型恰好与杂化 SO32 强弱对偶，正是靠不可定向结构对上。

四、第一次革命的账目

1984 年反常相消计算的影响值得单独记账。此前的弦论是冷门角落（强子模型失败后的幸存者），这一计算证明了"十维超弦不是数学玩具，而是量子引力与规范统一的自洽框架"，一年内大量物理学家转入该领域，第一次超弦革命爆发。革命的直接产出是五种理论的完整清点（本章）与杂化弦的发明（4.3 节）。

回看这段历史，方法论上的启示与 1.2 节呼应：I 型理论在 1980 年就存在，没人当回事；让它翻身的是一张收支表上的精确数字。理论物理的裁判是自洽性与预言，不是出身的学科门第。

本节要点回顾

• 开弦带荷：端点携带规范荷，端点对称性决定规范群，开弦无质量矢量即规范玻色子；
• 反常相消：1984 年格林–施瓦茨证明只在 SO(32) 与 E8xE8 处精确成立，点燃第一次革命；
• 魔数 496：SO(32) 的 32×31/2 与 E8xE8 的 248+248 共同命中反常条件给出的维数等式；
• 标本档案：开闭混合、不可定向闭弦、N 等于 1、手征，低能有效为超引力加规范场；
• 方法论：自洽性筛选是弦论的裁判机制，数字对了理论才有入场券。

第一件标本入柜。下一节登记两件几乎全同却互为手征镜像的标本：IIA 与 IIB。

延伸核对：可考核知识点

• 构造：对 IIB 闭弦做取向投影（worldsheet 宇称反转），得到不可定向闭弦；再叠加不可定向开弦，规范群由开弦端点荷的反对称张量结构决定。
• 反常锁定：N=1 十维超引力的纯规范反常与引力反常在群维数 496 时被格林-施瓦茨多项式精确抵消，候选只有 SO(32) 与 E8×E8；取向投影排除 E8×E8（其无反对称不变张量承载端点荷），于是 I 型唯一锁定 SO(32)。
• 谱结构：N=1 时空超对称；开弦无质量矢量多重态给出规范玻色子（496 个生成元对应 SO(32) 的 32×31/2），闭弦部分继承 IIB 引力多重态，但 RR 场收缩为 C2——C0、C4 被取向投影掉。
• 强弱关系：I 型开弦耦合 g₁²∼g_s，与杂化 SO(32) 互为 S 对偶（g_I∼1/g_H），强耦合 I 型等价于弱耦合杂化弦，是第六章对偶网络的伏笔。
• 归一约定：数值实验统一取 ℓs=1、g_s=1，膜张力与规范耦合按此归一，便于跨章对比。

易错点：I 型的快子来自不可定向开弦基态，消去它的是 SO(32) GSO 投影（与规范群同源），不是简单删态；I 型绝不是"纯开弦理论"——闭弦部分承担引力，删掉闭弦就没有自洽的量子引力极限。