超ひも理論は何を克服しようとしていて、何が未解決なのか

問いは木下が出したもので、答えは Claude Code と調べて書いたものです。

ここまでいろいろ物理を勉強してきたけど、いわゆる「超ひも理論」ってどこをどういうふうに克服するための理論で、分野はなにで、どういうことを構成したくて、なにを要請としてどういう物理を構成しようとしていて、現状での課題はどこにあるの？

答え：一般相対論を素直に量子化すると繰り込めない、という問題を「基本対象を点でなく1次元の弦にする」ことで回避し、重力を含む全相互作用を1つの無矛盾な量子論にまとめようとする理論である。分野は素粒子論（高エネルギー理論）の量子重力。最大の課題は、低エネルギーの私たちの世界を一意に予言できないこと（ランドスケープ問題）と、実験で検証できないことである

克服したいもの。 重力の結合定数 $G$ は自然単位系で質量次元 $-2$ を持つ（$G = 1/M_{\mathrm{Pl}}^2$）。次元解析から、ループの次数が上がるごとに $E^2/M_{\mathrm{Pl}}^2$ の因子がつき、発散を打ち消すのに無限個の相殺項が要る。これが「繰り込み不可能」の意味で、実際に一般相対論は2ループで取り除けない発散を持つ（Goroff–Sagnotti, 1986）。プランクスケール $M_{\mathrm{Pl}} \sim 10^{19}\,\mathrm{GeV}$ では予言力が消える。発散の根は、相互作用が時空の一点で起こる（点粒子の頂点）ことにある。ほかに、ブラックホールの情報問題・特異点、標準模型の任意パラメータ（約19個）とゲージ群の由来も動機である。

要請と構成。 基本対象を長さ $\ell_s$ の弦とし、それが掃く2次元の世界面の面積を作用にとる（南部–後藤作用、扱いやすい形が Polyakov 作用）。要請の核心は「世界面の共形対称性が量子論でもアノマリーなく保たれること」で、これから時空の次元が決まる（ボソン弦で26、超弦で10）。超対称性は、ボソン弦にあるタキオン（質量の2乗が負の不安定モード）を消し、フェルミオンを入れるために課す。弦の振動モードの1つ1つが粒子に対応し、閉じた弦には必ず質量ゼロのスピン2粒子が現れる。これが重力子で、重力は入れたのでなく出てきたものである。開いた弦からはゲージ場が出る。さらに、世界面の理論が共形不変であるための条件（β関数 = 0）を書くと、時空のアインシュタイン方程式が最低次で再現される。相互作用は弦がつながったり分かれたりする滑らかな面で表され、点の頂点がないので紫外発散が出ない（ループの積分領域がモジュラー不変性で切られる）。

構成したいもの。 10次元のうち6次元を小さく丸め（カラビ–ヤウ多様体などへのコンパクト化）、4次元で標準模型＋一般相対論を再現する。1990年代に、5種類あった超弦理論は互いに双対で、11次元の M 理論の異なる極限だと分かった（第2次超弦革命）。弦の端が乗る膜（Dブレーン）も重要な対象になった。

副産物として確立したもの。 ブラックホールのエントロピー $S = A/4G$ を微視的状態数から導いたこと（Strominger–Vafa, 1996、特定の超対称ブラックホール）。AdS/CFT 対応（Maldacena, 1997）＝反ド・ジッター空間の重力理論とその境界の共形場理論が等価だという主張で、強結合の場の理論・物性・量子情報へ広く使われている。数学ではミラー対称性などを生んだ。

現状の課題。

• ランドスケープ問題：コンパクト化の仕方が膨大（$10^{500}$ 程度とよく言われる）にあり、どの真空が私たちの宇宙かを理論が選べない。予言力の問題に直結する。
• ド・ジッター真空：観測される正の宇宙定数を持つ安定な真空を、制御された形で作れていない（KKLT 構成は議論が続いている。「そもそも作れないのでは」という swampland 予想もある）。
• 非摂動的な定義：弦理論は主に摂動展開として定義されていて、M 理論の完全な定式化はない。背景時空を先に置く定式化で、背景独立性が明示的でない（AdS/CFT は AdS 背景に限った非摂動的定義を与える）。
• 検証不能：典型的なエネルギーがプランクスケールで、加速器では届かない。LHC で低エネルギーの超対称性粒子が見つかっていないことも、素朴な期待を後退させた。
• 標準模型の厳密な再現：粒子の種類・世代・湯川結合・質量階層を含めて完全に再現した真空はまだない。

