computo ergo sum

2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 3 部 ヤン–ミルズ理論(古典)インスタントンと位相

この本の全体 目次と読む順
  1. 第 0 部 入口 — この本の読み方
  2. 0-01 この本の読み方
  3. 0-02 一枚の絵
  4. 0-03 問題文を一語ずつ読む
  5. 0-04 数学の四次元と物理の四次元
  6. 第 1 部 数学の準備
  7. 1-01 ベクトル空間と線形写像
  8. 1-02 群とは何か
  9. 1-03 リー群とリー環
  10. 1-04 SU(2) と SU(3)
  11. 1-05 多様体と接空間
  12. 1-06 微分形式と外微分
  13. 1-07 ベクトル束と接続
  14. 1-08 確率と測度
  15. 1-09 無限次元の確率
  16. 1-10 ヒルベルト空間と自己共役作用素
  17. 1-11 フーリエ解析と分布
  18. 1-12 寄り道
  19. 第 2 部 物理の準備
  20. 2-01 ラグランジアンと作用
  21. 2-02 場という考え
  22. 2-03 電磁気学はゲージ理論である
  23. 2-04 特殊相対論と時空
  24. 2-05 量子力学の骨
  25. 2-06 調和振動子と生成消滅
  26. 2-07 経路積分の考え方
  27. 2-08 統計力学と相転移
  28. 2-09 寄り道
  29. 2-10 緩和の時間と動的指数 z
  30. 第 3 部 ヤン–ミルズ理論(古典)
  31. 3-01 ゲージ原理
  32. 3-02 非可換ゲージ場
  33. 3-03 作用と方程式
  34. 3-04 幾何としてのゲージ理論
  35. 3-05 インスタントンと位相
  36. 3-06 寄り道
  37. 3-07 標準模型の中のヤン–ミルズ
  38. 第 4 部 量子化
  39. 4-01 正準量子化とハミルトニアン
  40. 4-02 経路積分とユークリッド化
  41. 4-03 摂動論と Feynman ダイアグラム
  42. 4-04 発散と繰り込み
  43. 4-05 発散の代数
  44. 4-06 漸近自由
  45. 4-07 次元転移と Λ
  46. 4-08 ゲージ固定と Faddeev–Popov
  47. 4-09 場の量子論の公理
  48. 4-10 Osterwalder–Schrader の公理と再構成
  49. 4-11 質量ギャップの定義
  50. 4-12 寄り道
  51. 第 5 部 格子ゲージ理論
  52. 5-01 Wilson の格子
  53. 5-02 強結合展開
  54. 5-03 反射正値性と転送行列
  55. 5-04 無限体積極限とクラスター展開
  56. 5-05 弱結合と連続極限
  57. 5-06 U(1) と非可換の違い
  58. 5-07 モンテカルロ法
  59. 5-08 グルーボールと弦張力の測定
  60. 5-09 何を固定して極限を取るか
  61. 5-10 有限群の格子ゲージ理論
  62. 5-11 寄り道
  63. 第 6 部 構成的場の理論
  64. 6-01 構成的場の理論とは
  65. 6-02 二次元の可解性とヤン–ミルズ測度
  66. 6-03 スカラー場の構成
  67. 6-04 クラスター展開
  68. 6-05 繰り込み群の段の列
  69. 6-06 三次元ヤン–ミルズの紫外安定性
  70. 6-07 四次元
  71. 6-08 四次元の φ⁴ の自明性
  72. 6-09 確率量子化と正則性構造
  73. 6-10 四次元で止まる場所
  74. 6-11 発散以外の障害
  75. 6-12 寄り道
  76. 第 7 部 物理の側から
  77. 7-01 物理はどう見ているか
  78. 7-02 閉じ込めの機構
  79. 7-03 弦の絵
  80. 7-04 大 N
  81. 7-05 ひも理論と余剰次元
  82. 7-06 余剰次元が見えなくなる仕組み
  83. 7-07 ゲージ場はどこから来るか
  84. 7-08 ホログラフィー
  85. 7-09 質量ギャップが幾何になる
  86. 7-10 四次元に戻す
  87. 7-11 超対称と Seiberg–Witten
  88. 7-12 等価原理に当たる一文
  89. 7-13 物理の掘り方が数学と離れる場所
  90. 第 8 部 二つの言葉の辞書 — 物理の視点と数学の視点
  91. 8-01 辞書の読み方
  92. 8-02 辞書 A
  93. 8-03 辞書 B
  94. 8-04 辞書 C
  95. 8-05 私たちの仮定の物理側の対応
  96. 第 9 部 現在地と課題
  97. 9-01 世界はどこまで来ているか
  98. 9-02 二つの掘り方の切れ目
  99. 9-03 新しい概念の候補
  100. 9-04 課題の一覧
  101. 9-05 よくある誤解
  102. 第 10 部 質量ギャップの厳密な証明へ — この端末の検討
  103. 10-00 第 10 部の入口 — 酔歩と定規と時計
  104. 10-01 理論の構成の筋
  105. 10-02 一段の記帳
  106. 10-03 仮定 H と三つの鎖
  107. 10-04 方向の地図
  108. 10-05 方向 12〜14
  109. 10-06 方向 15・15′
  110. 10-07 Lean で閉じた言明と既存の結果の対応表
  111. 10-08 壁の一覧
  112. 10-09 ひらめき帳から
  113. 10-10 主張しないこと
  114. 10-12 つじつま合わせ
  115. 10-11 定理までの距離
  116. 10-13 小さな問い — 卒業研究の大きさで決着のつく十〜二十問
  117. 付録
  118. A-01 記号表
  119. A-02 用語集
  120. A-03 文献案内
  121. A-04 Lean と機械検査
  122. A-05 この本の作り方
  123. A-06 仮定の索引

