2026-10-01 · chapter ヤン–ミルズと質量ギャップ第 7 部 物理の側から超対称と電気磁気の双対

超対称と Seiberg–Witten — 双対に持ち替えると、強結合の真空が弱結合の単極子の理論になる

純ヤン–ミルズが難しいのは、ギャップの決まる低いエネルギーで結合が強くなり、摂動論が効かないからでした（7-01）。超対称性を二組持つ（N=2）ゲージ理論は、強結合の側まで計算できる隣の理論の代表で、Seiberg と Witten（1994、以下 SW）は SU(2) の場合に低エネルギーの有効理論を厳密に決める提案をしました。要旨は 'The "strongly coupled" vacuum turns out to be a weakly coupled theory of monopoles, and with a suitable perturbation confinement is described by monopole condensation' と書きます 物理。

三つの理論は場の組と、一ループの走りの係数 $b$（純ヤン–ミルズで $11N/3$ の規約）が違います。随伴表現の Weyl フェルミオン（二成分のフェルミオン。電子の Dirac フェルミオンは四成分）一つが $-2N/3$、複素スカラー一つが $-N/3$ を足します 既知。

例：SU(2) では順に $22/3,\ 6,\ 4$ です。N=2 の理論は質量 0 の光子が残るのでギャップを持たず、ギャップが現れるのは §09 で N=1 へ崩したときです。問題文 §6.6 も、物質を伴う理論でギャップを理解する道の例として Seiberg–Witten を挙げます（'for example, see [41]'）既知。

超対称性はボソンとフェルミオンを入れ替える対称性で、N はその生成子（超電荷）が何組あるかを数えます。超対称で互いに移り合う場の組を多重項と呼びます。N=2 のゲージ理論の最小の組は、ゲージ場 $A_\mu$、二つの Weyl フェルミオン $\lambda,\psi$、複素スカラー $\phi$ で、どれも随伴表現に属します（1-04）。スカラーのポテンシャルは

で、$\phi$ と $\phi^\dagger$ が可換なら 0 です。SU(2) ではゲージ変換で $\phi=\tfrac12a\sigma^3$（$a\in\mathbb C$）にでき、$a$ と $-a$ は移り合うので、ゲージ不変な座標は $u=\operatorname{tr}\phi^2=\tfrac12a^2$ です 既知。$V=0$ の真空は複素数 $u$ で番号付けられる族（モジュライ空間）を成し、量子論でもこの族は持ち上がらない、と SW は論じます 物理。

$a\neq0$ では $\phi$ と可換な元は対角の U(1) だけで、残る二つのゲージ場（W ボソン）は Higgs 機構（値を持ったスカラー場がゲージ場に質量を与える仕組み。3-07）で質量を得ます。U(1) の光子は質量 0 のまま残るので、ギャップはありません。例：$\phi=\sigma^+=\begin{pmatrix}0&1\\0&0\end{pmatrix}$ なら $[\phi,\phi^\dagger]=\sigma^3$ で $V=2/g^2\gt 0$、$\phi=\tfrac12a\sigma^3$ なら $V=0$ です。

複素数の関数が正則とは、複素数として微分できることです。N=2 超対称性のもとで、低いエネルギーの有効理論は一本の正則関数 $\mathcal F(a)$（プレポテンシャル）で書けます（Seiberg 1988、SW §2）物理。結合 $g$ と θ 角をまとめた複素数

が、光子の結合と真空の族の上の距離（計量）を与えます。$|a|$ が大きい所は漸近自由で弱結合です（4-06）。原文は

と書き、'Higher order perturbative corrections are absent. Instantons lead to new terms.' と続けます。第一項が一ループ、第 $k$ 項が $k$ 個のインスタントン（3-05）の寄与です 物理。

冪 $4k$ は (1) の $b=4$ から来ます。7-01 の (3) の規約で $b_0=b/16\pi^2=1/4\pi^2$ とすると

で、指数はインスタントン一個の重みです。$(\Lambda/a)^4$ は摂動のどの次数にも現れません（4-12）既知。例：特異点を $u=\pm1$ に置く単位では、一ループは $\operatorname{Im}\tau\approx(2/\pi)\ln(2|a|)$ です（§07 の数値から）。係数 $2/\pi=8\pi b_0$ は (5) の走りと一致します 計算。

(3) の計量は正でなければなりません。ところが正則関数の虚部は調和関数です。

調和関数は円の中心の値が円周上の平均に等しく、定数でなければ領域の内側で最小になれません（最小値原理）既知。

$\tau$ が $a$ 平面全体で一つの関数なら、$\operatorname{Im}\tau$ は $|a|\to\infty$ で $+\infty$ に行くのでどこかで最小になり、原理と矛盾します。原文は 'if Im τ(a) is globally defined it cannot be positive definite as the harmonic function Im τ cannot have a minimum' と書き、$a$ による記述は局所的にしか正しくないと結論します 物理。例：一ループの $(2/\pi)\ln(2|a|)$ は $|a|\lt1/2$ で負で、$|a|=1/4$ では $-0.44$、つまり「$4\pi/g^2$ が負」です 計算。強結合の側では別の変数が要ります。

