2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 9 部 現在地と課題Ricci 流と繰り込み群

新しい概念の候補 — 何が「Ricci 流」に当たるか

Clay の問題文（Jaffe–Witten 2000）§6 は $T^4$ 上の構成は既知の方法の延長で見込めるとしたうえで、"no present ideas point the direction to establish the existence of a mass gap that is uniform in the volume. Nor do present methods suggest how to obtain the existence of the infinite volume limit $T^4\to\mathbb R^4$" と書きます。§6.5 は "New ideas are needed" です。ただし同じ §6 は $T^4$ 上の構成も未完としています。言えるのは「出題者が新しい考えを求めたのは赤外の側」までです（6-10 §01）。既知

「体積に一様」を式にします。一辺 $L$ の箱の隙間 $\Delta_L$ について

は別の主張です。例：質量 $m$ の自由場ならどの $L$ でも隙間は $m$ 以上で、右も成り立ちます。仮に $\Delta_L=1/L$ なら左だけが成り立ちます。

他の大問題で働いた新しい概念には、流れと単調量（Perelman、ポアンカレ予想）と、二つの対象の同一視（Wiles、フェルマーの最終定理）の二つの型が見えます（この本の整理）。

Riemann 計量 $g$ は各点の接空間（1-05）の内積で、成分を $g_{ij}$ と書きます。Ricci 曲率 $\mathrm{Ric}$（成分 $R_{ij}$）は、長さ 1 の方向 $v$ について、$v$ を含む互いに直交する $n-1$ 枚の面の曲がり方（断面曲率）を足したものです（$n$ は多様体の次元）。平均の $n-1$ 倍と言っても同じです。正確には曲率テンソルの縮約です。使うのは次の例だけです。

半径 $r$ の球面では、どの面の曲がり方も $1/r^2$ です。それを $n-1$ 枚足すので係数が $n-1$ になります。$\mathrm{Ric}$ の跡（正規直交な基底で対角成分を足したもの）をスカラー曲率 $R$ と呼びます。この球面では $R=n(n-1)/r^2$ です。

Ricci 流は計量を Ricci 曲率で動かす方程式で、Perelman の論文は Hamilton（1982）が導入したこの式から始まります。既知

正に曲がった方向は縮みます。スカラー曲率は流れに沿って $\partial_tR=\Delta R+2|\mathrm{Ric}|^2$ に従います。$\Delta$ は多様体の上のラプラシアン（質量ギャップの $\Delta$ とは別）で、平らな座標では $\sum_i\partial^2/\partial x_i^2$ です（§01 の隙間 $\Delta_L$ とは別の記号）。$|\mathrm{Ric}|^2$ は正規直交な基底での $\mathrm{Ric}$ の成分の二乗和です。

右辺が $\Delta R$ だけなら熱方程式で、熱が温度をならすように $R$ の山を削り谷を埋めます。正確には、非負の項 $2|\mathrm{Ric}|^2$ がどこでも上向きに足されています。熱方程式の型の式では、解が内部に新しい最小値を作れません（最大値原理）。このため $R$ の最小値は流れに沿って減りません。Perelman の序文は Hamilton の仕事の紹介として、この式と結論をこの形で書いています。既知

例：初めの半径が $r(0)$ の球面は、丸いまま半径だけが変わります。$g=r^2\hat g$（$\hat g$ は単位球面の計量）と (2) から

で、時刻 $t_*$（消滅時刻）に点に縮みます。単位の二次元球面なら $t_*=1/2$ です。一般の形では曲率がどこかで無限大になります。Perelman は "The most natural way of forming a singularity in finite time is by pinching an (almost) round cylindrical neck" と書き、細い首を切って小さな蓋をかぶせる手術で流れを続けます。

Perelman の証明を三つの部品に分けて見ます。一つ目の流れは §02 の式 (3) です。二つ目は、流れに沿って単調に増える量です。道具を先に定義します。$M$ は閉多様体（境界の無いコンパクトな多様体）、$f$ は $M$ の上の補助の関数、$dV$ は計量から決まる体積要素（$\int_M dV$ が $M$ の体積）です。$\nabla f$ は $f$ の勾配で、$|\nabla f|^2$ はその長さの二乗です。$\nabla_i\nabla_j f$ は $f$ の二階微分で、平らな座標では $\partial_i\partial_j f$ です。

計量を (3) で動かすとき、$f$ も同時に $\partial_t f=-\Delta f+|\nabla f|^2-R$ で動かします。これは座標の取り替えを除いて測度 $e^{-f}dV$ を保つ動かし方で、全体の積分 $\int_M e^{-f}dV$ は変わりません。このとき

が成り立ちます（Perelman §1.2）。右は二乗の積分なので負になりません。既知

