2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 7 部 物理の側から極限の順序

四次元に戻す — 余剰次元を消す向きと、幾何で計算できる向きは反対にある

7-09 の模型を懸賞問題の四次元の理論に戻せるかが、この章の問いです。つまみは $SU(N)$ の $N$、尺度 $M_{KK}$ での 't Hooft 結合 $\lambda=g^2N$（7-04）、余剰次元の円の半径 $R=1/M_{KK}$（KK の塔の間隔、7-06）の三つです。グルーボールの質量を $\Lambda$ とすると、比 $\Lambda R$ が余剰次元の見え方を測ります。問題文（Jaffe–Witten §4、0-03）の要求は

で、三つ目は相関関数が短い距離で漸近自由と摂動的な繰り込み理論の予言に合うことです（§4。引用は 0-03 §07）既知。模型が計算できるのは逆に $N=\infty$、$\lambda\gg1$、$\Lambda R$ が 1 の程度の場所です（§03・§05）。

例：Sakai–Sugimoto の模型は $M_{KK}\simeq949$ MeV と $\kappa=\lambda N_c/(216\pi^3)\simeq7.45\times10^{-3}$ を実験値から決めます。$N_c=3$ なら $\lambda\approx16.6$ 計算。これは Sakai–Sugimoto の結合の規約での値で、次の節の (2) の $\lambda$ とは規約の違いで 2 倍程度ずれえます。以下で (2) に入れる数は目安です。$\rho$ 中間子の 776 MeV は $M_{KK}$ の 0.82 倍で、塔と同じ高さです。

余剰次元を消すとは、$\Lambda$ を固定して $R\to0$ とすることです。$\Lambda$ は結合の走りから生まれます（7-01・4-07）。7-01 の (1) の一ループの式 $\mu\,dg/d\mu=-b_0g^3$（$b_0=11N/(48\pi^2)$）を $\lambda=g^2N$ で書き直すと

です。両辺を $\lambda^2$ で割ると $d(1/\lambda)/d\ln\mu=11/(24\pi^2)$ なので、$1/\lambda$ は $\ln\mu$ の一次式です。以下、引数の無い $\lambda$ は $\mu=M_{KK}$ での値です。

$\mu$ を下げると右辺は減り、$\mu=M_{KK}\exp\big(-24\pi^2/(11\lambda)\big)$ で 0 になります（一ループの結合がここで発散します）。結合が強くなるこの尺度が $\Lambda$ の目安で

です 物理。$\sim$ は「定数倍を除いて等しい」の意味で、定数は $\Lambda$ の定義（$\Lambda$ パラメータか、グルーボールの質量か）と規約で変わります。逆に解くと

で（定数倍は分母に定数を足すだけなので、$R\to0$ の向きには効きません）、余剰次元を消すことは $\lambda\to0$ と同じ向きです。Witten（1998 §4）は 'Asymptotic freedom should say that as η→0, the particle masses become exponentially small'（$\eta$ はこの章の $\lambda$）と書き、Csáki–Ooguri–Oz–Terning は質量を $M^2=f(\lambda)\Lambda_{UV}^2$ と置いて 'To take the continuum limit Λ_UV → ∞, we have to simultaneously take λ → 0' と述べます 物理（(2) は 7-07 の (10)）。比喩で言えば $R$ は格子の刻み幅の役で、正確には、刻み幅 $a\to0$ で裸の結合を 0 に送る（5-05）のと同じ論理です。

計算二ループは、7-01 の式に次の項を足した $\mu\,dg/d\mu=-b_0g^3-b_1g^5$（$b_1=\frac{34N^2}{3(16\pi^2)^2}$）から、(2) の右辺に $(11\lambda/48\pi^2)^{-51/121}$（$51/121=b_1/(2b_0^2)$）を掛けたもの。規約で係数は変わりえ、大きな $\lambda$ の行は (2) の使える範囲の外の目安です（$\lambda=100$ で二ループの列が一ループより小さいのもそのためです。§03）。例：$\Lambda R=10^{-3}$ には $\lambda\le3.12$（二ループ 2.66）、$10^{-6}$ には $\lambda\le1.56$（1.41）が要ります。

重力の幾何で計算できるのは $\lambda\gg1$ のときです（7-08）。Csáki らは §02 の $M^2=f(\lambda)\Lambda_{UV}^2$ の $f$ について先頭の弦の補正を評価し、三次元の純ヤン–ミルズ（QCD₃）の $0^{++}$ グルーボールで

を得ました（$0^{++}$ の最低状態と、最初の五つの励起準位）物理。$c_1<0$ は、紫外の切断 $\Lambda_{UV}$ を固定して $\lambda$ を減らすと質量が下がる、という意味で、連続極限への期待と合う向きです。四次元での冪はこの論文にはありません。以下では $p=3/2$ を四次元の目安として借ります。

