この本の全体 目次と読む順
- 第 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 仮定の索引
ベクトル束と接続 — 点ごとに別々の空間を、道に沿って比べる規則
この章で分かること — 各点のベクトル空間を道に沿って比べる規則(接続)を行列値の 1-形式 で書き、平行移動・曲率 ・ホロノミー・ゲージ変換 を一続きに導きます。単極子の貼り合わせからは整数(第一 Chern 数)が出ます。
前提となる章 — 1-04(リー環・随伴表現)と 1-06(1-形式・外微分・§08 の点磁荷)。2-03 の位相因子を知っていると早く読めます(§08 で要る分はその場で定義します)。
先に言うこと — 準備の章で、質量ギャップについては何も示しません。Gauss–Bonnet・Ambrose–Singer・Chern 数の整数性は証明せずに引きます(既知)。ゲージ軌道の空間は 3-04 です。
なぜ束と接続か — 運んでからでないと引けない
場 が各点で に値をとるとします(クォークの色なら )。ゲージ理論では、各点の の基底(どの向きを「一番目の色」と呼ぶか)を点ごとに選び直してよいと考えます(3-01)。すると は別々の基底で書いた成分の差で、選び直すと値が変わります。球面の接ベクトルも同じで、北極と赤道の接平面は別物です。そこで、一方の空間を道に沿って他方へ運ぶ規則 を用意し、運んでから引きます( は座標方向)。
運ぶ規則を接続、各点の空間を束ねたものをベクトル束と呼びます。例。電磁気学では で、運ぶ規則は位相因子 でした(2-03)。この章はそれを行列に広げ、1-06 §08 の「二枚の貼り合わせ」も同じ言葉で扱います。
ベクトル束 — 局所的には積、全体ではねじれうる
ベクトル束 は、多様体 M(1-05)の各点 x に N 次元の空間 (ファイバー)を付け、小さな開集合 の上では と同一視できるようにしたものです。N を階数、 のものを直線束と呼びます。ファイバーを にしても同じように定義でき、これを実ベクトル束と呼びます。同一視を与える基底が局所的な枠で、重なりでは二つの枠の成分が行列で結ばれます。
を変換関数、三つが重なる所での右の式をコサイクル条件と呼び、変換関数が群 G(U(1)・SU(N) など)に値をとるとき G を構造群と呼びます。(2) を満たす変換関数があれば貼り合わせで束が作れます 既知。各点で の元を滑らかに選んだものが切断で、場 は切断です。
自明な束とねじれた束
全体で (実なら )と同一視できる束を自明と呼びます。次の三つは自明ではありません 既知:メビウスの帯(ファイバー の実直線束。円を二つの弧で覆うと、重なりの一方で変換関数 +1、他方で −1)、接束 (実の階数 2 の束)、§08 の単極子の束()。自明なら 0 にならない切断があるはずです。メビウスの帯では、切断を枠で書いた値が一周で符号を変えるので、中間値の定理でどこかが 0 になります。 では毛玉の定理(1-05)がそれを禁じます。
ファイバーを複素数にすると、同じ変換関数でもねじれが解けます。 は U(1) の中で (t を π から 0 へ)と 1 まで連続に動かせ、変換関数を連続に動かしても束は同型のままなので 既知、重なりで +1 と −1 を変換関数とする複素直線束は自明です。円の上では、ねじれが残るかは、変換関数が値をとる群の中でそれを 1 まで連続に動かせるかで決まります。 の中では動かせず、U(1) の中では動かせます。§08 では U(1) の中の巻き数が、この動かせなさを担います。 の上の束は自明ですが 既知、無限遠を一点と見なした や周期的な格子では自明でない束が現れます(3-05)。
接続と共変微分 —
枠を決めると、(1) の の一次の項が行列値の 1-形式 になります。 は構造群のリー環 の元で(1-03)、U(N)・SU(N) なら反エルミート行列です。
(1) で と置いたものです。枠を ()と取り替えても となるには、 が に等しいことから
が要ります。これがゲージ変換です。重なりの と も として (4) で結ばれ、貼り合わせとゲージ変換は同じ式です。
例(U(1))。、 と置くと、(3) は 2-03 の共変微分、(4) は です。物理の本はエルミートな (1-04)で と書き、実数の をゲージ場と呼びます(結合定数の置き方は 3-02)。二つの接続の差は と変わり( の項が消える)、足し引きできる量です。接続の全体はそこでアフィン空間——原点は決まっていないが、二点の差がベクトル空間の元になる集合——になります。基準の接続 を一つ選べば、どの接続も +( 値の 1-形式)と書けます(3-04)。
平行移動 — 道に沿った常微分方程式
道 に沿って、共変微分が 0 になるように v を運びます。
解はただ一つで、 を平行移動と呼びます。A が反エルミートなら で はユニタリです。各時刻の が可換でないので とは書けず、短い区間の解を時刻の順に掛けます。
で、後の時刻を左に置く経路順序積です。道をつなげば 、ゲージ変換では両端の枠の取り替えだけを受けます。
例:球面の一周
球面の中から見て曲がらないように接ベクトルを運ぶのが Levi-Civita の平行移動で、単位球面では (法線方向の変化だけを許す)です。自分の速度ベクトル をこの平行移動で保つ曲線を測地線と呼び、球面では大円です。余緯度 の緯線を東へ回ると、南向き・東向きの枠 に対する角は で変わり、一周では
右辺は緯線が囲む球冠の面積です。赤道以外の緯線は大円でない(測地線でない)ので、ベクトルは枠に対して回ります。(8) は「曲率 1 の面では一周の回転角が囲む面積に等しい」という Gauss–Bonnet の定理の特別な場合です 既知。三辺が測地線の測地三角形でも回転角は面積に等しく、表 1 の最下行がその例です。
| 一周の回転(RK4) | (8) との差 | |
|---|---|---|
| 10° | 5.469209° | 2×10⁻¹² |
| 60° | 180.000000° | 4×10⁻¹¹ |
| 90° | 0°(= 360°) | 6×10⁻¹⁴ |
| 測地三角形(面積 ) | 90.000000° | — |
計算表 1 (5) を RK4 で積分した一周の回転(枠に対する角、mod 360°)。最下行は北極と赤道上の経度 0°・90° を結ぶ測地三角形。図は をブラウザで計算。JS が無効ならこの表が図の中身です。
寄り道:フーコーの振り子
飛ばしてよい小節です。
振動面は地面に対して回って見えますが、正確には回るのは地面の枠(北・東)で、振動面は緯線に沿って平行移動されます(自転がゆっくりな近似)既知。北緯 λ なら (8) で とおき、一恒星日に (北半球では時計回り)。北緯 48.85°(パリ付近)で 271.08° です 計算。
曲率 — 小さな輪のずれ
平行移動が道に依るかは、小さな輪を回ったときのずれで測れます。共変微分の順序を入れ替えた差では の微分が消え、行列の掛け算だけが残ります。
形式でまとめると です。 は成分ごとの外微分で、行列値の形式どうしの外積は、成分の行列を掛けて の外積を取ります。
二つ目の等号は、i と j の名前を入れ替えた式()と平均したものです。スカラーの 1-形式 α なら ですが(1-06)、行列は可換でないので 0 になりません。 の係数が (9) の で、Jaffe–Witten の問題説明の式そのものです(1-03)。F を曲率、物理では場の強さと呼びます。
小さな輪で確かめる
点 p から x・y 方向に一辺 ε の正方形を反時計回りに一周すると、
(4) を (9) に入れると です。U(1) では F はゲージで変わらず、(係数 を除いて)電場と磁場そのもの(1-06 §09)ですが、非可換では F が枠とともに回り、変わらないのは のような組み合わせです(3-03 の作用)。
計算表 2 値の滑らかな接続で (5) を RK4 で積分し、(10) と比べる(作用素ノルム、)。
| ε | の代わりに で | |
|---|---|---|
| 0.2 | 0.076538 | 0.348489 |
| 0.1 | 0.038844 | 0.324000 |
| 0.05 | 0.019532 | 0.311139 |
| 0.025 | 0.009790 | 0.304592 |
ε を半分にすると誤差も半分()。交換子を落とした では誤差が に近づいて消えません。でたらめな g で (7) は差 、 は差 (差分の誤差)計算。
定数でも曲がる接続
非可換では A が定数でも F は 0 になりません。群を SO(3)(SU(2) の随伴表現、1-04)、ファイバーを (§02 の実ベクトル束)とします。ここでの は実の反対称行列 で、1-04 §02 のエルミートな に を掛けたものです。、 を満たし、 は z 軸まわりの角 t の回転です(1-04 の と同じ)。、 と置くと、 なのに です。U(1) の定数の A は で消せますが(純ゲージ)、こちらは なので、どんな g でも消せません。
| s | 回転角 θ(rad) | θ / s² | 回転軸 |
|---|---|---|---|
| 0.1 | 0.009992 | 0.999168 | (−0.050, 0.050, −0.998) |
| 0.4 | 0.157919 | 0.986994 | (−0.195, 0.195, −0.961) |
| 1.2 | 1.297942 | 0.901348 | (−0.492, 0.492, −0.719) |
計算表 3 四辺の回転の合成 の回転角と軸(可換なら )。図は同じ合成をブラウザで計算。JS が無効ならこの表が図の中身です。
θ/s² は s → 0 で 1 に近づき、軸はほぼ −z で、(10) の (−z まわりの正の回転)と合います。「ゲージ場が自分自身と相互作用する」ことの幾何の顔です(3-02)。
ホロノミー — 閉じた道が残すもの
点 から出て戻る道 γ の平行移動をホロノミー と呼びます。(7) で両端が同じ点なので、ゲージ変換では共役で変わり、トレースは変わりません。
ゲージ不変な を Wilson ループと呼びます。
- 平坦でも残る。 なら、ホロノミーは輪の連続変形で変わりません 既知。穴のある空間では縮められない輪のホロノミーが 1 でないことがあり、それが Aharonov–Bohm 効果です(2-03)。
- 曲率はホロノミーの無限小版。M が連結なら、 の輪のホロノミー全体(部分群)のリー環は、すべての点 y の曲率 を、y と を結ぶあらゆる道で まで運んだもので張られます(Ambrose–Singer 1953)既知。
- 格子。辺に平行移動 を置き、プラケットの積 を曲率の代わりにするのが Wilson の格子です(5-01)。(10) から間隔 a で 、よって です(μ, ν は固定で和を取らない。 が反エルミートなので )既知。
ゲージ変換の幾何 — 枠の取り替えと、変わらないもの
ゲージ変換は滑らかな写像 で、切断を 、接続を (4)、曲率を に動かします。全体 は無限次元の群です。比喩で言えば各点のものさしの向きの選び直しで、正確には枠の取り替え(受動的)とも、束の自己同型——各ファイバーを線形に同型写像し、底の点は動かさない束の写像——(能動的)とも読め、式はどちらも (4) です。物理で意味を持つのは で変わらない量です:Wilson ループ、作用の 、位相の量 (3-05)。
曲率にはゲージに依らない恒等式があります。 と も §05 と同じ規則(成分の行列を掛けて の外積を取る)で定まり、行列の順序が効きます。
Bianchi 恒等式です。 を入れると、、、外積の結合法則だけで消えます。U(1) では (Maxwell 方程式の源の無い二本)。三次元の 値の接続で、左辺は差分の誤差 以内、交換子を落とすと 0.553 計算。
接続の全体 を で割った が物理で区別できる配位の空間で、各軌道から代表を連続的に選ぶ(大域的なゲージ固定)ことは一般にできません(Singer、3-04・4-08)。Wu–Yang(1975)の対訳表では、ゲージポテンシャル=接続、位相因子=平行移動、場の強さ=曲率と並び、源の欄だけが「?」です。
貼り合わせと整数 — 単極子と第一 Chern 数
1-06 §08 で、点磁荷 のポテンシャルは北と南の二枚でしか書けず、重なりでの差は でした。磁荷を 倍して磁場 (全磁束 )にすると差は で、§03 の例のとおり を掛けて接続にすると
です。一方、可換な場合の (4) は なので、赤道の変換関数は 、 です。束の言葉では、北と南の二枚を赤道でこの により貼り合わせた U(1) 束です。 は赤道を一周して元に戻らなければならないので、n は整数です。
位相因子で見る
n の意味は位相因子で見ると測れる形になります。閉じた道 C の位相因子は、(6) で とおいた平行移動(C のホロノミー、§06)です。U(1) では経路順序が要らず、Stokes の定理(1-06)から
です( は C が囲む磁束、q > 0 とします。詳しくは 2-03)。 を磁束の単位と呼び、 と書くと です。以後 n と f は同じ量で、f と書くときは整数とは限らない値も考えます。
余緯度 ϑ の緯線 C の位相因子を、北の球冠の上で使える で計算すると、囲む磁束は で 。南の球冠の上で使える で計算すると、C は南の球冠の縁を逆向きに回るので です。比は で、一致するのは f が整数のときだけ。二枚の記述が一つの束の接続になる条件で、Dirac(1931)の量子化条件の、束の言葉での読みです。
| f | 北から | 南から | 変換関数の巻き数 |
|---|---|---|---|
| 0.5 | 0.707+0.707i | −0.707−0.707i | 0.5(一周で戻らない) |
| 1 | i | i | 1 |
| 2 | −1 | −1 | 2 |
計算表 4 余緯度 60° の緯線で。巻き数は の偏角の赤道一周の増分 ÷ 。 はどの行でも f。図は二つの位相因子の閉じた式をブラウザで計算し、食い違いの角は (360° の整数倍は除く)です。JS が無効ならこの表が図の中身です。
曲率から読む
整数は曲率からも読めます。北と南の球冠で Stokes の定理を使い、赤道で (4)(可換なので )を使うと
左辺は 、右辺は変換関数の巻き数(1-06 §07)で、上で見た n = f がここでも出ます。 を第一 Chern 数と呼びます。接続を連続的に変えても整数は飛べないので、束だけで決まります 既知。
四次元では
の上の SU(2) 束は整数 (符号は本による)で分類されます 既知。 の上でも、作用が有限なヤン–ミルズ方程式の解は遠方で純ゲージ ()に近づき、g の巻き数がインスタントン数です 既知。これは無条件の事実ではありません。正確には、そうした解が無限遠の一点を足した の上の束の接続に延びるという定理(Uhlenbeck の除去可能特異点定理)に基づき、方程式の解でない一般の場では遠方での適当な減衰を仮定して同じことを言います。詳しくは 3-05・1-12・四次元の記事。
この章が言えている範囲
| 項目 | 言えていること | 言えていないこと |
|---|---|---|
| 束・接続・平行移動 | (2)〜(8) の導出。表 1・図 1 計算 | §02 の例の非自明性・変換関数を連続に動かしても束が同型であること・Gauss–Bonnet の一般形 既知 |
| 曲率とホロノミー | (9)〜(12)。表 2・3、図 2、(7) と の確認 計算 | Ambrose–Singer・平坦な接続の性質の証明 既知 |
| 単極子と Chern 数 | 貼り合わせから整数が出ること、、(13)、表 4・図 3 計算 | Chern 数の一般論、 による分類、 の場が に延びること 既知 |
| ヤン–ミルズ | ゲージ場・場の強さ・ゲージ変換の幾何の意味 | 質量ギャップ・理論の構成については何も示していない |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 表 1〜4・§04〜§07 の数値・図 1〜3 | この端末で計算 | Python 3.12・NumPy・SciPy(sphere_holonomy.py ほか 3 本)。図は素の JavaScript で、閉じた式をその場で計算 |
| 経路順序積の並べ方・対訳(Table I)・単極子 | 一次資料(本文を確認) | T. T. Wu, C. N. Yang, Phys. Rev. D 12 (1975) 3845–3857 |
| 一次資料(本文を確認) | A. Jaffe, E. Witten, “Quantum Yang–Mills Theory”(Clay) | |
| 平行移動・ホロノミー | 既知(本文を確認) | S. M. Carroll, arXiv:gr-qc/9712019 (1997) 第 3 章 |
| Levi-Civita・Ambrose–Singer・Dirac・Chern 類 | 一次資料(書誌のみ) | T. Levi-Civita, Rend. Circ. Mat. Palermo 42 (1916) 173–204;W. Ambrose, I. M. Singer, Trans. AMS 75 (1953) 428–443;P. A. M. Dirac, Proc. R. Soc. A 133 (1931) 60–72;S. S. Chern, Ann. of Math. 47 (1946) 85–121, doi:10.2307/1969037(頁の範囲は zbMATH の書誌で確認) |
| §08 の四次元:除去可能特異点 | 一次資料(書誌のみ) | K. Uhlenbeck, “Removable singularities in Yang–Mills fields”, Comm. Math. Phys. 83 (1982) 11–29, doi:10.1007/BF01947068 |
| フーコーの振り子を平行移動として見ること | 論文(書誌のみ)・二次資料で確認 | J. B. Hart, R. E. Miller, R. L. Mills, “A simple geometric model for visualizing the motion of a Foucault pendulum”, Am. J. Phys. 55 (1987) 67–70, doi:10.1119/1.14972(書誌のみ);Wikipedia “Foucault pendulum”(本文を確認) |
| §02 の例・Gauss–Bonnet・ | 既知(書誌のみ) | Kobayashi–Nomizu, Foundations of Differential Geometry I (1963);Nakahara, Geometry, Topology and Physics (1990) |
次に読む章:1-08 確率と測度。この章の続きは 3-01〜3-04。