弦理论

1. 从点粒子到弦

广义相对论用动态的时空度规描述引力，量子场论则描述涨落的场及其粒子。量子化度规的小涨落，作为低能有效理论是可行的；但微扰阶数越高，所需的高阶导数反项也越多。不可重整化并非意味着所有低能预言都无效，而是限制了理论向任意短距离的外推。弦理论试图提供更完整的微观描述。

它的基本微扰对象是一维的弦，其运动历史扫出二维世界面；点粒子的历史则是世界线。不同量子激发具有不同质量和自旋，适当的闭弦谱包含具有引力相互作用的无质量自旋2态。这是研究动机，却不是自然界选择了弦理论的证据。

世界面描述弦的历史，并不是给时空额外增加两个维度。

取 $\hslash =c=1$，弦长尺度 ${\ell }_s=\sqrt{{\alpha }^{\prime }}$，张力 $T=1/(2\pi {\alpha }^{\prime })$。张力是单位长度的能量，所以 ${\alpha }^{\prime }$ 的量纲是长度平方。无量纲耦合 $g_s$ 控制弦的分裂、合并以及世界面拓扑的展开，与张力不同。基本弦也不是由原子组成的弹性细线。Tong的讲义介绍了这些起点。1

2. 弦的经典动力学

南部—后藤作用量

在符号约定为 $(-,+,\dots ,+)$ 的平直时空中，$X^{\mu }(\tau ,\sigma )$ 指定弦的位置，诱导度规 ${\gamma }_{ab}$ 测量世界面上的距离。

$${\gamma }_{ab}={\partial }_a{X}^{\mu }{\partial }_b{X}^{\nu }{\eta }_{\mu \nu },S_{\mathrm{NG}}=-T\int d^2\sigma \sqrt{-\det {\gamma }_{ab}}.$$

行列式把坐标小块转为物理面积，负号反映世界面是类时曲面。作用量的驻值条件给出极小曲面的相对论类似物，而不是令弦在每个瞬间的空间长度最短。

波利亚科夫作用量

辅助度规 $h_{ab}$ 让作用量成为导数的二次式。对这一独立度规变分，得到世界面应力张量约束：

$$S_{\mathrm{P}}=-\frac{T}{2}\int d^2\sigma \sqrt{-h}{h}^{ab}{\partial }_a{X}^{\mu }{\partial }_b{X}_{\mu },T_{ab}={\gamma }_{ab}-\frac{1}{2}{h}_{ab}{h}^{cd}{\gamma }_{cd}=0.$$

对于非退化曲面，这使 $h_{ab}$ 与 ${\gamma }_{ab}$ 成比例，代回便恢复南部—后藤作用量。比例因子仍然自由，因为二维局部外尔变换 $h_{ab}\mapsto e^{2\omega }{h}_{ab}$ 中，面积元和逆度规的变化相消。坐标重参数化与外尔对称性去除了冗余描述。这是经典等价；量子测度和反常仍须单独处理。2

3. 量子化与模式展开

在保留约束的同时，局部选择共形规范 $h_{ab}={\eta }_{ab}$。平直靶时空中的方程变为

