コンテンツにスキップ

ゲージ理論と自発的対称性の破れ:ヒッグス機構はなぜ質量を生むのか

対象読者: 本テーマ前章までのスカラー場の量子化とくりこみの考え方、および学部の電磁気学とU(1)・SU(2)の基礎を学んだ人。ヒッグス機構は未習で構いません。

前提となる記事:くりこみ理論入門:ループ発散の正則化から、くりこみ群の流れまで

生 Markdown

電磁気の力は、「波動関数の位相を場所ごとに自由に選び直してよい」という要請だけから導けます。ところが同じ原理は、力を運ぶ粒子に質量を与えることを禁じてしまい、到達距離の短い弱い力をそのままでは説明できません。この記事では、真空が対称性を保たない(自発的対称性の破れ)という仕組みがこの困難をどう解くかを、計算で追います。読み終えると、WW ボソンと ZZ ボソンの質量の式と、その比の関係を自分で導けるようになります。

  • 場の位相を時空の各点で独立に選び直す自由(局所対称性)を要請すると、それを補償する場としてゲージ場 AμA_\mu が必然的に現れます。電磁場はこの要請の帰結として導かれ、同じ要請が光子の質量項 12m2AμAμ\frac{1}{2}m^2A_\mu A^\mu を禁じます。
  • ラグランジアンが対称でも、最低エネルギー状態(真空)がその対称性を保つとは限りません。これが自発的対称性の破れで、メキシカンハット型ポテンシャルがその典型です。
  • 連続的な大域対称性が自発的に破れると、破れた生成子の数だけ質量ゼロの粒子(南部・ゴールドストーン粒子)が現れます。この記事ではこれを、ポテンシャルの質量行列の零固有ベクトルとして証明します。
  • 破れる対称性がゲージ対称性の場合、ゴールドストーン粒子は独立な粒子として現れず、ゲージ場の縦波自由度として吸収され、ゲージ場が質量を得ます(ヒッグス機構)。自由度の総数は前後で変わりません。
  • 標準模型では SU(2)L×U(1)Y→U(1)emSU(2)_L \times U(1)_Y \to U(1)_{\mathrm{em}} の破れにより W±,ZW^\pm, Z が質量を得、光子は質量ゼロのまま残ります。MW=gv/2M_W = gv/2 と MZ=vg2+g′2/2M_Z = v\sqrt{g^2+g'^2}/2 から、実験でよく検証された関係 MW=MZcos⁡θWM_W = M_Z\cos\theta_W が従います。

1. 動機:位相の自由度と、質量が書けないという困難

Section titled “1. 動機:位相の自由度と、質量が書けないという困難”

量子力学では、波動関数の全体位相は観測できません。ψ→eiαψ\psi \to e^{i\alpha}\psi としても ∣ψ∣2|\psi|^2 は変わらず、期待値も変わりません。ところがこの α\alpha は時空全体で共通の一つの定数です。ここで位相の基準を決めると、アンドロメダ銀河での基準も同時に決まってしまう。ヘルマン・ワイルは 1918 年に長さの基準(Eichung、ゲージ)を各点で自由に選べるとする理論を提案し、1929 年にそれを位相の自由度として読み替えました。位相の基準は各点で勝手に選べるはずだ、という要請です。

この要請には代償があります。位相を各点で別々に回すと、微分 ∂μψ\partial_\mu\psi は eiα(x)∂μψe^{i\alpha(x)}\partial_\mu\psi にはならず、余分な項 i(∂μα)ψi(\partial_\mu\alpha)\psi が出ます。ラグランジアンの微分項がこわれるのです。これを打ち消すには、同じ変換のもとで ∂μα\partial_\mu\alpha だけずれる補償場を導入するしかありません。それが AμA_\mu であり、その正体は電磁ポテンシャルです。相互作用が「対称性の要請から導かれた」——これがゲージ原理で、1954 年のヤンとミルズによる非可換版を経て、現代の素粒子論の設計図になりました。

しかしこの美しい原理は、そのままでは自然を説明できません。弱い相互作用は到達距離がきわめて短く、その媒介粒子は重いはずです。実際 MW≃80.4 GeVM_W \simeq 80.4\ \mathrm{GeV} から到達距離を見積もると

R∼ℏMWc=197.3 MeV⋅fm8.04×104 MeV≃2.5×10−3 fmR \sim \frac{\hbar}{M_W c} = \frac{197.3\ \mathrm{MeV\cdot fm}}{8.04\times 10^{4}\ \mathrm{MeV}} \simeq 2.5\times 10^{-3}\ \mathrm{fm}

となり、陽子の半径(約 0.84 fm0.84\ \mathrm{fm})の 300 分の 1 以下です。ところが後で示すとおり、ゲージ不変性はゲージ場の質量項を禁じます。さらに悪いことに、弱い相互作用は左巻きフェルミオンだけに働くので、ディラック質量項 mψˉψ=m(ψˉLψR+ψˉRψL)m\bar\psi\psi = m(\bar\psi_L\psi_R + \bar\psi_R\psi_L) すらゲージ不変になりません。ゲージ原理を採用する限り、ゲージ場もフェルミオンも、ラグランジアンに質量を書き込めないのです。

出口は 1960 年前後に、素粒子論ではなく物性論から来ました。超伝導体の BCS 理論を眺めていた南部陽一郎は、「法則の対称性」と「状態の対称性」は別物だと気づきます。強磁性体のハミルトニアンは回転対称ですが、基底状態は特定の向きに磁化している。同じことが場の理論の真空でも起きるなら、ラグランジアンを対称に保ったまま真空だけが対称性を破れます。1963–64 年に、アンダーソン、エングレール・ブラウト、ヒッグス、グラルニク・ヘーゲン・キッブルらは、この機構をゲージ理論と組み合わせるとゲージ場が質量を獲得することを見出しました。1967 年のワインバーグ「A Model of Leptons」がそれを弱い相互作用に適用し、2012 年のヒッグス粒子発見で話は閉じます。

以下ではこの筋道を、計算を省かずにたどります。

2. 準備:記法とくりかえしの確認

Section titled “2. 準備:記法とくりかえしの確認”

自然単位系 ℏ=c=1\hbar = c = 1 を使い、計量は ημν=diag(+1,−1,−1,−1)\eta_{\mu\nu} = \mathrm{diag}(+1,-1,-1,-1) とします。ギリシャ添字は 0,1,2,30,1,2,3 を走り、繰り返す添字は和を取ります。∂μ=∂/∂xμ\partial_\mu = \partial/\partial x^\mu、□=∂μ∂μ\Box = \partial_\mu\partial^\mu です。

場の理論の作用は S=∫d4x L(ϕ,∂μϕ)S = \int d^4x\, \mathcal{L}(\phi, \partial_\mu\phi) で、停留条件からオイラー・ラグランジュ方程式

∂μ ⁣(∂L∂(∂μϕ))−∂L∂ϕ=0\partial_\mu\!\left(\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)}\right) - \frac{\partial\mathcal{L}}{\partial\phi} = 0

が出ます。この枠組みは 古典場の理論とラグランジアン の 場のオイラー・ラグランジュ方程式(定理 4.3)[古典場の理論とラグランジアン] で扱いました。作用が連続的な大域対称性をもつとき保存カレントが対応する、という事実は 対称性と保存則(ネーターの定理) の ネーターの定理(定理 4.1)[対称性と保存則] を前提とします。

以後くりかえし使うのが複素スカラー場です。

L0=∂μϕ∗∂μϕ−m2ϕ∗ϕ\mathcal{L}_0 = \partial_\mu\phi^{*}\partial^\mu\phi - m^2\phi^{*}\phi

は、定数 α\alpha による大域的 U(1) 変換 ϕ→eiαϕ\phi \to e^{i\alpha}\phi で不変です。無限小変換 δϕ=iαϕ, δϕ∗=−iαϕ∗\delta\phi = i\alpha\phi,\ \delta\phi^{*} = -i\alpha\phi^{*} に対応するネーターカレント(大域的 U(1) 対称性と保存カレント(例 6.7)[古典場の理論とラグランジアン])は

jμ=i(ϕ∗∂μϕ−ϕ ∂μϕ∗)j^\mu = i\left(\phi^{*}\partial^\mu\phi - \phi\,\partial^\mu\phi^{*}\right)

で(全体の符号は規約により、電荷の符号の取り方に対応します)、運動方程式のもとで ∂μjμ=0\partial_\mu j^\mu = 0 が成り立ちます。実際 ∂μjμ=i(ϕ∗□ϕ−ϕ□ϕ∗)=i(ϕ∗(−m2ϕ)−ϕ(−m2ϕ∗))=0\partial_\mu j^\mu = i(\phi^{*}\Box\phi - \phi\Box\phi^{*}) = i(\phi^{*}(-m^2\phi) - \phi(-m^2\phi^{*})) = 0 です。

最後に「質量項」の意味を確認します。ベクトル場の 12m2AμAμ\frac{1}{2}m^2A_\mu A^\mu は運動方程式を (□+m2)Aν=⋯(\Box + m^2)A^\nu = \cdots の形にし、静的な源のまわりのポテンシャルを湯川型 e−mr/re^{-mr}/r にします(点源が作る場と核力の到達距離(例 5.2)[古典場の理論とラグランジアン])。m=0m = 0 なら 1/r1/r のクーロン型で無限遠まで届き、m≠0m \ne 0 なら距離 1/m1/m で指数関数的に切れる。「質量」と「力の到達距離」は同じことの言い換えです。

3. U(1) ゲージ理論:局所対称性から電磁場を導く

Section titled “3. U(1) ゲージ理論:局所対称性から電磁場を導く”

大域から局所へ。 L0\mathcal{L}_0 の対称性 ϕ→eiαϕ\phi \to e^{i\alpha}\phi で、α\alpha を時空の関数 α(x)\alpha(x) に置き換えてみます。ポテンシャル項 ϕ∗ϕ\phi^{*}\phi は ∣eiα(x)∣=1|e^{i\alpha(x)}|=1 なので何も変わりません。壊れるのは微分項だけです。

∂μ(eiqα(x)ϕ)=eiqα(x)(∂μϕ+iq(∂μα)ϕ)\partial_\mu\left(e^{iq\alpha(x)}\phi\right) = e^{iq\alpha(x)}\left(\partial_\mu\phi + iq(\partial_\mu\alpha)\phi\right)

ここで場の U(1) 電荷を qq と書きました。第 2 項が邪魔者です。これを打ち消すため、変換のもとでちょうど ∂μα\partial_\mu\alpha だけずれる場を用意します。

定義 3.1(局所 U(1) 変換と共変微分)↗

α:R1,3→R\alpha : \mathbb{R}^{1,3} \to \mathbb{R} を任意の滑らかな関数、qq を実定数(場 ϕ\phi の電荷)とする。複素スカラー場 ϕ\phi とベクトル場 AμA_\mu に対する局所 U(1)(ゲージ)変換を

ϕ(x)⟼ϕ′(x)=eiqα(x)ϕ(x),Aμ(x)⟼Aμ′(x)=Aμ(x)+∂μα(x)\phi(x) \longmapsto \phi'(x) = e^{iq\alpha(x)}\phi(x), \qquad A_\mu(x) \longmapsto A'_\mu(x) = A_\mu(x) + \partial_\mu\alpha(x)

で定める。また ϕ\phi に対する共変微分を

Dμϕ≡(∂μ−iqAμ)ϕD_\mu\phi \equiv \left(\partial_\mu - iqA_\mu\right)\phi

で定める。

補題 3.2(共変微分の共変性)✓

定義 3.1 の変換のもとで