競合する量子重力のアプローチには、ループ量子重力や漸近的安全性（重力が紫外で非自明な固定点を持つという考え）がある。

補足：弦理論が「統一理論」と呼ばれる理由と、呼ばれ方の変化

重力子とゲージ場が同じ弦の別の振動として出てくるので、力の統一が構造に組み込まれている。この点が「万物の理論」と呼ばれた理由だった。ただし現在の研究の重心は、標準模型の導出よりも、量子重力の一般原理（ホログラフィー、エンタングルメントと時空の関係など）を探る道具としての使い方に移っている。

補足：繰り込みの初歩と、重力だけが繰り込めない理由

「重力を素直に量子化すると繰り込みができません」について。繰り込みの初歩から、ほかの場の繰り込みについてや、重力場が繰り込みできない他の場とのクリティカルな相違点について教えてほしい。

繰り込みとは何か。 場の量子論で散乱振幅をループまで計算すると、仮想粒子の運動量 $k$ について $\int d^4k / k^4$ のような積分が出て、大きな $k$ で発散する。まずカットオフ $\Lambda$ や次元正則化で積分を一時的に有限にする（正則化）。次に、ラグランジアンに書いた質量・結合定数（裸のパラメータ）を $\Lambda$ に依存させ、測定で決まる物理的な質量・電荷が $\Lambda$ に依らないように取り直す（繰り込み）。こうすると観測量はすべて有限で $\Lambda$ に依存しなくなる。物理的な意味は「低エネルギーの観測量は、高エネルギーの未知の詳細を有限個のパラメータの値としてしか感じない」ということである。基準のエネルギーを変えたときのパラメータの動きが繰り込み群で、QED の結合が高エネルギーで強くなり、QCD の結合が弱くなる（漸近的自由）のはこれである。

繰り込めるかは次元解析で決まる（パワーカウンティング）。 4次元で $\hbar = c = 1$ とすると作用は無次元なので、ラグランジアン密度は質量次元 4 を持つ。運動項から場の次元はスカラー $[\phi] = 1$、ディラック場 $[\psi] = 3/2$、ゲージ場 $[A] = 1$ と決まる。相互作用項 $g\,\mathcal{O}$ の結合定数は $[g] = 4 - [\mathcal{O}]$ である。ファインマン図の表面発散度は、外線のボソン数を $E_b$、フェルミオン数を $E_f$ として$$D = 4 - E_b - \tfrac{3}{2} E_f - \sum_{\text{頂点}} [g_v]$$となる。$[g] \ge 0$ なら、発散する図は外線の少ない有限種類に限られ、有限個の相殺項（＝元のラグランジアンにある項）で全次数の発散を吸収できる。これが繰り込み可能。$[g] < 0$ なら、ループの次数が上がるほど $D$ が増え、外線のどんな組み合わせでも発散し、新しい種類の相殺項が無限に要る。これが繰り込み不可能である。

ほかの場の例。 $\phi^4$ 理論の $\lambda$、QED の $e$、湯川結合 $y$、ヤン–ミルズ理論の $g$ はどれも無次元で、繰り込み可能である。ヤン–ミルズ理論では、ゲージ不変性（量子論では BRST 対称性）が相殺項をゲージ不変な形に限ることも本質的で、次元 4 以下のゲージ不変量は $F_{\mu\nu}^a F^{a\,\mu\nu}$ しかないので、発散は元の作用の形のまま吸収される（'t Hooft–Veltman, 1971–72）。対照的に、β崩壊のフェルミ理論 $G_F (\bar\psi\psi)(\bar\psi\psi)$ は $[G_F] = -2$ で繰り込み不可能だった。これは $W$ ボソンを入れた電弱理論で解決した。高エネルギーで $G_F \sim g^2/M_W^2$ が分解して、無次元の結合が現れたのである。