磁荷を加えた Maxwell 方程式は電と磁の入れ替えで対称でした（7-02 の (6)）。θ 角を含めると入れ替えは $\tau\to-1/\tau$、θ を $2\pi$ ずらすと $\tau\to\tau+1$ で、二つで群 $SL(2,\mathbb Z)$（整数成分・行列式 1）を生みます 既知。SW は $a_D=\partial\mathcal F/\partial a$ を置き、計量を $a$ と $a_D$ について対称に書きました。

$a_D$ を座標にしても同じ形で、結合が $-1/\tau$ に変わります。原文は同じ理論の別の記述だと強調します 物理。電荷 $n_e$・磁荷 $n_m$ の粒子の質量には下限があり、下限に等しい粒子（BPS 状態）の質量 $m_{\rm BPS}$ は

です（Witten–Olive 1978、SW §4）物理。W ボソンは $(n_m,n_e)=(0,1)$、単極子は $(1,0)$、ダイオンは $(1,n)$ です。例：古典では $a_D=\tau_{\rm cl}a$ で、単極子は W の $|\tau_{\rm cl}|\approx4\pi/g^2$ 倍、$g=1$ なら約 12.6 倍重い。強結合の側では比が逆転します（図2）。

(4) の一ループの項を微分すると $a_D\approx\frac{i}{\pi}a\big(\ln\frac{a^2}{\Lambda^2}+1\big)$ です。大きな $u$ では $a\approx\sqrt{2u}$ なので、$u$ が大きな円を一周すると $a\to-a$、$\ln a^2\to\ln a^2+2\pi i$ となり、$a_D\to-a_D+2a$ です。列ベクトル $(a_D,a)^{\mathsf T}$ に掛かる行列（モノドロミー）で書くと

です。モノドロミーがすべて $\mathsf M_\infty$ と可換なら $a^2$ が大域的な座標になり、§04 の矛盾に戻ります。そこで SW は、有限の所に特異点が二つ（単位を選んで $u=\pm1$）あり、そこで単極子やダイオンの質量が 0 になると提案しました 物理。$u=1$ の近くでは軽い単極子の効果で $a\approx a_0+(i/\pi)a_D\ln a_D$ となり、一周で $a\to a-2a_D$ です。

（SW の式。SW は同じ図 1 で、先に回る輪の行列を右に置く順で積を書く。）質量 0 になる粒子の電荷 $q=(n_m,n_e)$ は $q\mathsf M=q$ を満たし、$\mathsf M_1$ では $q=(1,0)$、つまり単極子です。

計算この図の数値はこの端末で計算した（§07 の方程式 (PF) を $P$ から道に沿って Runge–Kutta 法で解く。行列は表1 と一致）。

表1 では、道 A のあと道 B を回った行列を $\mathsf M_A\mathsf M_B$ と書きます（解析接続の順）。$P$ から見ると大きな輪は「$-1$ のあと $+1$」なので $\mathsf M(-1)\mathsf M(1)=\mathsf M(\infty)$ で、$\mathsf M(-1)=\mathsf M_\infty\mathsf M_1^{-1}=\mathsf M_\infty\mathsf M_{-1}\mathsf M_\infty^{-1}$ です 計算。SW の $\mathsf M_{-1}$ とは共役で、質量 0 のダイオンの電荷は $(1,-1)$ から $(1,1)$ に変わります。原文の 'complete democracy among dyons'（$\mathsf M_\infty$ で共役を取ると電荷が 2 ずつずれる）の一例です。

SW §6 は各 $u$ に曲線

を対応させます。$y=\pm\sqrt{\cdots}$ の二枚の平面を、分岐点 $-1,1,u,\infty$ を結ぶ二本の切れ目で貼ると、穴一つの曲面（トーラス）になります。トーラスは平面を格子 $\mathbb Z\omega_1+\mathbb Z\omega_2$ で割ったもので、$\tau=\omega_2/\omega_1$ の向きをそろえると $\operatorname{Im}\tau>0$ です 既知。分岐点が重なるのは $u=\pm1,\infty$ だけで、特異点と一致します。周期を

と置きます。$u$ で微分すると被積分関数は $dx/y$ の定数倍になり、$da/du$・$da_D/du$ はトーラスの二本の輪に沿った積分、つまり格子の周期（の同じ定数倍）です。$\tau$ はその比なので $\operatorname{Im}\tau>0$ が自動的に成り立ちます（曲線の性質は 既知、理論との対応は 物理）。二つの周期は同じ方程式 $4(u^2-1)\Pi''+\Pi=0$（Picard–Fuchs 方程式、以下 (PF)）を満たします（実軸 $u>1$ で相対残差 $10^{-15}$ 以下 計算）。図1 はこの方程式を道に沿って数値で積分したものです。$u=1$ の近くでは