インスタントンと位相 — 作用の下界の整数は、無限遠の巻き数から来る

この章で分かること — 3-03 の作用の下界の整数 QQ が、tr⁡F∧F\operatorname{tr}F\wedge F が全微分であることと無限遠の巻き数から出ること。四元数で書く BPST の解と、二つのインスタントンの一つが点に縮む様子。θ 項が量子論で真空を変える様子(円周上の粒子の模型)。

前提となる章 — 3-03(自己双対と下界 (12))。微分形式は 1-06、純ゲージは 1-07、§06・§07 の量子力学は 2-05。寄り道の章 1-12 の §02・§03・§05・§06(四元数・写像度・自己双対な 2-形式・作用の内側の割合)は読むとよい章で、この章に要る分は本文で最小限を定義します(四元数と写像度は §03、内側の割合は §04)。

先に言うこと — §01〜§05 は古典の場の既知の数学です。§06〜§08 の量子論の話は物理の水準の議論で、定理ではありません。この章は質量ギャップについて何も示していません。

この章の順序
  1. 連続に変えても変わらない整数 — 巻き数と約束
  2. tr F∧F は全微分 — 積分は境界で決まる
  3. 無限遠で整数が決まる — 写像度(表 1)・SO(3) の束・寄り道:符号
  4. BPST の解 — 四元数で一行(表 2)
  5. 二つのインスタントン — 一つが縮む(図 1・表 3)
  6. θ 項 — 円周の上の粒子(図 2・表 4)
  7. 真空はトンネルでつながる — θ 真空(表 5)
  8. 格子と問題文の θ — セクターと θ = π

01

連続に変えても変わらない整数 — 平面の巻き数から

位相(トポロジー)は連続な変形で変わらない性質を扱います。原点を通らない閉曲線 z(t)z(t) の巻き数

n=12πi∮dzz ∈ Z(1)n=\frac{1}{2\pi i}\oint\frac{dz}{z}\ \in\ \mathbb Z \tag{1}

は、連続に動かしても整数なので変われず、曲線が原点を横切る瞬間にだけ変わります。例。z=eit+cz=e^{it}+c(cc は実数)は ∣c∣<1|c|\lt1 で 1、∣c∣>1|c|\gt1 で 0。cc を実軸に沿って動かすと、∣c∣=1|c|=1 を横切る瞬間に曲線が原点を通り、そこでだけ値が跳びます。第一 Chern 数も同じ仕組みでした(1-07 §08)。この章は 3-03 の (12) の整数 QQ の出所を場の側から導きます。

約束。AA は反エルミートな行列値の 1-形式、D=d+AD=d+A、F=dA+A∧AF=dA+A\wedge A で、gg は AA に吸収します(A=−ig A物理A=-ig\,A_{\text{物理}}。3-03 §01・記号表)。この書き方で作用・第二 Chern 数・QQ は次の形です。QQ は 3-03 の QQ・1-12 の kk です(符号は §03 の寄り道)。

SE=−1g2∫tr⁡F∧∗F,c2=18π2∫tr⁡F∧F,Q=−c2(2)S_E=-\frac{1}{g^2}\int\operatorname{tr}F\wedge *F,\qquad c_2=\frac{1}{8\pi^2}\int\operatorname{tr}F\wedge F,\qquad Q=-c_2 \tag{2}

物理の書き方(3-03 の Dμ=∂μ−igAμD_\mu=\partial_\mu-igA_\mu で、gg を AA に吸収しない)では、F~μν=12εμνρσFρσ\tilde F_{\mu\nu}=\tfrac12\varepsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}(3-03 の ∗F*F の成分)として

Q=g232π2∫FμνaF~μνa d4x=g28π2∫∑aEa⋅Ba d4xQ=\frac{g^2}{32\pi^2}\int F^a_{\mu\nu}\tilde F^a_{\mu\nu}\,d^4x=\frac{g^2}{8\pi^2}\int\sum_a\mathbf E^a\cdot\mathbf B^a\,d^4x

で、3-03 の (12) の QQ そのものです。

02

tr F∧F は全微分 — Chern–Simons 形式

U(1) では F∧F=d(A∧dA)F\wedge F=d(A\wedge dA) で、積分は境界だけで決まりました(1-06)。非可換でも補正を一つ足せば成り立ちます 既知。

tr⁡F∧F=d CS(A),CS(A)=tr⁡(A∧dA+23A∧A∧A)(3)\operatorname{tr}F\wedge F=d\,\mathrm{CS}(A),\qquad \mathrm{CS}(A)=\operatorname{tr}\Bigl(A\wedge dA+\tfrac23A\wedge A\wedge A\Bigr) \tag{3}