同じ論文は三次元の場合について、$R\to0$ で $g_4^2N\to0$ とする（QCD₃ の結合 $g_3^2N=g_4^2N/R$ を一定に保つため）ことを 'This is the opposite of the limit that is required for the supergravity description to be valid' と書きます。四次元についての根拠は、§02 の Witten の文と、Csáki らの序論の 'To take the continuum limit …' の文です。Witten も、小さい $\eta$ で漸近自由を示し質量を計算することを 'This looks like a tall order, given our limited knowledge of worldsheet field theory with Ramond-Ramond fields in the Lagrangian' と書いています（世界面の場の理論は §09 で説明します）。

塔の見え方を $e_{KK}=\Lambda R$（(2) の定数倍を 1 と置く）、弦の補正の目安を係数 1 の $e_{\rm str}=\lambda^{-p}$（(4) を借りれば $p=3/2$）として綱引きを数で見ます。二つの曲線の交点 $\lambda^*$ での値を床と呼びます。

$\log e_{KK}+p\log\lambda$ は $\lambda$ について増加する（一ループでも二ループでも、$p\ge1$ なら）ので、交点はただ一つです。一ループの $e_{KK}$ は増加して 1 に近づき、$e_{\rm str}$ は減少するので、交点の左では $e_{\rm str}$、右では $e_{KK}$ が $F_p$ を上回ります。つまり一ループの見積もりでは $F_p=\min_\lambda\max(e_{KK},e_{\rm str})$ で、どの $\lambda$ でも二つの目安のうち大きいほうは $F_p$ を下回りません 計算。

二ループの式では事情が違います。$e_{KK}$ は $\lambda\approx51$ で最大 0.61 になり、その先では減って $\lambda\to\infty$ で 0 に向かいます。そのため $\lambda$ の上限を外すと、max の最小値は 0 に近づきます（$p=3/2$ で、$\lambda\le10^4$ までなら 0.067、$\lambda\le10^5$ で 0.038、$\lambda\le10^6$ で 0.014）計算。これは結合の走りの摂動の式を $\lambda$ の大きい側へ延ばした振る舞いで、(2) の使える範囲の外です。表2 の二ループの行は交点の値で、$\lambda\le316$（図1 の範囲）に限った max の最小値とも一致します。

計算この図の数値はこの端末で計算した（曲線は式をその場で計算。床は表2 と一致）。

両方が 5〜13% 程度になる窓はあり、比が格子と数 % で合うこと（三次元の $0^{--}/0^{++}$ をディラトン基準で比べた場合。基準のモードや状態を替えると 14〜26% ずれる：7-09）と矛盾しません。しかし定理に要るのは誤差を 0 に送る極限で、一ループの見積もりでは床がそれを阻みます。どちらの目安も係数 1 の粗いもので、床の値そのものではなく、二つを同時に小さくする向きが無いことが要点です。例：Sakai–Sugimoto の $\lambda\approx16.6$ を (2) にそのまま入れると $e_{KK}=0.27$（二ループ 0.41）、$e_{\rm str}=0.015$ です。規約の違いを見込んで $\lambda$ を半分（8.3）や 2 倍（33）にしても、$e_{KK}$ は 0.075〜0.52、$e_{\rm str}$ は 0.042〜0.005 で、大小は入れ替わりません 計算。塔の側が大きく残ることを示唆する目安です。

$\lambda\gg1$ では KK の塔がグルーボールと同じ高さに来ます。固定した背景の上の揺らぎの質量の二乗はラプラス型の作用素の固有値で、計量を $g\mapsto s^2g$ とすると固有値はすべて $s^{-2}$ 倍になります。

背景の長さが $R$ 一つなら、グルーボールも KK モードも $1/R$ の何倍かです（冪の勘定は 既知、背景がヤン–ミルズを記述するという部分は 物理）。ただし弦張力には $\lambda$ が入り、Klebanov–Strassler は $T_s\sim g_sM\,m_{\rm glueball}^2$ と書いています（7-08 §07 と同じ事情）。塔が離れないことは、表3 の著者たちが認めています（Witten の背景については Csáki らと Klebanov–Strassler による）物理。

超対称性の残り方

Witten 型（1998 §4。円でフェルミオンを反周期にする）では、フェルミオンは木の水準で質量 $1/R$ 程度を得て、スカラーは 'very plausibly get masses … at one-loop level' とされ、'If this is so, the low energy theory will be the pure SU(N) theory without supersymmetry' と続きます（三次元の場合を述べた §2.2 にも、弱結合では長い距離の振る舞いが 'very plausibly' 三次元のゲージ場だけになる、という同じ趣旨の文があります）。Klebanov–Strassler と Maldacena–Núñez は $\mathcal N=1$ 超対称性を保つので、さらにグルーイノ（グルーオンの超対称性の相棒のフェルミオン）を重くする極限が要ります。Gürsoy–Kiritsis の五次元の模型は、弦理論の背景から導くのではなく五次元の重力の模型を直接置く（ボトムアップ型の）もので、β 関数を入力します（'using input … as well as QCD'）物理。例：調べた範囲で、弦理論の背景から組む（トップダウン型の）模型のうち超対称性の無い純ヤン–ミルズが出るのは Witten 型だけで、それも塔と同じ尺度です。