Dμ′ϕ′≡(∂μ−iqAμ′)ϕ′=eiqα(x) DμϕD'_\mu\phi' \equiv (\partial_\mu - iqA'_\mu)\phi' = e^{iq\alpha(x)}\,D_\mu\phi

が成り立つ。すなわち DμϕD_\mu\phi は ϕ\phi とまったく同じように変換する。したがって (Dμϕ)∗(Dμϕ)(D_\mu\phi)^{*}(D^\mu\phi) は局所 U(1) 変換で不変である。逆に、Aμ↦Aμ+ΛμA_\mu \mapsto A_\mu + \Lambda_\mu(Λμ\Lambda_\mu は AμA_\mu に依らない)という形のずれで共変性が成り立つのは Λμ=∂μα\Lambda_\mu = \partial_\mu\alpha のときに限る。

証明(補題 3.2)

まず前半を示します。定義に代入して

(∂μ−iqAμ′)ϕ′=∂μ ⁣(eiqαϕ)−iq(Aμ+∂μα)eiqαϕ=eiqα(∂μϕ+iq(∂μα)ϕ)−iqeiqα(Aμ+∂μα)ϕ=eiqα(∂μϕ+iq(∂μα)ϕ−iqAμϕ−iq(∂μα)ϕ)=eiqα(∂μ−iqAμ)ϕ.\begin{aligned} (\partial_\mu - iqA'_\mu)\phi' &= \partial_\mu\!\left(e^{iq\alpha}\phi\right) - iq\left(A_\mu + \partial_\mu\alpha\right)e^{iq\alpha}\phi \\ &= e^{iq\alpha}\Big(\partial_\mu\phi + iq(\partial_\mu\alpha)\phi\Big) - iq e^{iq\alpha}\left(A_\mu + \partial_\mu\alpha\right)\phi \\ &= e^{iq\alpha}\Big(\partial_\mu\phi + iq(\partial_\mu\alpha)\phi - iqA_\mu\phi - iq(\partial_\mu\alpha)\phi\Big) \\ &= e^{iq\alpha}\left(\partial_\mu - iqA_\mu\right)\phi . \end{aligned}

第 2 行では積の微分則を使い、第 3 行で eiqαe^{iq\alpha} をくくり出しました。第 4 行で iq(∂μα)ϕiq(\partial_\mu\alpha)\phi が符号違いで相殺します。これがまさに補償場を導入した目的です。

不変性は ∣Dμ′ϕ′∣2=∣eiqα∣2∣Dμϕ∣2=∣Dμϕ∣2\left|D'_\mu\phi'\right|^2 = \left|e^{iq\alpha}\right|^2\left|D_\mu\phi\right|^2 = \left|D_\mu\phi\right|^2 から従います(α\alpha が実数だから ∣eiqα∣=1|e^{iq\alpha}|=1)。

後半(必要性)を示します。(∂μ−iq(Aμ+Λμ))(eiqαϕ)=eiqα(∂μ−iqAμ)ϕ(\partial_\mu - iq(A_\mu+\Lambda_\mu))(e^{iq\alpha}\phi) = e^{iq\alpha}(\partial_\mu - iqA_\mu)\phi を要求します。左辺は上と同じ計算で

eiqα(∂μϕ+iq(∂μα)ϕ−iqAμϕ−iqΛμϕ)e^{iq\alpha}\Big(\partial_\mu\phi + iq(\partial_\mu\alpha)\phi - iqA_\mu\phi - iq\Lambda_\mu\phi\Big)

となるので、両辺を比べると任意の ϕ\phi に対して iq(∂μα)ϕ−iqΛμϕ=0iq(\partial_\mu\alpha)\phi - iq\Lambda_\mu\phi = 0、すなわち q≠0q \ne 0 より Λμ=∂μα\Lambda_\mu = \partial_\mu\alpha です。

補償場 AμA_\mu を導入したからには、それ自身の運動項が要ります。ゲージ不変な量を作るには、次の組み合わせが鍵になります。

定義 3.3(場の強さテンソル)↗

ゲージ場 AμA_\mu に対し

Fμν≡∂μAν−∂νAμF_{\mu\nu} \equiv \partial_\mu A_\nu - \partial_\nu A_\mu

を場の強さテンソルという。これは共変微分の交換子としても書ける:任意の ϕ\phi に対し [Dμ,Dν]ϕ=−iq Fμν ϕ[D_\mu, D_\nu]\phi = -iq\,F_{\mu\nu}\,\phi。

FμνF_{\mu\nu} がゲージ不変であることはすぐ確かめられます。

Fμν′=∂μ(Aν+∂να)−∂ν(Aμ+∂μα)=Fμν+(∂μ∂ν−∂ν∂μ)α=FμνF'_{\mu\nu} = \partial_\mu(A_\nu + \partial_\nu\alpha) - \partial_\nu(A_\mu + \partial_\mu\alpha) = F_{\mu\nu} + (\partial_\mu\partial_\nu - \partial_\nu\partial_\mu)\alpha = F_{\mu\nu}

最後の等号は α\alpha が C2C^2 級なら偏微分が可換(シュワルツの定理)だからです。成分を書けば F0i=EiF_{0i} = E_i、Fij=−ϵijkBkF_{ij} = -\epsilon_{ijk}B_k で、FμνF_{\mu\nu} は電場と磁場をまとめたものにほかなりません。

以上を合わせると、局所 U(1) 対称性をもつ最も簡単な理論が決まります。

LsQED=−14FμνFμν+(Dμϕ)∗(Dμϕ)−V(ϕ∗ϕ)\mathcal{L}_{\mathrm{sQED}} = -\frac{1}{4}F_{\mu\nu}F^{\mu\nu} + (D_\mu\phi)^{*}(D^\mu\phi) - V(\phi^{*}\phi)

ディラック場なら LQED=ψˉ(iγμDμ−m)ψ−14FμνFμν\mathcal{L}_{\mathrm{QED}} = \bar\psi(i\gamma^\mu D_\mu - m)\psi - \frac{1}{4}F_{\mu\nu}F^{\mu\nu}、すなわち量子電磁力学です。相互作用の形(最小結合)を我々が選んだのではなく局所対称性が選んだ、という点が重要です。

ゲージ原理の論理の流れ。位相の局所化という要請が、ゲージ場・共変微分・質量ゼロの光子を順に強制します。

例 3.4(マクスウェル方程式が運動方程式として出てくる)

LsQED\mathcal{L}_{\mathrm{sQED}} を AνA_\nu について変分します。運動項からは

∂∂(∂μAν)(−14FαβFαβ)=−Fμν\frac{\partial}{\partial(\partial_\mu A_\nu)}\left(-\frac{1}{4}F_{\alpha\beta}F^{\alpha\beta}\right) = -F^{\mu\nu}

が出ます。一方 AνA_\nu そのものへの依存は共変微分から来ます。∂(Dμϕ)/∂Aν=−iqημνϕ\partial (D^\mu\phi)/\partial A_\nu = -iq\eta^{\mu\nu}\phi、∂(Dμϕ)∗/∂Aν=+iqδμνϕ∗\partial (D_\mu\phi)^{*}/\partial A_\nu = +iq\delta^\nu_\mu\phi^{*} なので

∂∂Aν[(Dμϕ)∗(Dμϕ)]=iqϕ∗Dνϕ−iq ϕ (Dνϕ)∗.\frac{\partial}{\partial A_\nu}\Big[(D_\mu\phi)^{*}(D^\mu\phi)\Big] = iq\phi^{*}D^\nu\phi - iq\,\phi\,(D^\nu\phi)^{*} .

オイラー・ラグランジュ方程式 ∂μ[∂L/∂(∂μAν)]−∂L/∂Aν=0\partial_\mu\big[\partial\mathcal{L}/\partial(\partial_\mu A_\nu)\big] - \partial\mathcal{L}/\partial A_\nu = 0 に入れると

∂μFμν=Jν,Jν≡−iq(ϕ∗Dνϕ−ϕ (Dνϕ)∗)=2q Im ⁣(ϕ∗Dνϕ)\partial_\mu F^{\mu\nu} = J^\nu, \qquad J^\nu \equiv -iq\Big(\phi^{*}D^\nu\phi - \phi\,(D^\nu\phi)^{*}\Big) = 2q\,\mathrm{Im}\!\left(\phi^{*}D^\nu\phi\right)

を得ます。これはマクスウェル方程式(ガウスの法則とアンペール・マクスウェルの法則)そのものです。JνJ^\nu は L0\mathcal{L}_0 のネーターカレントの ∂μ→Dμ\partial_\mu \to D_\mu 置き換え版で、実数値です。さらに FμνF^{\mu\nu} が反対称なので

∂νJν=∂ν∂μFμν=0\partial_\nu J^\nu = \partial_\nu\partial_\mu F^{\mu\nu} = 0

が恒等的に成り立ちます。電荷保存は運動方程式の副産物ではなく、ゲージ場を導入した時点で構造的に保証されているのです。残る 2 本のマクスウェル方程式(∇⋅B=0\nabla\cdot\boldsymbol{B}=0 とファラデーの法則)は F=dAF = dA から自動的に従うビアンキ恒等式 ∂λFμν+∂μFνλ+∂νFλμ=0\partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} = 0 です。

命題 3.5(ゲージ不変性はゲージ場の質量項を禁じる)✓

m≠0m \ne 0 とする。作用に項 Sm=∫d4x 12m2AμAμS_m = \int d^4x\,\tfrac{1}{2}m^2 A_\mu A^\mu を加えると、定義 3.1 のゲージ変換で SmS_m は不変にならない。より正確に、∂μAμ\partial_\mu A^\mu が恒等的に 00 でない任意の配位 AμA_\mu に対して、SmS_m の値を変えるコンパクト台のゲージ関数 α\alpha が存在する。したがってゲージ不変な作用はゲージ場の質量項を含まない。

証明の方針は、ゲージ変換で作用がどれだけ変わるかを計算し、その変化量が ∂μAμ\partial_\mu A^\mu に比例する項を含むことを見るものです。さらに、∂μAμ\partial_\mu A^\mu が恒等的に 00 でないなら、それに適当な山形の重み関数を掛けて積分すると 00 でない値になる、という変分法の基本補題の性質を使って、変化が実際に起こる α\alpha を一つ作ります。

証明(命題 3.5)

Aμ→Aμ+∂μαA_\mu \to A_\mu + \partial_\mu\alpha を代入すると

δSm=∫d4x[m2Aμ∂μα+12m2 ∂μα ∂μα].\delta S_m = \int d^4x\left[m^2 A_\mu\partial^\mu\alpha + \frac{1}{2}m^2\,\partial_\mu\alpha\,\partial^\mu\alpha\right].

第 1 項は部分積分(表面項は α\alpha のコンパクト台性から落ちる)で −∫d4x m2(∂μAμ)α-\int d^4x\, m^2(\partial_\mu A^\mu)\alpha となり、∂μAμ=0\partial_\mu A^\mu = 0 という特別な配位でしか消えません。これは恒等式ではないので、この時点ですでに不変性は破れています。

念のため反例を明示します。∂μAμ\partial_\mu A^\mu は連続で恒等的に 00 ではないので、変分法の基本補題(補題 4.2)[古典場の理論とラグランジアン] の対偶により、c≡∫d4x (∂μAμ)β≠0c \equiv \int d^4x\,(\partial_\mu A^\mu)\beta \ne 0 となるコンパクト台の C∞C^\infty 関数 β\beta が取れます。α=εβ\alpha = \varepsilon\beta(ε\varepsilon は実数)とおくと

δSm=−ε m2c+ε2m22∫d4x ∂μβ ∂μβ\delta S_m = -\varepsilon\, m^2 c + \frac{\varepsilon^2 m^2}{2}\int d^4x\,\partial_\mu\beta\,\partial^\mu\beta

で、右辺は ε\varepsilon の 2 次式です。c≠0c \ne 0 なので 1 次の係数が 00 でなく、十分小さい ε≠0\varepsilon \ne 0 では δSm≠0\delta S_m \ne 0 です。よって SmS_m はゲージ不変でありません。□\square

(Aμ≡0A_\mu \equiv 0 の配位だけを見る場合でも、δSm=−m22∫d4x α □α\delta S_m = -\frac{m^2}{2}\int d^4x\,\alpha\,\Box\alpha が 00 でない α\alpha はいくらでもあります。ただし被積分関数 ∂μα ∂μα\partial_\mu\alpha\,\partial^\mu\alpha はミンコフスキー計量のため符号が定まらないので、符号まで言うには α\alpha を具体的に選ぶ必要があります。)

この命題は 例 3.4 の裏返しでもあります。質量項を入れた運動方程式 ∂μFμν+m2Aν=Jν\partial_\mu F^{\mu\nu} + m^2A^\nu = J^\nu の両辺に ∂ν\partial_\nu を作用させると m2∂νAν=∂νJνm^2\partial_\nu A^\nu = \partial_\nu J^\nu となり、JνJ^\nu が保存するなら ∂νAν=0\partial_\nu A^\nu = 0 が運動方程式として強制されます。これがプロカ理論(質量をもつベクトル場の理論)で、4 成分から拘束 1 本を引いて自由度は 3。質量ゼロのゲージ場の自由度 2(4 成分 − ゲージ固定 1 − 残留ゲージ 1)とは食い違います。後者の 2 は、4 成分のうち 2 つがゲージの取り方の違いにすぎず物理的な波に対応しない、ということで、光の偏光が進行方向に垂直な 2 方向であることに当たります。

注意 3.6

質量項を手で入れる代償は自由度の数だけではありません。プロカ場の伝播関数は

−ik2−m2(ημν−kμkνm2)\frac{-i}{k^2-m^2}\left(\eta_{\mu\nu} - \frac{k_\mu k_\nu}{m^2}\right)

で、k→∞k \to \infty で第 2 項が定数に留まるため発散が悪化し、素朴にはくりこみ可能性が失われます(くりこみ理論入門 の くりこみ可能性の分類(定義 5.4)[くりこみ理論入門] を思い出してください)。カレントが保存していれば kμkνk_\mu k_\nu の項は落ちますが、弱い相互作用のカレントはフェルミオン質量のせいで厳密には保存しません。この困難を解いたのがヒッグス機構で、質量を真空の性質として生成すればゲージ不変性もくりこみ可能性も保たれます(‘t Hooft, 1971)。Appendix で確認します。

4. 自発的対称性の破れ:法則の対称性と状態の対称性

Section titled “4. 自発的対称性の破れ:法則の対称性と状態の対称性”

対称性の話をするとき、私たちは無意識に二つのものを混同しています。法則(ラグランジアン)の対称性と、状態(真空)の対称性です。鉛筆を先端で立ててみてください。重力と鉛筆の形が作る系は鉛直軸まわりの回転対称ですが、鉛筆が倒れた後の状態は特定の方向を向いています。法則は対称、状態は非対称。このずれが自発的対称性の破れです。

定義 4.1(自発的対称性の破れ)↗

実スカラー場の組 ϕ=(ϕ1,…,ϕN)\phi = (\phi^1,\dots,\phi^N) と、その上に線形に作用する群 GG を考える。GG が作用 S[ϕ]S[\phi] を不変に保つとする。ポテンシャル VV の最小点 v∈RNv \in \mathbb{R}^N に対し

H≡{ g∈G  :  R(g)v=v }H \equiv \{\,g \in G \;:\; R(g)v = v\,\}

を vv の固定部分群(残留対称性)という。H⊊GH \subsetneq G のとき、すなわち R(g)v≠vR(g)v \ne v となる g∈Gg \in G が存在するとき、対称性 GG は真空 vv において HH へ自発的に破れているという。

場の量子論では、これは「ある局所演算子 O\mathcal{O} が GG の非自明な表現に属しながら ⟨0∣O∣0⟩≠0\langle 0|\mathcal{O}|0\rangle \ne 0 である」と言い換えられる。この ⟨0∣O∣0⟩\langle 0|\mathcal{O}|0\rangle を秩序変数という。

「破れている」という語には注意してください。ハミルトニアンの対称性は破れていません。破れるのは、対称性が真空を一つに保つという性質です。対称な理論は同じエネルギーの真空を複数もち、系はそのうち一つを選びます。

定義 4.2(真空多様体)↗

定義 4.1 の状況で、VV の最小点全体の集合 M={ϕ:V(ϕ)=min⁡V}\mathcal{M} = \{\phi : V(\phi) = \min V\} を真空多様体という。GG が M\mathcal{M} に推移的に作用するとき、軌道・固定部分群の対応により M≅G/H\mathcal{M} \cong G/H である。

例 4.3(離散対称性の破れ:二重井戸)

実スカラー場 1 個で

L=12∂μϕ ∂μϕ−λ4(ϕ2−v2)2,λ>0, v>0\mathcal{L} = \frac{1}{2}\partial_\mu\phi\,\partial^\mu\phi - \frac{\lambda}{4}\left(\phi^2 - v^2\right)^2, \qquad \lambda > 0,\ v > 0

を考えます。対称性は G=Z2={1,P}G = \mathbb{Z}_2 = \{1, P\}、P:ϕ→−ϕP:\phi \to -\phi です。V′(ϕ)=λϕ(ϕ2−v2)V'(\phi) = \lambda\phi(\phi^2-v^2) の零点は ϕ=0,±v\phi = 0, \pm v。V′′(ϕ)=λ(3ϕ2−v2)V''(\phi) = \lambda(3\phi^2 - v^2) なので V′′(0)=−λv2<0V''(0) = -\lambda v^2 < 0(極大)、V′′(±v)=2λv2>0V''(\pm v) = 2\lambda v^2 > 0(極小)です。真空は ϕ=±v\phi = \pm v の 2 点で、PP はこの 2 点を入れ替えます。H={1}H = \{1\} で、Z2\mathbb{Z}_2 は完全に破れています。

ϕ=v+h\phi = v + h と展開すると

V=λ4((v+h)2−v2)2=λ4(2vh+h2)2=λv2h2+λvh3+λ4h4V = \frac{\lambda}{4}\left((v+h)^2 - v^2\right)^2 = \frac{\lambda}{4}\left(2vh + h^2\right)^2 = \lambda v^2 h^2 + \lambda v h^3 + \frac{\lambda}{4}h^4

なので、揺らぎ hh の質量は 12mh2=λv2\frac{1}{2}m_h^2 = \lambda v^2、すなわち mh=2λ vm_h = \sqrt{2\lambda}\,v です。質量ゼロの粒子は現れません。GG が離散群だからです。

なぜ量子力学のようにトンネル効果で 2 つの真空が混ざり、対称な基底状態 (∣+v⟩+∣−v⟩)/2(|+v\rangle + |-v\rangle)/\sqrt{2} にならないのか。空間の体積を V\mathcal{V} とすると、+v+v と −v-v の領域を隔てる壁(ドメインウォール)の作用が V\mathcal{V} に比例するため、遷移振幅が e−cVe^{-c\mathcal{V}} で抑えられるからです。無限体積極限で振幅は 00 になり、2 つの真空は交わらない別世界(超選択則の部門)に分かれます。

直感的には、無限に広い空間の全体を一度に反対側の谷へ移すには、体積に比例する数の点を同時に動かさなければならず、広いほど不可能に近づく、ということです。小さな磁石の向きは揺らいでも、巨大な磁石全体の向きが勝手に反転しないのと同じです。

例 4.4(連続対称性の破れ:O(N) 模型の質量行列)

実スカラー場 NN 個を並べ、ϕaϕa≡∑a=1N(ϕa)2\phi^a\phi^a \equiv \sum_{a=1}^N (\phi^a)^2 と書いて

L=12∂μϕa∂μϕa−λ4(ϕaϕa−v2)2\mathcal{L} = \frac{1}{2}\partial_\mu\phi^a\partial^\mu\phi^a - \frac{\lambda}{4}\left(\phi^a\phi^a - v^2\right)^2

を考えます。VV は ϕaϕa\phi^a\phi^a にしか依らないので G=O(N)G = O(N) で不変です。真空多様体は半径 vv の球面 SN−1S^{N-1} で、veN=(0,…,0,v)v \boldsymbol{e}_N = (0,\dots,0,v) を選ぶと、これを固定するのは残りの N−1N-1 成分を回す H=O(N−1)H = O(N-1) です。

質量行列を最後まで計算します。V=λ4(ϕ2−v2)2V = \frac{\lambda}{4}(\phi^2 - v^2)^2(ϕ2≡ϕcϕc\phi^2 \equiv \phi^c\phi^c)に対し

∂V∂ϕa=λ(ϕ2−v2)ϕa,∂2V∂ϕb∂ϕa=2λ ϕaϕb+λ(ϕ2−v2)δab.\frac{\partial V}{\partial\phi^a} = \lambda\left(\phi^2 - v^2\right)\phi^a, \qquad \frac{\partial^2 V}{\partial\phi^b\partial\phi^a} = 2\lambda\,\phi^a\phi^b + \lambda\left(\phi^2-v^2\right)\delta^{ab}.

ϕ=veN\phi = v\boldsymbol{e}_N では ϕ2−v2=0\phi^2 - v^2 = 0、ϕa=vδaN\phi^a = v\delta^{aN} なので

Mab2=∂2V∂ϕa∂ϕb∣veN=2λv2 δaNδbN=diag(0,…,0⏟N−1, 2λv2).M^2_{ab} = \left.\frac{\partial^2V}{\partial\phi^a\partial\phi^b}\right|_{v\boldsymbol{e}_N} = 2\lambda v^2\,\delta^{aN}\delta^{bN} = \mathrm{diag}\big(\underbrace{0,\dots,0}_{N-1},\,2\lambda v^2\big).

N−1N-1 個の質量ゼロモード(球面に沿う方向)と、質量 2λ v\sqrt{2\lambda}\,v の 1 個(半径方向)です。ここで dim⁡O(N)−dim⁡O(N−1)=N(N−1)2−(N−1)(N−2)2=(N−1)(N−(N−2))2=N−1\dim O(N) - \dim O(N-1) = \frac{N(N-1)}{2} - \frac{(N-1)(N-2)}{2} = \frac{(N-1)\big(N-(N-2)\big)}{2} = N-1 であり、質量ゼロモードの個数とぴったり一致しています。この一致は偶然ではありません。次節の定理がその理由です。

Vφ₁−vvhθV の断面真空多様体 |φ| = v動径方向 h:m² = 2λv²角度方向 θ:m² = 0(南部・ゴールドストーン粒子)
メキシカンハット型ポテンシャルの断面(左)と真空多様体(右)。真空多様体に沿って動いてもポテンシャルは変わらないので、その方向の揺らぎは質量をもちません。

例 4.4 で観察した「質量ゼロモードの個数 = 破れた生成子の個数」は一般に成り立ちます。まず古典場(=樹木レベル)の版を、線形代数だけで証明します。

定理 5.1(ゴールドストーンの定理(古典場の版))✓

ϕ=(ϕ1,…,ϕN)\phi = (\phi^1,\dots,\phi^N) を実スカラー場の組とし、

L=12∂μϕa∂μϕa−V(ϕ),V∈C2(RN)\mathcal{L} = \frac{1}{2}\partial_\mu\phi^a\partial^\mu\phi^a - V(\phi), \qquad V \in C^2(\mathbb{R}^N)

とする。GG を次元 nn の連結リー群とし、実直交表現 R:G→O(N)R : G \to O(N) によって ϕ↦R(g)ϕ\phi \mapsto R(g)\phi と作用し、すべての g∈Gg \in G、ϕ∈RN\phi \in \mathbb{R}^N について V(R(g)ϕ)=V(ϕ)V(R(g)\phi) = V(\phi) が成り立つとする。リー環の基底 {TA}A=1n\{T^A\}_{A=1}^{n} の表現行列(実反対称 N×NN\times N 行列)も同じ記号で書き、無限小変換を δAϕa=(TA)abϕb\delta_A\phi^a = (T^A)^{ab}\phi^b とする。

v∈RNv \in \mathbb{R}^N を VV の(内点における)極小点とし、H={g∈G:R(g)v=v}H = \{g \in G : R(g)v = v\}、h=dim⁡Hh = \dim H とおく。このとき、質量行列

Mab2≡∂2V∂ϕa∂ϕb∣ϕ=vM^2_{ab} \equiv \left.\frac{\partial^2 V}{\partial\phi^a\partial\phi^b}\right|_{\phi=v}

は実対称かつ半正定値で、その核は span{ TAv  :  A=1,…,n }\mathrm{span}\{\,T^A v \;:\; A = 1,\dots,n\,\} を含み、この部分空間の次元は n−hn - h である。したがって vv のまわりの微小振動の質量スペクトルには、少なくとも n−hn-h 個の質量ゼロのモードが含まれる。

証明(定理 5.1)

第 1 段:不変性の無限小形。 GG は連結なので、単位元の近傍は exp⁡\exp の像で覆われ、GG はその近傍で生成されます。よって V(R(g)ϕ)=V(ϕ)V(R(g)\phi) = V(\phi) は、すべての AA とすべての ε∈R\varepsilon \in \mathbb{R} について V(eεTAϕ)=V(ϕ)V(e^{\varepsilon T^A}\phi) = V(\phi) と同値です。両辺を ε\varepsilon で微分して ε=0\varepsilon = 0 とおくと、任意の ϕ\phi について

∂V∂ϕa(ϕ) (TAϕ)a=0(∗)\frac{\partial V}{\partial\phi^a}(\phi)\,\left(T^A\phi\right)^a = 0 \qquad (\ast)

を得ます((TAϕ)a=(TA)abϕb(T^A\phi)^a = (T^A)^{ab}\phi^b)。

第 2 段:もう一度微分する。 (∗)(\ast) は ϕ\phi についての恒等式なので、ϕb\phi^b で偏微分できます。積の微分則により

∂2V∂ϕb∂ϕa(ϕ)(TAϕ)a+∂V∂ϕa(ϕ) (TA)ab=0.\frac{\partial^2 V}{\partial\phi^b\partial\phi^a}(\phi)\left(T^A\phi\right)^a + \frac{\partial V}{\partial\phi^a}(\phi)\,(T^A)^{ab} = 0 .

第 3 段:極小点で評価する。 vv は内点での極小点なので ∂V/∂ϕa∣v=0\partial V/\partial\phi^a|_v = 0 です。よって第 2 項が落ち、

Mba2 (TAv)a=0(A=1,…,n)M^2_{ba}\,\left(T^A v\right)^a = 0 \qquad (A = 1,\dots,n)

が成り立ちます。つまり各ベクトル TAvT^Av は M2M^2 の核に属します。また M2M^2 は 2 階偏導関数の行列なので実対称(V∈C2V \in C^2 よりシュワルツの定理)で、極小点では半正定値です。したがって M2M^2 は直交行列で対角化でき、固有値はすべて ≥0\ge 0、核の次元がゼロ固有値の重複度に等しくなります。

第 4 段:核の次元を数える。 線形写像

ρ:g⟶RN,ρ(X)=Xv\rho : \mathfrak{g} \longrightarrow \mathbb{R}^N, \qquad \rho(X) = Xv

を考えます(g\mathfrak{g} は GG のリー環、dim⁡g=n\dim\mathfrak{g} = n)。X∈ker⁡ρX \in \ker\rho とは Xv=0Xv = 0 のことです。このとき t↦etXvt \mapsto e^{tX}v は ddtetXv=XetXv\frac{d}{dt}e^{tX}v = X e^{tX}v を満たす解で、Xv=0Xv=0 より定数解 etXv=ve^{tX}v = v が解の一意性から従います。逆に etXv=ve^{tX}v = v がすべての tt で成り立てば、tt で微分して t=0t=0 とおくと Xv=0Xv = 0 です。よって

ker⁡ρ={X∈g:etXv=v (∀t)}=h=Lie(H),\ker\rho = \{X \in \mathfrak{g} : e^{tX}v = v \ (\forall t)\} = \mathfrak{h} = \mathrm{Lie}(H),

すなわち dim⁡ker⁡ρ=h\dim\ker\rho = h です。次元定理(階数・退化次数の定理)より

dim⁡ span{TAv}=dim⁡ im ρ=n−h.\dim\,\mathrm{span}\{T^Av\} = \dim\,\mathrm{im}\,\rho = n - h .

第 5 段:結論。 第 3 段より span{TAv}⊆ker⁡M2\mathrm{span}\{T^Av\} \subseteq \ker M^2 で、第 4 段よりその次元は n−hn-h。よって M2M^2 のゼロ固有値は重複度 n−hn-h 以上です。ϕ=v+χ\phi = v + \chi と展開したときの 2 次のラグランジアンは 12∂μχa∂μχa−12Mab2χaχb\frac{1}{2}\partial_\mu\chi^a\partial^\mu\chi^a - \frac{1}{2}M^2_{ab}\chi^a\chi^b であり、M2M^2 を対角化する基底で固有値 mk2m_k^2 のモードは (□+mk2)χk=0(\Box + m_k^2)\chi_k = 0 に従います。mk2=0m_k^2 = 0 のモードは質量ゼロの粒子です。□\square

証明の第 4 段が語っているのは幾何です。TAvT^Av は真空 vv における真空多様体 M≅G/H\mathcal{M} \cong G/H の接ベクトルです。M\mathcal{M} に沿って動いてもポテンシャルは一定なので、その方向の「復元力」はゼロ、つまり質量がゼロ。破れた生成子(g\mathfrak{g} のうち h\mathfrak{h} に入らないもの)と M\mathcal{M} の接方向が 1 対 1 に対応する、というのが定理の内容です。例 4.3 で質量ゼロモードが出なかったのは、Z2\mathbb{Z}_2 が離散群で dim⁡G=0\dim G = 0 だったからです。定理の「連結リー群」という仮定は落とせません。

樹木レベルを超えた主張も成り立ちます。仮定を明示して述べます。

定理 5.2(ゴールドストーンの定理(場の量子論版))✓

次を仮定する。(i) 理論はローレンツ不変な局所場の理論で、状態空間の計量は正定値(負ノルム状態を含まない)である。(ii) 真空 ∣0⟩|0\rangle はポアンカレ変換で不変である。(iii) 局所的な保存カレント jμ(x)j^\mu(x) が存在し、∂μjμ=0\partial_\mu j^\mu = 0 を満たす。QR≡∫∣x∣<Rd3x j0(0,x)Q_R \equiv \int_{|\boldsymbol{x}| < R} d^3x\, j^0(0,\boldsymbol{x}) とおく。(iv) ある局所演算子 O\mathcal{O} が存在して

lim⁡R→∞⟨0∣[QR, O(0)]∣0⟩=η≠0\lim_{R\to\infty}\langle 0|\left[Q_R,\ \mathcal{O}(0)\right]|0\rangle = \eta \ne 0

(対称性が自発的に破れている、の意味)。

このとき理論のスペクトルには質量ゼロの 1 粒子状態 ∣π(k)⟩|\pi(\boldsymbol{k})\rangle が存在し、

⟨0∣ jμ(0) ∣π(k)⟩=if kμ,f≠0,k2=0\langle 0|\,j^\mu(0)\,|\pi(\boldsymbol{k})\rangle = i f\,k^\mu, \qquad f \ne 0,\quad k^2 = 0

を満たす。この粒子を南部・ゴールドストーン粒子という。

この定理は、古典版の「質量行列の零固有ベクトル」という議論を、粒子の言葉で言い直したものです。次の証明の流れは、(1) 破れの大きさ η\eta が時刻によらないことを確かめ、(2) 保存カレントと演算子の相関をエネルギー・運動量ごとに分解し(スペクトル表示。スペクトル測度は、状態を運動量の成分ごとに分けて重みを付ける道具です)、(3) η\eta が時刻によらず 00 でないことから質量ゼロの寄与が必要になる、と示すものです。測度論の細部が追えなくても、各段の冒頭の主張を順に読めば結論の道筋はつかめます。

証明(定理 5.2)

物理の水準の証明です(完全系の挿入と空間積分の極限の交換を認めます)。jμj^\mu は Hermite とし、O\mathcal O は Hermite なローレンツスカラーとします(O\mathcal O が Hermite でなければ O=O1+iO2\mathcal O=\mathcal O_1+i\mathcal O_2 と Hermite な部分に分けると、少なくとも一方が (iv) を満たします)。並進を U(a)=eiP^⋅aU(a)=e^{i\hat P\cdot a}、そのスペクトル測度を EE と書き、(i)(ii) からスペクトルは閉じた前方光錐 Vˉ+\bar V_+ に含まれます。

1. η\eta は時刻によらない。 QR(t)=∫∣x∣<Rd3x j0(t,x)Q_R(t)=\int_{|\boldsymbol x|\lt R}d^3x\,j^0(t,\boldsymbol x) とすると、(iii) と Gauss の定理から

ddt⟨0∣[QR(t),O(0)]∣0⟩=−∮∣x∣=RdSi ⟨0∣[ji(t,x),O(0)]∣0⟩\frac{d}{dt}\langle0|[Q_R(t),\mathcal O(0)]|0\rangle=-\oint_{|\boldsymbol x|=R}dS_i\,\langle0|[j^i(t,\boldsymbol x),\mathcal O(0)]|0\rangle

で、R>∣t∣R\gt|t| なら球面上の点は原点と空間的に離れているので、局所性により右辺は 00 です。よって η=lim⁡R⟨0∣[QR(t),O(0)]∣0⟩\eta=\lim_R\langle0|[Q_R(t),\mathcal O(0)]|0\rangle はどの tt でも同じ値です。

2. スペクトル表示。 dσμ(p)=⟨0∣jμ(0)E(dp)O(0)∣0⟩d\sigma^\mu(p)=\langle0|j^\mu(0)E(dp)\mathcal O(0)|0\rangle と置くと、⟨0∣jμ(x)O(0)∣0⟩=∫e−ip⋅xdσμ(p)\langle0|j^\mu(x)\mathcal O(0)|0\rangle=\int e^{-ip\cdot x}d\sigma^\mu(p)、また Hermite 性から ⟨0∣O(0)jμ(x)∣0⟩=∫eip⋅xdσμ(p)‾\langle0|\mathcal O(0)j^\mu(x)|0\rangle=\int e^{ip\cdot x}\overline{d\sigma^\mu(p)} です。p=0p=0(真空)の寄与は交換子で打ち消し合います。ローレンツ共変性と真空の不変性から dσμ(Λp)=Λμν dσν(p)d\sigma^\mu(\Lambda p)=\Lambda^\mu{}_\nu\,d\sigma^\nu(p) です。p≠0p\ne0 の Vˉ+\bar V_+ は、質量 M>0M\gt0 の双曲面と、原点を除いた光錐 C0C_0 の和に分かれ、各軌道の上でローレンツ不変な測度は定数倍を除いて一意です。軌道上の共変なベクトル値測度は vμ(p) dμM(p)v^\mu(p)\,d\mu_M(p)(dμM=d3p2p0d\mu_M=\frac{d^3p}{2p^0})で、v(p)v(p) は pp の安定化群で不変なベクトルです。安定化群で不変なベクトルは pp の定数倍だけなので(M>0M\gt0 では回転群、M=0M=0 では pp のまわりの回転と零回転で、どちらも pp に直交する方向を動かします)、

dσμ(p)=c pμ dμ0(p)∣C0+pμ dρ(M2) dμM(p)∣M>0d\sigma^\mu(p)=c\,p^\mu\,d\mu_0(p)\big|_{C_0}+p^\mu\,d\rho(M^2)\,d\mu_M(p)\big|_{M\gt0}

と書けます(cc は定数、ρ\rho は (0,∞)(0,\infty) 上の複素測度)。

3. η\eta の計算。 ∫∣x∣<Rd3x e±ip⋅x→(2π)3δ3(p)\int_{|\boldsymbol x|\lt R}d^3x\,e^{\pm i\boldsymbol p\cdot\boldsymbol x}\to(2\pi)^3\delta^3(\boldsymbol p) により、μ=0\mu=0 成分の p=0\boldsymbol p=0 での密度が取り出されます。p0 dμM=12d3pp^0\,d\mu_M=\frac12d^3p なので、C0C_0 の部分は時刻によらない c2\frac{c}{2}、双曲面の部分は p=0\boldsymbol p=0 で p0=Mp^0=M なので 12∫e−iMtdρ(M2)\frac12\int e^{-iMt}d\rho(M^2) を与え、

η=(2π)32[(c−cˉ)+∫M>0(e−iMtdρ(M2)−eiMtdρ(M2)‾)]\eta=\frac{(2\pi)^3}{2}\Big[(c-\bar c)+\int_{M\gt0}\big(e^{-iMt}d\rho(M^2)-e^{iMt}\overline{d\rho(M^2)}\big)\Big]

です。1 によりこれは tt によらないので、括弧の第 2 項は R∖{0}\mathbb R\setminus\{0\} 上の測度の Fourier 変換が定数であることになり、Fourier 変換の一意性からその測度は 00 です。よって η=(2π)3 i Im c\eta=(2\pi)^3\,i\,\mathrm{Im}\,c で、(iv) から c≠0c\ne0 です。

4. ゴールドストーン粒子。 c≠0c\ne0 なので E(C0)O(0)∣0⟩≠0E(C_0)\mathcal O(0)|0\rangle\ne0 で、質量 00 の状態の空間 E(C0)HE(C_0)\mathcal H は 00 でありません。E(dk)O(0)∣0⟩=∣π(k)⟩ dμ0(k)E(dk)\mathcal O(0)|0\rangle=|\pi(k)\rangle\,d\mu_0(k)(k∈C0k\in C_0)で ∣π(k)⟩|\pi(k)\rangle を定めると、2 の分解から ⟨0∣jμ(0)∣π(k)⟩=c kμ\langle0|j^\mu(0)|\pi(k)\rangle=c\,k^\mu です。c=ifc=if と書けば ⟨0∣jμ(0)∣π(k)⟩=ifkμ\langle0|j^\mu(0)|\pi(k)\rangle=ifk^\mu、f≠0f\ne0、k2=0k^2=0 です。

注意 5.3

証明は ⟨0∣[jμ(x),O(0)]∣0⟩\langle 0|[j^\mu(x), \mathcal{O}(0)]|0\rangle のスペクトル表示(ケレン・レーマン表示)を用いるもので、ワインバーグ『The Quantum Theory of Fields, Vol. II』第 19 章、または Goldstone・Salam・Weinberg (1962) にあります。ここでは仮定の役割だけ注意します。

まず、電荷 Q=∫d3x j0Q = \int d^3x\,j^0 自体は対称性が破れた真空上では定義できません。⟨0∣Q2∣0⟩=∫d3x ⟨0∣j0(x)Q∣0⟩\langle 0|Q^2|0\rangle = \int d^3x\,\langle 0|j^0(x)Q|0\rangle は並進不変性から被積分関数が定数となり、体積に比例して発散するからです(ファブリ・ピカソの議論)。仮定 (iv) が有限領域の QRQ_R で書かれているのはそのためです。

次に、次節でヒッグス機構が「ゴールドストーン粒子を出さない」ことを見ますが、それは定理の反例ではありません。ゲージ理論では仮定 (i) を満たせないのです。クーロンゲージのように正定値計量を保つゲージでは明白なローレンツ共変性が失われ、RξR_\xi ゲージのように共変的なゲージでは負ノルム状態(不定計量)が入ります。どちらのゲージでも定理の前提が崩れており、質量ゼロのスカラー粒子が物理的スペクトルに現れる必要はありません。

例 5.4(実例:パイ中間子はほぼゴールドストーン粒子)

QCD で u,du, d クォークの質量を 00 とおくと、ラグランジアンは左巻き・右巻きを独立に回す SU(2)L×SU(2)RSU(2)_L \times SU(2)_R で不変です(カイラル対称性、dim⁡G=3+3=6\dim G = 3+3 = 6)。強い相互作用はクォーク凝縮 ⟨uˉu⟩=⟨dˉd⟩≠0\langle \bar{u}u\rangle = \langle\bar{d}d\rangle \ne 0 を作り、これは左巻きと右巻きを結ぶので、対称性は同時に回す SU(2)VSU(2)_V(アイソスピン、dim⁡H=3\dim H = 3)へ破れます。定理 5.1 の数え方で 6−3=36 - 3 = 3 個の質量ゼロ粒子が予言され、実際に π+,π0,π−\pi^+, \pi^0, \pi^- の 3 個が対応します。

現実の u,du, d クォークは小さいながら質量をもつので対称性は明示的にも破れており、パイ中間子の質量は厳密には 00 になりません。この「擬ゴールドストーン粒子」の質量は Gell-Mann・Oakes・Renner の関係

mπ2fπ2=−(mu+md)⟨qˉq⟩+O(mq2)m_\pi^2 f_\pi^2 = -\left(m_u + m_d\right)\langle\bar{q}q\rangle + O(m_q^2)

に従い、mq→0m_q \to 0 で mπ2→0m_\pi^2 \to 0 です。数値で確かめると、mπ±=139.6 MeVm_{\pi^\pm} = 139.6\ \mathrm{MeV}、mπ0=135.0 MeVm_{\pi^0} = 135.0\ \mathrm{MeV} に対し、次に軽いハドロンである ρ\rho 中間子は 775 MeV775\ \mathrm{MeV}、核子は 939 MeV939\ \mathrm{MeV} です。パイ中間子だけが他のハドロンより 5 倍以上軽い。この階層こそ、パイ中間子がゴールドストーン粒子である証拠です(fπ≃92 MeVf_\pi \simeq 92\ \mathrm{MeV}、規約により 2\sqrt{2} 倍の値を使う文献もあります)。

6. ヒッグス機構:ゴールドストーン粒子はどこへ行ったか

Section titled “6. ヒッグス機構:ゴールドストーン粒子はどこへ行ったか”

ここまでで二つの困難が向かい合っています。命題 3.5 によりゲージ場に質量を書き込めず、定理 5.1 により連続対称性を破ると自然界に対応物のない質量ゼロ粒子が出てしまう。1964 年の発見は、この二つを同時に解消するものでした。破れる対称性がゲージ対称性なら、質量ゼロのスカラーが消え、代わりにゲージ場が質量を得るのです。

§3\S3 の LsQED\mathcal{L}_{\mathrm{sQED}} に、§4\S4 のメキシカンハット型ポテンシャルを入れます。

定理 6.1(ヒッグス機構(アーベリアン・ヒッグス模型))✓

q≠0q \ne 0、μ2>0\mu^2 > 0、λ>0\lambda > 0 とし、複素スカラー場 ϕ\phi とゲージ場 AμA_\mu の理論

L=−14FμνFμν+(Dμϕ)∗(Dμϕ)−V(ϕ),V(ϕ)=−μ2ϕ∗ϕ+λ(ϕ∗ϕ)2\mathcal{L} = -\frac{1}{4}F_{\mu\nu}F^{\mu\nu} + (D_\mu\phi)^{*}(D^\mu\phi) - V(\phi), \qquad V(\phi) = -\mu^2\phi^{*}\phi + \lambda\left(\phi^{*}\phi\right)^2

を考える(Dμ=∂μ−iqAμD_\mu = \partial_\mu - iqA_\mu)。v≡μ/λv \equiv \mu/\sqrt{\lambda} とおく。このとき次が成り立つ。

  1. VV の最小点の集合は円 ∣ϕ∣=v/2|\phi| = v/\sqrt{2} であり、局所 U(1) 対称性は完全に破れる(H={1}H = \{1\})。
  2. ϕ(x)≠0\phi(x) \ne 0 なる任意の場の配位は、ゲージ変換によって ϕ=(v+h(x))/2\phi = \big(v + h(x)\big)/\sqrt{2}(hh は実場)の形に移せる(ユニタリーゲージ)。このゲージで、ゲージ場を BμB_\mu と書くと
L=−14Fμν[B]Fμν[B]+12mA2 BμBμ+12∂μh ∂μh−12mh2h2+Lint+const.\mathcal{L} = -\frac{1}{4}F_{\mu\nu}[B]F^{\mu\nu}[B] + \frac{1}{2}m_A^2\,B_\mu B^\mu + \frac{1}{2}\partial_\mu h\,\partial^\mu h - \frac{1}{2}m_h^2 h^2 + \mathcal{L}_{\mathrm{int}} + \mathrm{const.}

となる。ここで

mA=∣q∣ v,mh=2λ v=2 μ,m_A = |q|\,v, \qquad m_h = \sqrt{2\lambda}\,v = \sqrt{2}\,\mu,Lint=q2v h BμBμ+q22h2BμBμ−λvh3−λ4h4.\mathcal{L}_{\mathrm{int}} = q^2 v\,h\,B_\mu B^\mu + \frac{q^2}{2}h^2 B_\mu B^\mu - \lambda v h^3 - \frac{\lambda}{4}h^4 .
  1. 物理的自由度の総数は破れの前後で変わらない。破れる前は質量ゼロのゲージ場 2 と複素スカラー 2 で計 4、破れた後は質量をもつベクトル場 3 と実スカラー 1 で計 4 である。
  2. 物理的スペクトルに質量ゼロのスカラー粒子は現れない。
証明(定理 6.1)

(1) VV は r≡∣ϕ∣≥0r \equiv |\phi| \ge 0 にしか依らず V=−μ2r2+λr4V = -\mu^2 r^2 + \lambda r^4 です。dV/dr=−2μ2r+4λr3=2r(2λr2−μ2)dV/dr = -2\mu^2 r + 4\lambda r^3 = 2r\left(2\lambda r^2 - \mu^2\right) の零点は r=0r = 0 と r0=μ/2λr_0 = \mu/\sqrt{2\lambda}。d2V/dr2=−2μ2+12λr2d^2V/dr^2 = -2\mu^2 + 12\lambda r^2 より r=0r=0 で −2μ2<0-2\mu^2 < 0(極大)、r=r0r = r_0 で −2μ2+6μ2=4μ2>0-2\mu^2 + 6\mu^2 = 4\mu^2 > 0(極小)です。r0=μ/2λ=v/2r_0 = \mu/\sqrt{2\lambda} = v/\sqrt{2} なので最小点は円 ∣ϕ∣=v/2|\phi| = v/\sqrt{2}。ϕ0\phi_0 をこの円上の 1 点とすると、eiqαϕ0=ϕ0e^{iq\alpha}\phi_0 = \phi_0 となるのは qα∈2πZq\alpha \in 2\pi\mathbb{Z} のときだけで、局所変換としては恒等変換のみです。よって HH は自明群です。

(2) ϕ≠0\phi \ne 0 なので極形式 ϕ(x)=12ρ(x) eiχ(x)\phi(x) = \frac{1}{\sqrt{2}}\rho(x)\,e^{i\chi(x)}(ρ>0\rho > 0)に書けます。定義 3.1 のゲージ変換で α(x)=−χ(x)/q\alpha(x) = -\chi(x)/q を選ぶと

ϕ→eiqαϕ=e−iχϕ=ρ2,Aμ→Bμ≡Aμ−1q∂μχ\phi \to e^{iq\alpha}\phi = e^{-i\chi}\phi = \frac{\rho}{\sqrt{2}}, \qquad A_\mu \to B_\mu \equiv A_\mu - \frac{1}{q}\partial_\mu\chi

となり、位相場 χ\chi が消えます。Fμν[B]=Fμν[A]−1q(∂μ∂ν−∂ν∂μ)χ=Fμν[A]F_{\mu\nu}[B] = F_{\mu\nu}[A] - \frac{1}{q}(\partial_\mu\partial_\nu - \partial_\nu\partial_\mu)\chi = F_{\mu\nu}[A] なので運動項は変わりません。ρ=v+h\rho = v + h とおくと

Dμϕ=(∂μ−iqBμ)v+h2=12(∂μh−iq Bμ(v+h)),D_\mu\phi = \left(\partial_\mu - iqB_\mu\right)\frac{v+h}{\sqrt{2}} = \frac{1}{\sqrt{2}}\Big(\partial_\mu h - iq\,B_\mu (v+h)\Big),∣Dμϕ∣2=12∂μh ∂μh+q22(v+h)2BμBμ.\left|D_\mu\phi\right|^2 = \frac{1}{2}\partial_\mu h\,\partial^\mu h + \frac{q^2}{2}(v+h)^2 B_\mu B^\mu .

(実部と虚部が直交するので交差項は出ません。)第 2 項を展開すると

q22(v+h)2B2=q2v22BμBμ⏟質量項+q2v h BμBμ+q22h2BμBμ\frac{q^2}{2}(v+h)^2 B^2 = \underbrace{\frac{q^2v^2}{2}B_\mu B^\mu}_{\text{質量項}} + q^2 v\,h\,B_\mu B^\mu + \frac{q^2}{2}h^2 B_\mu B^\mu

で、質量項の係数を 12mA2\frac{1}{2}m_A^2 と読めば mA2=q2v2m_A^2 = q^2v^2、mA=∣q∣vm_A = |q|v です。

ポテンシャルは μ2=λv2\mu^2 = \lambda v^2 を使って平方完成できます。u≡v+hu \equiv v+h とすると

V=−λv22u2+λ4u4=λ4(u2−v2)2−λv44V = -\frac{\lambda v^2}{2}u^2 + \frac{\lambda}{4}u^4 = \frac{\lambda}{4}\left(u^2 - v^2\right)^2 - \frac{\lambda v^4}{4}

(∣ϕ∣2=u2/2|\phi|^2 = u^2/2 を代入しました)。u2−v2=2vh+h2u^2 - v^2 = 2vh + h^2 なので

V+λv44=λ4(2vh+h2)2=λv2h2+λvh3+λ4h4.V + \frac{\lambda v^4}{4} = \frac{\lambda}{4}\left(2vh+h^2\right)^2 = \lambda v^2h^2 + \lambda v h^3 + \frac{\lambda}{4}h^4 .

12mh2h2=λv2h2\frac{1}{2}m_h^2 h^2 = \lambda v^2 h^2 より mh2=2λv2=2μ2m_h^2 = 2\lambda v^2 = 2\mu^2。以上を合わせると主張のラグランジアンになります。

(3) 質量ゼロのゲージ場は 4 成分から、ゲージ固定条件 1 本と残留ゲージ自由度 1 本を差し引いて 2 自由度(横波 2 偏極)。複素スカラーは実 2 成分。合計 4。一方、質量をもつベクトル場 BμB_\mu の運動方程式 ∂μFμν[B]+mA2Bν=0\partial_\mu F^{\mu\nu}[B] + m_A^2 B^\nu = 0 に ∂ν\partial_\nu を作用させると、FF の反対称性から第 1 項が消えて mA2 ∂νBν=0m_A^2\,\partial_\nu B^\nu = 0、mA≠0m_A \ne 0 より ∂νBν=0\partial_\nu B^\nu = 0 が運動方程式として従います。4 成分 − 拘束 1 = 3 自由度。実スカラー hh が 1。合計 4。一致します。

(4) ユニタリーゲージのラグランジアンに現れるスカラー場は hh だけで、その質量は mh=2λv≠0m_h = \sqrt{2\lambda}v \ne 0 です。位相場 χ\chi(本来なら 定理 5.1 の質量ゼロモード)はゲージ変換で消えました。消えた自由度は BμB_\mu の縦波成分になっています。実際、自由度の勘定 (3) で AμA_\mu の 2 が BμB_\mu の 3 に増えた分が、ちょうど χ\chi の 1 自由度です。□\square

縦波とは、波の進行方向に揺れる偏光のことです。質量ゼロの光は光速で進むので横波の 2 方向しかもてませんが、質量をもつと、粒子と一緒に動く座標系が取れて 3 方向が対等になります。増えた 1 方向が、食われた χ\chi に当たります。

ひとことで言えば、ゲージ場がゴールドストーン粒子を食べて太ったわけです。式の上では「χ\chi をゲージ変換で消した」だけですが、自由度は消えておらず、ゲージ場の縦波偏極として保存されています。Appendix の RξR_\xi ゲージでは χ\chi が明示的に残り、この描像がはっきりします。

例 6.2(超伝導体の中の光子は重い(マイスナー効果))

ヒッグス機構は実験室にもあります。超伝導体をギンツブルグ・ランダウ理論で書くと、クーパー対の複素秩序変数 ψ\psi(電荷 q=−2eq = -2e)が

F=12m∗∣(−iℏ∇−qA)ψ∣2−a∣ψ∣2+b2∣ψ∣4+∣B∣22μ0\mathcal{F} = \frac{1}{2m^{*}}\left|\left(-i\hbar\nabla - q\boldsymbol{A}\right)\psi\right|^2 - a|\psi|^2 + \frac{b}{2}|\psi|^4 + \frac{|\boldsymbol{B}|^2}{2\mu_0}

に従います。これは 定理 6.1 のアーベリアン・ヒッグス模型の非相対論版そのものです。T<TcT < T_c で a>0a > 0 となり ∣ψ∣2=a/b≡ns/2≠0|\psi|^2 = a/b \equiv n_s/2 \ne 0、U(1) が破れて「光子」が質量を得ます。得られた質量の逆数がロンドン侵入長

λL=m∗μ0∣ψ∣2q2=2m∗μ0nsq2,∇2B=1λL2B\lambda_L = \sqrt{\frac{m^{*}}{\mu_0 |\psi|^2 q^2}} = \sqrt{\frac{2m^{*}}{\mu_0 n_s q^2}}, \qquad \nabla^2\boldsymbol{B} = \frac{1}{\lambda_L^2}\boldsymbol{B}

で、磁場は表面から e−x/λLe^{-x/\lambda_L} で減衰します。これがマイスナー効果です。

数値を入れてみます。金属超伝導体の λL\lambda_L は数十 nm 程度(鉛でおよそ 37 nm37\ \mathrm{nm})なので、λL=40 nm\lambda_L = 40\ \mathrm{nm} とすると光子の実効質量は

mγc2=ℏcλL=197.3 eV⋅nm40 nm≃4.9 eVm_\gamma c^2 = \frac{\hbar c}{\lambda_L} = \frac{197.3\ \mathrm{eV\cdot nm}}{40\ \mathrm{nm}} \simeq 4.9\ \mathrm{eV}

です。真空中では厳密にゼロの光子質量が、超伝導体という「別の真空」では 5 eV になる。アンダーソンが 1963 年に、同じことが相対論的な場の理論でも起こりうると指摘したことが、ヒッグス機構の直接の前身でした。

注意 6.3

「ゲージ対称性が自発的に破れる」という言い方は、厳密には正しくありません。ゲージ変換は物理状態を変えない冗長性であり、格子ゲージ理論の枠組みで示されたエリツァーの定理(Elitzur, 1975)によれば、ゲージ不変でない局所演算子の期待値は必ずゼロになります。つまり ⟨ϕ⟩≠0\langle\phi\rangle \ne 0 という式はゲージを固定して初めて意味をもつ表現です。

では物理的内容は何か。ゲージ場のスペクトルにギャップ(質量)が開くこと、そしてマイスナー効果のように電磁応答が変わることです。これらはゲージ不変な言明で、ゲージ固定の仕方に依りません。実用上は、ユニタリーゲージで ⟨ϕ⟩=v/2\langle\phi\rangle = v/\sqrt{2} と書いて計算するのが最も手早く、その結果(質量、散乱断面積)はゲージ不変です。

7. 標準模型:ワインバーグ・サラム模型と質量の起源

Section titled “7. 標準模型:ワインバーグ・サラム模型と質量の起源”

非可換ゲージ理論への拡張。 U(1) を非可換群 GG に置き換えるには、リー環の生成子 TaT^a([Ta,Tb]=ifabcTc[T^a,T^b] = if^{abc}T^c)を使って

Dμ=∂μ−ig WμaTa,Fμνa=∂μWνa−∂νWμa+gfabcWμbWνcD_\mu = \partial_\mu - i g\,W^a_\mu T^a, \qquad F^a_{\mu\nu} = \partial_\mu W^a_\nu - \partial_\nu W^a_\mu + g f^{abc}W^b_\mu W^c_\nu

とします。補題 3.2 に対応するのが Dμ→UDμU−1D_\mu \to U D_\mu U^{-1}(U=eiαaTaU = e^{i\alpha^a T^a})で、Wμ≡WμaTaW_\mu \equiv W^a_\mu T^a は Wμ→UWμU−1−ig(∂μU)U−1W_\mu \to U W_\mu U^{-1} - \frac{i}{g}(\partial_\mu U)U^{-1} と変換します(アーベリアンの場合 U=eiqαU = e^{iq\alpha} で Aμ→Aμ+∂μαA_\mu \to A_\mu + \partial_\mu\alpha に戻ります)。FμνaF^a_{\mu\nu} の非線形項 gfabcWbWcg f^{abc}W^bW^c が可換な場合との違いで、これがゲージ場どうしの自己相互作用を生みます。

標準模型のゲージ群とヒッグス二重項。 電弱理論のゲージ群は SU(2)L×U(1)YSU(2)_L \times U(1)_Y で、生成子は Ta=τa/2T^a = \tau^a/2(τa\tau^a は パウリ行列(命題 5.2)[角運動量とスピン])と超電荷 YY、結合定数はそれぞれ gg と g′g' です。ここに SU(2)LSU(2)_L の 2 重項で Y=1/2Y = 1/2 をもつ複素スカラー場(ヒッグス二重項)

Φ=(ϕ+ϕ0),DμΦ=(∂μ−igWμaτa2−ig′12Bμ)Φ\Phi = \begin{pmatrix}\phi^{+}\\ \phi^{0}\end{pmatrix}, \qquad D_\mu\Phi = \left(\partial_\mu - i g W^a_\mu\frac{\tau^a}{2} - i g' \frac{1}{2}B_\mu\right)\Phi

を導入し、ポテンシャルを V=−μ2Φ†Φ+λ(Φ†Φ)2V = -\mu^2\Phi^\dagger\Phi + \lambda(\Phi^\dagger\Phi)^2(μ2,λ>0\mu^2, \lambda > 0)とします。VV は Φ†Φ\Phi^\dagger\Phi にしか依らないので、最小値は Φ†Φ=μ2/(2λ)=v2/2\Phi^\dagger\Phi = \mu^2/(2\lambda) = v^2/2、v=μ/λv = \mu/\sqrt{\lambda} を満たす配位すべてで実現され、SU(2)L×U(1)YSU(2)_L\times U(1)_Y 変換で真空多様体 S3S^3 上を自由に動けます。そこで

⟨Φ⟩=12(0v)\langle\Phi\rangle = \frac{1}{\sqrt{2}}\begin{pmatrix}0\\ v\end{pmatrix}

を選びます。残留対称性を調べましょう。生成子 Q=T3+YQ = T^3 + Y を ⟨Φ⟩\langle\Phi\rangle に作用させると、下成分では T3=−12T^3 = -\tfrac{1}{2}、Y=+12Y = +\tfrac{1}{2} なので

Q ⟨Φ⟩=(−12+12)⟨Φ⟩=0Q\,\langle\Phi\rangle = \left(-\frac{1}{2}+\frac{1}{2}\right)\langle\Phi\rangle = 0

となり、eiθQ⟨Φ⟩=⟨Φ⟩e^{i\theta Q}\langle\Phi\rangle = \langle\Phi\rangle。QQ が生成する U(1) は破れずに残ります。これが電磁気の U(1)emU(1)_{\mathrm{em}} で、QQ が電荷です(上成分では T3+Y=1T^3+Y = 1 で電荷 +1+1、下成分では 00。だから ϕ+,ϕ0\phi^{+}, \phi^{0} と書いたのです)。したがって

SU(2)L×U(1)Y ⟶ U(1)em,dim⁡G−dim⁡H=(3+1)−1=3.SU(2)_L\times U(1)_Y \ \longrightarrow\ U(1)_{\mathrm{em}}, \qquad \dim G - \dim H = (3+1) - 1 = 3 .

定理 5.1 の数え方で 3 個の南部・ゴールドストーン粒子が現れるはずですが、これらはゲージ対称性の破れなので 定理 6.1 により 3 個のゲージ場に吸収されます。ヒッグス二重項の実自由度 4 から 3 が食われ、残る 1 個が物理的なヒッグス粒子 hh です。

ヒッグス二重項 Φ実自由度 4W⁺ の縦波成分W⁻ の縦波成分Z の縦波成分ヒッグス粒子 h上の 3 個:食われたゴールドストーン粒子 下の 1 個:物理的な粒子として残る
ヒッグス二重項の実自由度 4 の行き先。3 個はゴールドストーン粒子として W⁺・W⁻・Z の縦波成分になり、1 個がヒッグス粒子 h として残ります。光子は質量ゼロのまま変わりません。

ゲージ場の質量。 ユニタリーゲージで Φ=12(0 v+h )\Phi = \frac{1}{\sqrt{2}}\binom{0}{\,v+h\,} とおき、∣DμΦ∣2|D_\mu\Phi|^2 の h=0h = 0 での値を計算します。行列を書き下すと

gWμaτa2+g′2Bμ=12(gWμ3+g′Bμg(Wμ1−iWμ2)g(Wμ1+iWμ2)−gWμ3+g′Bμ)g W^a_\mu\frac{\tau^a}{2} + \frac{g'}{2}B_\mu = \frac{1}{2}\begin{pmatrix} gW^3_\mu + g'B_\mu & g\left(W^1_\mu - iW^2_\mu\right)\\[2pt] g\left(W^1_\mu + iW^2_\mu\right) & -gW^3_\mu + g'B_\mu\end{pmatrix}

なので、これを v2(01)\frac{v}{\sqrt{2}}\binom{0}{1} に掛けて

DμΦ∣h=0=−i2⋅v2(g(Wμ1−iWμ2)−gWμ3+g′Bμ),D_\mu\Phi\Big|_{h=0} = -\frac{i}{2}\cdot\frac{v}{\sqrt{2}} \begin{pmatrix} g\left(W^1_\mu - iW^2_\mu\right)\\[2pt] -gW^3_\mu + g'B_\mu\end{pmatrix}, ∣DμΦ∣2∣h=0=v28[ g2((Wμ1)2+(Wμ2)2)+(gWμ3−g′Bμ)2 ].\left|D_\mu\Phi\right|^2\Big|_{h=0} = \frac{v^2}{8}\Big[\,g^2\big((W^1_\mu)^2 + (W^2_\mu)^2\big) + \big(gW^3_\mu - g'B_\mu\big)^2\,\Big].

質量固有状態を作ります。Wμ±≡(Wμ1∓iWμ2)/2W^\pm_\mu \equiv \left(W^1_\mu \mp i W^2_\mu\right)/\sqrt{2} とすると Wμ+W−μ=12((W1)2+(W2)2)W^+_\mu W^{-\mu} = \frac{1}{2}\big((W^1)^2+(W^2)^2\big) なので第 1 項は g2v24Wμ+W−μ\frac{g^2v^2}{4}W^+_\mu W^{-\mu}、つまり複素ベクトル場の質量項 MW2W+W−M_W^2 W^+W^- と比べて

MW=gv2.M_W = \frac{gv}{2}.

第 2 項は W3W^3 と BB の混合です。ワインバーグ角 θW\theta_W を cos⁡θW=g/g2+g′2\cos\theta_W = g/\sqrt{g^2+g'^2}、sin⁡θW=g′/g2+g′2\sin\theta_W = g'/\sqrt{g^2+g'^2}(すなわち tan⁡θW=g′/g\tan\theta_W = g'/g)で定め、直交変換

(ZμAμ)=(cos⁡θW−sin⁡θWsin⁡θWcos⁡θW)(Wμ3Bμ)\begin{pmatrix}Z_\mu\\ A_\mu\end{pmatrix} = \begin{pmatrix}\cos\theta_W & -\sin\theta_W\\ \sin\theta_W & \cos\theta_W\end{pmatrix} \begin{pmatrix}W^3_\mu\\ B_\mu\end{pmatrix}

を行うと gW3−g′B=g2+g′2 ZgW^3 - g'B = \sqrt{g^2+g'^2}\,Z、そして AμA_\mu は現れません。確かめると、Zμ=cos⁡θWWμ3−sin⁡θWBμZ_\mu = \cos\theta_W W^3_\mu - \sin\theta_W B_\mu なので g2+g′2 Zμ=gWμ3−g′Bμ\sqrt{g^2+g'^2}\,Z_\mu = gW^3_\mu - g'B_\mu で、質量項は ZZ だけの式になります。よって

v28(g2+g′2)ZμZμ=12MZ2ZμZμ,MZ=v2g2+g′2,MA=0.\frac{v^2}{8}\left(g^2+g'^2\right)Z_\mu Z^\mu = \frac{1}{2}M_Z^2 Z_\mu Z^\mu, \qquad M_Z = \frac{v}{2}\sqrt{g^2+g'^2}, \qquad M_A = 0 .

光子 AμA_\mu が質量ゼロで残るのは偶然ではなく、Q⟨Φ⟩=0Q\langle\Phi\rangle = 0 の帰結です。定理 5.1 の証明第 4 段と同じ理屈で、真空を固定する生成子に対応するゲージ場だけが質量を得ないのです。

系 7.1(ワインバーグ角の関係式)✓

上記の最小ヒッグス模型(SU(2)LSU(2)_L 2 重項 1 個で破る)では、樹木レベルで

MWMZ=cos⁡θW,すなわちρ≡MW2MZ2cos⁡2θW=1\frac{M_W}{M_Z} = \cos\theta_W, \qquad \text{すなわち}\qquad \rho \equiv \frac{M_W^2}{M_Z^2\cos^2\theta_W} = 1

が成り立つ。

証明(系 7.1)

上で得た MW=gv/2M_W = gv/2 と MZ=vg2+g′2/2M_Z = v\sqrt{g^2+g'^2}/2 の比を取ると

MWMZ=gv/2vg2+g′2/2=gg2+g′2=cos⁡θW\frac{M_W}{M_Z} = \frac{gv/2}{v\sqrt{g^2+g'^2}/2} = \frac{g}{\sqrt{g^2+g'^2}} = \cos\theta_W

で、これは cos⁡θW\cos\theta_W の定義そのものです。両辺を 2 乗して MZ2cos⁡2θWM_Z^2\cos^2\theta_W で割れば ρ=1\rho = 1。□\square

ρ=1\rho = 1 はヒッグス場が 2 重項であることに依存する予言で(演習 8.3 で確かめます)、実験値は輻射補正込みで ρ=1.000\rho = 1.000 近傍に精密に一致しています。

フェルミオンの質量:湯川結合。 左巻きフェルミオンは SU(2)LSU(2)_L 2 重項、右巻きは 1 重項なので、mψˉψm\bar\psi\psi はゲージ不変になりません。しかしヒッグス二重項をはさんだ 3 点項なら不変にできます。

LYukawa=− ye LL‾ Φ eR−yd QL‾ Φ dR−yu QL‾ Φ~ uR+h.c.,Φ~≡iτ2Φ∗\mathcal{L}_{\mathrm{Yukawa}} = -\,y_e\,\overline{L_L}\,\Phi\,e_R - y_d\,\overline{Q_L}\,\Phi\,d_R - y_u\,\overline{Q_L}\,\tilde\Phi\,u_R + \mathrm{h.c.}, \qquad \tilde\Phi \equiv i\tau^2\Phi^{*}

(Φ~\tilde\Phi は Y=−1/2Y=-1/2 の 2 重項として変換し、上型クォークに質量を与えるために必要です。)Φ→⟨Φ⟩\Phi \to \langle\Phi\rangle を代入すると LL‾⟨Φ⟩eR=v2eˉLeR\overline{L_L}\langle\Phi\rangle e_R = \frac{v}{\sqrt{2}}\bar e_L e_R となるので

mf=yf v2.m_f = \frac{y_f\,v}{\sqrt{2}} .

質量は湯川結合定数 yfy_f に比例しますが、yfy_f 自体は理論が予言しない自由パラメータです。標準模型は「なぜ電子は軽くトップクォークは重いか」には答えません。答えるのは「質量とヒッグス粒子への結合が比例する」という検証可能な関係で、実際 t,b,τt, b, \tau への結合は確立しています。

例 7.2(数値を入れてみる)

真空期待値はミューオン崩壊から測ったフェルミ定数 GF=1.1664×10−5 GeV−2G_F = 1.1664\times10^{-5}\ \mathrm{GeV}^{-2} で決まります。

v=(2 GF)−1/2=(1.6495×10−5 GeV−2)−1/2=6.062×104 GeV=246.2 GeV.v = \left(\sqrt{2}\,G_F\right)^{-1/2} = \left(1.6495\times10^{-5}\ \mathrm{GeV}^{-2}\right)^{-1/2} = \sqrt{6.062\times10^{4}}\ \mathrm{GeV} = 246.2\ \mathrm{GeV}.

ヒッグス粒子の質量 mh=125.2 GeVm_h = 125.2\ \mathrm{GeV} を使うと、定理 6.1 の mh2=2λv2m_h^2 = 2\lambda v^2 から

λ=mh22v2=(125.2)22(246.2)2=15675121229=0.129,μ=mh2=88.5 GeV.\lambda = \frac{m_h^2}{2v^2} = \frac{(125.2)^2}{2(246.2)^2} = \frac{15675}{121229} = 0.129, \qquad \mu = \frac{m_h}{\sqrt{2}} = 88.5\ \mathrm{GeV}.

逆に測定された MW=80.37 GeVM_W = 80.37\ \mathrm{GeV}、MZ=91.19 GeVM_Z = 91.19\ \mathrm{GeV} から結合定数を求めてみます。系 7.1 より cos⁡θW=80.37/91.19=0.8814\cos\theta_W = 80.37/91.19 = 0.8814、sin⁡2θW=0.2231\sin^2\theta_W = 0.2231、sin⁡θW=0.4723\sin\theta_W = 0.4723。また MW=gv/2M_W = gv/2 から

g=2MWv=160.74246.2=0.653,g′=gtan⁡θW=0.653×0.47230.8814=0.350.g = \frac{2M_W}{v} = \frac{160.74}{246.2} = 0.653, \qquad g' = g\tan\theta_W = 0.653\times\frac{0.4723}{0.8814} = 0.350 .

電磁結合は e=gsin⁡θWe = g\sin\theta_W なので e=0.653×0.4723=0.3084e = 0.653\times0.4723 = 0.3084、微細構造定数は

α=e24π=0.095112.566=7.57×10−3=1132.\alpha = \frac{e^2}{4\pi} = \frac{0.0951}{12.566} = 7.57\times10^{-3} = \frac{1}{132}.

実測値は低エネルギーで α−1=137.04\alpha^{-1} = 137.04、ZZ 質量スケールで α−1(MZ)≃128\alpha^{-1}(M_Z) \simeq 128 です。樹木レベルの見積もりはその中間に落ち、ずれは数 %。これが電弱輻射補正の大きさで、精密測定はこの補正まで含めて標準模型と合っています。

湯川結合も見ておきます。yf=2mf/vy_f = \sqrt{2}m_f/v より

yt=2×172.6246.2=0.99,ye=2×5.11×10−4246.2=2.9×10−6.y_t = \frac{\sqrt{2}\times 172.6}{246.2} = 0.99, \qquad y_e = \frac{\sqrt{2}\times 5.11\times10^{-4}}{246.2} = 2.9\times10^{-6}.

トップクォークだけが yt≃1y_t \simeq 1 という「自然な」値をもち、電子は 10−610^{-6} です。この 6 桁の開きに理由を与えることは、標準模型を超える理論の主要な課題の一つです。

最後に注意を一つ。ヒッグス機構が説明するのは素粒子の質量です。あなたの体重の大部分を占める陽子・中性子の質量 939 MeV939\ \mathrm{MeV} のうち、クォークの質量に由来するのは 2mu+md≃2×2.2+4.7=9.1 MeV2m_u + m_d \simeq 2\times2.2 + 4.7 = 9.1\ \mathrm{MeV}、つまり約 1 % にすぎません。残り 99 % は QCD の場のエネルギー(クォークとグルーオンの束縛エネルギー)です。「ヒッグスが万物に質量を与える」という説明は、この意味で不正確です。

演習 8.1易

定義 3.1 の共変微分 Dμ=∂μ−iqAμD_\mu = \partial_\mu - iqA_\mu について、任意の滑らかな場 ϕ\phi に対し

[Dμ,Dν]ϕ=−iq Fμν ϕ,Fμν=∂μAν−∂νAμ\left[D_\mu, D_\nu\right]\phi = -iq\,F_{\mu\nu}\,\phi, \qquad F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu

を示せ。さらにこの関係と 補題 3.2 を用いて、FμνF_{\mu\nu} がゲージ不変であることを(α\alpha の 2 階微分の可換性を使わずに)導け。

解答

前半。 交換子を 4 つに分けます。

[Dμ,Dν]=[∂μ,∂ν]+[∂μ,−iqAν]+[−iqAμ,∂ν]+[−iqAμ,−iqAν].\left[D_\mu, D_\nu\right] = \left[\partial_\mu, \partial_\nu\right] + \left[\partial_\mu, -iqA_\nu\right] + \left[-iqA_\mu, \partial_\nu\right] + \left[-iqA_\mu, -iqA_\nu\right].

第 1 項は ϕ\phi が C2C^2 級なら 00。第 4 項は Aμ,AνA_\mu, A_\nu が単なる掛け算演算子なので 00。残る 2 項を ϕ\phi に作用させます。

[∂μ,−iqAν]ϕ=∂μ ⁣(−iqAνϕ)−(−iqAν)∂μϕ=−iq(∂μAν)ϕ,\left[\partial_\mu, -iqA_\nu\right]\phi = \partial_\mu\!\left(-iqA_\nu\phi\right) - \left(-iqA_\nu\right)\partial_\mu\phi = -iq\left(\partial_\mu A_\nu\right)\phi,[−iqAμ,∂ν]ϕ=−iqAμ∂νϕ−∂ν ⁣(−iqAμϕ)=+iq(∂νAμ)ϕ.\left[-iqA_\mu, \partial_\nu\right]\phi = -iqA_\mu\partial_\nu\phi - \partial_\nu\!\left(-iqA_\mu\phi\right) = +iq\left(\partial_\nu A_\mu\right)\phi .

(どちらも積の微分則で ϕ\phi に掛かる微分が相殺し、AA に掛かる微分だけが残ります。)足すと

[Dμ,Dν]ϕ=−iq(∂μAν−∂νAμ)ϕ=−iqFμνϕ.\left[D_\mu,D_\nu\right]\phi = -iq\left(\partial_\mu A_\nu - \partial_\nu A_\mu\right)\phi = -iqF_{\mu\nu}\phi .

後半。 補題 3.2 より Dμ′ϕ′=eiqαDμϕD'_\mu\phi' = e^{iq\alpha}D_\mu\phi です。これを 2 回使うと

Dμ′Dν′ϕ′=Dμ′ ⁣(eiqαDνϕ)=eiqαDμDνϕD'_\mu D'_\nu \phi' = D'_\mu\!\left(e^{iq\alpha}D_\nu\phi\right) = e^{iq\alpha}D_\mu D_\nu\phi

(DνϕD_\nu\phi も ϕ\phi と同じ変換をするので、補題がそのまま適用できます)。添字を入れ替えて引くと [Dμ′,Dν′]ϕ′=eiqα[Dμ,Dν]ϕ[D'_\mu,D'_\nu]\phi' = e^{iq\alpha}[D_\mu,D_\nu]\phi。前半の結果を両辺に入れると

−iqFμν′ eiqαϕ=eiqα(−iqFμνϕ) ⟹ (Fμν′−Fμν)ϕ=0.-iq F'_{\mu\nu}\,e^{iq\alpha}\phi = e^{iq\alpha}\left(-iqF_{\mu\nu}\phi\right) \ \Longrightarrow\ \left(F'_{\mu\nu} - F_{\mu\nu}\right)\phi = 0 .

q≠0q \ne 0 で、ϕ\phi は任意(少なくとも 1 点で ϕ≠0\phi \ne 0 となる配位を取る)なので Fμν′=FμνF'_{\mu\nu} = F_{\mu\nu} です。ゲージ不変性が、共変微分の変換則だけから出ました。

演習 8.2標準

SU(2)SU(2) の随伴表現に属する実スカラー場 ϕ=(ϕ1,ϕ2,ϕ3)\phi = (\phi^1,\phi^2,\phi^3) に対し

V(ϕ)=λ4(ϕaϕa−v2)2,λ,v>0V(\phi) = \frac{\lambda}{4}\left(\phi^a\phi^a - v^2\right)^2, \qquad \lambda, v > 0

を考える。生成子の随伴表現を (TA)bc=ϵAbc(T^A)^{bc} = \epsilon^{Abc}(実反対称)とし、真空を ⟨ϕ⟩=(0,0,v)\langle\phi\rangle = (0,0,v) に取る。

(a) 残留対称性 HH を求めよ。 (b) 定理 5.1 により質量ゼロモードの個数を予言せよ。 (c) 質量行列 Mab2M^2_{ab} を直接計算し、(b) と一致することを確かめよ。

解答

(a) R(g)⟨ϕ⟩=⟨ϕ⟩R(g)\langle\phi\rangle = \langle\phi\rangle となる回転は、e3\boldsymbol{e}_3 軸まわりの回転です。T3T^3 が生成する H=U(1)≅SO(2)H = U(1) \cong SO(2) で、dim⁡H=1\dim H = 1。(SU(2)SU(2) は随伴表現では SO(3)SO(3) として作用するので、GG の実効的な作用は SO(3)SO(3)、dim⁡G=3\dim G = 3 です。)

(b) dim⁡G−dim⁡H=3−1=2\dim G - \dim H = 3 - 1 = 2。質量ゼロモードは 2 個と予言されます。実際に破れた生成子の作用を見ると、T1⟨ϕ⟩T^1\langle\phi\rangle の第 bb 成分は ϵ1b3v\epsilon^{1b3}v なので b=2b=2 のときだけ ϵ123v=v\epsilon^{123}v = v、つまり T1⟨ϕ⟩=(0,v,0)T^1\langle\phi\rangle = (0,v,0)。同様に T2⟨ϕ⟩T^2\langle\phi\rangle は ϵ2b3v\epsilon^{2b3}v で b=1b=1 のとき ϵ213v=−v\epsilon^{213}v = -v、つまり (−v,0,0)(-v,0,0)。そして T3⟨ϕ⟩T^3\langle\phi\rangle は ϵ3b3=0\epsilon^{3b3} = 0 よりゼロベクトルです。よって span{TA⟨ϕ⟩}=span{e1,e2}\mathrm{span}\{T^A\langle\phi\rangle\} = \mathrm{span}\{\boldsymbol{e}_1,\boldsymbol{e}_2\} で 2 次元、ker⁡ρ=span{T3}\ker\rho = \mathrm{span}\{T^3\} で 1 次元。次元定理 3=2+13 = 2 + 1 と整合します。

(c) 例 4.4 の計算を N=3N = 3 で使えます。

∂V∂ϕa=λ(ϕ2−v2)ϕa,∂2V∂ϕa∂ϕb=2λϕaϕb+λ(ϕ2−v2)δab.\frac{\partial V}{\partial\phi^a} = \lambda\left(\phi^2-v^2\right)\phi^a, \qquad \frac{\partial^2V}{\partial\phi^a\partial\phi^b} = 2\lambda\phi^a\phi^b + \lambda\left(\phi^2-v^2\right)\delta^{ab}.

⟨ϕ⟩=(0,0,v)\langle\phi\rangle = (0,0,v) では ϕ2−v2=0\phi^2 - v^2 = 0 かつ ϕa=vδa3\phi^a = v\delta^{a3} なので

M2=2λv2(000000001)=diag(0, 0, 2λv2).M^2 = 2\lambda v^2 \begin{pmatrix}0&0&0\\0&0&0\\0&0&1\end{pmatrix} = \mathrm{diag}\left(0,\ 0,\ 2\lambda v^2\right).

ゼロ固有値は 2 個で、固有ベクトルは e1,e2\boldsymbol{e}_1, \boldsymbol{e}_2。(b) で求めた span{TA⟨ϕ⟩}\mathrm{span}\{T^A\langle\phi\rangle\} と完全に一致します。質量をもつ 1 個(動径方向 ϕ3\phi^3)の質量は 2λ v\sqrt{2\lambda}\,v です。

演習 8.3難

標準模型のヒッグス 2 重項の代わりに、SU(2)LSU(2)_L の随伴表現(実 3 重項)で超電荷 Y=0Y = 0 をもつスカラー場 Φ=(Φ1,Φ2,Φ3)\Phi = (\Phi^1,\Phi^2,\Phi^3) を使って電弱対称性を破ることを考える。共変微分は

DμΦa=∂μΦa+g ϵabcWμbΦcD_\mu\Phi^a = \partial_\mu\Phi^a + g\,\epsilon^{abc}W^b_\mu\Phi^c

であり(Y=0Y=0 なので BμB_\mu は結合しない)、運動項は 12DμΦaDμΦa\frac{1}{2}D_\mu\Phi^a D^\mu\Phi^a、真空は ⟨Φ⟩=(0,0,u)\langle\Phi\rangle = (0,0,u) とする。

(a) ゲージ場の質量項を計算し、W1,W2W^1, W^2 の質量を求めよ。 (b) Wμ3W^3_\mu と BμB_\mu の質量を求めよ。 (c) この模型が実験と矛盾する理由を、ρ\rho パラメータと光子の個数の観点から述べよ。

解答

(a) ⟨Φ⟩=(0,0,u)\langle\Phi\rangle = (0,0,u) を代入すると ∂μΦa=0\partial_\mu\Phi^a = 0 なので

DμΦa∣⟨Φ⟩=g ϵab3Wμb u.D_\mu\Phi^a\Big|_{\langle\Phi\rangle} = g\,\epsilon^{ab3}W^b_\mu\,u .

成分ごとに見ます。a=1a=1:ϵ1b3\epsilon^{1b3} が非零になるのは b=2b=2 で ϵ123=+1\epsilon^{123}=+1、よって guWμ2g u W^2_\mu。a=2a=2:ϵ2b3\epsilon^{2b3} が非零なのは b=1b=1 で ϵ213=−1\epsilon^{213}=-1、よって −guWμ1-g u W^1_\mu。a=3a=3:ϵ3b3=0\epsilon^{3b3}=0 なのでゼロ。したがって

12DμΦaDμΦa∣⟨Φ⟩=12g2u2[(Wμ2)2+(Wμ1)2].\frac{1}{2}D_\mu\Phi^a D^\mu\Phi^a\Big|_{\langle\Phi\rangle} = \frac{1}{2}g^2u^2\left[\left(W^2_\mu\right)^2 + \left(W^1_\mu\right)^2\right].

実ベクトル場の質量項は 12M2WμWμ\frac{1}{2}M^2 W_\mu W^\mu の形なので、MW12=MW22=g2u2M_{W^1}^2 = M_{W^2}^2 = g^2u^2、すなわち MW=guM_W = g u。(2 重項の場合の MW=gv/2M_W = gv/2 と係数が違うことに注意してください。表現が変われば係数も変わります。)

(b) (a) の計算で a=3a=3 成分がゼロだったので、Wμ3W^3_\mu は質量項をもちません。BμB_\mu は Y=0Y=0 のため Φ\Phi とそもそも結合せず、やはり質量ゼロです。W3W^3–BB の混合も起こりません。破れは SU(2)L×U(1)Y→U(1)T3×U(1)YSU(2)_L\times U(1)_Y \to U(1)_{T^3}\times U(1)_Y で、破れた生成子は 2 個、残留対称性は 2 次元です。

(c) 二つの理由で実験と矛盾します。

第一に、質量ゼロのゲージボソンが 2 個残ります。自然界に質量ゼロのゲージボソンは光子 1 個しかありません(もう 1 個あれば新しい長距離力として観測されているはずです)。特に ZZ ボソンに相当する中性の重いボソンが存在せず、MZ=91.19 GeVM_Z = 91.19\ \mathrm{GeV} の測定と真っ向から食い違います。

第二に、系 7.1 の ρ\rho パラメータが壊れます。ρ=MW2/(MZ2cos⁡2θW)\rho = M_W^2/(M_Z^2\cos^2\theta_W) に (a)(b) を入れると MZ=0M_Z = 0 なので ρ\rho は発散し、実験値 ρ≃1\rho \simeq 1(輻射補正を含めて 0.1 % 精度で 1)とは比べものになりません。一般に ρ=1\rho = 1 が自動的に成り立つのはヒッグス場が SU(2)LSU(2)_L 2 重項のときで、3 重項を主役にすると成立しません。ρ\rho の精密測定は、電弱対称性を破る主役が 2 重項であることを支持しています。

  • M. E. Peskin, D. V. Schroeder, An Introduction to Quantum Field Theory, Addison-Wesley, 1995 — 第 20 章「Gauge Theories with Spontaneous Symmetry Breaking」。アーベリアン・ヒッグス模型から標準模型までを計算付きで扱っています。
  • S. Weinberg, The Quantum Theory of Fields, Volume II: Modern Applications, Cambridge University Press, 1996 — 第 19 章(自発的に破れた大域対称性、ゴールドストーンの定理の厳密な証明)、第 21 章(自発的に破れたゲージ対称性、RξR_\xi ゲージ)。
  • 九後汰一郎『ゲージ場の量子論 I・II』培風館、1989 — ゲージ対称性と共変的量子化、BRST 対称性。
  • P. W. Higgs, “Broken Symmetries and the Masses of Gauge Bosons”, Physical Review Letters 13 (1964), 508–509. https://doi.org/10.1103/PhysRevLett.13.508
  • F. Englert, R. Brout, “Broken Symmetry and the Mass of Gauge Vector Mesons”, Physical Review Letters 13 (1964), 321–323. https://doi.org/10.1103/PhysRevLett.13.321
  • Particle Data Group, Review of Particle Physics — https://pdg.lbl.gov/ (vv、MWM_W、MZM_Z、mhm_h、湯川結合などの数値の出典)

Appendix: RξR_\xi ゲージとゴールドストーン粒子の行方

Section titled “Appendix: RξR_\xiRξ​ ゲージとゴールドストーン粒子の行方”

ユニタリーゲージの長所と短所。 定理 6.1 のユニタリーゲージは、物理的スペクトルが一目で読める点が長所です。短所は伝播関数で、注意 3.6 のとおり kμkν/mA2k_\mu k_\nu/m_A^2 という高エネルギーで落ちない項があり、各ファインマン図が実際より激しく発散して見えます。物理量では相殺するのですが、くりこみ可能性を図ごとに示せません。

混合項を消すゲージ固定。 そこで位相場を残したまま計算します。ϕ=12(v+h+iθ)\phi = \frac{1}{\sqrt{2}}\left(v + h + i\theta\right) と書くと(h,θh,\theta は実場)、実部・虚部に分けて

∣Dμϕ∣2=12(∂μh+qAμθ)2+12(∂μθ−qAμ(v+h))2\left|D_\mu\phi\right|^2 = \frac{1}{2}\left(\partial_\mu h + qA_\mu\theta\right)^2 + \frac{1}{2}\left(\partial_\mu\theta - qA_\mu(v+h)\right)^2

となり、2 次の部分は

12(∂h)2+12(∂θ)2+q2v22AμAμ−qv Aμ∂μθ\frac{1}{2}\left(\partial h\right)^2 + \frac{1}{2}\left(\partial\theta\right)^2 + \frac{q^2v^2}{2}A_\mu A^\mu - q v\,A^\mu\partial_\mu\theta

です。最後の AA–θ\theta 混合項が邪魔で、このままでは伝播関数が対角化されません。部分積分すると +qv(∂μAμ)θ+qv\left(\partial_\mu A^\mu\right)\theta なので、これを打ち消すゲージ固定項

Lgf=−12ξ(∂μAμ+ξ qv θ)2=−12ξ(∂⋅A)2−qv(∂⋅A)θ−ξq2v22θ2\mathcal{L}_{\mathrm{gf}} = -\frac{1}{2\xi}\left(\partial_\mu A^\mu + \xi\, q v\,\theta\right)^2 = -\frac{1}{2\xi}\left(\partial\cdot A\right)^2 - qv\left(\partial\cdot A\right)\theta - \frac{\xi q^2v^2}{2}\theta^2

を加えます(ξ>0\xi > 0 は任意のパラメータ)。第 2 項が混合項をちょうど相殺します。これが RξR_\xi ゲージです。

その帰結。 残った 2 次の項から読み取れるスペクトルは次のとおりです。ゲージ場の質量は mA=∣q∣vm_A = |q|v で変わりません。ヒッグス場 hh の質量も mh=2λ vm_h = \sqrt{2\lambda}\,v のままです。一方、ゴールドストーン場 θ\theta は Lgf\mathcal{L}_{\mathrm{gf}} の第 3 項から質量 mθ2=ξ mA2m_\theta^2 = \xi\,m_A^2 を得ます。伝播関数は

ΔμνA(k)=−ik2−mA2[ημν−(1−ξ)kμkνk2−ξmA2],Δθ(k)=ik2−ξmA2\Delta^{A}_{\mu\nu}(k) = \frac{-i}{k^2-m_A^2}\left[\eta_{\mu\nu} - (1-\xi)\frac{k_\mu k_\nu}{k^2 - \xi m_A^2}\right], \qquad \Delta^{\theta}(k) = \frac{i}{k^2-\xi m_A^2}

です。ξ→∞\xi \to \infty でユニタリーゲージ(θ\theta が無限に重くなって落ち、ゲージ場の伝播関数がプロカ型に戻る)、ξ=1\xi = 1 でトフーフト・ファインマンゲージ(ΔμνA=−iημν/(k2−mA2)\Delta^A_{\mu\nu} = -i\eta_{\mu\nu}/(k^2-m_A^2))になります。ξ=1\xi = 1 では伝播関数が 1/k21/k^2 で落ちるので、くりこみ可能性を通常のやり方で議論できます。これがトフーフトが 1971 年に示した「自発的に破れたゲージ理論はくりこみ可能」の技術的な核心で、くりこみ理論入門 の くりこみ可能性定理(BPHZ)(定理 5.10)[くりこみ理論入門] の枠組みがそのまま使えるようになります。

自由度の勘定と非物理的な状態。 ξ\xi に依存する質量 ξ mA\sqrt{\xi}\,m_A をもつ粒子(θ\theta)が現れましたが、物理量は ξ\xi に依ってはいけません。実際、RξR_\xi ゲージのゲージ固定に伴って現れるファデーエフ・ポポフ・ゴースト(ファデーエフ–ポポフの公式(定理 7.2)[経路積分量子化])も同じ ξmA2\xi m_A^2 の質量をもち、θ\theta の寄与とゴーストの寄与が物理的な散乱振幅で相殺します。自由度を数えると、AμA_\mu が 4、hh が 1、θ\theta が 1 で計 6、ここから負ノルムのゴースト 2 を引いて 4 となり、定理 6.1 の (3) と一致します。負ノルム状態が入ることが、注意 5.3 で述べた「ゴールドストーンの定理の仮定 (i) が満たされない」の正体です。

ゴールドストーン粒子は本当に消えたのか。 消えていません。E≫mAE \gg m_A では、質量をもつゲージ場の縦波成分の散乱振幅が、対応する θ\theta の散乱振幅に一致します(ゴールドストーン等価定理)。高エネルギーでの WW ボソンの縦波は、食われたゴールドストーン粒子そのものとして振る舞うのです。WWWW 散乱の高エネルギー振る舞いからヒッグス粒子の存在が要請される、という有名な議論はこの定理に基づいています。

このテーマの 100 本ノック(100 問)

執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 3 回(Claude Code)・最終 2026-10-12

この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記

© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。