確かめるのに要る規則は一つです。行列値の pp-形式 α\alpha と qq-形式 β\beta では、成分の行列の積のトレースは順序を替えても変わらず、微分形式の部分を入れ替える符号だけが残ります。

tr⁡(α∧β)=(−1)pqtr⁡(β∧α)\operatorname{tr}(\alpha\wedge\beta)=(-1)^{pq}\operatorname{tr}(\beta\wedge\alpha)

AkA^k を AA の kk 回の外積とします。dtr⁡A3d\operatorname{tr}A^3 を積の規則 d(α∧β)=dα∧β+(−1)pα∧dβd(\alpha\wedge\beta)=d\alpha\wedge\beta+(-1)^p\alpha\wedge d\beta(1-06)で三項に開き、一項ずつ dAdA を先頭へ回します。

tr⁡(dA∧A∧A)=tr⁡(dA∧A2)−tr⁡(A∧dA∧A)=+tr⁡(dA∧A2)(p=1, q=3)+tr⁡(A∧A∧dA)=+tr⁡(dA∧A2)(p=q=2)\begin{aligned} \operatorname{tr}(dA\wedge A\wedge A)&=\operatorname{tr}(dA\wedge A^2)\\ -\operatorname{tr}(A\wedge dA\wedge A)&=+\operatorname{tr}(dA\wedge A^2)\qquad(p=1,\ q=3)\\ +\operatorname{tr}(A\wedge A\wedge dA)&=+\operatorname{tr}(dA\wedge A^2)\qquad(p=q=2) \end{aligned}

和は dtr⁡A3=3tr⁡(dA∧A2)d\operatorname{tr}A^3=3\operatorname{tr}(dA\wedge A^2) です。dtr⁡(A∧dA)=tr⁡(dA∧dA)d\operatorname{tr}(A\wedge dA)=\operatorname{tr}(dA\wedge dA)(d dA=0d\,dA=0)と合わせて d CS=tr⁡(dA∧dA)+2tr⁡(dA∧A2)d\,\mathrm{CS}=\operatorname{tr}(dA\wedge dA)+2\operatorname{tr}(dA\wedge A^2)。tr⁡F∧F=tr⁡((dA+A2)∧(dA+A2))\operatorname{tr}F\wedge F=\operatorname{tr}\bigl((dA+A^2)\wedge(dA+A^2)\bigr) を開くと同じ二項(tr⁡(A2∧dA)=tr⁡(dA∧A2)\operatorname{tr}(A^2\wedge dA)=\operatorname{tr}(dA\wedge A^2))と tr⁡A4\operatorname{tr}A^4 が出て、tr⁡A4=tr⁡(A∧A3)=−tr⁡(A3∧A)=−tr⁡A4\operatorname{tr}A^4=\operatorname{tr}(A\wedge A^3)=-\operatorname{tr}(A^3\wedge A)=-\operatorname{tr}A^4 なので 0 です。名前は Chern–Simons(1974)から来ています。

帰結は二つです。第一に、球 BRB_R の上で AA が滑らかなら、Stokes の定理(1-06)で

18π2∫BRtr⁡F∧F=18π2∫SR3CS(A)(4)\frac{1}{8\pi^2}\int_{B_R}\operatorname{tr}F\wedge F=\frac{1}{8\pi^2}\int_{S^3_R}\mathrm{CS}(A) \tag{4}

例。§04 の解で右辺は R=ρ,3ρ,10ρR=\rho,3\rho,10\rho で −0.5,−0.972,−0.999708-0.5,-0.972,-0.999708、1-12 の表 1 の内側の割合と一致します(表 2)計算。第二に、遠方で 0 の δA\delta A には Bianchi 恒等式(3-03 §04)から δtr⁡F∧F=2 dtr⁡(δA∧F)\delta\operatorname{tr}F\wedge F=2\,d\operatorname{tr}(\delta A\wedge F) で、積分は変わりません。c2c_2 を作用に足しても方程式は変わらず、§06 の θ 項はここから始まります。

03

無限遠で整数が決まる — 純ゲージと写像度

作用が有限なら遠方で A→−(dg)g−1A\to-(dg)g^{-1}(g:S3→SU(2)g:S^3\to SU(2)、純ゲージ)です。解については Uhlenbeck(1982)の要旨 “every Yang-Mills field over R4 with bounded functional (L2 norm) may be obtained from a field on S4” が根拠で 既知、一般の場では遠方の減衰を仮定します(1-07)。純ゲージでは dA=−A2dA=-A^2 なので CS=13tr⁡(g−1dg)3\mathrm{CS}=\tfrac13\operatorname{tr}(g^{-1}dg)^3 で、(4) の R→∞R\to\infty は次の式です。

c2=124π2∫S3tr⁡(g−1dg)3=−deg⁡g,Q=deg⁡g(5)c_2=\frac{1}{24\pi^2}\int_{S^3}\operatorname{tr}\bigl(g^{-1}dg\bigr)^3=-\deg g,\qquad Q=\deg g \tag{5}

恒等写像と数値で確かめる

