この本の全体 目次と読む順
- 第 0 部 入口 — この本の読み方
- 0-01 この本の読み方
- 0-02 一枚の絵
- 0-03 問題文を一語ずつ読む
- 0-04 数学の四次元と物理の四次元
- 第 1 部 数学の準備
- 1-01 ベクトル空間と線形写像
- 1-02 群とは何か
- 1-03 リー群とリー環
- 1-04 SU(2) と SU(3)
- 1-05 多様体と接空間
- 1-06 微分形式と外微分
- 1-07 ベクトル束と接続
- 1-08 確率と測度
- 1-09 無限次元の確率
- 1-10 ヒルベルト空間と自己共役作用素
- 1-11 フーリエ解析と分布
- 1-12 寄り道
- 第 2 部 物理の準備
- 2-01 ラグランジアンと作用
- 2-02 場という考え
- 2-03 電磁気学はゲージ理論である
- 2-04 特殊相対論と時空
- 2-05 量子力学の骨
- 2-06 調和振動子と生成消滅
- 2-07 経路積分の考え方
- 2-08 統計力学と相転移
- 2-09 寄り道
- 2-10 緩和の時間と動的指数 z
- 第 3 部 ヤン–ミルズ理論(古典)
- 3-01 ゲージ原理
- 3-02 非可換ゲージ場
- 3-03 作用と方程式
- 3-04 幾何としてのゲージ理論
- 3-05 インスタントンと位相
- 3-06 寄り道
- 3-07 標準模型の中のヤン–ミルズ
- 第 4 部 量子化
- 4-01 正準量子化とハミルトニアン
- 4-02 経路積分とユークリッド化
- 4-03 摂動論と Feynman ダイアグラム
- 4-04 発散と繰り込み
- 4-05 発散の代数
- 4-06 漸近自由
- 4-07 次元転移と Λ
- 4-08 ゲージ固定と Faddeev–Popov
- 4-09 場の量子論の公理
- 4-10 Osterwalder–Schrader の公理と再構成
- 4-11 質量ギャップの定義
- 4-12 寄り道
- 第 5 部 格子ゲージ理論
- 5-01 Wilson の格子
- 5-02 強結合展開
- 5-03 反射正値性と転送行列
- 5-04 無限体積極限とクラスター展開
- 5-05 弱結合と連続極限
- 5-06 U(1) と非可換の違い
- 5-07 モンテカルロ法
- 5-08 グルーボールと弦張力の測定
- 5-09 何を固定して極限を取るか
- 5-10 有限群の格子ゲージ理論
- 5-11 寄り道
- 第 6 部 構成的場の理論
- 6-01 構成的場の理論とは
- 6-02 二次元の可解性とヤン–ミルズ測度
- 6-03 スカラー場の構成
- 6-04 クラスター展開
- 6-05 繰り込み群の段の列
- 6-06 三次元ヤン–ミルズの紫外安定性
- 6-07 四次元
- 6-08 四次元の φ⁴ の自明性
- 6-09 確率量子化と正則性構造
- 6-10 四次元で止まる場所
- 6-11 発散以外の障害
- 6-12 寄り道
- 第 7 部 物理の側から
- 7-01 物理はどう見ているか
- 7-02 閉じ込めの機構
- 7-03 弦の絵
- 7-04 大 N
- 7-05 ひも理論と余剰次元
- 7-06 余剰次元が見えなくなる仕組み
- 7-07 ゲージ場はどこから来るか
- 7-08 ホログラフィー
- 7-09 質量ギャップが幾何になる
- 7-10 四次元に戻す
- 7-11 超対称と Seiberg–Witten
- 7-12 等価原理に当たる一文
- 7-13 物理の掘り方が数学と離れる場所
- 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
- 8-01 辞書の読み方
- 8-02 辞書 A
- 8-03 辞書 B
- 8-04 辞書 C
- 8-05 私たちの仮定の物理側の対応
- 第 9 部 現在地と課題
- 9-01 世界はどこまで来ているか
- 9-02 二つの掘り方の切れ目
- 9-03 新しい概念の候補
- 9-04 課題の一覧
- 9-05 よくある誤解
- 第 10 部 質量ギャップの厳密な証明へ — この端末の検討
- 10-00 第 10 部の入口 — 酔歩と定規と時計
- 10-01 理論の構成の筋
- 10-02 一段の記帳
- 10-03 仮定 H と三つの鎖
- 10-04 方向の地図
- 10-05 方向 12〜14
- 10-06 方向 15・15′
- 10-07 Lean で閉じた言明と既存の結果の対応表
- 10-08 壁の一覧
- 10-09 ひらめき帳から
- 10-10 主張しないこと
- 10-12 つじつま合わせ
- 10-11 定理までの距離
- 10-13 小さな問い — 卒業研究の大きさで決着のつく十〜二十問
- 付録
- A-01 記号表
- A-02 用語集
- A-03 文献案内
- A-04 Lean と機械検査
- A-05 この本の作り方
- A-06 仮定の索引
ゲージ原理 — 局所的な対称性を要求すると、比べる道具が要り、それが力を運ぶ
この章で分かること — 位相を点ごとに回す(局所的な)対称性を要求すると微分が壊れ、隣の点を比べる道具(接続)で直ること。その道具が場になり、保存する電荷と結び付いて力を運ぶこと。SU(2) ではゲージ場自身も回されること。
前提となる章 — 2-03(ゲージ変換・位相因子)と 1-04(SU(2)・随伴表現)。ほかに 2-01 の Noether の定理と 2-04 §07 の添字だけを使います。、(Heaviside–Lorentz 単位)とします。
先に言うこと — ゲージ原理は理論の形を選ぶ指針で、定理ではありません(07 節)。非可換の場の強さと自己相互作用は 3-02 に回します。古典の場だけを扱い、この章はヤン–ミルズの質量ギャップについて何も示していません。
- 大域的な対称性 — 電荷が保存する
- 局所的に回す — 微分が壊れる
- 比べる道具 — 接続と共変微分(図 1・表 1)
- A を動く場にする — 場の強さと、置けない質量項
- 力が出る — 保存する電荷との結合(図 2)
- 同じ要求を SU(2) で — 自分も回される場と、質量の問題
- 原理が決めること、決めないこと(表 2)
- 寄り道:「ゲージ」はもともと物差しだった
- この本での行き先
大域的な対称性 — 全体で同じだけ回す
2-03 では、ポテンシャル が先にあり、位相の取り替え (G') は後から見つかりました。この章は逆に、「位相を点ごとに勝手に回しても理論が変わらない」ことを要求して電磁場を導きます。この手続きがゲージ原理です。
出発点は複素数の値をとる場 、電荷を持つ粒子のいちばん簡単な模型です。ラグランジアン密度(2-01・2-02)を
とします(例えば 、 は粒子の質量)。定数 で と回しても は不変です(大域的な U(1) 対称性。U(1) は絶対値 1 の複素数の群、1-02)。Noether の定理(2-01)から、定数 を掛けて書いた保存則が出ます。
例。平面波 ()では 、。 は 05 節で電荷になります。大域的な対称性は「全点の位相の基準をいっせいにずらしても何も変わらない」と言っています。
局所的に回すと、微分が壊れる
回す角を点ごとに変え、 とします(局所的な変換)。 は変わりませんが、微分に余分な項が付きます( は と の成分、)。
例。定数の場 の勾配のエネルギー は 0 ですが、 で回すと 、。基準を変えただけなのに、(1) は別の状態として数えます。
微分は隣り合う二点の差 を で割った極限です( は向きの単位ベクトル)。二つの値が違う角だけ回されると、差に「場の変化」と「基準の変化」が混ざります。違う点の値は、そのままでは引き算できません。
なぜ局所的な変換を要求するのか。Yang と Mills(1954)の要旨は、アイソスピンの回転(06 節)での通常の不変性が局所的な場という考え方と相容れない、と述べます(要旨の中身は 3-02 §01)既知。これは要求(原理)で定理ではなく、自然が従うかは実験が決めます(07 節)。
比べる道具 — 接続と共変微分
違う点の値を比べるには、「点 の位相の基準は、点 ではどれに当たるか」という対応が要ります。これを比較器 と呼び、 を へ運んだものを とし、変換の下で
と約束します。逆向きに運ぶのは逆元で、 とします。すると差 には が掛かるだけです。比べる前に運ぶ、が要点です。
近い二点では比較器は 1 に近く、そのずれの割合を場 と名付けます:。逆向きはその逆元なので です。 の値をこれで へ運んでから引き、 を の向きにとって差の商の極限をとると
これが共変微分です。(3) を で展開すると の変わり方が決まります。
例。、(2-04 の書き方)、 と置くと、(5) は 、、。2-03 の (G)(G') です。要求から電磁ポテンシャルとそのゲージ変換に行き着きました。道に沿って比較器を掛け重ねたものが 2-03 §05 の位相因子、幾何の言葉では平行移動(1-07 §03)です。
鎖で見る
空間を点の列 に刻むと、比較器は辺ごとの (2-03 §08、5-01 のリンク変数)になり、微分の代わりに比べ直した差を使います。(3) は で、
絶対値の二乗の和は変わらず、素朴な差 の和は変わります。
計算図の数値はその場で計算。点ごと・接続ありで を 0 から 0.25 刻みで 1 まで動かすと、素朴な差の和は 1.317・8.070・19.536・22.541・17.700、比べ直した差の和は 1.317 のまま(接続なしでは両方とも前者、全体で同じなら両方とも 1.317)。
計算表 1 12 点の輪(でたらめな場と比較器)を変換した前後。 は一周する比較器の積(SU(2) は 06 節)、 は変換した後の値です。「 の成分の最大」は、差の行列の成分の絶対値の最大をとったものです。
| 群 | 回し方 | 素朴な差の和 前 → 後 | 比べ直した差の和 前 → 後 | の成分の最大 | |
|---|---|---|---|---|---|
| U(1) | 点ごと | 65.474 → 50.856 | 83.239 → 83.239 | 0 | 0 |
| SU(2) | 全体で同じ | 82.514 → 82.514 | 75.704 → 75.704 | 1.39 | |
| SU(2) | 点ごと | 82.514 → 85.310 | 75.704 → 75.704 | 0.239 |
比べ直した差の和の変化はどれも 以内(丸め誤差)。U(1) を全体で同じだけ回すと、どの列も変わりません。
A を動く場にする — 場の強さと、置けない項
を自分の方程式に従う場にするには、 の微分を含み (5) で変わらない項を作用に足します。材料は閉じた道の比較器で、(3) から が全部打ち消し合います。 から の向きへ、次に の向きへ進んで一辺 の正方形を一周し、 に戻ると
同じ量は にも現れます。比較器は 1-07 の平行移動と同じく始点から終点へ運ぶ向きで、幾何の書き方 、 に直すと (6) は となり、1-07 の (10) と に符号まで一致します(格子のリンクを逆向きに読む 5-01 では指数の符号が逆になります)。例。成分は 、(2-04)で、 は電場と磁場そのもの。電場と磁場は比較器の曲率(小さな輪を回ったときのずれ、1-07 §05)でした。不変な項のうち微分の次数が最も低いものを並べると
最後の項は (2-04 の (8))です。(1) の を に替えるだけの結び付け方を最小結合と呼びます。
置けない項。 に質量を与える項 は、(5) で と の二次の項だけ変わります。ゲージ原理から出る場には質量項を書けません(2-03 §04 と同じ)既知。これが 05 節で力の届く距離に効き、06 節で難点になります。
力が出る — 保存する電荷との結合
(7) を について展開すると、01 節の量がそのまま現れます。
ゲージ場は、大域的な対称性の保存量 (2) に、変換に現れたのと同じ で結び付きます。2-03 の (L) の形そのものです。
(8) を で変分すると Gauss の法則が出ます。
右辺は (2) の そのものではなく、その を に替えたものです( を含む項が加わります)。原点に止まった点電荷 では、この右辺を と置きます。静的なら で、 から 。距離 の電荷 のエネルギーは
例。 では同符号の電荷は反発し、力は で遠くまで届きます。局所的な対称性を要求しただけで、離れた電荷の間に力が生じました。(7) の理論( の最小が のとき)では、禁じた質量項を仮に足すと になり、(湯川型)はおよそ より遠くに届きません。足さなければ Coulomb 型で遠くまで届きます。
ただし、ゲージ不変性は力が遠くまで届くことを保証しません。古典論でも Higgs 場があれば、ゲージ不変性を保ったまま届く距離は有限になります(3-07)既知。(8) で見ると、 の最小が にあって がそこに留まるとき、項 は の質量項 と同じ形になります(3-07 の (9) は場の大きさの最小を に置くので、同じ質量が と書かれます)。
図 2 は立方格子(間隔 1)で を数値で求めたものです( は隣の六点の値の和から を引いたもの)。
計算点はこの端末の計算、実線はその場で計算。静止した値: で格子の は 1.082・1.020・1.002 で、格子の間隔の数倍より遠くで Coulomb に近づきます。 は 0.670・0.147・0.0027(連続の は 0.607・0.135・0.0025)で、格子の軸方向の減衰の速さは から です。
同じ要求を SU(2) で
陽子と中性子は質量がほぼ等しく、核力もほぼ同じように感じます。二つを二成分の場 にまとめるのがアイソスピンの見方で、混ぜる回転 (、1-04。(1) の と区別して、行列は 3-02 と同じく と書きます)で (1) の形の理論は変わりません。Yang–Mills(1954)は、この対称性に 02 節の要求を課しました。
比較器を SU(2) の行列にして とし、近い二点で 、(。1-07 の幾何の書き方とは 。 は 3-02 §02 の「結合を吸収」した書き方)とすると
例。()なら (5) に戻り( が の役)、幾何の書き方では 1-07 §07 の です(1-07 は変換の行列を と書きますが、ここでは は結合定数です)。U(1) との違いは三つあります。
- 場の数。リー環の次元だけ要ります:U(1) は 1(光子)、SU(2) は 3()、SU(3) は 8(グルーオン)、SU(N) は 。
- ゲージ場自身が回される。(10) の は が定数でも を回します(随伴表現、1-04 §06)。光子と違い、自分が結び付く「電荷」を自分でも持つわけです。表 1 で SU(2) の が全体の回転でも と変わり、 だけが残るのはこのためで、ここから自己相互作用が出ます(3-02)。
- 結合定数は一つ。U(1) では場ごとに別の を自由に置けます。単純な非可換群(1-03 §08)では結合定数は一つの だけで、各物質場との結合の強さは と、その場の表現の生成子 で決まります(二成分の場なら 、随伴表現の三成分の場なら )既知。理由の筋は、場の強さの非線形の項 (09 節・3-02)が の規格化を と結び付けて固定し、群が単純なら運動の項の不変な形も定数倍を除いて一つしかないことです(2-04 §07・1-03)。
質量の問題。SU(2) でもゲージ場に質量項は書けません。Yang の回想では、1954 年 2 月下旬の Princeton のセミナーで Pauli が「この場の質量は何か」と尋ねました(経緯は 3-02 の寄り道)。核力は短距離の力で、05 節の Coulomb 型の届き方と合いません。Jaffe–Witten の問題文 §1 も、古典の波に質量が無いことが深刻な障害だったと書き 既知、弱い力では Higgs 場を足して(3-07)、強い力では量子論そのものの性質(漸近自由、4-06)で越えられたとします 物理。後者で期待される質量ギャップ(4-11)を数学として示すのが問題文の課題です。
原理が決めること、決めないこと
ゲージ原理は強い制約ですが、理論を一つに決めはしません(表 2)。
| 決めること | 決めないこと |
|---|---|
| 接続 が要ること、その変換則 (5)(10) | どの群か(U(1)・SU(2)・SU(3) を選ぶのは実験) |
| 微分が を通してしか入れられないこと、結び付く流れが保存すること | U(1) での電荷の比(群が円なら表現 の は整数で電荷は整数比。円か直線 かは原理の外) |
| ゲージ場に質量項を書けないこと | 運動の項が であること( も不変。低い次元の項だけ残す理由は 4-04) |
| ゲージ変換で移り合う配置は同じ物理を表すこと | 最小結合( を に替えるだけ)を選ぶこと。最小でない結び付け方( も不変)も原理は禁じない |
表の二行目の例。群が円なら、どの場の電荷も一つの単位の整数倍になります。群が直線 なら電荷の比は任意の実数でよく、原理だけからは電荷が一つの単位の整数倍に揃う理由は出ません。三行目の例。 のような項は より場の次数が高く、四次元では係数が長さの四乗の次元を持つので、長い距離ほど効きが小さくなると考えられています(2-04 §08・4-04 §06)物理。
局所的な「対称性」は普通の対称性と違い、拘束(Gauss の法則)と書き方の重複を生みます(2-01 §08)。重複をどう割るかは 3-04・4-08 の主題です。
もう一つ、普通の対称性との違いがあります。対称性が自発的に破れるとは、作用(統計力学ならエネルギー)は対称なのに、平衡状態(期待値)が対称でなくなることです。例は 2-08 §04 の自発磁化です。Elitzur(1975)は、ゲージを固定しない格子ゲージ理論では局所的な対称性が自発的に破れない(ゲージ不変でない量の期待値は 0 になる)と論じ、可換な格子の簡単な系で具体的に示しました 既知。
寄り道:「ゲージ」はもともと物差しだった
飛ばしてよい節です。
「ゲージ変換」「ゲージ不変性」という語が物理に初めて現れるのは、Weyl が 1918 年に重力と電磁気を一つの幾何から導こうと試みた論文で、意味は長さの基準の取り替え(較正。ドイツ語の Eich-、動詞 eichen)でした(O'Raifeartaigh–Straumann §I)既知。Weyl は、離れた二点のベクトルの大きさを直接比べられる Riemann 幾何に不満を述べました(英訳、同 §II)。
A true infinitesimal geometry should, however, recognize only a principle for transferring the magnitude of a vector to an infinitesimally close point …
(真の無限小幾何は、ベクトルの大きさを無限に近い点へ移す原理だけを認めるべきだ。)03 節の比較器と同じ発想です。ただし運ぶのは位相ではなく長さです。Weyl の理論には、長さの基準が点から点へどれだけの割合で変わるかを表す実数値の場 があり、ベクトルを道 に沿って点 から点 へ運ぶと、長さ は
と変わります(O'Raifeartaigh–Straumann の (2.2)。符号は規約によります)。閉じた道を一周して戻ると、長さは実数の因子 倍になります。(6) と同じく、穴の無い領域でこの因子がどの輪でも 1 になるのは のときで、Weyl は を電磁ポテンシャルと見なしました(同 §II)。
Einstein はすぐに反論しました。原子時計の振動数がたどった道で変わってしまい、原子のスペクトルが安定していることと矛盾する、と 既知。
量子力学が現れると、London(1927)は指数を虚数にすれば波動関数の位相の取り替えになると気づきました(その不変性は Fock(1926)が見つけていた)。Weyl は 1928 年の著書と 1929 年の論文でこれを「ゲージ不変性の原理」として掲げ、電磁場は物質の波の場に必然的に伴うと書きました(Jackson–Okun §III.B)既知。名前は長さの較正に由来するまま残りました。比喩で言えば「各点で物差しを勝手に選べる理論」ですが、正確には、各点で選べるのは長さの尺度ではなく複素数の位相(一般には群の元)です。非可換の最初の模型は Klein(1938)でしたが忘れられ、今日の流れは Yang–Mills(1954)からとされます(同 §V)。
この本での行き先
3-02 では (6) の正方形を SU(N) で回します。比較器が掛ける順で変わるため、場の強さに交換子が加わり、自己相互作用が出ます。
Gauss の法則を量子論で課すのは 4-01。5-01 の格子では比較器 を変数にし、(6) の正方形の積(プラケット)で作用を作ります。四次元で が無次元になることは 2-04 §08 と 四次元の記事。
まとめると、局所的な対称性の要求がゲージ場を呼び込み、その場は保存する電荷と結び付いて力を運び、古典論ではその質量項を手で書けません(Higgs 場を足すと事情が変わります。3-07)。四次元の非可換の場合に、量子論ではそれでも質量の隙間が生じることを示せ、というのが問題文です(0-03)。
この章が言えている範囲
| 事項 | 言えている | 言えていない |
|---|---|---|
| 01〜05 節:共変微分 (4)、変換則 (5)、場の強さ (6)、質量項が不変でないこと、保存流との結合、(9) の二つの形 | 古典の場での標準の導出 既知。表 1、図 1・2 の数値 計算 | 格子は間隔 1 の値で、連続極限は取っていない |
| 力の届く距離 | (7) の理論( の最小が )では、質量項が無ければ Coulomb 型で遠くまで届くこと 既知 | ゲージ不変性だけからは遠くまで届くことは出ない。Higgs 機構の中身は 3-07 |
| 06 節:SU(2) の変換則 (10)、場の数、随伴で回されること、結合定数が一つであること | (10)・場の数・随伴での回り方 既知。結合定数が一つである理由は筋だけ(2-04 §07・1-03) | 自己相互作用の式(3-02) |
| 質量の問題 | 古典のゲージ場に質量項を手で書けないこと 既知。強い力の越え方は 物理 | 量子論の質量ギャップ(未解決。この章は何も示していない) |
| 07 節:原理の位置づけ・Elitzur の結果 | 原理は理論の形を選ぶ指針であること。Elitzur の結果は要旨の水準(論じ、可換な格子の簡単な系で示した) | 原理を定理として導くこと。一般の群での Elitzur の議論の中身(本文は確認していない) |
| 08 節の経緯 | 二つの総説に書かれていること 既知 | 原論文の本文(書誌のみ) |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 表 1・図 1 | 計算 | python3・NumPy(covariant_diff.py)。図はその場で計算 |
| 図 2 の点・05 節の値 | 計算 | python3・SciPy(lattice_green.py:、変形 Bessel 関数。恒等式 を 10 桁で再現)。FFT による検算 check_fft.py |
| 動機・Pauli の質問 | 既知 | C. N. Yang, R. L. Mills, Phys. Rev. 96 (1954) 191(要旨を確認)。C. N. Yang, Selected Papers 1945–1980 with Commentary (1983) p. 525(書誌のみ。O'Raifeartaigh–Straumann §VII の引用で確認) |
| 古典の波に質量が無い障害と、Higgs 場・漸近自由による乗り越え | 既知 | A. Jaffe, E. Witten, Quantum Yang–Mills Theory(Clay の問題文)§1(本文を確認) |
| 局所的な対称性は自発的に破れない(Elitzur) | 既知 | S. Elitzur, Phys. Rev. D 12 (1975) 3978(要旨を確認) |
| 08 節の経緯 | 既知 | J. D. Jackson, L. B. Okun, Rev. Mod. Phys. 73 (2001) 663, arXiv:hep-ph/0012061(§III.B・§V を確認)。L. O'Raifeartaigh, N. Straumann, Rev. Mod. Phys. 72 (2000) 1, arXiv:hep-ph/9810524(arXiv 版の §I・§II・§V・§VII を確認)。原論文は書誌のみ(二つの総説の文献表による):H. Weyl, Sitzungsber. Akad. Wiss. Berlin (1918) 465/V. Fock, Z. Phys. 39 (1926) 226/F. London, Z. Phys. 42 (1927) 375/H. Weyl, Gruppentheorie und Quantenmechanik (Hirzel, Leipzig, 1928)/H. Weyl, Z. Phys. 56 (1929) 330/O. Klein, in New Theories in Physics(Warsaw の会議, 1938) |
次に読む章:3-02 非可換ゲージ場。
← 2-10 緩和の時間と動的指数 z目次3-02 非可換ゲージ場 →