弦论中的 BRST 物理态条件

弦世界面量子化后仍有规范冗余。BRST 方法把 Virasoro 约束、ghost 和物理态条件组织成一个上同调问题，使“哪些态是真正物理态”变成代数判据。

1. 从约束到 BRST 荷

共形规范固定后，世界面理论包含物质场和 $bc$ ghost。BRST 荷 $Q_B$ 把约束写成一个幂零算符：

$$Q_B^2=0.$$

幂零性要求总中心荷满足一致性条件。对玻色弦，这与 $D=26$ 的临界维数相连。

2. 物理态条件

BRST 语言中，物理态满足

$$Q_B|\Psi ⟩=0.$$

但若某个态可写成

$$|\Psi ⟩=Q_B|\Lambda ⟩,$$

它代表规范冗余，应当视为零。因此物理态空间是 BRST 上同调：

$${\mathcal{H}}_{\mathrm{phys}}=\frac{\ker Q_B}{\mathrm{im}{Q}_B}.$$

3. 与顶点算子的关系

弦散射振幅中，外态常由顶点算子表示。物理顶点算子需要 BRST 闭合，而 BRST 恰当的顶点算子不改变物理振幅。

这给出一个清晰规则：谱和振幅只依赖 BRST 上同调类，而不依赖具体代表元。

4. 与规范场的类比

Yang-Mills 理论中，BRST 上同调用于排除纵向和时间样规范自由度；弦论中，它排除世界面规范冗余导致的非物理振动。两者语言相同，但约束来源不同。

5. 复习检查表

• 能说明 $bc$ ghost 来自共形规范固定。
• 能解释 $Q_B^2=0$ 为什么是量子一致性条件。
• 能写出 BRST 闭合态和恰当态的区别。
• 能说明物理态空间为什么是 $\ker Q_B/\mathrm{im}{Q}_B$。
• 能把 BRST 物理态条件和顶点算子联系起来。