四元数を使います(1-12 §02。この章に要るのは次の規則だけです)。x=x1+x2i+x3j+x4kx=x_1+x_2i+x_3j+x_4k を i2=j2=k2=ijk=−1i^2=j^2=k^2=ijk=-1 で掛け、xˉ=x1−x2i−x3j−x4k\bar x=x_1-x_2i-x_3j-x_4k、∣x∣2=xxˉ|x|^2=x\bar x です。長さ 1 の四元数の全体が S3S^3 で、掛け算で SU(2) と同じ群になります。写像度 deg⁡g\deg g は、行き先の一般の点の逆像を、向きを保つ点は +1+1、反転する点は −1-1 として数えた整数です(1-12 §06)。

S3S^3 の向きは、球 B4B^4 の境界として外向きの法線を先に置く向きです(点 x=1x=1 では dx2∧dx3∧dx4dx_2\wedge dx_3\wedge dx_4 が正)。恒等写像 g(x)=xg(x)=x の点 x=1x=1 で g−1dg=i dx2+j dx3+k dx4g^{-1}dg=i\,dx_2+j\,dx_3+k\,dx_4 です。i,j,ki,j,k の並べ替えの符号つきの和は −6-6 なので、tr⁡(g−1dg)3=−12 dx2∧dx3∧dx4\operatorname{tr}(g^{-1}dg)^3=-12\,dx_2\wedge dx_3\wedge dx_4(四元数の 11 は 2×22\times2 の単位行列でトレース 2)。左の掛け算で不変なのでどこでも同じで、面積 2π22\pi^2 を掛けて 24π224\pi^2 で割ると c2=−1c_2=-1 です。一般の gg でも被積分形式は規格化した体積形式の引き戻しの −1-1 倍で、積分は写像度の −1-1 倍です 既知。

表 1 −124π2∫S3tr⁡(g−1dg)3-\frac{1}{24\pi^2}\int_{S^3}\operatorname{tr}(g^{-1}dg)^3 の数値積分(x∈S3x\in S^3。64×64×128 点)計算。値が変わるのは正規化の前の写像が 0 を通るときだけ
gg積分写像度
x−2, x−1, 1, x, x2, x3x^{-2},\ x^{-1},\ 1,\ x,\ x^2,\ x^3−2, −1, 0, 1, 2, 3(以下も誤差 10⁻⁵ 未満)nn
x+c∣x+c∣\frac{x+c}{|x+c|}(c=0.5,0.9c=0.5,0.9/1.1,1.51.1,1.5)・x2+ci∣x2+ci∣\frac{x^2+ci}{|x^2+ci|}(c=0.7c=0.7/1.31.3)1, 1/0, 0・2/0.000002∣c∣<1|c|\lt1 で 1・2

有限作用の場は QQ ごとの類(セクター)に分かれ、互いに連続にはつながりません。S4S^4 の上の SU(2) の束が c2c_2 で分類されるということです(1-07)。

中心で割った群 — SO(3) の束

SU(2) を中心 {±1}\{\pm1\} で割った SO(3)=SU(2)/Z2SO(3)=SU(2)/\mathbb Z_2(1-04 §07)を群にしても、リー環は同じなので局所的な式は変わりません。違いは束の張り合わせに出ます。S4S^4(遠方で純ゲージに近づく R4\mathbb R^4 の場)では、張り合わせは S3S^3 から群への写像で、S3S^3 は単連結なので SO(3) への写像は SU(2) への写像に持ち上がります。だから S4S^4 の上の SO(3) の束はすべて SU(2) の束から来ます 既知。

H2(X;Z2)≠0H^2(X;\mathbb Z_2)\ne0 の閉じた四次元多様体 XX(たとえば四次元トーラス T4T^4)では、SU(2) の束に持ち上がらない SO(3) の束があります。障害は第二 Stiefel–Whitney 類 w2∈H2(X;Z2)w_2\in H^2(X;\mathbb Z_2) で、SO(3) の束は w2w_2 と第一 Pontryagin 類 p1p_1 で分類されるとされます(Dold–Whitney 1959)既知。SU(2) の束から来る場合に c2c_2 と一致するように −p1/4-p_1/4 で数を測ると、w2≠0w_2\ne0 では整数とは限らず、T4T^4 では半整数も現れます。物理では 't Hooft のひねった境界条件(1979・1981)の分数の位相電荷として知られるとされます 既知。この章の整数 QQ は SU(2) の束(または S4S^4)の話です。中心の対称性は 8-03。

寄り道:物理の Q と数学の c₂ は符号が逆

寄り道

飛ばしてよい小節です。

物理は Q=g28π2∫tr⁡F物理∧F物理Q=\frac{g^2}{8\pi^2}\int\operatorname{tr}F_{\text{物理}}\wedge F_{\text{物理}}、数学は F=−ig F物理F=-ig\,F_{\text{物理}} で c2c_2 を書くので、符号が (−i)2=−1(-i)^2=-1 だけ違います。物理のインスタントンは自己双対で Q=1Q=1、数学の文献は反自己双対(c2≥0c_2\ge0)を扱うことが多く(3-06)、二つは鏡像です(1-12)。

04

BPST の解 — 四元数で一行に書く