$$({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0.$$

这是世界面上的波动方程，不是说时空只有二维。世界面的全局模参数还需另行处理。

这些是模式轮廓的示意图，不是量子弦的照片。

模式展开（闭弦）：

对非紧致坐标取 $0\le \sigma <2\pi$，并施加周期边界条件：

$$X^{\mu }=x^{\mu }+{\alpha }^{\prime }{p}^{\mu }\tau +i\sqrt{\frac{{\alpha }^{\prime }}{2}}\sum _{n\ne 0}\frac{1}{n}\left({\alpha }_n^{\mu }{e}^{-in(\tau -\sigma )}+{\tilde{\alpha }}_n^{\mu }{e}^{-in(\tau +\sigma )}\right).$$

前几项描述质心，两组振子沿相反方向传播。周期性要求 $n$ 为整数。若采用周期 $\pi$，零模和指数中的因子2会改变位置，但物理不变。紧致坐标还允许绕数。

维拉索罗约束

$T_{ab}=0$ 的傅里叶分量在经典理论中满足 $L_n={\tilde{L}}_n=0$。量子代数出现中心项。在玻色弦的协变量子化中，物理态满足

$$L_n|\psi ⟩=0(n>0),(L_0-a)|\psi ⟩=0.$$

带波浪号的扇区有对应条件，不能把所有量子生成元都作为算符置零。物质场和规范固定鬼场的共形反常必须相消：平直玻色弦要求 $D-26=0$，标准临界超弦则有 $D=10$。弯曲背景还必须满足世界面贝塔函数为零。经典外尔对称性本身不足以保证一致的量子共形场论。3 4

4. 质量谱

对未紧致化的闭合玻色弦，两个零模条件给出

$$L_0=\frac{{\alpha }^{\prime }{p}^2}{4}+N,{\tilde{L}}_0=\frac{{\alpha }^{\prime }{p}^2}{4}+\tilde{N},p^2=-M^2,$$ $$N=\tilde{N},M^2=\frac{2}{{\alpha }^{\prime }}(N+\tilde{N}-2a),a=1.$$

$N$ 计量振子激发能量，模式 $n$ 的权重为 $n$，并非数弦的条数。在 $(N,\tilde{N})=(0,0)$ 时，$M^2=-4/{\alpha }^{\prime }$ 表示该玻色真空不稳定；快子不是可用的超光速信使。$(1,1)$ 层无质量，$(2,2)$ 层有 $M=2/{\ell }_s$。这一模型计算并不预言电子或质子的质量。超弦的不同扇区具有不同截距与投影。3

特殊态：

$(1,1)$ 层的两个横向极化指标分解为对称无迹张量（引力子）、反对称张量（$B$ 场）及标量（伸缩子）。开弦能提供无质量矢量玻色子，但闭合杂化弦也有规范玻色子；规范相互作用并非只能来自开弦。

引力不只是自旋标签。在伸缩子为常数且 $B$ 场为零时，世界面量子一致性在 ${\alpha }^{\prime }$ 的最低阶要求

$${\beta }_{\mu \nu }^G={\alpha }^{\prime }{R}_{\mu \nu }+O({\alpha }^{\prime 2})=0.$$

首项就是真空爱因斯坦方程 $R_{\mu \nu }=0$。当曲率半径接近 ${\ell }_s$ 时，高阶曲率修正变得重要，额外场也会加入新项。这是有控制的低能关系，不是所有奇点都已消除的证明。5

5. 五种超弦理论

熟悉的五种理论分类的是十维超对称微扰弦理论，而非全部可能的弦背景。世界面费米子与一致的投影共同产生无快子的超对称谱，仅仅加入费米子并不保证这一点。超对称性在这里是理论构造的性质，并非已在自然界观测到的对称性。

(1) I 型

无定向开弦与闭弦，具有16个时空超荷。反常相消选出通常称为 $SO(32)$ 的规范代数。规范自由度位于开弦扇区，引力位于闭弦扇区。

(2) IIA 型

有定向闭弦，共32个超荷，分属相反的时空手征。通常的无质量描述包含度规、伸缩子、$B$ 场以及拉蒙—拉蒙势 $C_1,C_3$，后者的场强为偶数阶形式。

(3) IIB 型

有定向闭弦，32个超荷具有相同手征。拉蒙—拉蒙势 $C_0,C_2,C_4$ 的场强为奇数阶，其中五形式场强自对偶。势的阶数与场强的阶数不同。

(4) $SO(32)$ 杂化弦

左行玻色扇区和右行超对称扇区共用十个靶时空坐标。左行部分额外的中心荷来自内部自由度，不是额外十六个宏观空间维度。规范群习惯称 $SO(32)$，更准确的整体形式为 $\mathrm{Spin}(32)/{\mathbb{Z}}_2$。

(5) $E_8\times E_8$ 杂化弦

另一种一致的规范格点给出 $E_8\times E_8$，同样有16个超荷。紧致化可以产生手征规范理论，但这个名称不能唯一确定观测到的粒子与耦合。理论还包含微扰弦之外的延展对象：D膜是开弦端点可附着的动态对象，在II型理论中携带拉蒙—拉蒙荷。6 13

6. M 理论与对偶

对偶把不同描述的观测量等同起来，常使困难问题转为可计算的问题。T对偶交换紧致动量与绕数，S对偶连接某些弱耦合和强耦合区域，并非每个模型都具有简单的 $g_s\mapsto 1/g_s$ 对称性。

强耦合IIA型出现十一维解释，满足 $R_{11}=g_s{\ell }_s$。圆随耦合增大而变大，低能极限是十一维超引力。这些关系支持M理论框架，却不提供适用于任意背景的统一完整表述，也不意味着实验发现了第十一个维度。6

紧致化：可以亲手计算的圆

令 $Y\sim Y+2\pi R$。波函数单值要求 $e^{ip(Y+2\pi R)}=e^{ipY}$，因此 $p=n/R$，其中 $n$ 为整数。闭弦还可绕圆 $w$ 圈，张力乘长度给出绕行能量 $T(2\pi R|w|)=|w|R/{\alpha }^{\prime }$。

$$p_L=\frac{n}{R}+\frac{wR}{{\alpha }^{\prime }},p_R=\frac{n}{R}-\frac{wR}{{\alpha }^{\prime }},$$ $$M^2={\left(\frac{n}{R}\right)}^2+{\left(\frac{wR}{{\alpha }^{\prime }}\right)}^2+\frac{2}{{\alpha }^{\prime }}(N+\tilde{N}-2),N-\tilde{N}-nw=0.$$ $$M^2=p_R^2+\frac{4}{{\alpha }^{\prime }}(N-1)=p_L^2+\frac{4}{{\alpha }^{\prime }}(\tilde{N}-1).$$

这里 $Y(\sigma +2\pi )=Y(\sigma )+2\pi wR$，$N$ 数此前的 ${\alpha }_n$ 激发，$\tilde{N}$ 数 ${\tilde{\alpha }}_n$ 激发。最后一个等式固定了能级匹配的符号约定。交换 $R\leftrightarrow {\alpha }^{\prime }/R$ 及 $n\leftrightarrow w$，谱不变。在 $R=2{\ell }_s$ 时，单位动量贡献为 $1/(2{\ell }_s)$，单位绕数贡献为 $2/{\ell }_s$；在对偶半径 ${\ell }_s/2$ 时二者互换。这些是质量公式中的贡献，不一定是状态的总质量。7

蓝色为动量贡献 $1/R$，橙色为绕数贡献 $R/{\alpha }^{\prime }$。这是计算示意图，并非额外维度的观测图像。

构建四维模型时，六个紧致空间维度具有几何、通量，有时还有膜。它们的大小与形状成为称为模场的标量场。稳定化很重要：自由变化的模场可能改变耦合，或传递尚未观测到的长程力。“小到看不见”并不是完整的紧致化模型。

7. AdS/CFT 对应

马尔达塞纳最充分研究的例子，将 ${\mathrm{AdS}}_5\times S^5$ 上的IIB型弦与四维 $\mathcal{N}=4$ 超对称杨—米尔斯理论联系起来。AdS的宇宙学常数为负。边界理论没有动态引力，却被认为编码了内部的引力系统。8

$$Z_{\mathrm{string}}[\varphi {|}_{\partial }={\varphi }_0]={⟨\exp \left(\int d^{d}x{\varphi }_0\mathcal{O}\right)⟩}_{\mathrm{CFT}}.$$

边界值 ${\varphi }_0$ 是算符 $\mathcal{O}$ 的源，对源求导产生关联函数。在此对应下，边界理论为这个特定体空间提供非微扰定义，并不是所有全息对偶的一般性证明。9

几何何时成为有用的近似

令 $N_c$ 为 $SU(N_c)$ 规范理论的色数，$L$ 为AdS半径。常用归一化给出

$$\lambda =g_{\mathrm{YM}}^2{N}_c,\frac{L^4}{{\alpha }^{\prime 2}}=\lambda ,g_s=\frac{\lambda }{4\pi N_c}.$$

大的 't Hooft耦合 $\lambda$ 抑制弦长修正；固定 $\lambda$ 时足够大的 $N_c$ 抑制弦圈修正。经典超引力需要两个条件。因此强耦合规范物理可对应弱曲率引力，而弱耦合规范理论通常没有同样简单的几何近似。

圆盘是空间切片示意图。边界源和内部场描述匹配的观测量。$\lambda \gg 1$ 与 $g_s\ll 1$ 控制不同修正，均不是实验证据。

8. 挑战与未解问题

三个问题必须分开：构造是否一致？对偶是否连接两个构造？它们是否描述我们的宇宙？前两个成功不能回答第三个。我们的宇宙不是上面的精确AdS真空，该规范理论也不是标准模型。

景观指众多候选紧致化与真空。$10^{500}$ 等数值是依赖模型的估计，不是所有物理宇宙的确定总数。计算通量选择的数量不能解决稳定性、宇宙学选择或概率问题。Denef与Douglas明确给出了具体计数问题及其假设。10

证据说明什么，又不说明什么

Strominger与Vafa对一类特殊的五维极端超对称黑洞计算受保护态的数量，重现了贝肯斯坦—霍金熵的主导项。这将量子态与视界面积联系起来，却不是直接数出了观测到的天体黑洞状态，也不是一般蒸发过程的完整解释。11

Cheung等人在2026年发表的工作，在树级动力学、高能超软行为和留数零点最少等假设下，推导出特定弦散射振幅。这是针对那类振幅的结果，不是无假设地推导我们的宇宙，也不是实验确认。12

检验需要具体模型：新粒子、紧致化尺度、宇宙弦或宇宙学特征都依赖额外选择。作为宏观缺陷的宇宙弦不一定是基本弦。仅发现超对称性或额外维度无法唯一选择弦理论；排除某个可达参数区间也不等于排除所有紧致化。弦尺度并不普遍固定为四维普朗克尺度。

研究现状

核查截至2026年10月13日：弦理论是量子引力的候选框架，拥有强有力的计算成果与对偶证据，但尚无确立的直接实验确认表明基本弦描述了自然。理解数学成果时应保留其假设，评判宇宙学主张时应看可观测的预言。未解决的任务，是将受控的真空和宇宙学历史连接到独特、可检验的物理现象。