流れは $\mathcal F$ の坂を上るように振る舞います。正確には、測度 $e^{-f}dV$ を止めたままの流れ $\partial_t g_{ij}=-2(R_{ij}+\nabla_i\nabla_j f)$ が $\mathcal F$ を増やす向きの勾配流で、座標の取り替えをすると (3) と上の $f$ の式の組に移ります（Perelman §1.1–1.2）。止めておく測度の選び方について Perelman は "the choice of $m$ is analogous to the choice of gauge" と書きます。原文の $m$ はこの測度のことで、§06 の質量とは別です。どう選んでも、座標の取り替えを除いて同じ流れになります。既知

さらに、座標と尺度の取り替えを除いて見ると、流れは自明でない周期軌道を持ちません（Perelman §2・§3）。自明なものはソリトン（座標と尺度の取り替えだけで形を保つ解）と呼ばれ、この見方では固定点に当たります。既知 例：平らなトーラスでは $R_{ij}=0$ で、$f$ を定数に取ると (5) の右辺は 0、流れは止まっています（固定点）。

三つ目の部品は、曲率の大きい領域の形を先に分類し、分類したものだけを手術で取り除くことです。ヤン–ミルズで同じ役をしうるのは、流れには繰り込み群と勾配流（§05）、単調量には $c$ と $a$（§06）、分類と手術には大きい場・インスタントン・位相のセクター（§07）です。別の型として同一視があります（§08）。どの対応も類推です。

一ループの摂動の範囲で、対応が類推でなくなる場所が、二次元の非線形 σ 模型です。場 $\phi$ は平面から多様体 $M$ への写像です。$M$ の計量をこの節では $h$（成分 $h_{ij}$）と書きます。

結合定数は数ではなく計量 $h$ そのものです。Friedan（1980）の要旨は "the renormalization group acting on the infinite-dimensional space of Riemannian metrics" と書きます。一ループでは、尺度 $\ell=\ln(\mu_0/\mu)$（大きいほど粗く見る）について

で、$t=\ell/4\pi$ と置けば (3) そのものです。物理 「$\cdots$」は二ループ以上の補正です。二ループからは曲率の二次の項（$R_{iklm}R_j{}^{klm}$ の形。$R_{iklm}$ は曲率テンソルの成分）が加わり、流れは Ricci 流から外れます。Friedan（1985）の要旨は、繰り込み群の係数を二ループの近似で計算したと書きます。物理

例：$M$ を半径 $r$ の球面 $S^{N-1}$ にすると $O(N)$ 模型で、$r^2=1/g^2$ です。(2) で $n=N-1$ として

粗く見るほど球が縮み結合が強くなる。Polyakov（1975）の要旨の言う "asymptotic freedom" です。縮みきる尺度 $\ell_*$ は (4) の消滅時刻 $t_*$ の $4\pi$ 倍で、一ループの $\Lambda$ を決めます（4-07）。四次元の $SU(N)$ でも $1/g^2$ は直線 $1/g_0^2-2b_0\ell$ で減ります。

Perelman は序文の 2 でこの関係に触れ、"this connection between the Ricci flow and the RG flow suggests that Ricci flow must be gradient-like; the present work confirms this expectation" と書きます。流れが勾配的である（ある量の坂に沿って動く）ことは繰り込み群の直観から予想されており、(5) がそれを確かめた、というのが Perelman の言い方です。既知

計算図の直線は式 (8) と $b_0=11N/(48\pi^2)$ をその場で描いたもの。表 1 はこの端末で計算した。

表 1　一ループの $1/g^2$ が 0 に届く尺度。$\ell_*=4\pi t_*$ を式 (4) と照合した。計算

直線が 0 に届く手前で結合は大きくなり、一ループの式は使えなくなります。Ricci 流の特異点の近くと同じく、肝心なのは結合が $O(1)$ になった後です。二次元 $O(N)$ 模型（$N\ge3$）のギャップは物理の水準の結論です。物理 Douglas（2004）の報告は、正則化した版の $O(N)$ 模型でギャップが示された例（Kopper 1999）を挙げるにとどまります。その後の定理としての状態は、この章では確かめていません。

寄り道：平らな円は縮まない

四次元の「流れ」には別物が二つあります。理論の空間の流れ（繰り込み群、6-05）には球の絵はありませんが、一ループの $1/g^2$ は同じ形の直線です（表 1）。Bałaban の $T^4$ の紫外安定性は仮定つきで、極限は部分列までです（6-07）。Bauerschmidt–Brydges–Slade の方法が $d=4$ で届いたのは結合が赤外で 0 に流れる側（$|\phi|^4$ 模型と弱自己回避歩行）で、ヤン–ミルズの赤外とは正反対です。欠けているのは「結合が $O(1)$ に達した後の、制御された一段」です（この本の整理）。

