弦理論

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日：弦理論是量子重力的候選框架，擁有強有力的計算成果與對偶證據，但尚無確立的直接實驗確認表明基本弦描述了自然。理解數學成果時應保留其假設，評判宇宙學主張時應看可觀測的預言。未解決的任務，是將受控的真空和宇宙學歷史連接到獨特、可檢驗的物理現象。