重力。 計量を $g_{\mu\nu} = \eta_{\mu\nu} + \kappa h_{\mu\nu}$ と展開して重力子 $h$ を量子化する。$\kappa = \sqrt{32\pi G}$ で $[\kappa] = -1$（$[G] = -2$）。アインシュタイン–ヒルベルト作用 $\frac{1}{16\pi G}\int d^4x \sqrt{-g}\,R$ を展開すると、$\kappa^{n-2} h^n \partial\partial$ 型の頂点が無限個出て、どの頂点にも微分が2個つく。純粋な重力の $L$ ループ図で数えると、ループ積分が $d^4k$、プロパゲーターが $1/k^2$、頂点が $k^2$ なので、$D = 4L - 2I + 2V$ に $L = I - V + 1$ を入れて$$D = 2L + 2$$となる。1ループでは曲率の2乗（$R^2$、$R_{\mu\nu}R^{\mu\nu}$）の相殺項、2ループでは3乗が要り、次数ごとに新しい項が増えていく。1ループは、純粋な重力に限れば運動方程式とガウス–ボンネ恒等式で消えるが（'t Hooft–Veltman, 1974）、物質を入れると消えない。純粋な重力でも、2ループの $R_{\mu\nu}{}^{\rho\sigma} R_{\rho\sigma}{}^{\alpha\beta} R_{\alpha\beta}{}^{\mu\nu}$ の発散は消えない（Goroff–Sagnotti, 1986）。

ほかの場との決定的な違い。

• 重力の「電荷」はエネルギーそのものである（等価原理）。 電磁気では結合の強さは電荷 $e$ で一定だが、重力は質量・エネルギーに結合するので、エネルギー $E$ の過程での実効的な結合は無次元の $G E^2$ になり、エネルギーとともに増える。$E \sim M_{\mathrm{Pl}}$ で 1 に達し、摂動論が壊れる。$[G] = -2$ はこの事実を次元で言い直したものである。
• 重力子自身が重力の源になる。 重力子もエネルギーを持つので重力子どうしが結合し、頂点が無限種類になる。光子は電荷を持たないので QED にはこれがない。
• 対称性が相殺項を禁じない。 ヤン–ミルズではゲージ不変性が相殺項を $F^2$ に制限したが、重力の対称性（一般座標変換＝微分同相）は $R^2$, $R^3$, … をすべて許す。曲率の多項式はどれも微分同相不変だからである。
• $R^2$ 項を最初から入れると繰り込み可能になるが、代償が大きい。 4階微分の作用（Stelle, 1977）ではプロパゲーターが $\frac{1}{k^2} - \frac{1}{k^2 + m^2}$ の形になって紫外で $1/k^4$ に落ち、繰り込み可能になる。しかし2項目の負の符号は負のノルムを持つゴーストを意味し、確率の保存（ユニタリ性）が壊れる。

繰り込めないことの正しい意味。 繰り込めない理論も、低エネルギーでは有効場理論として予言力を持つ。高次の項は $(E/M_{\mathrm{Pl}})^2$ ずつ抑えられるので、有限の精度なら有限個の係数で足りる。実際、ニュートンポテンシャルへの量子補正 $V(r) = -\frac{G m_1 m_2}{r}\left[1 + 3\frac{G(m_1+m_2)}{r c^2} + \frac{41}{10\pi}\frac{G\hbar}{r^2 c^3}\right]$ は一意に計算できる（Bjerrum-Bohr–Donoghue–Holstein, 2003）。問題はプランクスケールで無限個の係数が全部効いてくることで、フェルミ理論に $W$ ボソンが要ったのと同じく、紫外で理論を完成させる新しい物理が要る。弦理論はその候補の1つで、点の頂点を弦の滑らかな接合に置き換えることで、この発散そのものを出さない。