§03 の四元数 x=x1+x2i+x3j+x4kx=x_1+x_2i+x_3j+x_4k で、i,j,ki,j,k を −iσ1,−iσ2,−iσ3-i\sigma_1,-i\sigma_2,-i\sigma_3 と読むと、純虚な四元数は su(2) の元です。dx=∑μeμdxμdx=\sum_\mu e_\mu dx_\mu(eμ=1,i,j,ke_\mu=1,i,j,k)として、大きさ ρ\rho の解は次の形です 既知。

A=Im⁡x dxˉ∣x∣2+ρ2,F=ρ2 dx∧dxˉ(∣x∣2+ρ2)2(6)A=\operatorname{Im}\frac{x\,d\bar x}{|x|^2+\rho^2},\qquad F=\frac{\rho^2\,dx\wedge d\bar x}{(|x|^2+\rho^2)^2} \tag{6}

dx∧dxˉdx\wedge d\bar x の ii の成分は −2(dx1∧dx2+dx3∧dx4)-2(dx_1\wedge dx_2+dx_3\wedge dx_4) で、j,kj,k の成分も自己双対です(1-12 §03)。よって F=∗FF=*F で解です(3-03 §07)。遠方では g=x/∣x∣g=x/|x| として A→Im⁡(x dxˉ)/∣x∣2=g dgˉ=−(dg)g−1A\to\operatorname{Im}(x\,d\bar x)/|x|^2=g\,d\bar g=-(dg)g^{-1}、gg は S3S^3 の恒等写像(写像度 1)で Q=1Q=1、c2=−1c_2=-1。密度は 48ρ4/(∣x∣2+ρ2)448\rho^4/(|x|^2+\rho^2)^4、半径 RR の内側に入る作用の割合は 1−3/(1+u)2+2/(1+u)31-3/(1+u)^2+2/(1+u)^3(u=R2/ρ2u=R^2/\rho^2。1-12 の (9))で、SE=8π2/g2S_E=8\pi^2/g^2 は下界の等号です(3-03 の (13) と同じ性質)。BPST(1975)の要旨は “We find regular solutions of the four dimensional euclidean Yang-Mills equations” 既知。鏡像 Im⁡(xˉ dx)/(⋯ )\operatorname{Im}(\bar x\,dx)/(\cdots) は反自己双対で Q=−1Q=-1。

表 2 (6) と鏡像の検査(ρ=1\rho=1、差分と数値積分)計算
項目(6)鏡像
閉じた式との差・F∓∗FF\mp*F・c2c_2・QQ1.6×10⁻¹⁰・0・−1.00000000・+11.8×10⁻¹⁰・0・+1.00000000・−1
(4) の右辺(R=0.5,1,3,10R=0.5,1,3,10)−0.104, −0.500, −0.972, −0.999708符号が逆

パラメータは中心 4・大きさ 1・定数のゲージ回転 3 の 8 個で、Q=kQ=k では 8k8k 個です(Tong の講義録:SU(N) で 4kN4kN)既知。作用が有限なすべての自己双対な場を線形代数で与えるのが ADHM(1978)の構成です。

05

二つのインスタントン — 距離によらない作用と、縮む一つ

自己双対な場は各 QQ で作用が最小なので、Q=2Q=2 なら二つの塊をどこに置いても作用は 16π2/g216\pi^2/g^2 で、塊どうしに力は働きません。具体的な族があります。ここだけ 3-03 の成分の書き方(Aμ=AμaTaA_\mu=A^a_\mu T^a、Dμ=∂μ−igAμD_\mu=\partial_\mu-igA_\mu)で g=1g=1 とします。ηˉ\bar\eta は 3-03 §08 の 't Hooft の記号 η\eta の ηai4\eta_{ai4} の符号を変えたもの(ηˉaij=εaij\bar\eta_{aij}=\varepsilon_{aij}、ηˉai4=−ηˉa4i=−δai\bar\eta_{ai4}=-\bar\eta_{a4i}=-\delta_{ai})です。

ϕ=1+∑i=1kρi2∣x−ai∣2,Aμa=−ηˉaμν ∂νln⁡ϕ(7)\phi=1+\sum_{i=1}^{k}\frac{\rho_i^2}{|x-a_i|^2},\qquad A^a_\mu=-\bar\eta_{a\mu\nu}\,\partial_\nu\ln\phi \tag{7}

1/∣x∣21/|x|^2 は四次元の調和関数で、この族は ai,ρia_i,\rho_i によらず自己双対、Q=kQ=k です。(7) の AA は極 aia_i で発散しますが、この特異性はその点で特異なゲージ変換で取り除けます。k=1k=1 はそうして §04 の解を a1a_1 へ平行移動したものに移ります。

密度は ϕ\phi だけで書けます。記号は □=∑μ∂μ2\square=\sum_\mu\partial_\mu^2(ユークリッドの四次元ラプラシアン。2-04 のダランベルシアンとは別)、ψμ=∂μϕ\psi_\mu=\partial_\mu\phi、Hμν=∂μ∂νϕH_{\mu\nu}=\partial_\mu\partial_\nu\phi、∣H∣2=∑μνHμν2|H|^2=\sum_{\mu\nu}H_{\mu\nu}^2、ψ⋅Hψ=∑μνψμHμνψν\psi\cdot H\psi=\sum_{\mu\nu}\psi_\mu H_{\mu\nu}\psi_\nu、∣ψ∣2=∑μψμ2|\psi|^2=\sum_\mu\psi_\mu^2 です。

