2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 9 部 現在地と課題課題の地図

課題の一覧 — 開いた問いを「分かれば何が動くか」の矢印でつなぐ

この章の課題は、まだ定理になっていない言明です。課題が分かったとき何が動くかは「A が分かれば B が言える」という矢印で書け、強さを三つに分けます。定理（証明された含意か定義）、道筋（問題文や総説が「これが分かれば次へ進めるはず」と書く見込み）、期待（物理の水準の含意）です。比喩で言えば鍵と扉の対応表で、正確には、前提がすべてそろえば結論が出る形の規則の一覧です。

行き先は問題文（Jaffe–Witten 2000、以下 JW。0-03）です。群 $G$ を一つ固定し、要求を四つの要件に分けます既知（JW §4 の要約。四つへの分け方はこの本の整理）。

$\mathsf E$ は $\mathbb R^4$ の上の理論の存在、$\mathsf A$ は公理（JW が挙げる Streater–Wightman の本 [45] と Osterwalder–Schrader の論文 [35] の公理と同等以上）、$\mathsf N$ は非自明性・局所場・短距離で漸近自由と一致すること（JW §4）、$\mathsf M$ は隙間 $\Delta\gt0$ と $m\lt\infty$ です。

もう一つ、問題文の外の要件 $\mathsf C$ を置きます。$\mathsf C$ は、連続の理論の弦張力 $d$ が 0 でないことです。$d$ は Chatterjee 2018 の Problem 5.2 の定数で、6-10 §04 では $\sigma$ と書きました。物理の期待では $d$ は正です。

例：Chatterjee（2021）の定理 2.4 は定理の矢印です。格子ゲージ理論が任意の境界条件の下で一様に指数減衰するなら（定義 2.3。定数は群・$\beta$（格子の作用の結合の係数。逆温度ではない）・格子の次元だけにより、箱と境界条件によらない）、中心対称性は破れません。さらに、中心に自明でなく作用する既約表現の、長方形の Wilson ループは、どの Gibbs 測度（無限の格子の上で、どの箱の中も外を固定すれば格子の重みに従う分布）でも面積則に従います既知（9-05 §06）。道筋の例は JW §6.5 の 'Such a result presumably would enable the study of the limit as T4 → R4'（一様なギャップから無限体積極限へ）です。

K1〜K6 は連続の理論の課題で、六つの段（6-01）の段 3〜6 と問題文の追加の条件に当たります。K7〜K12 は格子の課題と、低い次元・物理の前提を数学にした課題です。この章では極限を列全体で求めることにします（この本の整理）。JW の脚注 2（0-03 §08）は、コンパクト性だけによる弱い存在は、極限の性質（ギャップや公理）を別の方法で示さない限り、存在の部分の解と認めない、と書きます既知。最初の三つは次の形です（記号は 6-10）。

$W_{\gamma_a}$ は格子の道の Wilson ループ、$\langle\cdot\rangle^{\mathrm{ren}}$ は対数から周の長さに比例する項を取り除いたもの（Chatterjee 2018 の式 (5.2)。6-10 §04）、$\mu_L$ は一辺 $L$ の箱 $T^4$ の測度、$\Delta_L$ はその隙間です。K1 と K2 で極限を列全体で求めるのは、この本の整理です。

既知表 1　十二の課題

詳細は K1 が 6-07、K5 が 6-08、K7・K10 が 9-01 §07、K12 が 6-06。例：盤面（9-01 表 3）の四次元の升目を動かすのは K1〜K4 と K7、三次元の行は K12 です。K8〜K11 は升目を持たない、切れ目の側の課題です。

証明のある矢印は多くありません。三つを順に見ます。

反射正値性が極限に残る（R2）

一つ目は反射正値性です。Wilson の格子で成り立ち（Osterwalder–Seiler 1978）、不等式なので、測度の列 $\mu_n$ が弱く収束すれば極限にも残ります既知（4-10）。弱く収束するとは、有界で連続な量の期待値がすべて収束することです（0-03 §08）。