で、(10) の $a\to a-2a_D$ が出ます。例：(12) の数値積分は超幾何関数の閉じた式と $10^{-8}$ 以内で一致し、$a(1)=4/\pi$ でした 計算。

計算この図の数値はこの端末で計算した（(12) の数値積分を 15 点埋め込み）。

一ループの列は $(2/\pi)\ln2a$ です。$u\to1$ で $\operatorname{Im}\tau$ は 0 に向かい、電気の結合が発散します。

寄り道：$u=3$ で $\tau=i$ になる

(12) を大きい $u$ で展開して $a$ について逆に解くと、有理数の係数 $c_k$ を持つ級数になります 計算。

Matone（1995）は $\mathcal G=\pi i\big(\mathcal F-\tfrac12a\,a_D\big)$ を導入し、要旨はそれがモジュラー不変だと書きます。$\mathcal G=u$ として (4) に入れると、一ループの項は $a^2/2$ を、第 $k$ 項は $2\pi ik$ 倍の $a^{2-4k}$ の項を与えるので、(4) の $a^{2-4k}$ の係数は $c_k/(2\pi ik)$ と読めます。要旨の方程式 $(1-\mathcal G^2)\mathcal G''+\tfrac14a\,\mathcal G'^3=0$ も、$\mathcal G=u$ と置くと (PF) と同じ式です 計算。

この読みを $a_D$ で照合します。例：$u=2$ で $a_D/i$ の数値積分は 0.473434 です。一ループだけでは 0.462621、$k=1$ までで 0.473083、$k=3$ までで 0.473432 と、項を一つ足すごとに差が一桁以上縮みます 計算。Dorey–Khoze–Mattis（1996）は一個と二個のインスタントンを直接計算し、'precise agreement' を報告しました 物理。

N=1 の言葉では、N=2 の組は $(A_\mu,\lambda)$ の組（ベクトル多重項）と、$\phi,\psi$ の組 $\Phi$ に分かれます。$\Phi$ に質量を与える項 $m\operatorname{tr}\Phi^2$ を足すと、低いエネルギーには N=1 の理論が残ります。原文はこの理論を 'strongly believed to generate a mass gap' と書き、閉じ込めと $\mathbb Z_4\to\mathbb Z_2$ の破れ、真空がちょうど二つであることを挙げます（Witten 1982 を引く）物理。$\mathbb Z_4$ は $\lambda$ の位相を $i$ 倍する変換が生む対称で、残る $\mathbb Z_2$ は $-1$ 倍です。

$u=1$ の近くでは、双対の光子の組 $A_D$ と単極子の場 $M,\tilde M$（質量ではなく場の名前）を使います。相互作用を決める正則関数（超ポテンシャル）と真空の条件は

で、$U(A_D)$ は座標 $u$ を $A_D$ の関数として組ごと書いたものです。$m\neq0$ かつ $du/da_D\neq0$ なら $M,\tilde M\neq0$ が要り、$a_DM=0$ から $a_D=0$、つまり $u=1$ です。(13) から $du/da_D=-2i$ なので、$|M|=|\tilde M|$ の解で $|M|^2=\sqrt2\,|m|$（§06 の単位）です 計算。

単極子が凝縮します。双対の光子は Higgs 機構で質量を得て、原文は 'Expanding around this vacuum, it is easy to see that there is a mass gap' と書きます。凝縮しているのは磁荷なので電場が管に押し込められ、電荷は閉じ込められます（7-02 の絵そのもの）物理。$u=-1$ ではダイオンが凝縮し、真空は二つです。例：$m=0.01$ なら $|M|=0.119$ 計算。尺度は $\Lambda$ と $m$ の二つで、純ヤン–ミルズの「尺度は一つ」（7-12）とは事情が違います。

純ヤン–ミルズへ行くには、$m\to\infty$ で $\Phi$ を切り離し、フェルミオン $\lambda$ の質量も無限大に送る、二つの極限が要ります。§09 の弱結合の記述は $m$ が小さい所のもので、極限に沿ってギャップと閉じ込めが途切れないことは期待にとどまり、制御する手段はありません（7-10）物理。議論全体も、N=2 の理論が存在することを前提にしています。SW の例は四次元で双対から閉じ込めが物理の水準で導かれた代表例ですが（半古典の計算は三次元の Polyakov などにもある。7-02）、数学の側に残ったものは別の形をとりました。

表3 の数学は、インスタントンの空間上の積分や方程式の解についての定理と定義で、スペクトル（4-11）についての主張ではありません。例：(14) の係数は、規約をそろえれば、インスタントンの空間上の積分として定理で保証される数です。同じ数が「N=2 の場の量子論の性質」であることは、理論の構成（6-01）が無いため言えません。問題文 §6.6 の「双対変換」の、物理の水準での実例として読むのが正確です（7-13・9-02）。

この章が言えている範囲

出典と再現

次に読む章：7-12 等価原理に当たる一文 — 「尺度は一つ」を一文の仮定として切り出す。

← 7-10 四次元に戻す目次7-12 等価原理に当たる一文 →