弦理論

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$ 場とラモン–ラモン（RR）ポテンシャル $C_1,C_3$ が含まれ、その場の強さは偶数次数である。

(3) IIB型

向き付けのある閉弦で、同じカイラリティを持つ計32個の超対称性生成子がある。RRポテンシャル $C_0,C_2,C_4$ の場の強さは奇数次数となり、5形式の場の強さは自己双対である。ポテンシャルと場の強さの次数を混同してはいけない。

(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型理論ではRR電荷を持つ。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}$ が必要なので、整数 $n$ を使って $p=n/R$ となる。閉弦は円に $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日まで確認：弦理論は、強力な計算結果と双対性を支持する理論的証拠を持つ量子重力の候補である。ただし、基本弦が自然を記述するという確立した直接的実験証拠はない。数学的成果はその仮定とともに読み、宇宙論的な主張は観測可能な予言で評価する必要がある。制御された真空と宇宙の歴史を、特徴的で検証可能な物理へ結び付けることが未解決の課題である。