$\Theta$ は時間の反射、$F$ は正の時刻の側だけで決まる、有界で連続な量です。K4 と合わせれば、Osterwalder–Schrader の再構成でヒルベルト空間と $H\ge0$ が立ちます（規則 R2。JW も 'Establishing a quantum mechanical Hilbert space is part of the solution to this Millennium problem' と書く）。

一様な隙間が極限に残る（R3）

二つ目は、一様な隙間が極限に残ることです（規則 R3）。$\tau_t$ を時間の向きに $t$ ずらす操作とし、$F$ が作るベクトルから真空の成分を引いたもののスペクトル測度を $\nu_F$ と書きます。$\nu_F$ は 4-11 §02 の $\mu_F$ と同じものです。この章では $\mu$ を測度の列に使うので、記号を替えます。

左辺がすべての有界な $F$ で $e^{-\Delta t}$ の定数倍以下になることと、真空に直交する向きで $H\ge\Delta$ であることは同じです既知（4-11 §02）。積分に $E=0$ の点も入っているので、真空が一つであることも一緒に出ます。

箱ごとの評価（6-10 式 (7)）で、減る速さ $\Delta_L\ge\Delta_*$ が $L$ によらなければ、評価は極限に残って隙間になります（標準の議論）。(7) の前の因子 $\|A^*\Omega_L\|\,\|B\,\Omega_L\|$ は、$|F|\le1$ なら 1 以下です。この議論には三つの前提が要ります。(i) 使う $F$ の期待値が $L\to\infty$ の列に沿って収束すること（$\mathsf E$ の一部）。(ii) その $F$ のベクトルが、再構成したヒルベルト空間で稠密であること。(iii) $T^4$ は時間の向きにも周期的なので箱の相関に加わる $e^{-\Delta_L(L-t)}$ の項が、$L\to\infty$ で消えること（$\Delta_L\ge\Delta_*$ なら消えます）。R3 が出すのは $\Delta\gt0$ だけで、$m\lt\infty$ は理論が真空だけではないこと（6-10 §06）から別に出ます。

例：一つの $F$ の減り方が教えるのは $\nu_F$ の台の下端だけです。Problem 5.1（K7）の $\xi(\beta)$ はプラケットの相関の減り方です。Chatterjee は $|x|\to\infty$ をすべての向きで取る極限で $\xi$ を定義しますが、転送行列（5-03）のスペクトルに結びつくのは時間の向きの減り方です。時間の向きの減り方で読むと、分かるのはプラケットが作る部分空間での $H$ の下端です（この章の読み）。

中心対称性から面積則へ（R6）

三つ目は §01 の Chatterjee（2021）の定理 2.4 です（規則 R6）。その序論は、次元が一つ低い非線形 σ 模型の指数減衰からゲージ理論の閉じ込めを導く Durhuus–Fröhlich（1980）と、$\mathbb Z_n$ の理論から $SU(n)$ の理論へ閉じ込めを運ぶ Fröhlich（1979）も挙げます既知（書誌のみ）。Fröhlich の論文の題名では行き先は $SU(n)$ の格子 Higgs 理論で、Chatterjee 2021 の序論は「$SU(n)$ の理論」と紹介しています。

JW は課題の順序に見込みを書いています。$T^4$ の構成（K1）は既知の方法を延ばせば届く兆候が十分にあるとし、'One presumably needs to revisit known results at a deep level, simplify the methods, and extend them' と書きます。一様なギャップ（K3）には 'New ideas are needed' と書き、それが無限体積極限（K2）を可能にするだろうと続けます。§5 も、一様なギャップが無限体積極限の証明で 'may play a fundamental role' と書きます既知。これが規則 R8 です。

正確には、(6) の右は極限の存在ではなく、極限を取るための一様な評価の材料で、組み立て方は書かれていません（'presumably'）。

