2026-10-01 · chapter ヤン–ミルズと質量ギャップ 第 3 部 ヤン–ミルズ理論(古典) インスタントンと位相
この本の全体 目次と読む順
第 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 仮定の索引
インスタントンと位相 — 作用の下界の整数は、無限遠の巻き数から来る
この章で分かること — 3-03 の作用の下界の整数 Q Q Q が、tr F ∧ F \operatorname{tr}F\wedge F tr F ∧ 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 の量子論の話は物理の水準の議論で、定理ではありません。この章は質量ギャップについて何も示していません。
01
連続に変えても変わらない整数 — 平面の巻き数から
位相(トポロジー)は連続な変形で変わらない性質を扱います。原点を通らない閉曲線 z ( t ) z(t) z ( t ) の巻き数
n = 1 2 π i ∮ d z z ∈ Z (1) n=\frac{1}{2\pi i}\oint\frac{dz}{z}\ \in\ \mathbb Z \tag{1} n = 2 π i 1 ∮ z d z ∈ Z ( 1 )
は、連続に動かしても整数なので変われず、曲線が原点を横切る瞬間にだけ変わります。例。z = e i t + c z=e^{it}+c z = e i t + c (c c c は実数)は ∣ c ∣ < 1 |c|\lt1 ∣ c ∣ < 1 で 1、∣ c ∣ > 1 |c|\gt1 ∣ c ∣ > 1 で 0。c c c を実軸に沿って動かすと、∣ c ∣ = 1 |c|=1 ∣ c ∣ = 1 を横切る瞬間に曲線が原点を通り、そこでだけ値が跳びます。第一 Chern 数も同じ仕組みでした(1-07 §08 )。この章は 3-03 の (12) の整数 Q Q Q の出所を場の側から導きます。
約束。A A A は反エルミートな行列値の 1-形式、D = d + A D=d+A D = d + A 、F = d A + A ∧ A F=dA+A\wedge A F = d A + A ∧ A で、g g g は A A A に吸収します(A = − i g A 物理 A=-ig\,A_{\text{物理}} A = − i g A 物理 。3-03 §01 ・記号表 )。この書き方で作用・第二 Chern 数・Q Q Q は次の形です。Q Q Q は 3-03 の Q Q Q ・1-12 の k k k です(符号は §03 の寄り道)。
S E = − 1 g 2 ∫ tr F ∧ ∗ F , c 2 = 1 8 π 2 ∫ tr F ∧ F , Q = − c 2 (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} S E = − g 2 1 ∫ tr F ∧ ∗ F , c 2 = 8 π 2 1 ∫ tr F ∧ F , Q = − c 2 ( 2 )
物理の書き方(3-03 の D μ = ∂ μ − i g A μ D_\mu=\partial_\mu-igA_\mu D μ = ∂ μ − i g A μ で、g g g を A A A に吸収しない)では、F ~ μ ν = 1 2 ε μ ν ρ σ F ρ σ \tilde F_{\mu\nu}=\tfrac12\varepsilon_{\mu\nu\rho\sigma}F_{\rho\sigma} F ~ μν = 2 1 ε μν ρ σ F ρ σ (3-03 の ∗ F *F ∗ F の成分)として
Q = g 2 32 π 2 ∫ F μ ν a F ~ μ ν a d 4 x = g 2 8 π 2 ∫ ∑ a E a ⋅ B a d 4 x Q=\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 Q = 32 π 2 g 2 ∫ F μν a F ~ μν a d 4 x = 8 π 2 g 2 ∫ a ∑ E a ⋅ B a d 4 x
で、3-03 の (12) の Q Q Q そのものです。
02
tr F∧F は全微分 — Chern–Simons 形式
U(1) では F ∧ F = d ( A ∧ d A ) F\wedge F=d(A\wedge dA) F ∧ F = d ( A ∧ d A ) で、積分は境界だけで決まりました(1-06 )。非可換でも補正を一つ足せば成り立ちます 既知 。
tr F ∧ F = d C S ( A ) , C S ( A ) = tr ( A ∧ d A + 2 3 A ∧ 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} tr F ∧ F = d CS ( A ) , CS ( A ) = tr ( A ∧ d A + 3 2 A ∧ A ∧ A ) ( 3 )
確かめるのに要る規則は一つです。行列値の p p p -形式 α \alpha α と q q q -形式 β \beta β では、成分の行列の積のトレースは順序を替えても変わらず、微分形式の部分を入れ替える符号だけが残ります。
tr ( α ∧ β ) = ( − 1 ) p q tr ( β ∧ α ) \operatorname{tr}(\alpha\wedge\beta)=(-1)^{pq}\operatorname{tr}(\beta\wedge\alpha) tr ( α ∧ β ) = ( − 1 ) pq tr ( β ∧ α )
A k A^k A k を A A A の k k k 回の外積とします。d tr A 3 d\operatorname{tr}A^3 d tr A 3 を積の規則 d ( α ∧ β ) = d α ∧ β + ( − 1 ) p α ∧ d β d(\alpha\wedge\beta)=d\alpha\wedge\beta+(-1)^p\alpha\wedge d\beta d ( α ∧ β ) = d α ∧ β + ( − 1 ) p α ∧ d β (1-06 )で三項に開き、一項ずつ d A dA d A を先頭へ回します。
tr ( d A ∧ A ∧ A ) = tr ( d A ∧ A 2 ) − tr ( A ∧ d A ∧ A ) = + tr ( d A ∧ A 2 ) ( p = 1 , q = 3 ) + tr ( A ∧ A ∧ d A ) = + tr ( d A ∧ A 2 ) ( 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} tr ( d A ∧ A ∧ A ) − tr ( A ∧ d A ∧ A ) + tr ( A ∧ A ∧ d A ) = tr ( d A ∧ A 2 ) = + tr ( d A ∧ A 2 ) ( p = 1 , q = 3 ) = + tr ( d A ∧ A 2 ) ( p = q = 2 )
和は d tr A 3 = 3 tr ( d A ∧ A 2 ) d\operatorname{tr}A^3=3\operatorname{tr}(dA\wedge A^2) d tr A 3 = 3 tr ( d A ∧ A 2 ) です。d tr ( A ∧ d A ) = tr ( d A ∧ d A ) d\operatorname{tr}(A\wedge dA)=\operatorname{tr}(dA\wedge dA) d tr ( A ∧ d A ) = tr ( d A ∧ d A ) (d d A = 0 d\,dA=0 d d A = 0 )と合わせて d C S = tr ( d A ∧ d A ) + 2 tr ( d A ∧ A 2 ) d\,\mathrm{CS}=\operatorname{tr}(dA\wedge dA)+2\operatorname{tr}(dA\wedge A^2) d CS = tr ( d A ∧ d A ) + 2 tr ( d A ∧ A 2 ) 。tr F ∧ F = tr ( ( d A + A 2 ) ∧ ( d A + A 2 ) ) \operatorname{tr}F\wedge F=\operatorname{tr}\bigl((dA+A^2)\wedge(dA+A^2)\bigr) tr F ∧ F = tr ( ( d A + A 2 ) ∧ ( d A + A 2 ) ) を開くと同じ二項(tr ( A 2 ∧ d A ) = tr ( d A ∧ A 2 ) \operatorname{tr}(A^2\wedge dA)=\operatorname{tr}(dA\wedge A^2) tr ( A 2 ∧ d A ) = tr ( d A ∧ A 2 ) )と tr A 4 \operatorname{tr}A^4 tr A 4 が出て、tr A 4 = tr ( A ∧ A 3 ) = − tr ( A 3 ∧ A ) = − tr A 4 \operatorname{tr}A^4=\operatorname{tr}(A\wedge A^3)=-\operatorname{tr}(A^3\wedge A)=-\operatorname{tr}A^4 tr A 4 = tr ( A ∧ A 3 ) = − tr ( A 3 ∧ A ) = − tr A 4 なので 0 です。名前は Chern–Simons(1974)から来ています。
帰結は二つです。第一に、球 B R B_R B R の上で A A A が滑らかなら、Stokes の定理(1-06 )で
1 8 π 2 ∫ B R tr F ∧ F = 1 8 π 2 ∫ S R 3 C S ( 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} 8 π 2 1 ∫ B R tr F ∧ F = 8 π 2 1 ∫ S R 3 CS ( A ) ( 4 )
例。§04 の解で右辺は R = ρ , 3 ρ , 10 ρ R=\rho,3\rho,10\rho R = ρ , 3 ρ , 10 ρ で − 0.5 , − 0.972 , − 0.999708 -0.5,-0.972,-0.999708 − 0.5 , − 0.972 , − 0.999708 、1-12 の表 1 の内側の割合と一致します(表 2)計算 。第二に、遠方で 0 の δ A \delta A δ A には Bianchi 恒等式(3-03 §04 )から δ tr F ∧ F = 2 d tr ( δ A ∧ F ) \delta\operatorname{tr}F\wedge F=2\,d\operatorname{tr}(\delta A\wedge F) δ tr F ∧ F = 2 d tr ( δ A ∧ F ) で、積分は変わりません。c 2 c_2 c 2 を作用に足しても方程式は変わらず、§06 の θ 項はここから始まります。
03
無限遠で整数が決まる — 純ゲージと写像度
作用が有限なら遠方で A → − ( d g ) g − 1 A\to-(dg)g^{-1} A → − ( d g ) g − 1 (g : S 3 → S U ( 2 ) g:S^3\to SU(2) g : S 3 → S U ( 2 ) 、純ゲージ)です。解については Uhlenbeck(1982)の要旨 “every Yang-Mills field over R4 with bounded functional (L2 norm) may be obtained from a field on S4” が根拠で 既知 、一般の場では遠方の減衰を仮定します(1-07 )。純ゲージでは d A = − A 2 dA=-A^2 d A = − A 2 なので C S = 1 3 tr ( g − 1 d g ) 3 \mathrm{CS}=\tfrac13\operatorname{tr}(g^{-1}dg)^3 CS = 3 1 tr ( g − 1 d g ) 3 で、(4) の R → ∞ R\to\infty R → ∞ は次の式です。
c 2 = 1 24 π 2 ∫ S 3 tr ( g − 1 d g ) 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} c 2 = 24 π 2 1 ∫ S 3 tr ( g − 1 d g ) 3 = − deg g , Q = deg g ( 5 )
恒等写像と数値で確かめる
四元数を使います(1-12 §02 。この章に要るのは次の規則だけです)。x = x 1 + x 2 i + x 3 j + x 4 k x=x_1+x_2i+x_3j+x_4k x = x 1 + x 2 i + x 3 j + x 4 k を i 2 = j 2 = k 2 = i j k = − 1 i^2=j^2=k^2=ijk=-1 i 2 = j 2 = k 2 = ij k = − 1 で掛け、x ˉ = x 1 − x 2 i − x 3 j − x 4 k \bar x=x_1-x_2i-x_3j-x_4k x ˉ = x 1 − x 2 i − x 3 j − x 4 k 、∣ x ∣ 2 = x x ˉ |x|^2=x\bar x ∣ x ∣ 2 = x x ˉ です。長さ 1 の四元数の全体が S 3 S^3 S 3 で、掛け算で SU(2) と同じ群になります。写像度 deg g \deg g deg g は、行き先の一般の点の逆像を、向きを保つ点は + 1 +1 + 1 、反転する点は − 1 -1 − 1 として数えた整数です(1-12 §06 )。
S 3 S^3 S 3 の向きは、球 B 4 B^4 B 4 の境界として外向きの法線を先に置く向きです(点 x = 1 x=1 x = 1 では d x 2 ∧ d x 3 ∧ d x 4 dx_2\wedge dx_3\wedge dx_4 d x 2 ∧ d x 3 ∧ d x 4 が正)。恒等写像 g ( x ) = x g(x)=x g ( x ) = x の点 x = 1 x=1 x = 1 で g − 1 d g = i d x 2 + j d x 3 + k d x 4 g^{-1}dg=i\,dx_2+j\,dx_3+k\,dx_4 g − 1 d g = i d x 2 + j d x 3 + k d x 4 です。i , j , k i,j,k i , j , k の並べ替えの符号つきの和は − 6 -6 − 6 なので、tr ( g − 1 d g ) 3 = − 12 d x 2 ∧ d x 3 ∧ d x 4 \operatorname{tr}(g^{-1}dg)^3=-12\,dx_2\wedge dx_3\wedge dx_4 tr ( g − 1 d g ) 3 = − 12 d x 2 ∧ d x 3 ∧ d x 4 (四元数の 1 1 1 は 2 × 2 2\times2 2 × 2 の単位行列でトレース 2)。左の掛け算で不変なのでどこでも同じで、面積 2 π 2 2\pi^2 2 π 2 を掛けて 24 π 2 24\pi^2 24 π 2 で割ると c 2 = − 1 c_2=-1 c 2 = − 1 です。一般の g g g でも被積分形式は規格化した体積形式の引き戻しの − 1 -1 − 1 倍で、積分は写像度の − 1 -1 − 1 倍です 既知 。
表 1 − 1 24 π 2 ∫ S 3 tr ( g − 1 d g ) 3 -\frac{1}{24\pi^2}\int_{S^3}\operatorname{tr}(g^{-1}dg)^3 − 24 π 2 1 ∫ S 3 tr ( g − 1 d g ) 3 の数値積分(x ∈ S 3 x\in S^3 x ∈ S 3 。64×64×128 点)計算 。値が変わるのは正規化の前の写像が 0 を通るときだけ
g g g 積分 写像度
x − 2 , x − 1 , 1 , x , x 2 , x 3 x^{-2},\ x^{-1},\ 1,\ x,\ x^2,\ x^3 x − 2 , x − 1 , 1 , x , x 2 , x 3 −2, −1, 0, 1, 2, 3(以下も誤差 10⁻⁵ 未満) n n n
x + c ∣ x + c ∣ \frac{x+c}{|x+c|} ∣ x + c ∣ x + c (c = 0.5 , 0.9 c=0.5,0.9 c = 0.5 , 0.9 /1.1 , 1.5 1.1,1.5 1.1 , 1.5 )・x 2 + c i ∣ x 2 + c i ∣ \frac{x^2+ci}{|x^2+ci|} ∣ x 2 + c i ∣ x 2 + c i (c = 0.7 c=0.7 c = 0.7 /1.3 1.3 1.3 )1, 1/0, 0・2/0.000002 ∣ c ∣ < 1 |c|\lt1 ∣ c ∣ < 1 で 1・2
有限作用の場は Q Q Q ごとの類(セクター)に分かれ、互いに連続にはつながりません。S 4 S^4 S 4 の上の SU(2) の束が c 2 c_2 c 2 で分類されるということです(1-07)。
中心で割った群 — SO(3) の束
SU(2) を中心 { ± 1 } \{\pm1\} { ± 1 } で割った S O ( 3 ) = S U ( 2 ) / Z 2 SO(3)=SU(2)/\mathbb Z_2 S O ( 3 ) = S U ( 2 ) / Z 2 (1-04 §07 )を群にしても、リー環は同じなので局所的な式は変わりません。違いは束の張り合わせに出ます。S 4 S^4 S 4 (遠方で純ゲージに近づく R 4 \mathbb R^4 R 4 の場)では、張り合わせは S 3 S^3 S 3 から群への写像で、S 3 S^3 S 3 は単連結なので SO(3) への写像は SU(2) への写像に持ち上がります。だから S 4 S^4 S 4 の上の SO(3) の束はすべて SU(2) の束から来ます 既知 。
H 2 ( X ; Z 2 ) ≠ 0 H^2(X;\mathbb Z_2)\ne0 H 2 ( X ; Z 2 ) = 0 の閉じた四次元多様体 X X X (たとえば四次元トーラス T 4 T^4 T 4 )では、SU(2) の束に持ち上がらない SO(3) の束があります。障害は第二 Stiefel–Whitney 類 w 2 ∈ H 2 ( X ; Z 2 ) w_2\in H^2(X;\mathbb Z_2) w 2 ∈ H 2 ( X ; Z 2 ) で、SO(3) の束は w 2 w_2 w 2 と第一 Pontryagin 類 p 1 p_1 p 1 で分類されるとされます(Dold–Whitney 1959)既知 。SU(2) の束から来る場合に c 2 c_2 c 2 と一致するように − p 1 / 4 -p_1/4 − p 1 /4 で数を測ると、w 2 ≠ 0 w_2\ne0 w 2 = 0 では整数とは限らず、T 4 T^4 T 4 では半整数も現れます。物理では 't Hooft のひねった境界条件(1979・1981)の分数の位相電荷として知られるとされます 既知 。この章の整数 Q Q Q は SU(2) の束(または S 4 S^4 S 4 )の話です。中心の対称性は 8-03 。
寄り道:物理の Q と数学の c₂ は符号が逆
寄り道
飛ばしてよい小節です。
物理は Q = g 2 8 π 2 ∫ tr F 物理 ∧ F 物理 Q=\frac{g^2}{8\pi^2}\int\operatorname{tr}F_{\text{物理}}\wedge F_{\text{物理}} Q = 8 π 2 g 2 ∫ tr F 物理 ∧ F 物理 、数学は F = − i g F 物理 F=-ig\,F_{\text{物理}} F = − i g F 物理 で c 2 c_2 c 2 を書くので、符号が ( − i ) 2 = − 1 (-i)^2=-1 ( − i ) 2 = − 1 だけ違います。物理のインスタントンは自己双対で Q = 1 Q=1 Q = 1 、数学の文献は反自己双対(c 2 ≥ 0 c_2\ge0 c 2 ≥ 0 )を扱うことが多く(3-06 )、二つは鏡像です(1-12 )。
04
BPST の解 — 四元数で一行に書く
§03 の四元数 x = x 1 + x 2 i + x 3 j + x 4 k x=x_1+x_2i+x_3j+x_4k x = x 1 + x 2 i + x 3 j + x 4 k で、i , j , k i,j,k i , j , k を − i σ 1 , − i σ 2 , − i σ 3 -i\sigma_1,-i\sigma_2,-i\sigma_3 − i σ 1 , − i σ 2 , − i σ 3 と読むと、純虚な四元数は su(2) の元です。d x = ∑ μ e μ d x μ dx=\sum_\mu e_\mu dx_\mu d x = ∑ μ e μ d x μ (e μ = 1 , i , j , k e_\mu=1,i,j,k e μ = 1 , i , j , k )として、大きさ ρ \rho ρ の解は次の形です 既知 。
A = Im x d x ˉ ∣ x ∣ 2 + ρ 2 , F = ρ 2 d x ∧ d x ˉ ( ∣ 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} A = Im ∣ x ∣ 2 + ρ 2 x d x ˉ , F = ( ∣ x ∣ 2 + ρ 2 ) 2 ρ 2 d x ∧ d x ˉ ( 6 )
d x ∧ d x ˉ dx\wedge d\bar x d x ∧ d x ˉ の i i i の成分は − 2 ( d x 1 ∧ d x 2 + d x 3 ∧ d x 4 ) -2(dx_1\wedge dx_2+dx_3\wedge dx_4) − 2 ( d x 1 ∧ d x 2 + d x 3 ∧ d x 4 ) で、j , k j,k j , k の成分も自己双対です(1-12 §03 )。よって F = ∗ F F=*F F = ∗ F で解です(3-03 §07 )。遠方では g = x / ∣ x ∣ g=x/|x| g = x /∣ x ∣ として A → Im ( x d x ˉ ) / ∣ x ∣ 2 = g d g ˉ = − ( d g ) g − 1 A\to\operatorname{Im}(x\,d\bar x)/|x|^2=g\,d\bar g=-(dg)g^{-1} A → Im ( x d x ˉ ) /∣ x ∣ 2 = g d g ˉ = − ( d g ) g − 1 、g g g は S 3 S^3 S 3 の恒等写像(写像度 1)で Q = 1 Q=1 Q = 1 、c 2 = − 1 c_2=-1 c 2 = − 1 。密度は 48 ρ 4 / ( ∣ x ∣ 2 + ρ 2 ) 4 48\rho^4/(|x|^2+\rho^2)^4 48 ρ 4 / ( ∣ x ∣ 2 + ρ 2 ) 4 、半径 R R R の内側に入る作用の割合は 1 − 3 / ( 1 + u ) 2 + 2 / ( 1 + u ) 3 1-3/(1+u)^2+2/(1+u)^3 1 − 3/ ( 1 + u ) 2 + 2/ ( 1 + u ) 3 (u = R 2 / ρ 2 u=R^2/\rho^2 u = R 2 / ρ 2 。1-12 の (9))で、S E = 8 π 2 / g 2 S_E=8\pi^2/g^2 S E = 8 π 2 / g 2 は下界の等号です(3-03 の (13) と同じ性質)。BPST(1975)の要旨は “We find regular solutions of the four dimensional euclidean Yang-Mills equations” 既知 。鏡像 Im ( x ˉ d x ) / ( ⋯ ) \operatorname{Im}(\bar x\,dx)/(\cdots) Im ( x ˉ d x ) / ( ⋯ ) は反自己双対で Q = − 1 Q=-1 Q = − 1 。
表 2 (6) と鏡像の検査(ρ = 1 \rho=1 ρ = 1 、差分と数値積分)計算
項目 (6) 鏡像
閉じた式との差・F ∓ ∗ F F\mp*F F ∓ ∗ F ・c 2 c_2 c 2 ・Q Q Q 1.6×10⁻¹⁰・0・−1.00000000・+1 1.8×10⁻¹⁰・0・+1.00000000・−1
(4) の右辺(R = 0.5 , 1 , 3 , 10 R=0.5,1,3,10 R = 0.5 , 1 , 3 , 10 ) −0.104, −0.500, −0.972, −0.999708 符号が逆
パラメータは中心 4・大きさ 1・定数のゲージ回転 3 の 8 個で、Q = k Q=k Q = k では 8 k 8k 8 k 個です(Tong の講義録:SU(N) で 4 k N 4kN 4 k N )既知 。作用が有限なすべての自己双対な場を線形代数で与えるのが ADHM(1978)の構成です。
05
二つのインスタントン — 距離によらない作用と、縮む一つ
自己双対な場は各 Q Q Q で作用が最小なので、Q = 2 Q=2 Q = 2 なら二つの塊をどこに置いても作用は 16 π 2 / g 2 16\pi^2/g^2 16 π 2 / g 2 で、塊どうしに力は働きません。具体的な族があります。ここだけ 3-03 の成分の書き方(A μ = A μ a T a A_\mu=A^a_\mu T^a A μ = A μ a T a 、D μ = ∂ μ − i g A μ D_\mu=\partial_\mu-igA_\mu D μ = ∂ μ − i g A μ )で g = 1 g=1 g = 1 とします。η ˉ \bar\eta η ˉ は 3-03 §08 の 't Hooft の記号 η \eta η の η a i 4 \eta_{ai4} η ai 4 の符号を変えたもの(η ˉ a i j = ε a i j \bar\eta_{aij}=\varepsilon_{aij} η ˉ aij = ε aij 、η ˉ a i 4 = − η ˉ a 4 i = − δ a i \bar\eta_{ai4}=-\bar\eta_{a4i}=-\delta_{ai} η ˉ ai 4 = − η ˉ a 4 i = − δ ai )です。
ϕ = 1 + ∑ i = 1 k ρ i 2 ∣ x − a i ∣ 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 + i = 1 ∑ k ∣ x − a i ∣ 2 ρ i 2 , A μ a = − η ˉ a μν ∂ ν ln ϕ ( 7 )
1 / ∣ x ∣ 2 1/|x|^2 1/∣ x ∣ 2 は四次元の調和関数で、この族は a i , ρ i a_i,\rho_i a i , ρ i によらず自己双対、Q = k Q=k Q = k です。(7) の A A A は極 a i a_i a i で発散しますが、この特異性はその点で特異なゲージ変換で取り除けます。k = 1 k=1 k = 1 はそうして §04 の解を a 1 a_1 a 1 へ平行移動したものに移ります。
密度は ϕ \phi ϕ だけで書けます。記号は □ = ∑ μ ∂ μ 2 \square=\sum_\mu\partial_\mu^2 □ = ∑ μ ∂ μ 2 (ユークリッドの四次元ラプラシアン。2-04 のダランベルシアンとは別)、ψ μ = ∂ μ ϕ \psi_\mu=\partial_\mu\phi ψ μ = ∂ μ ϕ 、H μ ν = ∂ μ ∂ ν ϕ H_{\mu\nu}=\partial_\mu\partial_\nu\phi H μν = ∂ μ ∂ ν ϕ 、∣ H ∣ 2 = ∑ μ ν H μ ν 2 |H|^2=\sum_{\mu\nu}H_{\mu\nu}^2 ∣ H ∣ 2 = ∑ μν H μν 2 、ψ ⋅ H ψ = ∑ μ ν ψ μ H μ ν ψ ν \psi\cdot H\psi=\sum_{\mu\nu}\psi_\mu H_{\mu\nu}\psi_\nu ψ ⋅ H ψ = ∑ μν ψ μ H μν ψ ν 、∣ ψ ∣ 2 = ∑ μ ψ μ 2 |\psi|^2=\sum_\mu\psi_\mu^2 ∣ ψ ∣ 2 = ∑ μ ψ μ 2 です。
s = 1 4 F μ ν a F μ ν a = − 1 2 □ □ ln ϕ = ∣ H ∣ 2 ϕ 2 − 4 ψ ⋅ H ψ ϕ 3 + 3 ∣ ψ ∣ 4 ϕ 4 ( x ≠ a i ) (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} s = 4 1 F μν a F μν a = − 2 1 □□ ln ϕ = ϕ 2 ∣ H ∣ 2 − ϕ 3 4 ψ ⋅ H ψ + ϕ 4 3∣ ψ ∣ 4 ( x = a i ) ( 8 )
二つの極で、差分の F F F が F = ∗ F F=*F F = ∗ F と (8) を相対誤差 10 − 9 10^{-9} 1 0 − 9 で満たします 計算 。Corrigan–Fairlie(1977)は、φ 4 \varphi^4 φ 4 型のスカラー場の理論の解と SU(2) のゲージ場の解の関係として、この型の解を扱いました。Jackiw–Nohl–Rebbi(1977)は、各塊の位置と大きさを表す 5 k 5k 5 k 個のパラメータの既知の族を、5 k + 4 5k+4 5 k + 4 個のパラメータの解に広げました(いずれも要旨)既知 。
図 1 つまみで二つの極の距離
d d d を変えると、断面
x 2 = x 3 = 0 x_2=x_3=0 x 2 = x 3 = 0 (横
x 1 x_1 x 1 ・縦
x 4 x_4 x 4 ・三角が極)の作用の密度(対数の濃淡)が変わる。
d d d が小さいと原点に鋭い山が立つ
d 動かす
計算 この図の数値はこの端末で計算した。(8) をその場で計算(ρ i = 1 \rho_i=1 ρ i = 1 、極は x 4 = ± d / 2 x_4=\pm d/2 x 4 = ± d /2 )。
表 3 二つの極(ρ 1 = ρ 2 = 1 \rho_1=\rho_2=1 ρ 1 = ρ 2 = 1 )の作用(8 π 2 8\pi^2 8 π 2 単位。適応積分)計算
d d d 4 1 0.5 0.2 0.1 0
全作用 2.000000 2.000000 2.000000 2.000000 2.000000 1.000000
∣ x ∣ < d |x|\lt d ∣ x ∣ < d の内側1.945544 1.140005 0.925267 0.896362 0.895881 —
全作用はどの d d d でも 16 π 2 16\pi^2 16 π 2 です。d d d が小さいと原点の密度は 48 / ( d / 2 ) 4 48/(d/2)^4 48/ ( d /2 ) 4 に近づき(d = 0.1 d=0.1 d = 0.1 で 7.661 × 10 6 7.661\times10^6 7.661 × 1 0 6 対 7.68 × 10 6 7.68\times10^6 7.68 × 1 0 6 )、半径 d d d の内側の 0.896 は大きさ d / 2 d/2 d /2 の BPST の解の割合 1 − 3 25 + 2 125 1-\frac{3}{25}+\frac{2}{125} 1 − 25 3 + 125 2 (1-12 の (9))です。一つが作用を保ったまま縮み、d = 0 d=0 d = 0 では ϕ = 1 + 2 / ∣ x ∣ 2 \phi=1+2/|x|^2 ϕ = 1 + 2/∣ x ∣ 2 の Q = 1 Q=1 Q = 1 の解になって一つぶんが点に消えます。1-12 §05 の集中が解の族の中で起きる様子です(3-06 )。
06
θ 項 — 方程式に見えない角
§02 から、作用に Q Q Q の定数倍を足しても古典の方程式は変わりません。量子論の重みでは虚時間でも虚数のまま残ります(4-02 。符号は約束による)。
e − S E [ A ] ⟶ e − S E [ A ] + i θ Q [ A ] (9) e^{-S_E[A]}\ \longrightarrow\ e^{-S_E[A]+i\theta Q[A]} \tag{9} e − S E [ A ] ⟶ e − S E [ A ] + i θ Q [ A ] ( 9 )
既知 (i) 摂動論(A = 0 A=0 A = 0 のまわりの展開。4-03 )では全微分の積分は各次数で 0 で、見えません。(ii) Q Q Q が整数なので θ は周期 2 π 2\pi 2 π の角度です。(iii) 時空では E a ⋅ B a \mathbf E^a\cdot\mathbf B^a E a ⋅ B a に比例し(§01・2-04 )、E \mathbf E E は空間反転で、B \mathbf B B は時間反転で向きを変えるので、θ ≠ 0 , π \theta\ne0,\pi θ = 0 , π では空間反転と時間反転が破れます。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 q ∼ q + 2 π の上の粒子に速度の一次の項を足します。
L = 1 2 q ˙ 2 + θ 2 π q ˙ , E n = 1 2 ( 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} L = 2 1 q ˙ 2 + 2 π θ q ˙ , E n = 2 1 ( n − 2 π θ ) 2 ( n ∈ Z ) ( 10 )
足した項は d d t θ q 2 π \frac{d}{dt}\frac{\theta q}{2\pi} d t d 2 π θ q で方程式を変えません(2-01 )が、θ q / 2 π \theta q/2\pi θ q /2 π は一周で θ \theta θ ずれ、虚時間の周期的な道の重みに e i θ × 巻き数 e^{i\theta\times\text{巻き数}} e i θ × 巻き数 が掛かります。(9) と同じ形です。周期的な波動関数で H = 1 2 ( − i d / d q − θ / 2 π ) 2 H=\frac12(-i\,d/dq-\theta/2\pi)^2 H = 2 1 ( − i d / d q − θ /2 π ) 2 の固有関数 e i n q e^{inq} e in q の固有値が (10) です(2-05 )。θ は円を貫く磁束の役目で(GKKS 脚注 27。2-03 )、“for θ = π and only in this case the ground state is two-fold degenerate” です。− K cos q -K\cos q − K cos q を足すと交差が開き、− K cos 2 q -K\cos2q − K cos 2 q なら二重縮退が厳密に残ります(同付録 “still maintains some exact two-fold degeneracy”)。
図 2 つまみで θ(横軸 0〜4π)を動かすと縦線と準位(点)が動く。ボタンで位置エネルギーを 0・
− K cos q -K\cos q − K cos q ・
− K cos 2 q -K\cos 2q − K cos 2 q (
K = 0.4 K=0.4 K = 0.4 )に替えると、
θ = π \theta=\pi θ = π の交差が開くか残るかが分かる
V = 0 −K cos q −K cos 2q θ/π 動かす
計算 この図の数値はこの端末で計算した。V = 0 は (10)、ほかは e i n q e^{inq} e in q (∣ n ∣ ≤ 40 |n|\le40 ∣ n ∣ ≤ 40 )で対角化した表(0 ≤ θ ≤ π 0\le\theta\le\pi 0 ≤ θ ≤ π の 13 点)を周期と対称性で広げたもの。
表 4 E 1 − E 0 E_1-E_0 E 1 − E 0 (K = 0.4 K=0.4 K = 0.4 、I = ℏ = 1 I=\hbar=1 I = ℏ = 1 )計算
位置エネルギー θ = 0 π/2 π
0 0.5 0.25 0
− K cos q -K\cos q − K cos q 0.60436 0.46493 0.38481
− K cos 2 q -K\cos 2q − K cos 2 q 0.32981 0.21083 0
07
真空はトンネルでつながる — θ 真空
ここからは物理の水準です 物理 。A 4 = 0 A_4=0 A 4 = 0 とそろえると古典的な真空は三次元の純ゲージ − ( d h ) h − 1 -(dh)h^{-1} − ( d h ) h − 1 (h : R 3 → S U ( 2 ) h:\mathbb R^3\to SU(2) h : R 3 → S U ( 2 ) は遠方で 1 に近づくとし、R 3 ∪ { ∞ } = S 3 \mathbb R^3\cup\{\infty\}=S^3 R 3 ∪ { ∞ } = S 3 とみなす。§03 の無限遠の S 3 S^3 S 3 とは別の球面)で、写像度 n n n で番号が付き、写像度 1 のゲージ変換 T T T が n n n を一つずらします。(4) を虚時間の厚板に使うと Q Q Q は τ → ± ∞ \tau\to\pm\infty τ → ± ∞ の真空の番号の差で、BPST の解は n n n から n + 1 n+1 n + 1 へ移る虚時間の道です。重みは
e − 8 π 2 / g 2 : g 2 = 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} e − 8 π 2 / g 2 : g 2 = 1 , 2 , 4 , 8 で 5.1 × 1 0 − 35 , 7.2 × 1 0 − 18 , 2.7 × 1 0 − 9 , 5.2 × 1 0 − 5 ( 11 )
で 計算 、g 2 = 0 g^2=0 g 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 )で T T T で位相だけ変わる状態が θ 真空です。
∣ θ ⟩ = ∑ n ∈ Z e i n θ ∣ 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} ∣ θ ⟩ = n ∈ Z ∑ e in θ ∣ n ⟩ , T ∣ θ ⟩ = e − i θ ∣ θ ⟩ ( 12 )
円周上の粒子では、円に巻く前の直線の谷 q = 2 π n q=2\pi n q = 2 π n が ∣ n ⟩ |n\rangle ∣ n ⟩ 、q ↦ q + 2 π q\mapsto q+2\pi q ↦ q + 2 π が T T T で、(12) は Bloch 波の形です(GKKS も q q q をヤン–ミルズの Chern–Simons の量と読む)。谷が深いと一番下の準位は細い帯になり、谷から谷への道の作用 S 0 = ∫ 0 2 π 2 K ( 1 − cos q ) d q = 8 K S_0=\int_0^{2\pi}\sqrt{2K(1-\cos q)}\,dq=8\sqrt K S 0 = ∫ 0 2 π 2 K ( 1 − cos q ) d q = 8 K で決まります。帯は E 0 ( 0 ) + W 2 ( 1 − cos θ ) E_0(0)+\frac W2(1-\cos\theta) E 0 ( 0 ) + 2 W ( 1 − cos θ ) の形で、W W W は Mathieu 方程式の漸近形(DLMF 28.8.2 の書き直し 16 π K 3 / 4 e − S 0 ( 1 − 7 64 K ) \frac{16}{\sqrt\pi}K^{3/4}e^{-S_0}(1-\frac{7}{64\sqrt K}) π 16 K 3/4 e − S 0 ( 1 − 64 K 7 ) )に近づきます(表 5)。
表 5 − K cos q -K\cos q − K cos q の一番下の帯の幅 W = E 0 ( π ) − E 0 ( 0 ) W=E_0(\pi)-E_0(0) W = E 0 ( π ) − E 0 ( 0 ) (60 桁の十進演算の二分法。右端の「—」は、ずれが倍精度では測れないことを表す)計算
K K K W W W W W W /漸近形1 − cos θ 1-\cos\theta 1 − cos θ からのずれ/W W W
1 2.66699×10⁻³ 0.98887 2.8×10⁻³
4 2.71024×10⁻⁶ 0.99782 1.7×10⁻⁶
16 8.89113×10⁻¹³ 0.99951 —
ヤン–ミルズの希薄気体の近似(インスタントンが離れて散らばるとみなす)では、真空のエネルギー密度が − cos θ e − 8 π 2 / g 2 -\cos\theta\,e^{-8\pi^2/g^2} − cos θ e − 8 π 2 / g 2 に比例するとされます 物理 。典型的な配位を滑らかな解の重ね合わせとみなす近似で、数学的には未確定です(辞書 C )。正確には、四次元では結合が尺度とともに走る(4-06 )ため、インスタントンの大きさ ρ \rho ρ の積分が大きい ρ \rho ρ の側で発散し、この近似は物理の水準でも制御されていないとされます 物理 。近似に依らない量は位相感受率 χ t = ⟨ Q 2 ⟩ / V \chi_t=\langle Q^2\rangle/V χ t = ⟨ Q 2 ⟩ / V (E ( θ ) = − 1 V ln ∑ Q Z Q e i θ Q E(\theta)=-\frac1V\ln\sum_QZ_Qe^{i\theta Q} E ( θ ) = − V 1 ln ∑ Q Z Q e i θ Q の θ = 0 \theta=0 θ = 0 での二階微分)です。
08
格子の上の整数と、問題文の θ
格子(5-01 )の場の空間は連結で、“the concept of a topological sector has therefore no a priori well-defined meaning” です(Lüscher 2010)既知 。作用の密度が小さい格子場は整数 Q Q Q を持ち、古典的な連続極限で Chern 数に戻るとされます(整数を持つことは Lüscher 1982 の要旨。6-11 §09 )。SU(3) で Wilson 流により滑らかにした場 V V V が max p Re tr { 1 − V ( p ) } < 0.067 \max_p\operatorname{Re}\operatorname{tr}\{1-V(p)\}\lt0.067 max p Re tr { 1 − V ( p )} < 0.067 を満たす割合は a = 0.1 , 0.07 , 0.05 a=0.1,\ 0.07,\ 0.05 a = 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 では Q 2 Q^2 Q 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 の − K cos 2 q -K\cos2q − K cos 2 q ・θ = π \theta=\pi θ = π がその量子力学版です。
この章が言えている範囲
項目 言えていること 言えていないこと
Q Q Q の整数性作用が有限な解(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 − cos θ ・大きさの積分の発散 未確認 一次資料の本文は未照合
パラメータの数・θ = π・円周上の粒子・格子 本文 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 。
改訂 2026-10-01:初版。