s=14FμνaFμνa=−12 □□ln⁡ϕ=∣H∣2ϕ2−4 ψ⋅Hψϕ3+3∣ψ∣4ϕ4(x≠ai)(8)s=\tfrac14F^a_{\mu\nu}F^a_{\mu\nu}=-\tfrac12\,\square\square\ln\phi=\frac{|H|^2}{\phi^2}-\frac{4\,\psi\cdot H\psi}{\phi^3}+\frac{3|\psi|^4}{\phi^4}\qquad(x\ne a_i) \tag{8}

二つの極で、差分の FF が F=∗FF=*F と (8) を相対誤差 10−910^{-9} で満たします 計算。Corrigan–Fairlie(1977)は、φ4\varphi^4 型のスカラー場の理論の解と SU(2) のゲージ場の解の関係として、この型の解を扱いました。Jackiw–Nohl–Rebbi(1977)は、各塊の位置と大きさを表す 5k5k 個のパラメータの既知の族を、5k+45k+4 個のパラメータの解に広げました(いずれも要旨)既知。

図 1 つまみで二つの極の距離 dd を変えると、断面 x2=x3=0x_2=x_3=0(横 x1x_1・縦 x4x_4・三角が極)の作用の密度(対数の濃淡)が変わる。dd が小さいと原点に鋭い山が立つ

計算この図の数値はこの端末で計算した。(8) をその場で計算(ρi=1\rho_i=1、極は x4=±d/2x_4=\pm d/2)。

表 3 二つの極(ρ1=ρ2=1\rho_1=\rho_2=1)の作用(8π28\pi^2 単位。適応積分)計算
dd410.50.20.10
全作用2.0000002.0000002.0000002.0000002.0000001.000000
∣x∣<d|x|\lt d の内側1.9455441.1400050.9252670.8963620.895881—

全作用はどの dd でも 16π216\pi^2 です。dd が小さいと原点の密度は 48/(d/2)448/(d/2)^4 に近づき(d=0.1d=0.1 で 7.661×1067.661\times10^6 対 7.68×1067.68\times10^6)、半径 dd の内側の 0.896 は大きさ d/2d/2 の BPST の解の割合 1−325+21251-\frac{3}{25}+\frac{2}{125}(1-12 の (9))です。一つが作用を保ったまま縮み、d=0d=0 では ϕ=1+2/∣x∣2\phi=1+2/|x|^2 の Q=1Q=1 の解になって一つぶんが点に消えます。1-12 §05 の集中が解の族の中で起きる様子です(3-06)。

06

θ 項 — 方程式に見えない角

§02 から、作用に QQ の定数倍を足しても古典の方程式は変わりません。量子論の重みでは虚時間でも虚数のまま残ります(4-02。符号は約束による)。

e−SE[A] ⟶ e−SE[A]+iθQ[A](9)e^{-S_E[A]}\ \longrightarrow\ e^{-S_E[A]+i\theta Q[A]} \tag{9}

既知(i) 摂動論(A=0A=0 のまわりの展開。4-03)では全微分の積分は各次数で 0 で、見えません。(ii) QQ が整数なので θ は周期 2π2\pi の角度です。(iii) 時空では Ea⋅Ba\mathbf E^a\cdot\mathbf B^a に比例し(§01・2-04)、E\mathbf E は空間反転で、B\mathbf B は時間反転で向きを変えるので、θ≠0,π\theta\ne0,\pi では空間反転と時間反転が破れます。Jackiw–Rebbi(1976)の要旨は θ 真空(§07)を “a family of quantum mechanical vacua, parametrized by a CP-nonconserving angle” と書きます(CP は粒子と反粒子の入れ替えと空間反転を合わせた変換)。θ = 0 と π では時間反転で不変です(Gaiotto–Kapustin–Komargodski–Seiberg 2017、以下 GKKS の要旨 “time reversal invariant at θ = 0 and θ = π”)。

円周の上の粒子 — θ の最小の模型

同じ構造の量子力学があります(GKKS の付録 D.1)。角度 q∼q+2πq\sim q+2\pi の上の粒子に速度の一次の項を足します。

L=12q˙2+θ2πq˙,En=12(n−θ2π)2(n∈Z)(10)L=\frac12\dot q^2+\frac{\theta}{2\pi}\dot q,\qquad E_n=\frac12\Bigl(n-\frac{\theta}{2\pi}\Bigr)^2\quad(n\in\mathbb Z) \tag{10}

足した項は ddtθq2π\frac{d}{dt}\frac{\theta q}{2\pi} で方程式を変えません(2-01)が、θq/2π\theta q/2\pi は一周で θ\theta ずれ、虚時間の周期的な道の重みに eiθ×巻き数e^{i\theta\times\text{巻き数}} が掛かります。(9) と同じ形です。周期的な波動関数で H=12(−i d/dq−θ/2π)2H=\frac12(-i\,d/dq-\theta/2\pi)^2 の固有関数 einqe^{inq} の固有値が (10) です(2-05)。θ は円を貫く磁束の役目で(GKKS 脚注 27。2-03)、“for θ = π and only in this case the ground state is two-fold degenerate” です。−Kcos⁡q-K\cos q を足すと交差が開き、−Kcos⁡2q-K\cos2q なら二重縮退が厳密に残ります(同付録 “still maintains some exact two-fold degeneracy”)。

