この本の全体 目次と読む順
- 第 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 仮定の索引
電磁気学はゲージ理論である — ポテンシャルの書き方の余りは、各点で選ぶ U(1) の元になる
この章で分かること — 同じ電場・磁場を与えるポテンシャルが無数にあること(ゲージ変換)。
Gauss の法則が拘束であり、ゲージ不変性と電荷の保存が組であること。
量子力学ではゲージ変換が位相(U(1) の元)を点ごとに回し、閉じた道の位相因子が観測にかかること。
前提となる章 — 2-02、2-01 の 08 節(局所的な対称性と拘束)、1-01。ベクトル解析と電磁気学の入門は既知とし、量子力学は 05 節で最小限を置きます。
先に言うこと — 相対論の形は 2-04、非可換は 3-02。相互作用の無い電磁場に質量ギャップはありません(04 節)。この章はヤン–ミルズの質量ギャップについて何も示していません。
- 電場と磁場 — Maxwell 方程式
- ポテンシャル — (M2) を自動的に満たす
- ゲージ変換 — 書き方の余り(図 1)
- 作用から — 拘束と電荷の保存
- 量子の位相と U(1) — 位相を点ごとに回す(位相因子)
- Aharonov–Bohm 効果 — B = 0 でも縞が動く(図 2・表 1)
- 輪の上の粒子 — 準位は磁束の周期関数
- 格子の輪 — 辺に U(1) の元を置く(図 3・表 2)
- U(1) から SU(N) へ — ゲージ原理へ
電場と磁場 — 四本の方程式
電磁気学の主役は、各点に三次元ベクトルを持つ二つの場、電場 と磁場 です。電荷 ・速度 の粒子は Lorentz 力 を受け、場は Maxwell 方程式に従います(SI 単位。 は電荷密度、 は電流密度、)。
(M1) の二本(Gauss の法則と Ampère–Maxwell の法則)は電荷と電流が場を作る式、(M2) の二本(磁荷が無いことと Faraday の電磁誘導の法則)は場の形への制約です。例。源の無い所では (M1)(M2) から (2-02 の波動方程式の三次元版)が出て、この波が光です。分散 に下限はありません。
(M2) は源を含まないので、方程式を解く前に の形を先に絞れます。それが次の節です。
ポテンシャル — 源のない二本を自動的に満たす
恒等式 と で、(M2) を自動的に満たせます。 を回転で書けば一本目が成り立ち、二本目は となるので、 を勾配で書きます。
をベクトルポテンシャル、 をスカラーポテンシャルと呼びます。 全体では なら必ず は回転で書けます 既知(1-06)。
例 1。一様な には も も使えます。例 2。半径 の長いソレノイドで、内側に一様な 、外側は磁場なし、磁束 。軸からの距離 、軸を回る向きの単位ベクトル で
外側では なのに 。半径 の円を一周する線積分は で、Stokes の定理どおり中を貫く磁束です。回転が 0 の所だけを通る道でも、一周の値は 0 になりません。道が穴(ソレノイド)を囲んでいるからで、この値を量子力学が読み取るのが 06 節です。
ゲージ変換 — 同じ場を与える書き方の余り
(P) は から を一つに決めません。滑らかな関数 で
と取り替えても は変わりません(、)。これをゲージ変換、 をゲージ関数と呼びます。例。例 1 の二つは で移り合います()。
条件( など)で余りを減らすことをゲージ固定と呼びます(量子版は 4-08)。
格子の上で見る
平面を正方格子に刻み、 を辺ごとの数 ()で持ちます。正方形の面 の角を反時計回りに 1〜4 とすると、Stokes の定理から面を貫く磁束 は四辺の和で、ゲージ関数は格子点の値 になります。
各角の は と で一度ずつ現れて消え、 は変わりません。例。辺の値 の和は 0.5。 で変換すると ですが、和は 0.5 のままです。辺に群の元を置けば Wilson の格子ゲージ理論(5-01)の出発点です。
計算図の数値は四辺の和と の足し込みからその場で計算。
「一つの面だけに磁束」は 06 節のソレノイドの格子版です。0 でない辺の列はゲージで形を変えても消えません(06 節の角 が跳ぶ切れ目に当たる)。「磁場なし」で辺だけが揺れるのが純粋なゲージです。
作用から — 拘束と電荷の保存
Maxwell 方程式も作用の停留条件です(2-01・2-02)。未知数は 、 は (P) で書いたものとします。
(M2) は (P) から自動的に成り立ち、(M1) が Euler–Lagrange 方程式として出ます 既知。 は を含みますが を含まないので、 を動かして出る は時間の二階微分を含まない同時刻の条件、拘束です。2-01 の玩具の の方程式に当たります。こうして の四成分のうち、ゲージ変換 (G) で一つ、この拘束で一つが消え、残る が光の偏りの数です 既知(量子版は 4-01)。
(G) で最初の二項は変わらず、後ろの二項は だけ増えます。部分積分すると( は遠くで 0)
どの でも作用が変わらないことは、電荷の保存 と同じです。方程式の側から見ると、(M1) の二本は独立ではありません。Gauss の法則の時間微分と Ampère–Maxwell の法則の発散を組み合わせると、場の項は で恒等的に消え、 だけが残ります。電荷が保存するなら方程式の一部は残りから従う。これが 2-01 の第二定理の形です。
例:質量項は置けない。2-02 にならい を足すと、横波の分散は になり下限 ができます。しかしこの項は (G) で変わってしまいます。ゲージ不変性の下では、作用に質量項を直接書き足すことはできません。相互作用の無い電磁場では下限は生じず、量子論でも光子の質量は 0、自由な電磁場に質量ギャップはありません 既知。
ゲージ不変性を保ったまま、相互作用から質量が生じうるかは別の問題です。超伝導体の中の Meissner 効果や Higgs 機構(3-07)はその例です 既知。ヤン–ミルズでは、別の場を足さずにそれが起きるかが問われます(09 節・4-11)。
量子の位相と U(1)
古典の粒子は だけを感じますが、量子力学ではポテンシャルが式に入ります。使うのは三つ(2-05)。(i) 状態は複素数値の波動関数 で表され、 が位置の確率密度。(ii) 定数 について と は同じ状態。(iii) 質量 ・電荷 の粒子は次の Schrödinger 方程式に従う()。
(G) で (S) は崩れそうですが、 も
と変えれば (S) はそのまま成り立ちます。鍵は共変微分 で、積の微分から出る が の変化分と打ち消し合います。
時間の側も同様です。Fock(1926)がこの不変性に気づき、London(1927)がそれを Weyl が以前に立てた尺度(Eich)の理論と結びつけ、Weyl(1928〜29)がゲージ不変性として原理に掲げたとされます(Jackson–Okun 2001)。
は絶対値 1 の複素数で、その全体は掛け算で群をなします。これが U(1)(単位円。1-02)です。ゲージ変換とは、各点で U(1) の元を一つずつ選ぶことです。全点で同じ元なら (ii) そのもの、点ごとに違えば が辻褄を合わせます(逆向きの議論は 09 節)。
道に沿った位相因子
基準が点ごとなら、離れた点の位相はどう比べるのか。 から への道 について
両端の取り替えを打ち消すので、 は位相を から へ運ぶ道具(平行移動、1-07)です。閉じた道ならゲージ不変で、囲む磁束 により 。格子では辺ごとの の積で、03 節の足し算が群の掛け算になります。
Aharonov–Bohm 効果 — 磁場の無い所で縞が動く
例 2 のソレノイドの両脇を電子が通る二重スリットを考えます。電子の通る所は で、古典的には何も変わりません。量子力学では、スリット 1 の道 と 2 の道 の寄与が足され、位相差が縞を作ります。 と逆向きの をつなぐとソレノイドを一周するので、 による位相差は
で、縞は縞間隔の だけずれます。 が の整数倍なら元と区別できません。予言は Aharonov–Bohm(1959)。先に Ehrenberg–Siday(1949)が同じ結論に達しており、1939 年の手がかりも指摘されています 既知(Hiley 2013)。
計算縞は ()をその場で計算した模式図(縞の数と幅は見やすさで選択)。
なぜゲージ変換で消せないか。外側では ( は軸を回る角)なので で消せそうですが、 は一周で 増え、関数として一つに決まりません。一価であればよいのは位相 のほうで、それは が整数のときに限られ、そのときに限り は消えて効果も消える。周期 はここから来ます。
計算表 1 半径 1・ のソレノイドの周りの の数値積分。右の二列は例 2 の と、 で変換した 。囲む磁束 × 巻き数との差は 以内。
| 閉じた道 | 道の上の | ||
|---|---|---|---|
| 円 半径 2・中心 (0, 0) | 0 | 1.000000 | 1.000000 |
| 正方形 一辺 5・中心 (0.7, −0.4) | 0 | 1.000000 | 1.000000 |
| 円 半径 1・中心 (3, 0)(囲まない) | 0 | 0.000000 | 0.000000 |
| 円 半径 2 を 2 周 | 0 | 2.000000 | 2.000000 |
| 円 半径 0.5(ソレノイドの中) | 0.3183 | 0.250000 | 0.250000 |
計算電子では Wb、直径 1 µm の円にこれを通す磁場は 5.27 mT。既知実験による最初の検証は Chambers(1960)とされ、Tonomura ら(1986)は磁場を超伝導体に閉じ込めて測りました。
輪の上の粒子 — 準位は磁束の周期関数
縞のずれは準位にも現れます。半径 の輪に閉じ込めた電荷 の粒子を考え、輪の中心を磁束 が貫くとします。輪の上は 、 で、 は輪に沿う向きの だけになります。(S) に定常状態 ( が時間によらない状態。一周で戻るので は整数)を入れると、左辺は 、右辺は となり、エネルギーは
では番号が と付け替わるだけなので、準位の集まりは周期 の周期関数で、 で下の二つが重なります。輪の上に磁場は無いのに、準位は磁束を知っています。この周期性から超伝導の円筒の磁束の量子化(周期 )を論じたのが Byers–Yang(1961)とされます 既知。
Wu–Yang(1975)は AB 効果の検討から、場の強さでは電磁気学を記述し足りず、位相 では記述し過ぎで、過不足ないのは位相因子 だとまとめています 既知。この準位もその一例です。
格子の輪 — 辺に U(1) の元を置く
点の輪で、隣へ移る振幅 ()に辺ごとの U(1) の元を掛けたエルミート行列 、(番号は を法とする)を考えます。ゲージ変換は で、変わらないのは一周の積 ()だけ。一様な では平面波が固有ベクトルで、
なら で、07 節の連続の輪と同じ形です。
計算準位は閉じた式()からその場で計算。
計算表 2 、 の下の二つの準位(行列の固有値)。右端は三つのゲージ(一様/一本の辺に集める/でたらめな を足す)の間の差と、閉じた式との差の最大。行を押すと図 3 に移ります。
| f | 差の最大 | |||
|---|---|---|---|---|
| 0 | −2.000000 | −1.732051 | 0.267949 | 1.0e−15 |
| 0.25 | −1.982890 | −1.847759 | 0.135131 | 6.7e−16 |
| 0.5 | −1.931852 | −1.931852 | 0.000000 | 7.8e−16 |
| 0.75 | −1.982890 | −1.847759 | 0.135131 | 1.3e−15 |
| 1.25 | −1.982890 | −1.847759 | 0.135131 | 8.9e−16 |
準位は三つのゲージで丸め誤差の範囲で一致し、・・ で同じです。 では が連続の輪の に近づき、下の二つの準位で相対差は最大 ( の )でした 計算。
は有限の輪の話で、輪を大きくすると 0 に近づきます。問題文の質量ギャップ(4-11)とは別物です。見てほしいのは、準位が一周の位相因子だけで決まること。ヤン–ミルズの格子の観測量も閉じた道の位相因子(Wilson ループ、5-01)から作ります。
U(1) から SU(N) へ — この本での行き先
ヤン–ミルズ理論は、各点で選ぶ元を U(1) から SU(N)(行列式 1 の ユニタリ行列、1-04)に取り替えたものです(3-02)。掛ける順で結果が変わるため、場の強さに交換子の項が加わり、場自身が色電荷(電荷に当たるもの)を持って方程式が非線形になります(3-03)。古典の波に下限が無いのは光と同じですが、量子では隙間が生じると考えられています 物理(5-08)。U(1) との違いは 5-06。
次の橋は 3-01 です。この章は を先に置き、(G') を後から見つけました。3-01 は逆に、位相を各点で勝手に回しても (S) が変わらないよう求め、辻褄を合わせる場として を導きます。同じ要求を SU(N) で行うとヤン–ミルズ場が出ます。これがゲージ原理で、05 節の平行移動と 08 節の辺の元がその部品です。
この章が言えている範囲
| 内容 | 状態 |
|---|---|
| 01〜05 節(ゲージ変換、拘束、電荷の保存、作用に質量項を直接置けないこと、(G')、位相因子) | 言えている 既知。格子は図 1 計算 |
| 06〜08 節(AB 効果の位相差と周期 、輪の準位の周期性とゲージ不変性) | 言えている 既知(道の位相の比較として。散乱の厳密解は扱わない)。表 1・2 計算 |
| 自由な電磁場に質量ギャップが無いこと/ゲージ不変なまま質量が生じる機構・ヤン–ミルズの質量ギャップ | 前者は既知。後者は例を名指すだけで、この章は何も示していない |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 表 1・2、06・07 節の数値、図 1〜3 | 計算 | python3・NumPy(線積分の中点則、エルミート行列の固有値)。図はブラウザの JavaScript(本文の式) |
| Maxwell 方程式・ゲージ不変性の経緯(Fock・London・Weyl) | 既知 | J. D. Jackson, L. B. Okun, Rev. Mod. Phys. 73 (2001) 663, arXiv:hep-ph/0012061(要旨と III 節を確認)。J. C. Maxwell, Phil. Trans. R. Soc. Lond. 155 (1865) 459、V. Fock, Z. Phys. 39 (1926) 226、F. London, Z. Phys. 42 (1927) 375、H. Weyl, Gruppentheorie und Quantenmechanik (1928)・Z. Phys. 56 (1929) 330(書誌のみ) |
| ゲージ不変なまま質量が生じる例 | 既知 | P. W. Anderson, Phys. Rev. 130 (1963) 439(題名と要旨を確認)。詳しくは 3-07 |
| AB 効果の予言・経緯・実験 | 既知 | Y. Aharonov, D. Bohm, Phys. Rev. 115 (1959) 485、A. Tonomura et al., Phys. Rev. Lett. 56 (1986) 792(ともに要旨を確認)。B. J. Hiley, arXiv:1304.4736(本文を確認)。W. Ehrenberg, R. E. Siday, Proc. Phys. Soc. B 62 (1949) 8(書誌のみ)。R. G. Chambers, Phys. Rev. Lett. 5 (1960) 3(書誌のみ・題名を確認・「最初」は未確認) |
| 位相因子による記述 | 既知 | T. T. Wu, C. N. Yang, Phys. Rev. D 12 (1975) 3845(§II の結論を確認) |
| 磁束の周期性と超伝導 | 既知 | N. Byers, C. N. Yang, Phys. Rev. Lett. 7 (1961) 46(書誌のみ。題名で主題を確認・内容は未確認) |
次に読む章:2-04 特殊相対論と時空。ゲージ原理へ進むなら 3-01。
← 2-02 場という考え目次2-04 特殊相対論と時空 →