この本の全体 目次と読む順
- 第 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 仮定の索引
標準模型の中のヤン–ミルズ — 三つの群の積に、物質と Higgs を足したもの
この章で分かること — 標準模型のゲージ部分は SU(3)×SU(2)×U(1) の三つのヤン–ミルズ場の和です。電荷はアノマリーの相殺という算術を満たし、Higgs 場の値が W・Z に質量を与えて光子を質量 0 に残します。問題文が純ヤン–ミルズだけを取り出す理由も整理します。
前提となる章 — 3-02(3-01・1-04 も使う)。スピン 1/2 の場は §02 で最小限を定義します。
先に言うこと — 古典の章です。§03 は量子論の条件の算術だけを確かめ、§06 の数は摂動の最低次(木の水準)の推定です。質量ギャップについて、この章は何も示していません。
- 三つの群 — 十二本のゲージ場
- 物質の場 — 一世代と電荷(表 1)
- 数えると零になる — アノマリー(表 2)。寄り道:SU(5)
- 色の SU(3) — クォークと色の一重項
- Higgs 機構 — 可換の模型(図 1)
- 電弱の SU(2)×U(1) — W・Z・光子(図 2・表 3)
- 質量はどこから来るか — 陽子とパイ中間子
- 純ヤン–ミルズとの違い(表 4)
三つの群 — 十二本のゲージ場
規約は 3-02 §02 と同じです(、計量 、エルミートな生成子、)。
標準模型は三つの群を並べたゲージ理論で、PDG の総説は “the renormalizable field theory with gauge group ” と定義します 既知( は色、 は左巻き、 は超電荷)。因子ごとにヤン–ミルズ場が付き、本数は で、グルーオン ・・ です。
と の場の強さは 3-02 の (7) の形で交換子の項を持ちます。 は電磁場と同じく自己相互作用を持ちません。物質への働きは一つの共変微分にまとまります。
は色の三重項に、(1-04)は二重項にだけ働き、一重項では項ごと落とします。群が単純でないので結合定数は因子ごとに一つ、計三つです(1-03)。例。 は、強い力の結合の強さ を Z の質量の尺度で測った値 ( の約束。§06 の表 3 の注)から出したものです。、 は、§06 の表 3 で W・Z の質量から逆算した木の水準の推定です 計算。
物質の場 — 一世代と
クォークとレプトンはスピン 1/2 の場です。成分の中身(Dirac 行列)は使わず、群での回り方だけを使います。要るのは、この場が左巻き と右巻き に分かれること(質量 0 なら進む向きに対するスピンの回り方)と、SU(2) が左巻きにだけ働くことです 既知。空間の反転 (パリティ)は左巻きと右巻きを入れ替えるので、左巻きにだけ働く力はこの反転で不変でありません。これをパリティの破れと呼びます。
| 場 | 表現 | 成分 | ||
|---|---|---|---|---|
| 1/6 | 2/3, −1/3 | 6 | ||
| 2/3 | 2/3 | 3 | ||
| −1/3 | −1/3 | 3 | ||
| −1/2 | 0, −1 | 2 | ||
| −1 | −1 | 1 | ||
| Higgs | 1/2 | 1, 0 | 2(複素) |
計算 は分数のまま計算した。既知PDG の大統一の総説の (93.1) は、右巻きの場を共役の (§03。色は になり、 の符号が反転)で書き、 を 2 倍に規格化して下付きに添えている。たとえば表 1 の (、)は の 。Higgs は PDG で で、表 1 の に当たる。換算すると表 1 と同じ。
一世代は色まで数えて 15 成分で、それが三世代あります(PDG)既知。どの場がどの表現に入るかをゲージ原理は決めず(3-01)、PDG も表 1 の “apparently rather complex group-theoretic data” は説明されていないと述べます。
数えると零になる — アノマリーの相殺
先に言葉を一つ用意します。表現 の各成分の複素共役を取った も表現になり、これを共役表現と呼びます。三重項の共役を (反三重項)と書き、SU(3) では と同値でありません。U(1) では が に変わるので、 の符号が反転します 既知。SU(2) の二重項では ( は二番目の Pauli 行列で、二乗ではありません)なので、共役は元と同値な表現になり、区別しません 計算。
表 1 の には強い制約があります。古典の作用がゲージ不変でも、量子化の段で左右を別々に回す変換の不変性が壊れることがあり、これをゲージアノマリーと呼びます。Gross–Jackiw(1972)の要旨は、それが “may destroy this gauge invariance in perturbation theory” と述べます 既知。導出は扱わず、条件が算術になることだけを使います。スピン 1/2 の場は共役を取ると右巻きが左巻きになるので、右巻きの場を共役で左巻きにそろえる( の符号が反転し、 は )と、条件は次の和がすべて 0 になることです。右の括弧は、それぞれがどの群の組のアノマリーの条件かを示します。
和は、組に入らない群の表現の次元を重みに取ります(二重項の和では を色の数 3 倍、三重項と反三重項の和では を 2 倍)。 と は色と二重項の成分まで数えた 15 成分にわたり、後者が重力との組 の条件です。Bouchiat・Iliopoulos・Meyer(1972)の要旨は、レプトンとクォークを含む模型で “the troublesome anomalies cancel” と述べます 既知。例。電荷を固定して色の数 だけ変えると表 2 です。
| 1 | 0 | −1/3 | 1/2 | 0 |
| 2 | 0 | −1/6 | 1/4 | 0 |
| 3 | 0 | 0 | 0 | 0 |
計算分数のまま足した。一般の で、 の列は 、 の列は 。 の条件は表に列を置かず、 で ( の二つと の二つ)。既知SU(2) には別の条件もあり、Witten(1982)の要旨は、左巻きの二重項が奇数個(ほかの表現は無し)の SU(2) ゲージ理論は数学的に矛盾すると述べる。一世代の二重項は 個で偶数。
ではクォークの分が 、レプトンの分が で、一世代がそろって初めて、しかも色が 3 のときだけ打ち消します 計算。スピン 1/2 の場の無い純ヤン–ミルズには、この条件は現れません。
寄り道:SU(5) に収まる
飛ばしてよい小節です。
Georgi–Glashow(1974)は、三つの力が SU(5)(問題文の群の一つ、0-03)の一つの相互作用から生じると “conjectured” しました。 の左上に SU(3)、右下に SU(2) を置くと、両方と可換な跡 0 の が残ります。一世代は (・)と (・・)にちょうど分かれます。 の も SU(5) の跡 0 の元なので、 の跡も 0 です。 で書くと で、、 から 、つまり です。下向きクォークの電荷が電子のちょうど 3 分の 1 であることが、群の形から出ます 計算。大統一は仮説です。
色の SU(3) — クォークと色の一重項
SU(3) の部分が量子色力学(QCD)です。PDG は QCD を “the SU(3) component of the SU(3)×SU(2)×U(1) Standard Model” と呼び、クォークは三色で基本表現、グルーオンは 8 種で随伴表現と書きます 既知。
和は 6 種のクォーク()にわたり、 はスピンに働く 行列、 です。PDG の (9.1) の共変微分の符号を 3-02 に合わせた形で、最後の項が純ヤン–ミルズです。 の項は PDG の約束(計量 )のままにしてあり、中身はこの章では使いません。質量の項 は左右を掛ける項で、色は左右を同じに回すので書けますが、SU(2) は左巻きだけを回すので は不変でなく、標準模型では質量が Higgs 場を通して入ります(§07)既知。色の一重項は SU(3) の二つの性質から作れます。
前者が中間子、後者がバリオン(陽子・中性子)の形です。例。 で の位相は変わりません。1-04 の中心 の元も三回で 1 です。Jaffe–Witten は閉じ込めを、物理的な粒子の状態が “SU(3)-invariant” であることとして述べます 既知(機構は 7-02)。
Higgs 機構 — 可換の模型で質量が生える
質量項はゲージ不変性を壊します(3-02 §08)が、W と Z は重い粒子です。この食い違いを埋めたのが、電荷を持つスカラー場のポテンシャルの最小を の外に置く考えです。U(1) の模型で見ます。
とします。 なら最小は円周 ()に並び、ゲージ変換 はこの円周に沿って動かします。各点で位相を回して (実数)と書くと
です。 の部分は 3-02 の (14) で禁じた質量項そのもので、質量は次のとおりです 既知。作用は不変のまま、解(最小の位置)が質量を持ち込みます。
| スカラーの質量 | の最小値 | |||
|---|---|---|---|---|
| +0.5 | 0 | 0 | 0.707, 0.707 | 0 |
| 0 | 0 | 0 | 0, 0 | 0 |
| −0.25 | 0.500 | 0.300 | −0.0156 | |
| −0.5 | 0.707 | 0.424 | −0.0625 | |
| −1 | 1.000 | 0.600 | −0.2500 |
計算この図と表の数値はこの端末で計算した((9) による)。 の行のスカラーの質量は の二つの実の成分のもの(どちらも )、 の行は動径の のもの。
自由度と Goldstone ボソン
例。自由度を数えます。質量 0 のベクトル場の偏りは 2 です。四成分のうちゲージ変換で一つ、拘束で一つが消えるからです(2-03 §04)。質量項があるとゲージ変換で消せる一つが無くなり、拘束だけが残るので です 既知。すると前は質量 0 の (2)と (実の成分 2)、後は質量を持つ (3)と (1)で、どちらも 4 です。消えた位相は の縦の振動になりました。
連続な対称性が自発的に破れたときに現れる質量 0 の励起を Goldstone ボソンと呼びます 既知。図 1 の谷に沿った動きがそれに当たり、ゲージ場があると、この向きはゲージ変換で消せます。Higgs(1964)は “the longitudinal degrees of freedom of these particles (which would be absent if their mass were zero) go over into the Goldstone bosons when the coupling tends to zero” と書き、超伝導体のプラズモンについての Anderson(1963)の指摘の “relativistic analog” と呼びました。同年に Englert–Brout、Guralnik–Hagen–Kibble も論文を出しています 既知。Higgs は “nothing is proved about the quantized theory” とも断っています。
「対称性の自発的な破れ」はゲージを固定した記述での言い方です。Elitzur(1975)は、ゲージを固定しない格子ゲージ理論では局所的な対称性が自発的に破れないと論じました 既知(3-01 §07)。
電弱の SU(2)×U(1) — W・Z・光子
標準模型では SU(2)×U(1) と表 1 の Higgs 二重項 で同じことをします。 の最小の一つ を変えないのは、下の成分で となる電荷 の U(1) です。Jaffe–Witten の言い方では、構造群が “to a U(1) subgroup (diagonally embedded in SU(2) × U(1))” に減ります 既知。(2) を に働かせると
です。 と は の組でしか現れないので、平面 を弱混合角 ()だけ回します。
です。PDG の (10.3)(10.5) と同じで、PDG は “at tree level, i.e., to lowest order in perturbation theory” の質量と断ります 既知。計算 の質量行列を Pauli 行列から作ると、三通りの で固有値が (12) と一致しました(相対の差は 未満で、丸めの誤差の程度)。
| 0 | 0.00° | 0.0000 | 1.0000 | 0.0000 |
| 0.25 | 14.04° | 0.0588 | 1.0308 | 0.2425 |
| 0.536 | 28.19° | 0.2232 | 1.1346 | 0.4724 |
| 1 | 45.00° | 0.5000 | 1.4142 | 0.7071 |
| 1.5 | 56.31° | 0.6923 | 1.8028 | 0.8321 |
計算この図と表の数値はこの端末で計算した((12) による)。 では光子は そのもの。0.536 は表 3 の測定値からの値。
例。PDG 2024 の値から (12) を逆算すると表 3 です。
| 量 | 式 | 値 |
|---|---|---|
| 246.22 GeV | ||
| ・ | ・ | 0.6528・0.3499 |
| 0.22321 | ||
| 132.1 | ||
| 0.1293 |
計算PDG では on-shell の 、 は低エネルギーで 137.036、 で 127.930()。on-shell・ は量子補正の入れ方(繰り込みの約束)の名前で、同じ名前の量でも値が少し違う(4-04)。表 3 の は本文の の約束の値。PDG の は ((10.5a))の規格化で になり、二つは で結ばれる。 は CDF(2022)を除く平均。
の 132.1 は、低エネルギーの 137.036 より 3.6 % 小さい値です。表 3 の は (ミューオンの寿命から決める定数)から取ったので、 と を結ぶ量子補正 が入っていません。PDG の電弱の総説の (10.22b) を二乗すると ( は on-shell)で、PDG は を与えます 既知。木の水準の は に当たり、 は表 3 の 132.1 と 0.09 % で合います 計算(量子補正は 4-04)。 の 127.930 は約束の違う量で、参考に並べるだけです。自由度は前後とも 12 です( の 8 と二重項の 4 から、重い の 9・光子の 2・H の 1 へ)計算。
Weinberg(1967)は W と Z の質量が “not from a mass term put in at the beginning” と書き、Higgs 粒子は 2012 年に ATLAS と CMS が観測を報告しました 既知。
質量はどこから来るか — 陽子とパイ中間子
が直接与えるのは、W・Z と、湯川結合を通したクォークとレプトンの質量です 既知。湯川結合は Higgs 場とスピン 1/2 の場の積の項 で、上向きのクォークには ( の二重項。§03 の共役)を使います。どの項も の和が 0 で(例: は )ゲージ不変です 計算。 を に置くと、 に比例する質量の項になります。ところが陽子の質量はこれではほとんど説明されません。芯の u, u, d の質量の和は陽子の 1% ほどです。
計算値は PDG 2024 の要約表( は 、2 GeV)。クォークの質量は定義に依るので、(13) は桁の目安です。残りは QCD の力学から来ると考えられ、その尺度は量子化で生じる です(4-07)物理。
パイ中間子は軽く、陽子の 15% ほどです( MeV)計算。PDG によれば、三種の軽いクォークの質量を 0 にした極限で、左右を別々に回す味の対称性(カイラル対称性)が破れ、“eight massless Goldstone bosons, the π’s, K’s, and η” が現れます 物理。その QCD には隙間が無いと考えられます。Jaffe–Witten が QCD の三つ目の性質に挙げる “chiral symmetry breaking” です 既知。純ヤン–ミルズにはクォークが無く、最も軽い状態はグルーボールと考えられています(5-08)物理。問題文の隙間 は、クォークにも Higgs 場にも頼らず、ヤン–ミルズ場だけから生じるはずの尺度です(4-11)。
純ヤン–ミルズとの違い — 問題文が外したもの
問題文は任意のコンパクト単純群の純ヤン–ミルズ理論を対象にします(0-03)。標準模型から何を外すとそこに着くかが表 4 です。
| 項目 | 標準模型 | QCD | 純ヤン–ミルズ |
|---|---|---|---|
| 群 | SU(3)×SU(2)×U(1) | SU(3) | コンパクト単純群 |
| 物質の場 | クォーク・レプトン・Higgs | 6 種のクォーク | 無し |
| パラメータ | 19 個(PDG の数え方) | ・6 つの ・ | ・(3-05) |
| 古典の質量の尺度 | ()と湯川結合 | 無し(3-02 §07) | |
| 質量 0 の粒子 | 光子 | 軽いクォークの質量 0 の極限で π など 物理 | 無いと予想 物理 |
| 問題文での扱い | 対象外 | 拡張問題 | 本体 |
違いは三つです。群:単純でありません。可換な U(1) の部分は漸近自由(短距離で結合が弱くなる性質)でなく(Coleman–Gross、4-06 §04)既知、一ループでは結合が短距離で強くなります 物理。質量 0 の粒子:光子が残るので標準模型の全体には隙間が無く、隙間を問えるのは強い力の部分です。質量の出所:Higgs 機構では尺度 が古典の作用にあり解から見えますが、純ヤン–ミルズの古典の作用には尺度が無く、隙間は量子化で生じると考えられています 物理。Jaffe–Witten も §2 で、Higgs 機構を “classical properties” の例に、質量ギャップと閉じ込めを “quantum properties that do not have classical analogs” の例に挙げます 既知。
外したものは拡張問題に残ります。Jaffe–Witten は “other four-dimensional gauge theories (incorporating additional fields that preserve asymptotic freedom)” を挙げ(0-03)、問題説明を書いた時点では、Brydges–Fröhlich–Seiler の二次元の可換な Higgs 模型を “the only complete example of an interacting gauge theory satisfying the axioms” と呼んでいます 既知。四次元の Higgs 模型の特殊な極限は 6-10、群の出どころの絵は 7-07 です。
この章が言えている範囲
| 事項 | 言えている | 言えていない |
|---|---|---|
| (1)〜(6)・表 1・表 2 | 標準の定義、電荷と和の算術 既知計算 | 表現がなぜこれか、アノマリーの条件の導出、閉じ込め |
| (7)〜(12)・図・表 3 | 古典の場での質量の出方、木の水準の推定、PDG の を使った の比較 既知計算 | 量子論での Higgs 機構の定理、量子補正を含む値 |
| 表 4・寄り道 SU(5) | PDG の数え方と、表現の割り振りの算術 既知計算 | 大統一が正しいこと、19 個の由来 |
| (13)・§07 | 比の計算と PDG の記述 物理 | それらの QCD からの証明 |
| 質量ギャップ | — | 純ヤン–ミルズに隙間があること(未解決。このサイトは何も示していない)物理 |
出典と再現
| もの | 種別 | 出典・道具 |
|---|---|---|
| 標準模型の定義・表現・SU(5)・19 個、電弱と QCD の式と値、クォークの質量、Goldstone ボソン | 総説・要約表(本文を確認) | S. Navas et al. (Particle Data Group), Phys. Rev. D 110 (2024) 030001:§9 QCD・§10 Electroweak Model・§60 Quark Masses・§93 Grand Unified Theories・Summary Tables |
| Jaffe–Witten の引用 | 一次資料(本文を確認) | A. Jaffe, E. Witten, “Quantum Yang–Mills Theory”, Clay Mathematics Institute の公式問題説明 §1・§2・§5・§6 |
| Higgs・Weinberg の引用 | 一次資料(本文を確認) | P. W. Higgs, Phys. Rev. Lett. 13 (1964) 508/S. Weinberg, Phys. Rev. Lett. 19 (1967) 1264 |
| その他の引用と要約 | 一次資料(要旨を確認) | Englert, Brout, PRL 13 (1964) 321/Bouchiat, Iliopoulos, Meyer, PLB 38 (1972) 519/Gross, Jackiw, PRD 6 (1972) 477/Georgi, Glashow, PRL 32 (1974) 438/Elitzur, PRD 12 (1975) 3978(3-01 と同じ)/Witten, “An SU(2) anomaly”, PLB 117 (1982) 324/ATLAS, PLB 716 (2012) 1/CMS, PLB 716 (2012) 30 |
| Anderson | 一次資料(要旨を確認。本文の言い方は Higgs 1964 の本文による) | P. W. Anderson, Phys. Rev. 130 (1963) 439 |
| Brydges–Fröhlich–Seiler | 書誌のみ(Jaffe–Witten §6.4 の文献 [7] を通して) | “On the construction of quantized gauge fields” I: Ann. Phys. 121 (1979) 227/II: CMP 71 (1980) 159/III: CMP 79 (1981) 353 |
| Guralnik–Hagen–Kibble | 書誌のみ | PRL 13 (1964) 585 |
| 表 1〜3・図と表の値・質量行列の固有値・(13)・ の比較・共役と湯川の確かめ | この端末で計算 | Python 3.12・NumPy 1.26・fractions(sm_tables.py・sm_checks.py)。図は (9)(12) を素の JavaScript で |
次に読む章:4-01 正準量子化とハミルトニアン。
← 3-06 寄り道目次4-01 正準量子化とハミルトニアン →