図 2 つまみで θ(横軸 0〜4π)を動かすと縦線と準位(点)が動く。ボタンで位置エネルギーを 0・−Kcos⁡q-K\cos q・−Kcos⁡2q-K\cos 2q(K=0.4K=0.4)に替えると、θ=π\theta=\pi の交差が開くか残るかが分かる

計算この図の数値はこの端末で計算した。V = 0 は (10)、ほかは einqe^{inq}(∣n∣≤40|n|\le40)で対角化した表(0≤θ≤π0\le\theta\le\pi の 13 点)を周期と対称性で広げたもの。

表 4 E1−E0E_1-E_0(K=0.4K=0.4、I=ℏ=1I=\hbar=1)計算
位置エネルギーθ = 0π/2π
00.50.250
−Kcos⁡q-K\cos q0.604360.464930.38481
−Kcos⁡2q-K\cos 2q0.329810.210830
07

真空はトンネルでつながる — θ 真空

ここからは物理の水準です 物理。A4=0A_4=0 とそろえると古典的な真空は三次元の純ゲージ −(dh)h−1-(dh)h^{-1}(h:R3→SU(2)h:\mathbb R^3\to SU(2) は遠方で 1 に近づくとし、R3∪{∞}=S3\mathbb R^3\cup\{\infty\}=S^3 とみなす。§03 の無限遠の S3S^3 とは別の球面)で、写像度 nn で番号が付き、写像度 1 のゲージ変換 TT が nn を一つずらします。(4) を虚時間の厚板に使うと QQ は τ→±∞\tau\to\pm\infty の真空の番号の差で、BPST の解は nn から n+1n+1 へ移る虚時間の道です。重みは

e−8π2/g2:g2=1, 2, 4, 8 で 5.1×10−35, 7.2×10−18, 2.7×10−9, 5.2×10−5(11)e^{-8\pi^2/g^2}:\qquad g^2=1,\ 2,\ 4,\ 8\ \text{で}\ 5.1\times10^{-35},\ 7.2\times10^{-18},\ 2.7\times10^{-9},\ 5.2\times10^{-5} \tag{11}

で 計算、g2=0g^2=0 で何回微分しても 0 なので、摂動論のどの次数にも現れません(2-05 の二重井戸・4-07・4-12)。1976 年に 't Hooft が “the tunneling process described by the Belavin-Polyakov-Schwarz-Tyupkin field configuration” を計算し、Jackiw–Rebbi・Callan–Dashen–Gross が真空の族を述べました(要旨)既知。小さなゲージ変換で不変(4-01)で TT で位相だけ変わる状態が θ 真空です。

∣θ⟩=∑n∈Zeinθ∣n⟩,T∣θ⟩=e−iθ∣θ⟩(12)|\theta\rangle=\sum_{n\in\mathbb Z}e^{in\theta}|n\rangle,\qquad T|\theta\rangle=e^{-i\theta}|\theta\rangle \tag{12}

円周上の粒子では、円に巻く前の直線の谷 q=2πnq=2\pi n が ∣n⟩|n\rangle、q↦q+2πq\mapsto q+2\pi が TT で、(12) は Bloch 波の形です(GKKS も qq をヤン–ミルズの Chern–Simons の量と読む)。谷が深いと一番下の準位は細い帯になり、谷から谷への道の作用 S0=∫02π2K(1−cos⁡q) dq=8KS_0=\int_0^{2\pi}\sqrt{2K(1-\cos q)}\,dq=8\sqrt K で決まります。帯は E0(0)+W2(1−cos⁡θ)E_0(0)+\frac W2(1-\cos\theta) の形で、WW は Mathieu 方程式の漸近形(DLMF 28.8.2 の書き直し 16πK3/4e−S0(1−764K)\frac{16}{\sqrt\pi}K^{3/4}e^{-S_0}(1-\frac{7}{64\sqrt K}))に近づきます(表 5)。

表 5 −Kcos⁡q-K\cos q の一番下の帯の幅 W=E0(π)−E0(0)W=E_0(\pi)-E_0(0)(60 桁の十進演算の二分法。右端の「—」は、ずれが倍精度では測れないことを表す)計算
KKWWWW/漸近形1−cos⁡θ1-\cos\theta からのずれ/WW
12.66699×10⁻³0.988872.8×10⁻³
42.71024×10⁻⁶0.997821.7×10⁻⁶
168.89113×10⁻¹³0.99951—

ヤン–ミルズの希薄気体の近似(インスタントンが離れて散らばるとみなす)では、真空のエネルギー密度が −cos⁡θ e−8π2/g2-\cos\theta\,e^{-8\pi^2/g^2} に比例するとされます 物理。典型的な配位を滑らかな解の重ね合わせとみなす近似で、数学的には未確定です(辞書 C)。正確には、四次元では結合が尺度とともに走る(4-06)ため、インスタントンの大きさ ρ\rho の積分が大きい ρ\rho の側で発散し、この近似は物理の水準でも制御されていないとされます 物理。近似に依らない量は位相感受率 χt=⟨Q2⟩/V\chi_t=\langle Q^2\rangle/V(E(θ)=−1Vln⁡∑QZQeiθQE(\theta)=-\frac1V\ln\sum_QZ_Qe^{i\theta Q} の θ=0\theta=0 での二階微分)です。

