2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 0 部 入口読み方

この本の読み方 — 札で主張の強さを読み、前提の地図で順を選ぶ

この本は、クレイ数学研究所の懸賞問題「ヤン–ミルズの存在と質量ギャップ」を、大学 2 年生の知識から研究の現在地まで読むための本です。懸賞問題は 2000 年 5 月 24 日にパリのコレージュ・ド・フランスで発表され 既知、公式の問題文（Arthur Jaffe と Edward Witten の解説）の核は次の一文です 既知。

任意のコンパクト単純ゲージ群 $G$ について、$\mathbb R^4$ 上に非自明な量子ヤン–ミルズ理論が存在し、質量ギャップ $\Delta\gt0$ を持つことを証明せよ。

質量ギャップとは、理論のハミルトニアン $H$（エネルギーの作用素）のスペクトル $\sigma(H)$ が、真空のエネルギー 0 のすぐ上で空いていることです。

例。(1) までに要るものが部の分け方です。第 1・2 部は道具、第 3 部は古典の理論、第 4 部は量子化と (1) の正確な定義（4-11）、第 5〜7 部は格子・構成的場の理論・物理の見方です。ほかに、物理の言葉と数学の言葉を並べて比べる辞書の部（8-01〜）、年表と課題を置く現在地の部（9-01〜）、この端末の検討の部（10-01〜）と、記号表・用語集・文献案内などの付録（A-01〜）があります。一語ずつの読みは 0-03、四次元が特別な理由は既存の記事 四次元でだけ起きること・符号が一つ違う と 0-04 にあります。

想定する読者は数学科か物理学科の 2 年生です。既知としてよいのは、多変数の微積分、線形代数の基礎、複素数、常微分方程式、力学と電磁気学の入門、確率の初歩です。ほかの道具は第 1・2 部で用意し、前提の章に無い道具はその場で最小限を定義します。次の三つの式が読めれば、第 1 部から始められます。

例。ガウス積分は自由場を表すガウス測度に（1-08）、$e^{i\theta}$ は群 $U(1)$ の元として電磁気のゲージ変換に（2-03）なります。右の式は行列 $\bigl(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\bigr)$ の固有値を求める式で、固有値は $\pm1$ です。この行列をハミルトニアンと読むと、二つの固有値の差 2 が二準位系のエネルギーの隙間で、ギャップのいちばん簡単な例です（2-05）。数学科の読者には第 2 部を、物理学科の読者には第 1 部の後半（1-07〜1-11）を丁寧に読むことを勧めます。

この本は、主張の強さを文ごとに札で示します。「証明された」「予想されている」「数値的に支持されている」を一つの文で混ぜず、混ぜそうな文には札を付けます。

表 1　五つの札。

誤解されやすいのは Lean の札です。機械検査が保証するのは、前提から結論が論理的に従うこと、つまり矢印の部分です。

前提 $P_1,\dots,P_k$ の正しさは札の外です。前提に測った値や仮に置いた関数の形が入れば結論も条件つきで、この本はその前提を併記します（10-07）。逆に、この端末で導き直した値でも、値そのものが既知なら札は既知です（一ループの係数。4-06）。

例。このサイトの論文（5-11）では、一本の論文の中で札が段ごとに分かれます。格子の作用からある下界（定数 27 を含む不等式）までの鎖は Lean で、定理名は 5-11 に載せます。そこから格子の上の質量ギャップへ進む段は 紙 で、しかも概略です。定数 27 を 21 より小さくできないことは、具体的な配位での厳密な算術で確かめてあり 計算、Lean の定理ではありません。下界の意味などの用語は 5-11 で定義します。一本の論文の中でも、札は文ごとに違います。

どの章も、冒頭の三行（分かること・前提・先に言うこと）、章の順序、番号つきの節、末尾の二つの表（言えている範囲・出典と再現）の順です。節の中は言葉、式、例の順です。式・表・図の番号は章ごとに振り直し、記号は初出で定義して記号表（A-01）と揃えます。たとえば作用は全章でこう書きます。

$A$ はゲージ場、$F_{\mu\nu}$ はその強さ、$g$ は結合定数で、二度現れた添字は 1 から 4 まで和を取ります（3-03）。(4) は物理の書き方（$A$ と $F$ をエルミートな行列で書く規約）です。幾何の書き方の曲率 $F_{\text{幾何}}$ とは $F_{\text{幾何}}=-iF$ の関係にあり、そちらで書くと $\operatorname{tr}F^2$ の符号が変わります（二つの書き方は A-01）。第 3 部から先は $\hbar=c=1$ とし、章の冒頭で断ります。

例。同じ字の二つの意味も冒頭で断ります。$\beta$ は、格子では結合の逆数 $\beta=2N/g^2$（5-01）、統計力学では逆温度 $\beta=1/k_BT$（2-08）です。動く図は最初は止まっていて「動かす」で動き、JavaScript が無くても図の下の表で読めます。用語は A-02 にあります。

目次の各章の「前提」の欄には、先に読む章が書かれています。前提にもまた前提があるので、ある章に要る章の全体は、矢印を逆向きにたどって集めた集合です。これを推移的な前提と呼びます。章 $c$ の直接の前提を $\mathrm{Pre}(c)$ とすると、推移的な前提 $\mathrm{Anc}(c)$ と最長の鎖の章数 $\ell(c)$ は次の再帰で決まります（前提の無い章では $\varnothing$ と 1）。