場の空間の流れ（勾配流）は一つの配位を作用の坂に沿って滑らかにします。可換な場で、作用 $S=\frac14\int F_{\mu\nu}F_{\mu\nu}\,d^4x$ の勾配を逆向きにたどると

です（非可換なら $\partial$ を共変微分に）。勾配流なので作用は必ず減ります。例：フーリエ変換すると、波数 $k$ に垂直な成分は $e^{-k^2t}$ で減り、$|k|\gg1/\sqrt t$ の揺らぎが消えます。$k$ に平行な成分（ゲージの方向）は動きません。Ricci 流でも座標の取り替えの不変性で同じことが起き、DeTurck（1983）が項を足して直しました。同じ工夫はヤン–ミルズの確率量子化にもあります（6-09 §07）。

Lüscher（2010）の要旨は、流れた場が "a smooth renormalized field" であることを理論と数値が "suggest" すると書き、Carosso–Hasenfratz–Neil（2018）はこれを連続的な実空間の繰り込み群として数値に使いました。Waldron（2019）は、閉じた四次元多様体の上の滑らかな初期値について、ヤン–ミルズ流に有限時間の特異点が無いことを示しています。既知 二つの流れの関係は示唆と数値の水準です。

道具を二つ用意します。応力テンソル（エネルギー運動量テンソル）$T_{\mu\nu}$ は、エネルギーと運動量の流れを表す場です。その跡 $\Theta=T^\mu{}_\mu$（二次元なら $T_{11}+T_{22}$）は、尺度を少し変えたときに作用がどれだけ変わるかを測ります。尺度を変えても変わらない理論（固定点）では $\Theta=0$ です。中心電荷 $c$ は固定点の理論が持つ数で、おおまかには質量ゼロの自由度を数えます（自由なスカラー場一つで 1）。この章では名前だけを使い、値は下の和則 (10) を通して見ます。

二次元には Zamolodchikov（1986）の $c$ 定理があり、流れに沿って減り、固定点では中心電荷に一致する関数が作られます。物理 計算できる形として、$\Theta$ の相関の和則を距離 $r_0$ で切ったものを見ます。

ここで $\Theta$ は作用からそのまま作った応力テンソルの跡です（$\Theta=2\pi T^\mu{}_\mu$ と置く規格化では、前の係数は $3/4\pi$ になります）。$r_0\to0$ の値が紫外と赤外の中心電荷の差になる、というのが和則の内容です。この和則は Cardy（1988）によるとされます。物理

質量 $m$ の自由なスカラー場では $\Theta=-m^2\phi^2$、$\langle\Theta(x)\Theta(0)\rangle=2m^4G(x)^2$ です。$G(x)=K_0(m|x|)/2\pi$ は伝播関数（1-11）で、$K_0$ は変形 Bessel 関数（遠くで $e^{-m|x|}$ のように減る）です。したがって

です。$c(0)=1$ は数値積分で $1-8\times10^{-12}$ と確かめました。計算 被積分関数が負にならないので $c(r_0)$ は減ります。一般に $x\ne0$ で $\langle\Theta(x)\Theta(0)\rangle\ge0$ は、並進・回転不変性と反射正値性（4-10）から従います。正則化で失われやすい性質（6-11 障害 5）が単調性の出どころです。既知

計算曲線は式 (11) をこの端末で数値積分した 85 点の表（末尾の 0 を省いて埋め込み）の補間。

表 2　場が一つのときの $c(r_0)$。質量の比が 100 の二つの場では $m_1r_0=10^{-3},10^{-2},0.1,1$ で 1.999・1.708・0.999・0.708 と、途中で 1 の段に留まる。計算

段は、流れが途中の固定点（軽い場だけが質量ゼロに見える尺度）の近くを通ることを表し、ギャップのある赤外では $c=0$ です。

四次元の固定点を曲がった背景に置くと、$\Theta$ の期待値に Euler 密度（曲率の二次式で、積分すると多様体の Euler 数に比例する量）が係数つきで現れます。その係数が Euler アノマリー $a$ です（格子間隔の $a$ とは別。この章では名前だけ）。Komargodski–Schwimmer（2011）の要旨は、紫外と赤外の $a$ を結ぶ単調減少関数を導き "establishing the $a$-theorem" と書きます。物理 自由な場の $a$ は正で、実スカラー・Weyl フェルミオン・ゲージ場の寄与の比は $1:\tfrac{11}{2}:62$ です（同論文の付録 A）。既知