例：R8 が結ぶ二つ（一様な減衰と無限体積極限）は、小さい径数のある模型ではクラスター展開から同時に得られました。弱結合の $\phi^4_2$・$\phi^4_3$ がその例です既知（6-04 §08）。一様な隙間から無限体積極限を導く順に通ったのではありません。四次元のヤン–ミルズの長い距離にはその径数がありません（6-11 障害 1）。格子の側では Chatterjee（2018）が Problem 5.2（K8）を、Wilson ループによる道筋の 'the most basic question that needs to be solved before making any further progress' と位置づけます既知。これは「先に要る」という必要の向きの文で、K8 から要件への十分の矢印ではありません。

表 2 の規則を一枚の図にします。課題の箱を押すとその課題が「仮に分かった」ことになり、前提がそろった規則から結論が点きます。点く範囲は、前提がすべて入れば結論も入る集合のうち最小のもの（閉包）です。

計算この図の点き方は、表 2 の規則の閉包 (7) をその場で計算したもの（矢印の選び方はこの本の整理）。

既知表 2　規則（前提がすべてそろえば結論）。R1〜R7 は定理か定義、R8 は道筋、R9・R10 は物理の期待物理。規則の選び方はこの本の整理。$\mathsf C$ は §01 の、連続の弦張力 $d$ が 0 でないこと（問題文の外）

例：「格子の課題」のボタンで K7〜K10 と K12 を仮に分かったことにしても、点くのは $\mathsf C$ だけで、要件は一つも点きません。9-05 §08 の「格子で示せば足りる」を矢印の言葉で言い直したものです。

$\mathsf P_G$ に届く課題の組のうち、一つでも抜くと届かなくなるものを極小の組と呼びます。部分集合 4096 個を三つの水準で調べ、極小の組をすべて数えました計算。

定理だけなら {K1,…,K6} の一組、道筋を足すと {K1,K3,K4,K5,K6} の一組、物理の期待まで足すと {K1,K2,K4,K5,K6,K8,K11} が加わって二組です。中心が自明な群でも同じでした。

計算表 3　課題ごとに、$\mathsf P_G$ への極小の組のすべてに入るか（必須）、どれかに入るか、どれにも入らないか

例：(a) K1・K4・K5・K6 はどの道にも要ります。(b) 物理の期待の水準では、一様なギャップ K3 の代わりに「連続の弦張力 K8 と尺度は一つ K11」で質量ギャップに届きます。質量と弦張力を一つの尺度の二つの顔と見る物理の一文（7-12 の式 (3)）が K3 の役を肩代わりする形です。(c) K7・K9・K10・K12 はどの極小の組にも入りません。一次資料で確かめた矢印だけの数えなので、格子から連続の要件へ延びる矢印が定理になれば数え直しです。

問題文はすべてのコンパクト単純群 $G$ で $\mathsf P_G$ を求めます（式 (2)）。リー環の候補は四つの系列と五つの例外で、同じリー環に中心で割った形の群も並びます既知（1-04 表 6）。一つの群の結果を別の群へ運ぶ一般の定理は、この章が読んだ範囲に見当たりません。群によって消える矢印もあります。規則 R6 は、有限次元の既約ユニタリ表現 $\pi$ が中心に自明でなく作用すること、つまり $\pi(z)\ne I$ となる中心の元 $z$ があることを使います。中心の元はすべての $\pi(g)$ と可換なので、既約な $\pi$ では Schur の補題（1-04 §06）によりスカラーとして働きます。