矢印が輪を作らなければ、この再帰は終わります。計算107 章の間に前提の矢印は 126 本あり、輪はありません。前提の無い章は 13 章です。目次の順は矢印の向きを守るように並べてあり、どの章でも前提の章が目次で先にあります（2026-09-26 の目次で確認）。つまり、この版の目次の順に通読すれば前提は欠けません。

計算この図の数値はこの端末で計算しました。図は「前提」の欄の表からその場で (5) をたどり、表 2 と一致します（2026-09-26 の目次）。

例。計算表 2 は (5) をいくつかの章で計算したものです。最も長い鎖は 14 章で、課題の一覧（9-04）に至るものと、つじつま合わせ（10-12）に至るものの二本があります。前者は第 1・2・4・7 部と現在地の部を、後者は第 1・2・4・5 部とこの端末の検討の部を通ります。

計算表 2　代表的な章の前提。

逆向きに数えると土台の章が分かります。計算1-01（線形代数）は 89 章の、2-01（作用）は 76 章の、1-10（ヒルベルト空間）は 63 章の推移的な前提です。一方、前提の欄は道具として要る章だけを記します。6-10 の推移的な前提 16 章に第 3 部（古典のヤン–ミルズ）は入っていません。前提の欄は読む順の下限で、読むとよい章の全部ではありません。

寄り道は二種類あります。目次で題に「寄り道」と付いた 6 章（1-12・2-09・3-06・4-12・5-11・6-12）と、章の中で「寄り道：」で始まる見出しの小節です。どちらも飛ばしても先へ進めるように書く約束です。章の中の寄り道の小節は、その章の冒頭の「この章の順序」に「寄り道：」の題で出るので、そこで見分けて飛ばせます。寄り道の章の集合を $Y$ とすると、計算推移的な前提に寄り道を含む本筋の章は一章だけでした。

例。1-12・2-09・3-06・6-12 はどの章の前提でもなく、4-12 は 6-12 だけの、5-11 は 10-02 だけの前提です。10-02 へ進むときにだけ 5-11 を先に読みます。

寄り道：前提を破らない並べ方は何通りあるか

通読なら目次の順で足ります。急ぐなら、目的の章の集合 $G$ に推移的な前提を足して目次の順に並べます。この列は前提が欠けません。

提案は三通りです。入口だけは、前提が空か第 0 部だけで済む章（付録を含めて 15 章 計算）から選んだ 7 章です。数学の側からは公理・格子・構成的場の理論を経て四次元で止まる場所まで、物理の側からは漸近自由・閉じ込め・ホログラフィーを経て物理が数学と離れる場所までです。どの道も、表 3 の $G$ から (8) で作った列です。

計算この図の数値はこの端末で計算しました。図は表 3 の $G$ からその場で (8) を作り、python3 の列と一致します。

例。計算三つの列はどれも前提の欠けが 0 です。数学の側からは 48 章、物理の側からは 39 章で、24 章が共通です。二つの道は 9-02（二つの掘り方の切れ目）で合流し、どちらから来ても、もう一方の道の章を足さなければ進めません。9-02 は推移的な前提が 24 章あるので、入口だけの道には入りません。

計算表 3　読む順。$G$ にはどの道でも第 0 部の 4 章を加える。図 2 は上の三つ。最後の行は第 10 部へ入る道で、章数は数えていない。

二つの道の和に 9-04 と 10-11（定理までの距離）の推移的な前提を足すと 70 章で、これも欠けはありません 計算。学科で習った章は、どの道でも飛ばし読みしてかまいません。証明へ向かう道は、この端末の記録が連続極限と質量ギャップの下界に向けて置いた仮定と、止まった場所を順にたどる道です（08 節のとおり、何かを示した記録ではありません）。

この本は問題を解いていません。取り違えやすい点を一つ挙げます。格子ゲージ理論（第 5 部）では、格子間隔 $a$ を固定し、結合の逆数 $\beta$ が小さい側（強結合）で多くが示されています。問題が要るのは反対側です。

この本の一文を置きます。質量ギャップの証明は下界の証明である。試しの状態や有限の測定から出るのは隙間の上界だけで、下界にはすべての状態についての議論が要ります（1-10 の囲み「上界と下界の非対称」）。

格子から入る道では、格子単位の質量 $m_{\mathrm{lat}}$ を $a$ で割った $\Delta=m_{\mathrm{lat}}/a$ が $a\to0$ で正に残ること、さらに極限の理論が公理を満たし非自明であることを示すことになります（5-09・10-01・0-03）。

例。強結合の格子では、Wilson ループの面積則が示されています（Osterwalder–Seiler 1978）既知。Wilson ループは閉じた道に沿ってゲージ場の平行移動を掛け合わせて作る観測量で、面積則はその期待値が道の囲む面積の指数で小さくなることです。クォークの閉じ込めの目印とされます 物理（5-02）。ただし面積則は、可換な群 $U(1)$ を含むどの格子ゲージ理論でも強結合で成り立つので、それだけでは非可換の理論の閉じ込めの証拠になりません（5-06）既知。無限体積の極限について強結合の側で示されていることは 5-04 で扱います。節 03 の例の論文も強結合の側の結果で、連続極限について何も主張していません。

この端末の検討の部（10-01〜）は、このサイトが計算と Lean で確かめてきたことの記録で、検証前の着想（10-09）も札で区別して含みます。主張しないことは 10-10、Lean の読み方は Lean の案内・Lean の記録、論文は 論文の一覧 にあります。

この章が言えている範囲

出典と再現

次に読む章：0-02 一枚の絵。

← 目次目次0-02 一枚の絵 →