订阅DeepL Pro以翻译大型文件。

欲了解更多信息，请访问www.DeepL.com/pro。

弦理论是一个复杂的课题，涉及许多方面。多年来，人们对这一课题提出了许多方法。其中

许多方法都在某一方面取得了重要成果。任何一种方法的彻底发展都可能是漫长的，而且学

习几种方法也很重要，因为不知道哪种方法将来会最有用。所有这一切偶尔会给这门学科带

来巨大的声誉。接下来两节的目的是以尽可能简单的方式对弦理论做一个小介绍。如果在这

个过程中，我们跳过了一些关键点，使这门学科看起来比实际简单，我们将有充分的机会在

后面的章节中加以补救。

让我们考虑一个在闵科夫斯基空间运动的无质量经典点粒子。描述这样一个粒子的合适动作

是
# (1.3.1) #
这里，η_是闵可夫斯基度量（指数和 v 在 D 个时空维度上取值 0,1,D-1），τ 是轨迹上的任意

参数，x*(τ) 是粒子的位置，e(τ) 是粒子世界线上的一种度量。事实上，(1.3.1) 在 τ→τ"(τ),e

→ e(dτ/dτ")条件下是不变的。轨距不变性可以用来选择一个 e= 1 的轨距。
# 1.3.2 #
由 S "导出的变分方程为 d²x*/dτ²=0 解当然就是闵科夫斯基空间中的直线。然而，闵科夫斯基

空间中的任意直线确实是由原始动作（1.3.1）导出的运动方程的解。

我们不能只选择轨距 e = 1 而忘掉 e。我们还必须强加运动方程 δS/δe= 0。一种看法是，我

们可以先强加轨距不变方程 δS/δe = 0，然后再固定轨距 e = 1。任何具有局部量规不变性的

系统都会出现类似的现象。在电动力学中，如果愿意，我们可以将矢量势的时间分量设为零

，并将量规
条件 A₀ = 0，但我们不能忘记施加高斯定律 δS/δA₀=0。
方程 6S/660 告诉我们，在这种情况下，规整不变量
# 1.3.3 #

必须消失。因此，我们方程的解正是闵科夫斯基空间中的类光大地线，最终表明（1.3.1）确

实是无质量经典点粒子的作用。

从规规固定作用（1.3.2）导出的变分方程 d²x*/dτ²=0 并不意味着 T = 0，但它确实意味着 T

是一个守恒量，即 dT/dτ = 0。因此，从规规固定作用的角度来看，T=0 是对初始数据的一

个约束。如果我们将这一约束条件强加于 0，它将自动在所有 r 条件下保持不变。

局部量规对称性。例如，在麦克斯韦理论中，高斯定律δS/δA₀= 0 并没有
但其他方程确实意味着 6S/6A0 是
与时间无关，因此如果它在零时消失，则在任何时候都消失。
如果我们将这个系统量子化，会发生什么呢？规范矩为 pμ=δS/δ(dx*/dτ)=η,dx*/dτ.量子化后

，这些参数变为 p=-i∂/∂x*。
量子态只是时空坐标 x* 的函数 Φ(x*)。

然而，任意函数不应该被认为是物理上可以接受的。从经典上讲，我们只允许 T=0 的轨道；

从量子力学上讲，我们应该要求物理态是被 T 消灭的态。

因此，无质量克莱因-戈登方程就是由（1.3.1）导出的量子系统的薛定谔方程。这个方程是线

性的并不奇怪；任何量子系统的薛定谔方程都是线性的。该方程的普恩卡雷不变性也是

(1.3.1) 的明显结果。时间 "导数 d/dr 没有出现在薛定谔方程中这一事实乍看之下可能令人惊

讶，但这是量子系统在时间坐标重拟态下具有对称性的典型行为（尽管可能并不广为人知）

；在自由弦的量子理论（我们将看到）和将广义相对论量子化的正式尝试中也会遇到类似的

行为。

在继续讨论弦理论之前，我们不妨先简单讨论一下点粒子理论的超对称广义。事实上，有几

种可能的超对称广义，超对称要么在粒子世界线上，要么在时空中。目前我们更感兴趣的是

具有时空超对称性的拉格朗日：
# 1.3.4 #
这个动作描述的点粒子不是在闵科夫斯基空间传播，而是在坐标为（x*, θᵃ）的超空间传播。

这里的θª是反交换坐标，在 x* 的洛伦兹变换下变换为旋子；Γ* 是狄拉克伽马矩阵。

(1.3.4) 的量子化稍有微妙；我们将在第 5 章讨论。目前，我们只需注意到，量子理论将不可

避免地涉及我们为 "玻色 "点粒子所发现的无质量克莱因-戈登方程的某种超对称扩展。

在十个二矢量的有趣案例中，θª 是一个单一的马约拉纳-韦尔自旋子，我们会发现由 (1.3.4)

得出的量子系统是自旋 (1,1/2) 的无质量多子场；这个多子场由一个 "光子 "A_ 和一个服从无

质量麦克斯韦方程和狄拉克方程的正手性自旋子场 ψ 组成。
# 1.3.5 #
(*)我们在提到自旋时，就好像在描述四维洛伦兹群的表示，其中的术语是标准的。例如，在

任何维度上，"自旋 1 "指的是洛伦兹矢量，"自旋 ½"指的是自旋子，等等。

如果我们用一对十维的马约拉纳-韦尔自旋体来代替，由（1.3.4）导出的量子理论就会

产生超爱因斯坦方程的线性化近似--线性化近似，也就是十维超引力。

现在，有点不同寻常的是，在量子化点粒子的过程中，我们会遇到一些方程--玻色情况下的

克莱因-戈登方程，超对称情况下的超麦克斯韦方程和超爱因斯坦方程--这些方程通常被看作

是
经典方程。更重要的是，虽然这些方程是线性方程，但它们具有自然的非线性泛函，而这通

常是我们真正感兴趣的。质量较小的
克莱因-戈登方程或多或少可以自然地概括为 Φ◻Φ+λΦ³=0 的 Φ⁴
麦克斯韦方程和线性化的爱因斯坦方程具有极强的
杨-米尔斯理论和广义相对论的自然广义 D_F*"=0 和 R_=0。通常，当我们对经典理论进行量

子化时，我们不会在线性薛定谔方程中加入非线性项，但在无质量点粒子或超粒子的情况下

，我们应该这样做。

闵科夫斯基空间中光线的天真想法应被视为杨-米尔斯理论和广义相对论的暗示。无质量点粒

子的 "正确 "理论--即超对称理论--在量子化后产生了麦克斯韦方程和线性化爱因斯坦方程，然

后这些方程应被推广到非线性杨-米尔斯方程和爱因斯坦方程。

1.3.2 推广到字符串

图 1.3.在闵科夫斯基空间中传播的开弦（a）或闭弦（8）会扫出一个二维表面，称为弦的世

界面。自由弦理论的经典方程要求这应该是一个最小表面或面积最小的表面。

现在，我们准备讨论弦。弦是一个一维物体，是一条数学曲线。我们既考虑有端点的开放弦

，也考虑从拓扑学角度看是圆的封闭弦。开弦通常用坐标σ 来 描述，坐标σ从0到π；对于闭弦

，我们也取0≤σ≤π。为了描述弦的运动，我们还需要引入一个时间类演化参数τ，这对于坐在

弦上的观察者来说是一种时间坐标。当弦在时空中传播时（图 1.3），它会扫出一个世界片，

它是点粒子世界线的概括。我们有时会把 σ 和 σ 合并为双矢量 σ*= (τ,σ) 并用 d²σ 作为 dτdσ

的同义词。

按照南布和后藤最初主张的形式，弦的作用力与其世界薄片的面积成正比。在数学上，嵌入

闵科夫斯基空间的薄片的面积公式为*。
# 1.3.6 #
其中
#1.3.7#
由于弦的作用是其世界片的面积，自由弦经典方程的解就是面积最小（或至少极小）的世界

片。这概括了点粒子的轨道是长度最小的大地线或曲线这一事实。由于（1.3.6）是高度非线

性的，特别是由于平方根的缘故，因此使用起来很不方便。如果我们在 X"(σ,τ)之外引入一个

新变量，它将是弦世界表的度量张量，那么就可以写出等价但方便得多的作用形式（与点粒

子的情况一样）。更方便的形式是
# 1.3.8 #
这里 √h 是 h_ 行列式绝对值的平方根，h* 是 h_ 的逆。由于 hos 的导数不出现在（1.3.8）中

，因此它的运动方程是一个约束方程，如果愿意，可以将 h 去掉或积分，得到（1.3.6），我

们将在第 2 章中进一步讨论。从经典角度看，（1.3.8）描述了弦在任意维数的闵科夫斯基空

间中的传播，但从量子力学角度看，26 维是最令人感兴趣的情况。

无论是（1.3.6）还是（1.3.8），在弦世界表的一般坐标变换下，τ,σ→ τ'（τ,σ）,σ'（τ,σ）都

是不变的。(在 (1.3.8) 的情况下，应根据度量张量的标准变换定律，认为世界表尺度 h_ 在这

种变换下发生了变换）。从生活在弦上的一维蚂蚁的角度来看，(1.3.6)和(1.3.8)描述的是一

般协变的1+1维场论。在这个(1+1)维场论中，"X "是作为标量场进入的；它们在 26 维的波恩

卡莱变换下作为向量变换，但在世界表的重拟态下作为标量变换。

事实上，(1.3.8) 是无质量标量场 X "耦合到

(1+1)维引力。(1.3.6)和(1.3.8)中的二维作用及其超对称广义去描述了已知唯一在任何时空维

数下都有意义的一般协变场论。我们可能想在（1.3.6）中加入一个（1+1）维的爱因斯坦项

√hR，R 是（1+1）维的曲率标量；对我们现在的目的来说，这个项无关紧要，因为 √hR是

1+1 维的全发散（更准确地说，是拓扑不变量）。在后面的发展中，加入这个项是有用的。

1.3.3 约束方程

(世界表的重拟态下的不变性对于

求解由 (1.3.8) 得出的最小曲面方程。2x2 对称张量 h_ 有三个独立分量。在二维空间中，一般

坐标变换 σ,τ、

→σ,τ' 取决于两个自由函数，即新坐标 σ' 和 τ'。通过这种变换，可以消除 h 三个独立分量中

的任意两个。一个标准和方便的选择是世界板的参数化，即 h_=ηexp(Φ)，其中 η_ 是平坦世

界板的度量，exp(Φ) 是一个未知的共形因子。至少在局部总是可以做出这样的选择。我们将

把这称为保角规的选择。

现在我们遇到了一个惊喜。在共形规中，共形因子 exp(Φ) 从（1.3.8）中消失了，原因是在

二维中，√h 与 exp(Φ) 成比例，而 h* 与 exp(-Φ) 成比例。因此，在共形规中 (1.3.8) 可以简

化为一个简单的自由场作用
# 1.3.9 #
由 (1.3.9) 得出的运动方程是一个简单的线性波方程 # 1.3.10 #
然而，正如在点粒子情况下一样，从 (1.3.9) 的量规固定作用导出的波方程必须辅以某些约束

方程。约束方程
在（1+1）维量子场论中，通常将能动张量定义为
# 1.3.11 #
(这里的 h=-det(h_，1.3.11 中的 2π 因子在场论中并不常见，但在弦理论中已成为标准），因

此约束方程只是 T_ = 0。

能量-动量张量的最简单形式是光锥世界板坐标σ*=（τ+σ）。在这些坐标中，我们有

T=∂X*∂X_，T_与 T+ 的区别是

+↔ 这里的 T+- 是二维能量-动量张量的迹，它消失的事实，或者换句话说，（1.3.9）的无质

标量场理论在 1+1 维中是保形不变的，会产生深远的影响。

正如我们将在第 2 章中看到的那样，从经典上讲，约束方程是相当容易求解的，而且波方程

加上约束方程的一般解法也不难找到。量子力学上的情况则更为复杂。要正确处理保角规量

子力学，就必须引入幽灵，我们将在本章介绍中尽量避免这一麻烦。当然，如果忽略这些限

制，用拉格朗日（1.3.9）对自由场理论进行量子化是非常直接的。

施加约束并不那么简单。要理解这个等式的意义，我们必须计算 T_ 的等τ 换向关系。结果是

# 1.3.12 #
这里的 D 是时空维数，即 X* 的维数。

在经典理论中，(1.3.12)右边的第一项会在取泊松括号时产生；第二项，与 (26-D)" δ''',(σ-σ')

成比例，是通过反常现象在量子力学上产生的。正如我们将在第三章看到的，为了计算

(1.3.12) 中出现的系数 (26-D)，必须适当地包含幽灵。在不包含幽灵的形式中，对 26 维的限

制不是以这里描述的方式产生的，而是以第 2 章解释的其他方式产生的。从 (1.3.12) 可以直

接得出，约束方程只能在 26 维中才有意义。物理状态 |Φ⟩ 服从 T++|Φ⟩ = 0，会自动被

(1.3.12) 左侧和右侧的第一项湮没。因此，它也必须被 (1.3.12) 右边的第二项湮没。但是，除

非 D = 26，否则 (1.3.12) 右边的第二项，即 c 数 (26-D)δ'"(σ-σ') 不会湮灭任何东西；这是唯

一存在任何物理状态的情况。正因为如此，开弦的维尼西亚诺模型和相应的闭弦的夏皮罗-维

拉索罗模型，只有在 26 维中才有意义。

除了弦世界片上的局部重配位不变性之外，这一理论在全局（στ独立）变换X*→Λ*X*+b*（其

中Λ是一个常数正交矩阵，b是一个常数矢量）下也是不变的。对于生活在弦上的蚂蚁来说，

这些仅仅是在弦上传播的 26 个自由、无质量量子场的内部对称性，但对于时空中的观察者来

说，它们却是普恩卡雷变换。由于该理论是普因卡雷不变的，因此希尔伯特空间将提供普因

卡雷群的单元表示。这意味着粒子状态将以其质量和自旋来标记。由于我们面对的是一根可

以自由振荡的弦，而且它像其他弦一样具有无限多的谐波，因此会出现无限多的粒子状态。
对于我们一直在讨论的玻色弦，基态不幸是一个超速子，它的质量（在闭弦的情况下）是 m²

= -8（单位：T = 1/π）。我们将在第二章的系统论述中看到，这一结果是通过对约束方程的

仔细研究得出的。第一个激发水平更有吸引力；它由无质量粒子组成。具体地说，我们发现

的无质量粒子是一个自旋二态，我们可以把它看作引力子g_，一个被称为 "稀拉顿 "的标量，

以及一个转化为SO(24)第二阶反对称张量的附加态（因为它是26维中无质量粒子的小群）。

这些都极其重要；引力子是 "万物二元模型 "思想的动机，稀拉顿期望值决定了精细结构常数

，而反对称张量（或者说它的超弦表亲）在异常消除中起着至关重要的作用。对于更高的激

发，我们会发现一个无限的大质量态塔，质量和自旋越来越高；例如，第二激发层包含

m²=+8 的粒子，自旋高达 4。这种激发态频谱一直延伸到无穷大，这对于具有无限次谐波的

扩展体频谱来说是不可避免的。

与玻色点粒子一样，玻色弦也有超对称的一般化。这就是我们在本书中主要关注的超对称弦

理论或超。在这里，我们只注意到，在超对称情况下，由于超对称理论的哈密顿是正的，所

以必然不存在超速子；超弦理论的最低质量层由无质量的麦克斯韦和爱因斯坦多子组成，而

这些多子在量子化合适的点粒子理论中是存在的。例如，开放超弦在无质量水平上产生的正

是无质量麦克斯韦超多重子；此外，还有无穷多的大质量态。

约束方程 T_|Φ⟩ = 0 是线性的，就像任何量子系统的薛定谔方程一样；事实上，这些方程扮

演了弦的薛定谔方程的角色。

通常，人们把薛定谔方程当作线性方程来研究。但在前面，我们看到，在点粒子的情况下，"

正确 "的做法是寻找薛定谔方程的非线性广义化；这导致了物理学中最美丽的方程，即超对

称杨-米尔斯方程和爱因斯坦方程。我们是否应该为弦做同样的事情？我们是否应该寻找一种

非线性理论来管理整个无限的弦谐波塔？杨-米尔斯理论和广义相对论是否存在与弦相关的广

义理论，就像这些理论与点粒子相关一样？

有这样一个广义是非常清楚的；它是在近 20 年的弦理论研究工作中，通过反复试验而构建出

来的。至今的谜团是 "为什么 "杨-米尔斯理论和广义相对论有这样的广义。杨-米尔斯理论和

广义相对论的局部规整不变性在基本物理和数学概念中有着令人满意的基础：局部对称、连

接和曲率、向量束、黎曼几何。事实上，从历史上看，就广义相对论而言，是概念先行；爱

因斯坦首先确定了引力相对论所应依据的概念，然后找到了理论。弦理论则相反。正如我们

在第一节中所概述的，弦理论最初完全是出于其他原因而发明的，是对强相互作用的一次不

成功的攻击。它最终
显然，弦理论应该被用来给出广义相对论和杨-米尔斯理论的基本广义。但这种广义背后的概

念在很大程度上仍然是神秘的。我们充其量也许才刚刚开始触及这个问题的表面。因此，尽

管我们对杨-米尔斯理论和万有引力的弦广义有很多了解，但在图1.4中还是用问号表示。这个

缺失的思想圈有一天必将对物理学产生深远的影响，或许也会对数学的某些分支产生影响。

图 1.4该图展示了弦理论的 "魔方"。在左上角，我们勾勒了闵科夫斯基空间中的一条光线，与

无质量超粒子相对应。这可以看作是超对称杨-米尔斯理论（其作用写在右上角）和超引力的

暗示。右下角

在左上角，我们勾勒出了闵科夫斯基空间中的一个最小曲面--弦的经典轨道。这可以看作是对

一类新理论的暗示，即杨-米尔斯方程和爱因斯坦方程的弦概括。尽管人们对它们已经有了很

多了解，但在正方形的右下角还是用问号标出了它们，以强调它们的概念框架在很大程度上

仍然是神秘的。

1.3 字符串互动

到目前为止，我们一直在讨论自由弦。在本节中，我们将对相互作用或非线性理论做一个闪

电式的介绍。首先，让我们回顾一下场论的费曼图。比方说，对于 n 个时空维度中的无质量

标量场，时空点 x 和 y 之间的标准预言器是 ⟨ y|[ ]^|x ⟩。这里是达朗贝尔算子或波算子

[ ]=η......

传播者是波算子的逆运算，其表示为 # 1.4.1 #

现在，质量为 m 的非相对论粒子在 n+1 维空间中的哈密顿只需 p2/2m =

[]/2m；当 m = 1/2 时，这只是

[ ].因此，（1.4.1）右侧的算子 exp（-τ[ ]）仅仅是非相对论粒子在虚适当时间 τ 中传播的

算子；对此有一个著名的路径积分公式
# 1.4.2 #
这里的指数只是经典点粒子的作用；符号∫Dx(t)表示对所有以 t=0 为起点、以 t=τ 为终点的路

径 (t) 的积分。(1.4.2) 的右边具有简单直观的含义。我们对从 z 传播到 y 的粒子的任意正适

当时间 τ 以及在适当时间 τ 内从 x 传播到 y 的所有轨道 x(t) 进行积分。

图 1.5.量子场论中典型的费曼图。源自时空点 A、B、C 和 D 的四个外部粒子经历了一个树

级散射过程，相互作用发生在 p 和 q 处。

现在让我们来看一个典型的费曼图，如图 1.5 所示。我们不要按照惯例在动量空间中评估这

个图，而是在坐标空间中考虑图 1.5，因此
根据从费曼图计算振幅的通常规则，图 1.5 中的每一行都对应一个传播者！根据传播者的表示

法 (1.4.2)，图中的每一行都表示对粒子在所指点之间的时空传播轨迹的积分。在对图表进行

评估时，我们还需要对相互作用点 p 和 q 进行积分，并在顶点加入某些取决于所考虑的精确

理论的因子。重点在于，费曼图可以被视为粒子在时空中传播的真实历史。

时空，并在交互顶点处连接和分裂。

1.4.1 拆分字符串

图 1.6.场论和弦论中的相互作用顶点：在（a）中，一个点粒子一分为二；在（b）中，一个

封闭弦一分为二。在（b）中，实线和虚线分别表示进入不同洛伦兹框架 1 和 2 的恒定时间面

当一个点粒子分裂成两个时，分裂发生的时空点有一个定义明确的洛伦兹不变概念。它就是

费曼图中的相互作用顶点。然而，当弦一分为二时，却没有一个明确定义的概念来说明分裂

发生的时间和地点。在图 1.6b 中，我们勾画了两个不同洛伦兹框架 1 和 2 中的恒定时间曲

面。在框架 1 中，分裂发生在实心圆点处。在此之前只有一根弦，而在未来则有两根弦。在

第 2 帧中，实心圆点没有任何特别之处。在这一帧中，开点是发生相互作用的点。

这种差异会产生许多后果。首先，它是点粒子量子场论多而弦理论少的部分原因。由于图

1.6a 中有一个洛伦兹不变的相互作用顶点，我们可以在定义费曼振幅时在这个顶点上选择一

些特殊的因子。对这些因子的选择与我们希望研究的量子场论的选择相对应。另一方面，在

图 1.6b 中，图的任何部分看起来都像是自由弦的局部传播；一旦我们决定了自由弦的传播规

则，就不需要再做额外的选择了。我们仍然有必要理解为什么自由弦的可能性不多；这是因

为在试图量化（1.3.8）及其各种概括时出现了一些微妙之处。但是，一旦我们确定了自由理

论，相互作用的形式就是唯一确定的了，原因很简单，因为在图 1.6b 中不存在洛伦兹不变的

相互作用点。

与此密切相关的是一种启发式解释，说明为什么弦理论不会出现困扰点粒子量子场论的紫外

发散现象。在图 1.7 中，我们勾画了一个单环费曼图（在量子引力中会在紫外发散）和相应的

闭弦图。图 1.7b 的弦图与图 1.7a 的场论图不同之处在于，点粒子的每条世界线或传播者都

被传播的闭弦的世界管所取代。这两个图是通过对传播点或弦在时空中的轨迹进行积分而得

到的。由于图 1.7b 中的弦的半径非常小，因此该图重新定义了点粒子的传播轨迹。

这就是场论作为弦理论长波长极限的出现方式。

为什么图 1.7a 中存在紫外发散，而图 1.7b 中没有？紫外发散之所以出现，是因为当 pq=rs

时，连接顶点的传播者同时爆炸。在图 1.7b 的弦图中，场论图中的相互作用顶点 p、q、r 和

s 没有明确的类似物。因此，危险区域 p=q=r=s 也不存在。当然，这并不能证明图 1.7b 的有

限性，因为只有开发出必要的机制后，才能通过计算确定有限性，但这是一个强有力的提示

图 1.8.对四粒子振幅有贡献的所有闭弦图；在每阶扰动理论中都有且只有一个闭弦图。

图 1.9.几种不同的场论图可以同构为弦图。在（a）中，它显示了在场论中代表四粒子振幅一

环修正的几种费曼图。在（b）中，它显示了相应的闭弦图。(b) 中的闭弦图都具有相同的拓

扑结构，因此它们代表了同一弦图中的不同积分区域。

对于每一个场论图，都有一个相应的弦论图，它是由世界线变成世界管而构成的。闭合弦图

如图 1.9 所示。但如图 1.9 所示，几个不同的费曼图可能会以这种方式产生同一个弦图。事实

上，在有向闭弦理论中，在任何给定阶次的扰动理论中都有且只有一个费曼图，如图 1.8 所示

，这与有向二维流形通过给出手柄（或环）的数目和孔（或外部粒子）的数目而被完全规定

的事实相对应。弦图的分类在具有开放弦或无定向闭合弦的理论中更为复杂，但弦图的数量

仍然远远少于费曼图。一个只有几个弦图的弦理论之所以有可能在低能下重现一个有许多费

曼图的场论，是因为在对弦世界片的大小和形状参数进行积分的不同极限下，一个弦图可以

重现许多费曼图。例如，图 1.8 中的一环图在不同极限下可以还原为图 1.9 中的任何一个图。

"顶点运算符

初看起来，要对与图 1.9 中的一个图表相对应的弦世界片进行积分，似乎相当困难。

图 1.10.共形不变性使得弦图的评估变得可行。除其他外，这使得我们有可能压缩世界表，关

闭与进出粒子相对应的孔洞。例如，图中（a）部分的外部弦态会被投影到如（5）所示的点

上；在这些点上插入合适的局部算子是必须理解的。

图 1.10.共形不变性使得弦图的评估成为可能。
对应于传入和传出粒子。例如，图中（a）部分的外部弦态会被投影到（b）中表示为 ⊗的点上
；在这些点上插入合适的局部算子必须被理解。

之所以可行，是因为 (1.3.8) 在世界表尺度 h_αβ ➝ exp(Φ)h_αβ 的共形重缩下具有不变

性。通过适当选择 ，图 1.10a 中的世界片有延伸到遥远过去和遥远未来的管道，对应于

图 1.10b 中的世界表是紧凑的。同时，弦世界表中与外部状态相对应的孔被封闭起来，外部

弦状态以点的形式出现，如图 1.10b 所示。

图 1.11 如图（a）所示，一个有一个入弦和一个出弦的世界平面，可以如文中所述，保角映

射到其他各种图形上。它可以被映射到（b）的平面上，入弦出现在原点，出弦出现在南极

和北极。

考虑最简单的情况，即只有一根入弦和一根出弦的世界片，由图 1.11a 的圆柱体描述，度量

ds²= dz² + dφ², -∞ < z < ∞, 0 ≤ φ ≤
2π.如果我们让 z = In(r)，这就变成了 ds² = r-²(dr²+r²dφ²)。通过度量的保角变化
ds²→ (tuta)ds²，我们得到一个新度量 (tuta)ds² = dr² + r²dφ²，我们可以将其视为
平面度量。实际上，传入的弦在遥远的过去是一个圆（z = -∞，0

≤ φ ≤ 2π），如图 1.11b 所示，被投影到有限距离（r= 0）处的点，而外向弦被投影到无穷远

处的点。如果我们想同时投射

例如，如果我们用保角因子 r²（1+r²/a²）-² 来调整公设 ds² 的尺度，那么新的公设 tuta

ds²=
(dr²+r²dφ²)/(1+r²/a²)-² 是球面上的标准圆形度量。

入弦和出弦现在都是有限点，即图 1.11c 中的南极和北极。对于有许多外线的更复杂弦图，

可以选择共形因子 exp(φ)，将每条外线映射为有限点。问题的实质在于，要将给定的入弦或

出弦 L 映射到有限点，只需考虑 e 在 L 上的渐近行为；exp(Φ) 的渐近行为可以针对每个 L 单

独选择。我们将在后面的章节，特别是第 11 章中更详细地讨论弦图的共形映射。

如果我们真的把外部弦态保形地映射到有限点，它们的量子数就不会简单地丢失。在图
1.10 中标记为⊗的每一点上，如果外部弦被映射到了，那么一定会出现一些局部算子，其
量子数为

映射到该点的弦态。我们由此想到，对于每个弦态，我们都必须在（1+1）维量子场论中找到

某个描述弦传播的局部算子。以这种方式与给定弦态 | Λ ⟩ 相对应的局部算子被称为 | Λ ⟩ 发

射或吸收的 "顶点算子"。这些顶点算子被证明是非常有用的工具。

我们不必假装严谨，只需尝试猜测闭弦情况下合适的顶点算子。首先，对于闭弦理论中的每

一种粒子类型 A，我们都能找到一个局部算子 WΛ(σ,τ)，它在σ和τ的重拟态下是一个标量（

因为不存在σ和τ的重拟态）。
图 1.10 中的参数化），并与Λ 具有相同的洛伦兹量子数。W_Λ 将是 X^μ 及其导数中一个合

适的多项式。例如，如果Λ是在 26 维洛伦兹变换下自旋为零的超速子，我们可以简单地取 W

= 1。如果 A 是引力子 G，我们必须选择 W 具有自旋二；对于极化为 μν 的引力子，最小的

自旋二算子是 W_G^μν=∂αX^μ∂^αX^ν。这个算子和后面考虑的其他算子（如 exp(ikX)）的正

常排序将被假定，而不会明确指出。如果Λ是自旋为零的无质量稀释子 D.，我们必须再次选

择一个自旋为零的算子；与迅子算子正交的最小选择是 W~ ∂X∂X。

我们刚刚定义的算子 W 可以在洛伦兹变换下正确变换，但我们还必须考虑时空平移。在全局

对称 X* → X" + a* 条件下，每个弦的位置都被一个常数 a* 移动，动量 k* 的外部态的波函数

乘以 e。在 X* → X*+a* 条件下进行这种变换的最简单的量子场算子是算子 et，因此我们推测

动量 k* 的弦的发射或吸收都存在这个因子。此外，我们必须注意到，在图 1.10 中，插入给

定顶点算子的标记点可能出现在表面上的任何位置。综合这些事实，我们可以定义算子

V(k)=∫d²σ√hW(σ,τ)exp(ik-X)，表示Λ型弦态的发射或吸收和时刻 k*。

图 1.12.Λ₁，Λ₂，...Λ◻，k₁，k₂，...，k◻的 M 个外部粒子散射的振幅表示。

我们在实践中如何使用这些顶点算子？图 1.12 表明，Λ₁，Λ₂，......，Λ◻和矩 k₁，k₂，......，k◻

的散射振幅应该是支配弦的 (1+1)- 维量子场论中的路径积分。

这就是（设置 T=1/π）A(Λ₁,k₁;Λ₂,k₂;...;Λ◻,k◻)=κᴹ-²∫DX(σ,τ)Dh(σ,τ)×exp((-
1/2π)∫d²σ√∂hhhX∂X)ΠVᵢ(kᵢ)。
这里的 κ 是耦合常数，符号 DX* 和 Dh_ 表示路径上的路径积分。
图 1.11 的紧凑弦世界图。我们需要一个拓扑学上是球面的曲面来评估树图，需要一个环面来

评估单环图，或者需要一个有 n 个手柄的曲面（通常称为 n 属的黎曼曲面）来评估 n 环图。

虽然可以将（1.4.4）与图1.7b这样的弦图严格联系起来，但我们在此不做尝试。(实际上，在

弦理论的第一种方法中，读者可以简单地把(1.4.4)看作弦散射振幅的定义。当然，我们目前

还不知道弦理论的哪种形式主义更基本，而(1.4.4)中的顶点算子表述是一个很好的起点。

公式 (1.4.4) 似乎是一个相当惊人的公式。在 (1.4.4) 式中，26 维时空中的散射振幅用辅助

(1+1)- 维量子场论中的相关函数表示。根据量子场论的标准 LSZ 形式，(1+1)维场论中的相关

函数很可能与(1+1)维世界中的散射过程有关。它们可以被解释为给出 26 维的散射振幅，这

是弦理论的奇迹之一。这也是许多令人惊奇、至今仍很神秘的关系和类比中的一个。
弦世界表上发生的现象与时空中发生的现象之间的关系。

如果不是因为我们前面讨论过的共形不变性，要计算 (1.4.4) 实际上是一件毫无希望的事情。

2 x 2 对称张量 h 有三个独立分量。通过对世界片的重新参数化，我们可以消除这三个分量中

的两个。就局部而言，正如我们之前所讨论的，我们可以通过对 σ,τ 的重新参数化，将 h 置

为 h = τ 的形式。
exp(Φ)h₀，其中，h₀ 是弦世界片上任意所需的度量。根据经典
黎曼定理，在世界薄片是一个
球，或者换句话说，树形图。

图 1.13.两个球体 S² 在平面上的立体投影。

刚才引用的定理确保了通过参数化的选择，我们可以写出 h = exp(Φ)h₀，其中 h₀ 是例如球面

S² 上的标准圆形度量。实际上，利用保角不变性对 S² 进行立体投影更为方便。

如图 1.13 所示，将球面投影到 x-y 平面 R² 上。因此，实际上我们可以取 h=exp（Φ）δ，即

ds²=exp(Φ)(dx²+dy²)，其中 x 和 y 是平面坐标。此外，由于保角不变性，exp(Φ) 因子从（

1.4.4）中消失，简化为

A=κ�-²∫DX(x,y)exp((-
1/2π)∫d²x∂X∂X) ΠV(k)=κ�-²⟨ΠV(k)⟩.

这里最重要的一点是，我们现在是在一个平面的二维世界中研究自由场理论，因此我们可以

期望对（1.4.5）进行评估。

从 (1.4.4) 到 (1.4.5)，h 积分毫不费力地消失了。实际上，这一过程中的一些微妙之处值得注

意。首先，我们必须问一问，在 h = exp(Φ)ho 中用于舍弃的保角不变性是真的有效，还是受

到量子反常现象的影响。在检验这一点时，重要的是要考虑到法迪夫-波波夫幽灵（Faddeev-

Popov ghosts），它是在施加轨距选择 h = exp(Φ)ho 时产生的。我们推迟到第 3 章再进行分

析，因为分析略带技术性。在此我们仅指出结果：保形不变性以及 (1.4.5) 的推导在并且仅在

26 维中成立。

当务之急是要求 ds² = exp(Φ)(dx² + dy²)

并不能完全唯一地固定重拟态不变性。世界片 S² 的全局保角变换保留了 h 的这种形式。相关

的保角变换最容易用 z=x+iy 来表示。根据这个复坐标，世界片度量为 ds² = exp(Φ)dz dz̄。如

果我们把坐标从 z 换成某个解析函数 ω(z)，使 dz = (∂z/∂ω)dω ，度量就变成了 ds² =

exp(Φ)|∂z/∂ω|² dωdw，这仍然是保角规。这就是轨距选择所允许的坐标变换 ds² =

exp(Φ)(dx² + dy²)。

实际上，ε 并非z 的任意解析函数，而是受到了强烈的限制，原因我们将在下文描述。虽然

我们对
根据对复数 z 平面的立体投影，弦世界图原本是球面 S²--我们可以把它看作由 z 平面和一个 "

无穷远点 "组成的黎曼球。我们必须要求无穷小坐标变换 δz= ε(z)在无穷远点没有极点。

坐标变换 δz = ε(z) 在新坐标系中变为 δz'=-δz/z²=-ε(z)/z² 。当且仅当ε(z)/z² 在 z → ∞ 时是有

限的，它在 z'=0 处是非正弦的。因此，ε 必须是二次多项式；共形规的选择没有消除的残余

对称性是无穷小的 δz = a + bz + cz² 形式，其中 a、b、c 是三个任意复数参数。

这些变换产生了一个与行列式为一的 2 x 2 复矩阵的 SL(2, C) 群同构的群。原来的重拟态群

的这个子群并没有被导致 (1.4.5) 的轨距修正所移除，因此我们必须在短期内完成轨距修正。

1.4.4 散射振幅的评估

实际上，在外部粒子是超光子的情况下，V₀=∫dz²exp(ik-X)并不难评估（1.4.5）。在这种情况
下，（1.4.5）简化为 #1.4.6# ，其中⟨〉代表相对于自由场路径定义的高斯量的期望值

积分，如 (1.4.5) 所示。要计算 (1.4.6)，请回顾高斯积分的标准公式（通过补全平方得到）

# 1.4.7 #
其中，J,(z) 是一个任意源，G(z,z') 是自由场 X* 的传播者。我们在 (1.4.6) 中处理的是特殊情

况 J'(z)=Σkδ²(z-zᵢ) 。因此，(1.4.6) 简化为

# 1.4.8 #
由于正常排序的原因，我们在（1.4.8）的乘积中不包含 i=j 的项。至于（1.4.8）中的传播者

，它是二维拉普拉斯方程的高斯函数，满足以下条件
# (1.4.9) #
这个方程的解是 #1.4.10#、

其中，μ 是一个任意的红外截止值，用于处理 (1.4.10) 中 q=0 处的发散。

由 (1.4.8) 可得 # 1.4.11 #。

μ 依赖性抵消了来自正常排序的类似依赖性，或者换句话说，抵消了来自 (1.4.8) 中 i=j 项的

类似依赖性。

等式 (1.4.11) 几乎就是散射振幅的最终形式。它表达的 M 点振幅不是路径积分，而是有限

变量的积分、
点 zᵢ，i=1,...,M，在这些点上外部弦被连接到世界板上。
然而，（1.4.11）中的积分是无限的。无穷大的原因是，如前所述
前面，我们在推导 (1.4.11) 时使用的量规固定并没有完全消除重拟态不变性，而是留下了残

余对称性 δz = a + bz + cz²，其中 z = x + iy。由于未能消除这一残余不变性，(1.4.11) 中的积

分包含了对 SL(2, C) 群无限体积的积分。余下的规整很容易

进行。SL(2, C)的三个复参数可用于将任意三个 zᵢ 设为任何所需值。选择 z1 = 0，z2 = 1，z3 =

∞ 是很方便的（也是传统的）。在 z3 → ∞ 的极限中，(1.4.11) 中的项 |z3-zj|^(k3kj/2) 可以去

掉。原因在于，当 |z3|-> ∞ 时，这些项与 j≠3 的 zj 无关，而且由于动量守恒，它们也与动量无

关。
# 1.4.12 #
其中 m² 是基态的质量平方。我们将直接舍弃这个因子，因为它抵消了 SL(2,C) 计固定中的迷

你法德夫-波波夫行列式。因此，散射振幅简化为
# 1.4.13 #
对于四点函数，可简化为 #1.4.14 #

这个四点函数由 Virasoro 首次提出，Shapiro 将其推广到 M 点振幅。

引力子的质量

(1.4.11) 并非明显的交叉对称；也就是说，它在矩 k₁，......，k₄ 的排列下不具有任何明显的对

称性。我们可以手动检验 (1.4.14) 是否是交叉对称的，前提是且仅当外部的超速子都在质量
壳上。

k²=8,j=1,...,4。

要理解这重要的一点，一个更令人满意的方法是注意到(1.4.8)虽然是不可接受的，因为它包

含了从(1.4.8)到SL(2,C)流形(1.4.14)的不需要的积分，但它是SL(2, C)规固定的，如果这个

SL(2, C)对称性真的有效，(1.4.8)将是交叉对称的。为了确保(1.4.14)是交叉对称的，我们必

须确保（至少在这个层面上）SL(2, C)不变性不存在异常。

SL(2, C)对称性的一个方面是，积分顶点算子V=∫d²σexp(ik-X(σ))应该是SL(2,C)不变的。毕竟

，SL(2, C)变换只是世界片重新参数化的一个特例，而V描述了弦从世界片上任何地方发射或

吸收的振幅，它在重新参数化时应该是不变的。SL(2, C)变换的一个特例是世界片z→tz（或

无限小&z = bz）的全局重定标。由于积分量度 d- 在这种缩放下会增加 t2 的因子，因此只有

当 e 以 t-2 的因子变换时，V. 才会不变。这相当于说，量子场算子 e 应该是二维算子。

乍一看，这似乎是不可能的，因为轨距固定弦作用（1.3.9）的全局尺度不变性要求 X* 是无量

纲的；经典地讲，如果 X 是无量纲的，那么 exp(ik-X) 也是无量纲的。唯一的希望就是找到算

子 exp(ik-X) 的合适量子反常维数。在自由场理论中找到反常维度是不寻常的，但事实证明，

对于 1+1 维的自由无自旋场，确实会出现这种情况。

确定算子 exp(ik-X) 的反常维度的最快方法是研究这个算子的两点函数。一般来说，在尺度不

变理论中的
对于某个常数 C，维数为 p 的算子 Y 的两点函数为⟨Y(z)Y(0)⟩=C|z|-²ᵖ。从上面的讨论可知，

算子 exp(ik-X) 的两点函数是⟨exp(ik-X(z))exp(ik-X(0))⟩= |z|^(-k²) 。

读取 exp(ik-X) 是一个（反常）维度为 k²/4 的算子。要求它的维数为二，就决定了迅子质量

平方为 m² = -k²=-8。事实上，只要 m²=-8 和动量守恒，Σkᵢ = 0，读者就可以很容易地检验出

M 点振幅 (1.4.8) 在全局尺度变换下是不变的。

我们在（1.4.13）中确定的是 n 个速子的散射振幅。这个振幅具有弦理论著名的出色的紫外

行为。更有理论意义的，或许是构建一个具有同样出色的紫外特性的引力子散射振幅。这可

以通过类似的方法实现。我们只需用引力子算子 V*"=∫d²σ∂X∂Xexp(ik-X)替换超速子算子 V

=∫d²σexp(ik-X)，然后

否则就要重复上述计算。所涉及的代数比在塔基扬子情况下复杂得多（但比计算场论中的引

力子-引力子散射简单得多！）。我们将把引力子-引力子散射的实际计算推迟到第 7 章，在

那里我们将在超弦理论中进行更有趣的计算。

自由。在这里，我们可以简单地停下来确定引力子质量。与超光子质量一样，它也可以通过

要求积分顶点算子的全局尺度不变性来确定。

这相当于说，W*"= ∂X∂Xexp(ik-X) 应该有两个维度。与超光子情况不同的是，由于存在两个

导数，W*"在经典层面上已经有了维数二，因此在这种情况下，我们希望 exp(ik-X) 的反常维

数为零。由于这个算子实际上具有反常维度 k²/4，要求它的反常维度为零就意味着 k² = 0，或

者换句话说，引力子是无质量的。这无疑是证明弦理论产生无质量自旋二粒子的最有效方法

之一。同样，我们可以看到，V=∫d²σ∂X∂Xexp(ik-X)的稀释子或V=∫d²σ∂X∂Xexp(ik-X)的反对称

张量一定是无质量的。这就完成了无质量粒子的列表（在封闭弦理论中），因为没有其他合

适的二维算子。其他可能的顶点算子对应于正质量平方的粒子。例如，顶点算子为

V=∫d²σ∂X∂X∂X∂Xexp(ik-X) 的自旋四粒子 Y 必须是 m² = +8 的大质量粒子。

1.5.1 重力场特性

在上述讨论中，引力子的无质量性出人意料地出现了，就像历史上的

情况一样。讨论中没有任何内容能证明人们有理由期待这种 "引力子 "

会以轨距不变的方式耦合，人们可能会猜想这将会是真的，仅仅因为

广义协方差是建立无质量自旋二粒子一致理论的少数可能方法之一。

# 唯一的其他可能性似乎是有一个无质量自旋二粒子，它具有线性规整不变性，只通过导数

相互作用耦合。这类似于无质量矢量介子，只通过导数相互作用（如磁矩耦合）与中性粒子

耦合。只具有导数耦合的无质量自旋二粒子理论似乎是不可规范化的，而且还存在某些其他
病理现象、
但并没有一个一般性定理能保证不存在这种一致的理论。

事实上，不难看出，在一般协变场论中，出现了类似于从一般协变推导出的沃德特性。

图 1.14
这里描绘的是 M 轨玻色子的散射振幅，其中一个以
⊗，我们选取一个纵向极化态。在 QED 中，这个振幅（a）会简单地消失，而在非阿贝尔理
论中，沃德特性的结构则更为复杂，如（b）所示。

让我们先回顾一下场论中沃德等式的性质。考虑 QED 中的 M 点函数

A_(k₁，k₂，......，k◻)适用于 M 个偏振 μ₁,μ₂,......,μ◻的外部光子。
和力矩 k₁，k₂，...，k◻。在 QED 中，如果其中一个光子具有纵向偏振（如图 1.14 中⊗ 所示）
，这个振幅就会消失（甚至脱壳）。因此，k*A_(k₁，k₂)
回顾一下如何证明这一点很有启发。M 点函数的写法是
的电流相关函数、
# 1.5.1 #
其中，J 是电磁电流，T 表示时间有序乘积，⟨ ⟩ 表示真空期望值。因为电磁电流是守恒的，

所以我们有
#1.5.2 #
由于电磁电流与自身相通，我们可以将导数带出 T 乘积，并写出
# 1.5.3 #
将后一个方程插入 (1.5.1)，并对 ∂_进行分式积分，就得到了沃德特性
# 1.5.4 #
在非阿贝尔情况下，沃德特性的结构更为复杂。粗略地说，电磁电流被杨-米尔斯电流 J| 所取

代，它们虽然仍然守恒，但并不互相换算。因此，在试图从 T 乘积内部移除导数 ∂_ 时，会产

生涉及等时换向器的额外项。

因此，带有一个纵向偏振矢量的 M 点函数并不是零外壳，而是用某些非物理的 (M - 1) 点函

数来表示的，在这些函数中，带有纵向偏振的外部胶子与其他胶子之一发生了收缩，如图

所示。

1.14.要证明这些 (M - 1) 点函数在壳上消失，还需要进一步的分析。

现在让我们勾勒一下弦理论中如何产生类似沃德特性的基本思想。在（1.4.5）中，一个动量

为 k*、极化为 ζ_ 的外部引力子可以通过插入
# (1.5.5) #
(这里，正如我们在评估弦散射振幅时一样，我们将弦的世界图立体投影到复 Z 平面上，此时

的积分量为 d z d z ̄）。我们希望证明，如果ζ_是纵向极化张量ζ=kζ+kζ，振幅就会消失。我们

只需考虑用 k_ζ_ 代替 ζ 的情况，因为其他项也可以类似处理。在 ζ=kζ+kζ 的情况下，我们得

到
# 1.5.6 #
通过分部积分并摒弃总发散（由于我们实际上是对一个紧凑的弦世界薄片进行积分，所以总发

散消失了），结果简化为
# 1.5.7 #

现在，(1+1)维量子场论的场方程是--在我们使用的共形规中，简单地说，∂²X/∂z∂z̄ =0。如果我

们有权使用(1.4.5)路径积分内的场方程，我们就会得出V=0或具有纵向极化的引力子的结论。

试图在路径积分中使用运动方程，这一步类似于在QED中宣称,⟨_T(JJ...J)⟩= 0，因为.∂_J*= 0

。特别是，在弦理论中，插入∂²X/∂z∂z̄的路径积分并不为零，而是会产生类似于以下沃德特性中

的等时换元项：......∂_J*= 0。
杨-米尔斯理论

在杨-米尔斯理论中，我们可以通过略带技术性的分析证明，如果所有其他外线都在质量壳上

，这些等时换向项就会消失。等时换元项并不取决于全部运动可变子集，而只取决于一个子

集（等时换元
分别由动量 kᵢ 和 k◻的两条外线收缩而成、
将取决于 kᵢ +k◻ 而不是 kᵢ kᵢ 和 k◻）。

一个只依赖于运动变量子集的振幅，不可能具有弦理论中已知的壳上散射振幅所具有的类似

雷格的渐近行为。因此，当所有外线都在壳上时，等时换向项必须消失。我们刚才的论证通

常被称为 "取消的传播者 "论证，我们在第 7 章再讨论这个问题时会更清楚其中的原因。

纵向引力子的解耦只是广义相对论的条件之一，它来自于基本的广义协方差。广义相对论意

味着，极化SAw和momen tum的引力子不仅必须服从k² = 0，还必须服从k "ζ_ = ζ，'= 0。问

题的实质在于，在确定算子V= 的维度时，必须要考虑到这一点。

∫d²σζ(∂X/∂σ) (∂X/∂σ)exp(ik-X) 我们只是增加了 ζ(∂X/∂σ) (∂X/∂σ) 的维数（2）和 exp(ik-X) 的

维数（k²/4）。一般来说，这是不成立的。在同一点上的局部算子 A 和 B 的乘积 A(σ) B(σ) 的

维度并不总是 A 和 B 的维度之和，这是因为算子乘积 A(σ) B(σ) 中存在短距离奇异性，必须

通过正常排序来消除这些奇异性，才能定义 AB 的含义。在引力子顶点算子的情况下，

A=ζ(∂X/∂σ) (∂X/∂σ)，B= exp(ik-X)，如果ζ,'=0，算子 A 就不存在正常排序的模糊性（这将阻

止它具有定维二维），如果 kζ=0 ，算子积 AB 就不存在奇异性。如果符合上述条件，∫d²σAB

是一个可接受的顶点算子，条件是 k²=0 。这一点，连同我们前面关于 "如果遵守沃德标识，

就不可能得到保角不变顶点算子 "的讨论，说明了（在这个形式主义中）弦理论是如何恢复广

义相对论中的广义协变条件的。
图 1.15.开弦散射的 "平面 "世界图简图（4）h 可以保角地映射到（b）的圆盘或（c）的康普尔

平面的上半部分。无论哪种情况，外部开弦状态都会以插入边界的形式出现；这些状态在（b

）和（c）中用符号表示。

现在，让我们抛开闭合弦的话题，讨论如何将类似的想法应用于开放弦。在图 1.15 中，我们

勾画了树级图的三个等效表示，用于表示开放弦的散射。特别方便的是图 1.15b 的图示，世

界片被映射到圆盘或上半平面上，外部弦作为边界上的有限点出现。由于外部开放弦只插入

世界片的 U 边界，它的插入由形式为 V = ∫dτ√h_U(τ)的算子描述，其中是世界片边界上的参

数a。

hrr → exp(Φ)hrr 现在要求 U 的维数是一维（而不是封闭弦的二维）。与闭合弦一样，我们写

U=Wexp(ik-X) 并尝试为 W 选择 X* 的多项式及其导数。

对于自旋为零的粒子，我们可以取 W=1；这就需要 k²=2*，因此我们面对的是质量平方为-2

的超速粒子。 对于自旋为一的粒子，我们可以尝试取 dX/dr。这就需要 k 0，因此我们面对的

是自旋为一的无屁股 "光子"。W 的其他选择对应于正质量平方的粒子。

(*) 根据传播者可以确定，插入开放弦世界片边界的算子exp(ikX)的反常维度为k²/2。这比被视

为封闭弦顶点算子并插入内部点的算子 exp(ikX) 的反常维度大两倍。出现两个系数的原因是

，当σ点和σ'点是边界点时，由于 "图像电荷 "的贡献，传播子⟨X*(σ)X"(σ') ⟩中的短距离奇异性

是两倍大。

开弦散射振幅的评估类似于之前对闭合弦的分析。例如，为了评估超速子散射的 M 点作用，

我们需要将世界片与上半平面进行保角映射，如图 1.15c 所示。用插入的

V(k) = ∫ exp(ikX) (1.4.6) 和 (1.4.11) 的类比为 # 1.5.8

#
其中 g 是耦合常数。与闭弦情况一样，(1.5.8) 也需要做一些修改，因为世界片到上半平面的

共形映射并不完全唯一。残余对称群包括上半平面到自身的共形映射。在 z=x+iy 的情况下，

这些映射由 δz = a +bz + cz² 生成，其中 a、b 和 c 必须是实数，这样上半平面的边界（实轴

）就映射到了它本身。

这个组的三个实参数可以用来设置任意三个积分变量的规定值（就像在闭弦情况下，散射振幅

积分表示中的组参数和积分变量都是复数）。

1.5.3 开放弦的内部对称
在尝试修正这个残余的规整不变性之前，让我们先讨论一下 (1.5.8) 中 xᵢ 上积分的适当范围是什

么。对于闭弦，基本的重拟态不变性不允许我们对外部闭弦插入弦世界表的位置施加任何自

然限制。对于开放弦，情况就不同了。图 1.15b 中按某种顺序出现了 Mf 个外部开放弦，例如

123... M。旋转世界图谱可以将 1 2 3...M 变成比如 2 3 4...M 1，但任何重新参数化都无法将 1

2 3...M变成2 1 3......M。因此，外部弦出现的循环顺序在重定性下是不变的，因此尝试用它来

定义振幅是有意义的。
的 xᵢ 值进行积分。
给定循环顺序。

图 1.16我们可以假设一个定向开弦的一端有一个 "夸克"，另一端有一个 "反夸克"，如（a）

所示。可以假设它们分别在 U（n）对称群的 n 和表示中变换。当ope弦连接时，夸克和反夸

克的电荷必须匹配，如（8）所示。与一般平面开弦振幅相关的群论因子（如（c）所示）为
tr (λ₁λ₂...λ◻).在更一般的弦图中，如 (d) 所示，模拟群论因子是
为每个边界组件签名。

这种可能性与一些非常重要的物理学原理有关。与封闭弦不同，开放弦有两个特殊的点，即

端点。例如，对于定向开弦，我们可以假设弦的一端有一个夸克，另一端有一个 "反夸克"。

我们引入一个 U(n) 对称群，它只作用于这些 "夸克 "和 "反夸克"，而不作用于任何其他自由度

分别在 U(n) 的 n 和表示中。当弦连接时，我们要求电荷以图 1.16b 所示的方式匹配。张量

乘 n⊗ñ 是 U(n) 的邻接表示，因此一个一端为 "夸克"、另一端为 "反夸克 "的开放弦，其电
荷数为

这种生成器具体来说就是一个 n x n 矩阵 λᶦ◻，其 i 和 j 指数分别对应于夸克和反夸克的 U(n)

态。

如果一个圆盘上按 1 2 3......的循环顺序连接了 M 条外部弦线，那么图中的规则就是： 1 2

3.......M，那么图中的规则

1.16b 中说，每个外部弦的 "反夸克 "指数都要与下一个外部弦的 "夸克 "指数进行收缩；这在

图 1.16c 中产生了群论因子
# 1.5.9 #
更一般地说，我们可以考虑一个任意的弦世界薄片，它的边界可能有不止一个分量，如图

1.16d 所示。对于每个边界分量，我们都包含一个群论因子
tr（λ₁λ₂......λ◻），在该边界上插入的所有开放弦上的乘积为
该因子被称为 Chan-Paton 因子。这个因子被称为 Chan-Paton 因子。Chan-Paton 因子没有类
似于
尽管内部对称群可能以一种更微妙的方式出现在封闭弦上，我们将在第 6 章中讨论。

1.5.4 恢复威尼斯振幅
现在回到 (1.5.8)，让我们计算群论因子 tr(λ₁λ₂...λ◻) 的系数，或者换句话说，与循环排序 1 2
3...M 对应的振幅。M 的外线所对应的振幅。我们必须消除残余的 SL(2, R) 重拟态对称性。A
方便的方法是利用 SL(2, R) 不变性来固定 x1 = 0、xM-1 = 1、xM = 2、xM = 3、xM = 4、xM =
5、xM = 6、xM = 7、xM = 8、xM = 9、xM = 10。

∞.因此，计算 (1.5.8) 只需要知道上半平面的自由场传播者。这可以通过图像法轻松确定。在

整个平面上，传播者先前被确定为 G(z, z') = In(z-z')；在上半平面上，我们必须包含一个像电

荷，以便 G 满足边界条件，即当 z(+iy) 为实数时，它对实轴的法线导数消失，也就是说、

#1.5.10#
其解为 G̃（z,z'）=ln（z-z'）+ln（z-z̄' ），其中 z̄' 为像点。如果 z'=(x,y)，则

z̄'=(x,-y).在 (1.5.8) 中，我们实际需要的是都在实轴上的两点之间的传播者，即 G̃(x,x')=2ln(x-

x')。考虑到这个二因子，对 (1.5.8) 进行求值可以得到

# 1.5.11 #
这是科巴-尼尔森（Koba-Nielsen）M粒子对威尼斯振幅的概括。对于四点函数，利用（1.1.1

）可简化为 # 1.5.12 #

这就是最初的威尼斯振幅。

图 1.17在 (a) 中，我们勾画了一个以封闭弦和开放弦作为外部粒子的弦图。经过保角映射将

外部弦投影到有限点后，开放弦由插入世界片边界的顶点算子表示，封闭弦由插入内部的顶

点算子表示，如（b）所示。

更一般地说，我们可以计算初态和终态中同时存在开弦和闭弦的散射振幅。例如，在图 1.17a

中，我们勾画了一个包含外部开弦和闭弦的弦图，它可以保角映射到上半平面。映射后，外部

开弦由在实轴上积分的顶点算子表示（有一定的循环次序），而闭弦则由在整个上半平面上积

分的顶点算子表示。如图 1.17b 所示。

1.5.5 与 QCD 的比较

在这次讨论中，我们只是从帽子里拿出了'陈-帕顿因子'，指出它们并没有以任何明显的方式

破坏理论的一致性。然而，从历史上看，Chan-Paton 因子在试图将弦理论解释为强子理论的

过程中发挥了重要作用。事实上，单位陈-帕顿对称群被解释为我们现在所说的强相互作用的

"味道群"。例如，有三种 "味道"、

也就是说，如果弦末端的夸克有三种类型（比如 u、d、s），那么 Chan-Paton 群就是

U(3)≃SU(3) × U(1)。这里的SU(3)对应于八重方式的对称性。

在这一模型的历史解释中，开放的弦对应于介子，一端是夸克，另一端是反夸克。弦 "是将夸

克和反夸克固定在一起的某种力。封闭的弦就是现在所说的 "胶球"，它是由把夸克和反夸克

结合在一起的力载体构成的中性状态。当然，这个模型也存在一些问题。首先，存在超光子
；其次，似乎不可能引入明确的U(3)对称性破缺而不出现病态；第三，存在令人尴尬的无质

量粒子，它们在强相互作用世界中没有表亲。更重要的是，尽管我们可能想用U(1)因子来解

释
作为重子数的 Chan-Paton 组 U(3) SU(3) × U(1)，该模型令人遗憾地缺少任何种类的重子或

费米子。

1971 年，拉蒙做出了一个有趣的尝试，即在模型中加入费米子。然而，这并没有导致强相互

作用理论，而是（在经历了许多曲折之后）导致了超对称、超引力和超弦。尽管弦理论作为

强相互作用理论经历了许多失败，但开放弦与现代将介子视为由 QCD 通量管固定在一起的 q

对之间存在着惊人的相似性。就弦理论的发明不仅仅是一个幸运的意外而言，这种类比正是

强子物理学启发弦理论发明的原因。弦图在世界片拓扑学方面的分类实际上与 QCD 有着密切

的对应关系。

如果我们把 QCD 的色组从 SU(3) 推广到 SU(n)，就有可能认为 SU(n) 理论应该以 1/n 的幂

级数展开，这与弦理论中的拓扑展开非常相似。QCD 的大 n 极限涉及图 1.18 所示的平面图

。迄今为止，QCD 中 1/n 扩展的数学问题一直难以解决--就像所有其他定量理解 QCD 动力学

方面的方法一样。尽管如此，我们仍然希望弦理论的进展有朝一日能够揭示 QCD 中的 1/n 展

开。

图 1.18 QCD 大 n 极限的介子散射由 "平面人图 "描述，夸克在边界上。用味道矩阵 A 来描述

e 的味道态，M 介子在 me 阶的平面散射振幅为 123...M涉及每个夸克与开采介子的反夸克的

收缩，因此涉及

Chan-Paton 因子 tr(λ1λ2...λM)。

图 1.19.如果 "剪切 "一个具有双球 S² 拓扑的闭弦世界图，如（a）所示，我们会发现一个包

含单根闭弦的中间状态。(b)中的anar开弦图也可以被剪切成单根开弦。

1.5.6 单一性和重力

弦理论无疑是提出相对论性量子理论的一种不同寻常的方法，其后果之一是，虽然我们所勾

勒的计算散射振幅的规则是洛伦兹不变的，但遵守统一性并不太明显，事实上，在研究统一

性时，我们会发现许多意外。其中包括对十维或二十六维的限制，我们将在接下来的章节中

对此做适当的说明。不过，有一个惊喜可以在此轻松描述。

考虑一个复弦散射过程，弦 1 2 3...M 处于初始状态，弦 1' 2' 3'...M' 处于终态。M' 处于终态

。在尝试给出正确的统一性证明之前，一个初步步骤是询问每个给定的弦图，在 1 2 3...M →

1' 2'...M' 反应中会出现哪些中间状态。

回答这个问题的方法是以某种方式 "切割 "图表，将初始状态和最终状态分开。切割后，中间

状态就显现出来了。例如，如果 "剪切 "图 1.19a 中的闭弦树状图，将初始态与最终态分开，

则剪切是沿着一个圆进行的，因此中间态由单根闭弦组成。因此，根据该图计算出的振幅奇

异点只有单粒子
(闭弦）极。因此，这个图被称为树状图。同样，对图 1.19b 的开弦图进行 "剪切"，就会发现

在中间状态传播的是一根开弦。当然，这些启发式图示只是讨论单元性的一个起点，我们将

在第 7 章讨论这个问题。

图 1.20.闭弦和开弦的基本耦合简图见 (a)。从 (b) 图中可以看出，三根闭弦的耦合 κ 和一根

闭弦与两根开弦的耦合 κ' 是相等的。

在继续讨论一个会给出更惊人答案的情况之前，让我们先讨论一下弦图中的耦合常数。到目

前为止，我们已经为三个封闭弦的相互作用引入了一个任意耦合常数g，为三个开放弦的相互

作用引入了一个任意耦合常数g。从讨论来看，它们似乎分别是引力耦合和杨-米尔斯耦合的

概括，而且似乎是相互独立的。也可以如图 1.20a 所示，考虑一个闭弦与一对开弦耦合的过

程。我们称这个耦合常数为 κ'。在广义相对论中κ=κ'，因为广义协变要求引力子（闭弦）普

遍地耦合到

无论它是以引力子（闭弦）还是物质（开弦）的形式存在，能量动量都是如此。我们对弦论

的广义协方差的理解还不足以在弦论中做出类似的论证，但我们可以从单位性证明κ=κ'。

请看图 1.20b 所示的带有两个外部开弦和两个外部闭弦的平面图。该图的一个通道中有一个

闭弦极，交叉通道中有一个开弦极。闭弦极的残差应为 κκ'，而开弦极的残差应为 κ'²；因此，

我们不得不按照广义相对论的类比方法，取 κ=κ'。

图 1.21.单环开弦图可以像（a）那样剪切，以显示中间状态的两根开弦，或者像（b）那样

剪切，以显示一根闭弦。

现在，在点粒子的场论中，引力耦合和杨-米尔斯耦合是完全相互独立的，因此场论不会提

出闭弦耦合κ和开弦耦合g之间的任何关系。图 1.21 所示的带有外部开弦的单环图可以以完

全不等同的方式切割，从而显示出中间状态下的一对开弦或单个闭弦。因此，这一个振幅既

有图 1.21a 所示的双粒子切割，也有图 1.21b 所示的单粒子极点。切点系数

应该是 g⁴，而极点的残差应该是 κ'²（或 κ²，因为我们知道它们是
相等），因此单位性要求 κ ~ g² 的关系。引力与
杨-米尔斯耦合在点粒子场论中没有真正的对应物。

点粒子的量子场论在引力存在的情况下似乎是不一致的；无论如何（唯一的例外是（1+1）维

的传播弦理论！），在构建无穷大的一般协变量子场论方面进展甚微。我们现在已经知道，

弦理论恰恰相反。将引力纳入弦理论不仅是可能的，而且是必要的。不描述引力的弦理论只
能是开放弦理论。在
在经典层面（树状图），这样的理论没有任何问题，但在一环层面，我们会发现一个引力子

极。图 1.21b 中的引力子极意味着，在一环层次上根本不存在没有引力的单元弦理论。

1.6 结论

弦理论的发明是为了解决强相互作用问题，但它并不是正确的理论。相反，弦理论对以下方

面做出了卓越的概括

杨-米尔斯理论和引力。特别是，超对称弦理论或超弦理论似乎完全没有困扰量子场引力理论

的不一致性。

我们在这一章的引言中试图表达对弦理论的一些概念，为了简单起见，我们集中讨论了玻色

情况。在本书的其余部分，我们将尝试系统阐述这一庞大课题的一些主要方法。

杨-米尔斯理论和广义相对论的弦理论广义化的逻辑基础仍然是个谜，因此，除其他原因外，

未来几十年很可能是智力探险的特殊时期。