重力の幾何が古典的になるのは $N\to\infty$ のときです。ゲージ理論の量は 't Hooft の勘定（7-04）で種数 $h$ の和に並びます。

重力の計算が与えるのは $F_0$ の $\lambda$ が大きい側の先頭で、$SU(3)$（$1/N^2=1/9$）には残りの項すべてが効きます。格子で比が $N$ でゆっくり動くこと（7-04）物理も、固定した $N$ の理論の存在は与えません。群の種類にも隔たりがあり、D ブレーンから出るのは $U(N)$・$SU(N)$、オリエンティフォールド（弦の向きを反転する操作で割った背景）で $SO$・$Sp$ です（7-07）。例外群 $G_2,F_4,E_{6,7,8}$ の四次元純ヤン–ミルズのホログラフィー双対は探した範囲で見当たらず、幾何工学は ADE 型と、外部自己同型（Dynkin 図の自己同型）による折りたたみで B・C・F・G 型を作れますが、超対称な理論の中でのことです（7-07）。例：問題文では $SU(2)$ も $G_2$ も、それぞれ一つの理論です。

重力の計算は、弦を古典的にする $N\to\infty$ の後で超重力の $\lambda\to\infty$ を取り、$R$ を単位にしています。

問題文の側は $N$ を固定し、$R\to0$、つまり (3) により $\lambda\to0$ を取ります。二つの極限を入れ替えてよい条件は、解析学の標準的な定理が与えます 既知。二重の添字の数列 $a_{m,n}$ が $n\to\infty$ で $b_m$ に $m$ について一様に収束するとは

のこと、つまり一つの $n$ でどの $m$ の誤差も同時に小さくなることです。このとき次が成り立ちます。

一様でなければ入れ替えは一般に許されません。例：$a_{m,n}=m/(m+n)$ では $\lim_m\lim_n a_{m,n}=0$、$\lim_n\lim_m a_{m,n}=1$ です（$\sup_m m/(m+n)=1$ なので、$n\to\infty$ での 0 への収束は一様ではありません）。

要るのは、$1/N$ の補正が $\lambda$ について一様に小さいこと、弦の補正が $N$ について一様に小さいこと、そして $\lambda\to0$ まで途切れない道です。(4) は三次元での補正の先頭の一項で、一様性でも極限でもありません。この入れ替えを正当化した結果は、探した範囲で見当たりません。比喩で言えば、超重力の領域（'fixed ultraviolet cutoff … in the strong ultraviolet coupling regime'）は強結合の粗い格子の位置です。正確には、強結合の格子では無限体積極限の存在が証明されています（Osterwalder–Seiler 1978、5-04）が、この対応は比喩にとどまります。

問題文は 'Prove that for any compact simple gauge group G, a non-trivial quantum Yang–Mills theory exists on R⁴ and has a mass gap Δ > 0' で、存在には公理的な性質を満たすことが含まれます（Jaffe–Witten §4）既知。

表5 のどの行も、まだ満たされていません。Jaffe–Witten §6 は 'at present we do not know any non-trivial relativistic field theory that satisfies the Wightman (or any other reasonable) axioms in four dimensions' と書き、Clay 数学研究所の問題の頁は今も 'no proof of this property is known' と書いています 既知（ギャップの定義は 4-11）。例：模型が数 % で当てる比（7-09。ディラトン基準の三次元の比に限る）も、表5 のどの行も満たさないまま得られた数です。

問題は消えずに場所を移します。Witten は $\eta\to0$ で幾何に特異点が現れることを述べて 'Apparently, in this approach, the mysteries of four-dimensional quantum gauge theory are encoded in the behavior of string theory near this singularity' と書き、Csáki らは予想のもとで大きな $N$ の QCD の問題が 'that of controlling the α′ corrections to the two-dimensional sigma-model with the Ramond-Ramond background' に帰着すると書きます 物理。語の意味を短く書きます。$\alpha'$ は弦の長さの二乗です（弦の張力は $1/(2\pi\alpha')$、7-05 の (1)）。二次元のシグマ模型は、弦が掃く二次元の面（世界面）の上の場の理論で、場は世界面から時空への写像です。Ramond–Ramond 場は D ブレーンが源になる場です。$\alpha'$ の補正は、時空の曲率半径が弦の長さに比べて有限であることから来る補正で、(4) はこの展開の先頭を評価したものです。§03 で Witten が挙げた 'worldsheet field theory with Ramond-Ramond fields'（世界面の場の理論で、ラグランジアンに Ramond–Ramond 場を含むもの）もこの二次元の理論です。

例：(12) の矢印はどちらも数学の定理ではなく（左は未正当化、右は予想）、右端の対象にも非摂動的な定義がありません（7-13・9-02）。

この章が言えている範囲

出典と再現

次に読む章：7-11 超対称と Seiberg–Witten — 超対称性のもとで、双対からギャップが見える例。

← 7-09 質量ギャップが幾何になる目次7-11 超対称と Seiberg–Witten →