例：$SU(N)$ の基本表現では $z=e^{2\pi i/N}I$ で $\omega=e^{2\pi i/N}$ です（1-04 §07）。中心が自明な群では (9) を満たす表現がありません。単連結な $G_2$・$F_4$・$E_8$ のほか、中心で割った形の $SO(3)=SU(2)/\mathbb Z_2$ や $PSU(N)=SU(N)/\mathbb Z_N$ もそうで、中心で割った群はどれも中心が自明です既知。理由を一行で書きます。連結なリー群では、中心は随伴表現の核です（1-04 §06）。$G/Z(G)$ は随伴表現の像 $\mathrm{Ad}(G)\subset GL(\mathfrak g)$ と同じ群で、その随伴表現は $\mathfrak g$ の上の $\mathrm{Ad}(g)$ そのものです（単純なリー環では $\mathrm{ad}$ が単射）。核は $\mathrm{Ad}(g)=I$ の元、つまり単位元だけです。図 1 の「中心が自明な群」はこの場合で、K9 から K10 への矢印が消えます。Chatterjee は、中心が自明な群（例に $SO(3)$）では弱結合で閉じ込めないかもしれないと信じられている、と注します物理。問題文はそうした群にも隙間を求めるので、閉じ込めを経る道はすべての群には使えません。一方、一ループの係数 $16\pi^2b_0=\tfrac{11}{3}C_A$ はどの群でも正で（4-06 §02）、摂動論の漸近自由は群によりません既知（0-03）。

JW §5 は 'natural extensions' を挙げます。孤立した一粒子状態（ギャップに加えて上の隙間）、閉じ込め、漸近自由を保つ場を足した他の四次元ゲージ理論とその力学、$\mathbb R^4$ から一般の四次元多様体への拡張です既知。どれも要件ではなく、図 1 では $\mathsf C$ だけを外側に置きました。孤立した一粒子状態は、質量の作用素 $\sqrt{H^2-\mathbf P^2}$（$\mathbf P$ は運動量）のスペクトルで書けます（9-02 切れ目 6）。

例：質量 $m$ の自由場では、Fock 空間（2-06）の一粒子状態が $m$、二粒子以上が $[2m,\infty)$ を埋め、スペクトルは $\{0\}\cup\{m\}\cup[2m,\infty)$、上の隙間は $m$ です既知。JW §5 は、ギャップから出るクラスター性（6-10 §08）が $\mathbb R^4$ の結果を一般の四次元多様体へ運ぶかもしれない（'may make it possible'）とも書きます。

辞書の二列の格（8-01 §05）を共通の座標にし、九つの枡に四つの一覧を打ちます。(a) は「両方が在るとしたら同じか」、(b) は「四次元で在るか」です。辞書の行の格は 8-01 のままで、切れ目・課題・壁の格はこの本の整理です。根拠は次のとおりです。

切れ目：9-02 表 1 の一文の対に当たる辞書の行の格を引き継ぐ（1→1・2→13・3→9・4→8・5→2・6→5・7→14）。課題：(a) は表 2 で課題から出る規則の強さ（定理か定義＝確定、群の条件つき＝条件つき、期待＝未確定。規則の無い K7・K10・K12 は未格付け）、(b) は表 1 の「最も近い結果」（範囲を限った版があれば条件つき）。壁：10-08 表 1 の列が名指す辞書の行の格（H↑・H↓・η・鎖→13、(S4)→8、極限→7。一段と Σδ は辞書に行が無く未格付け）。

例。仮定 H に掛かる十三の壁は、辞書の 13（$\Lambda$・「尺度は一つ」）・切れ目 2・課題 K11 と同じ「未確定・無い」の枡に集まります。壁の型（10-08 §01）は原理・構造・道具・仮定・測定と分かれても、辞書の上では同じ一つの対に掛かっています。「確定・条件つき」に入るのは課題だけで、範囲を限った版が在り、要件への矢印が定理か定義のもの（K1・K2・K4）です。

計算格の割り当ては、8-01 表 2・9-02 表 1・この章の表 1 と表 2・10-08 表 1 から上の規則でこの端末で作り、数（14・7・12・21）を照合しました。

表 4　九つの枡と未格付けに入る行（番号は各表の行。図では辞書に #、切れ目に「切」を付ける）。

この章が言えている範囲

出典と再現

次に読む章：9-05 よくある誤解。課題を取り違えた言い方を問題文の言葉に戻します。この端末の記録の側の課題は 10-11。

← 9-03 新しい概念の候補目次9-05 よくある誤解 →