08

格子の上の整数と、問題文の θ

格子(5-01)の場の空間は連結で、“the concept of a topological sector has therefore no a priori well-defined meaning” です(Lüscher 2010)既知。作用の密度が小さい格子場は整数 QQ を持ち、古典的な連続極限で Chern 数に戻るとされます(整数を持つことは Lüscher 1982 の要旨。6-11 §09)。SU(3) で Wilson 流により滑らかにした場 VV が max⁡pRe⁡tr⁡{1−V(p)}<0.067\max_p\operatorname{Re}\operatorname{tr}\{1-V(p)\}\lt0.067 を満たす割合は a=0.1, 0.07, 0.05a=0.1,\ 0.07,\ 0.05 fm で 0%・8%・70% で、セクターは “a dynamical property of the theory” です(同 2010)物理。SU(2) で赤外切断(長い距離の側の切断)を固定した Magnen–Rivasseau–Sénéor(1993)の構成は、自明なセクターに限られます(6-07)既知。HMC では Q2Q^2 の実効的な動的臨界指数が約 5 です(Schaefer–Sommer–Virotta 2011。5-07)物理。

Jaffe–Witten の問題文には θ 項もインスタントンも出てきません(全文を検索)。GKKS は、時間反転と中心対称性(8-03)の 't Hooft アノマリー(二つの対称性を保ったまま自明な真空を作れないという障害)から “at θ = π the vacuum cannot be a trivial non-degenerate gapped state” と論じ、θ = 0 の真空は対照的に自明でギャップを持ち非縮退だと述べます(いずれも物理の水準)物理。「ギャップを持つ一意な真空」は θ に依存する主張で、図 2 の −Kcos⁡2q-K\cos2q・θ=π\theta=\pi がその量子力学版です。


この章が言えている範囲

項目言えていること言えていないこと
QQ の整数性作用が有限な解(Uhlenbeck)と、遠方で純ゲージに減衰すると仮定した場 既知減衰を仮定しない一般の有限作用の場
古典と模型(3)〜(10)、表 1〜5、図 1・2 既知計算Uhlenbeck・ADHM の証明の再現。模型はヤン–ミルズの準位ではない
量子論θ 真空・希薄気体・格子・GKKS の言葉 物理定理ではない。質量ギャップ・理論の構成については何も示していない

出典と再現

もの種別出典・道具
BPST・Uhlenbeck・ADHM・(7) の族・トンネル・θ 真空と CP要旨Belavin–Polyakov–Schwartz–Tyupkin, PLB 59 (1975) 85/Uhlenbeck, CMP 83 (1982) 11/Atiyah–Hitchin–Drinfeld–Manin, Phys. Lett. A 65 (1978) 185/Corrigan–Fairlie, PLB 67 (1977) 69/Jackiw–Nohl–Rebbi, PRD 15 (1977) 1642/'t Hooft, PRD 14 (1976) 3432/Jackiw–Rebbi, PRL 37 (1976) 172/Callan–Dashen–Gross, PLB 63 (1976) 334
Chern–Simons 形式書誌のみChern–Simons, Ann. of Math. 99 (1974) 48
SO(3) の束の分類・分数の位相電荷(§03 の SO(3) の束)書誌のみ(中身は本文未照合)A. Dold, H. Whitney, Ann. of Math. 69 (1959) 667/G. 't Hooft, Nucl. Phys. B 153 (1979) 141/G. 't Hooft, Commun. Math. Phys. 81 (1981) 267
希薄気体の −cos⁡θ-\cos\theta・大きさの積分の発散未確認一次資料の本文は未照合
パラメータの数・θ = π・円周上の粒子・格子本文Tong, arXiv:hep-th/0509216 §1.1.2・§1.2(式 (1.13))/Gaiotto–Kapustin–Komargodski–Seiberg, JHEP 05 (2017) 091(要旨・付録 D.1)/Lüscher, JHEP 08 (2010) 071 §4
格子の位相電荷・凍結・自明なセクター要旨Lüscher, CMP 85 (1982) 39/Magnen–Rivasseau–Sénéor, CMP 155 (1993) 325/Schaefer–Sommer–Virotta, NPB 845 (2011) 93
問題文・Mathieu の漸近形本文Jaffe–Witten, Quantum Yang–Mills Theory(Clay)/NIST DLMF (28.8.2)
表 1〜5・(11)・図計算Python 3.12・NumPy・SciPy・decimal(標準ライブラリ。表 5 の 60 桁の演算)(winding.py・bpst.py・two_instantons.py・rotor.py)。図は素の JavaScript

次に読む章:3-06 寄り道:Donaldson とエキゾチック R⁴。位相電荷の辞書は 8-04。

← 3-04 幾何としてのゲージ理論目次3-06 寄り道 →

改訂 2026-10-01:初版。