純ヤン–ミルズの紫外は自由なグルーオンに近づくので $a>0$ です。赤外にギャップがあれば、質量ゼロの自由度が残らないので $a=0$ です。物理 二つは矛盾しませんが、$a_{\text{紫外}}>a_{\text{赤外}}$ はギャップを強制しません。赤外にギャップがあること自体が、この本の主題の未証明の部分です。特異点の分類に当たる「赤外の終点の分類」が別に要ります（類推）。

四次元のヤン–ミルズでは、作用が尺度の取り替えで変わらないことが、曲率が一点に集まる特異点と同じ種類の困難を生みます。$A_\lambda(x)=\lambda A(\lambda x)$ なら $F_\lambda(x)=\lambda^2F(\lambda x)$ で

です。$d=4$ では $\lambda$ に依りません。例：大きさ $\rho$ のインスタントンは $\rho$ によらず作用 $8\pi^2/g^2$ を持ち（3-05）、$\rho\to0$ で曲率が一点に集まっても作用は減りません。

曲率の大きさを測る物差しに $\|F\|_{L^p}=\bigl(\int|F|^p\,d^dx\bigr)^{1/p}$ を使います（$p=2$ が 1-10 の $L^2$ で、二乗すると作用）。Uhlenbeck（1982）のコンパクト性（曲率の $L^p$ が抑えられた接続の列から、ゲージを取り替えれば弱い意味で収束する部分列が取れること）は $p>d/2$ の $L^p$ 評価で働き、$d=4$ の $L^2$（作用そのもの）はちょうど境目です。境目では、曲率が有限個の点に集まり、小さなインスタントンが泡のように抜け出すことがあります（泡立ち。この章では名前だけ）。既知

量子の側で手術に当たりうるのは、Bałaban の方法で別扱いにする大きい場の領域（6-05 §04）、小さいインスタントン、位相のセクター（6-11 寄り道）です。どれも「分類してから取り除く」段には届いていません。

Wiles 型は、二つの対象を同じだと示し、片方で見えない性質をもう片方から持ち込む型です（$R=T$。通説の水準の要約）。Jaffe–Witten §6.6 は、ギャップが古典的に見えないので "a nonclassical change of variables or “duality transformation”" が要るかもしれないと書きます。既知

この型でギャップが示された例は、ガウス積分の恒等式から始まります。共分散 $V$ のガウス場 $\varphi$ について

右辺は電荷 $q_j$ の粒子がポテンシャル $V$ で相互作用する重み、左辺は場の期待値です。電荷の気体を足し合わせると、左辺は $\cos\varphi$ を含む場の理論になります。これを sine-Gordon 模型と呼びます（作用に $\cos\varphi$ の項を持つ場の理論。この章では名前だけ）。Brydges–Federbush（1980）はこの変換で、低密度または高温のクーロン気体の相関の指数減衰（Debye 遮蔽）を証明しました。既知 可換な統計力学の模型です。

ヤン–ミルズ自身の断片は、Chatterjee（2019）の強結合・大 $N$ の $SO(N)$ でのゲージと弦の双対、Cao–Park–Sheffield の Wilson ループの曲面の和の表示（7-04 §09。絵は §05）、Chatterjee（2021）の「中心対称性が破れない ⇒ 閉じ込め」（含意であって同値ではない）です。物理の水準では Seiberg–Witten（7-11）とホログラフィー（7-09）があります。問題は固定した $N$ で求めるので、大 $N$ だけでは足りません。

$1/0$ に記号を与える案は、運ぶ情報が少ないので入れていません（6-12 §10）。

表の読み方を先に言います。「部品」の列は、その候補が §03 の三つの部品のどれに当たるかです。流れ（i〜iii）・同一視（v・vi）・手術（vii）に分かれ、(iv) はどれにも当たりません。「どこまで」は定理として届いた範囲、「どこで止まるか」は届かない最初の場所です。

止まる場所を並べると、おおむね二つに集まります。一つは、結合が $O(1)$ になる赤外で小さい数が無くなることです。(i) はそこでの一段を持たず、(iii) で得られた連続極限は結合を 0 へ連動させた設計のもので、(iv) は冪級数なので $e^{-1/g^2}$ に届きません。もう一つは、$N\to\infty$ や強結合という別の極限でしか働かないことで、(v) と (vi) がこれに当たります。(i) は紫外の側から赤外へ進もうとして止まり、(vi) は赤外の絵を持ちながら有限の $N$ へ戻れずに止まります。止まる向きが逆です（この本の整理）。

第 10 部で扱うこの端末の検討（仮定 H、10-03）は (i) の型に最も近く、「尺度は一つ」という物理の前提を格子の上の不等式に切り出したものです（近さの判定はこの本の整理）。

この章が言えている範囲

出典と再現

次に読む章：9-04 課題の一覧（何が分かれば何が動くか）。

← 9-02 二つの掘り方の切れ目目次9-04 課題の一覧 →