ワインバーグ＝サラム理論

ワインバーグ=サラム理論（ワインバーグ＝サラムりろん、、WS理論）は、弱い相互作用と電磁相互作用を統一的に記述する電弱統一理論である。グラショウ=ワインバーグ=サラム理論（GWS理論）とも呼ばれる。

その名の示すとおり、シェルドン・グラショウ、スティーヴン・ワインバーグおよびアブドゥス・サラムの尽力によって完成した。彼ら3人は、この研究により、1979年にノーベル物理学賞を受賞した。

 概要 
1961年、シェルドン・グラショウは量子電磁力学と弱い相互作用を統一する枠組みとして、アイソスピンとストレンジネスとの類推から SU×U の対称性を考えた。
これを、自発的対称性の破れを使い、洗練させたのがワインバーグ＝サラム理論である。

連続的な対称性を持った系において、ある種の場がエネルギーが最低の状態（真空）にあるときに、その場がゼロでない値（真空期待値）をもち、対称性を破るようなポテンシャルを実現していた場合、このような対称性の破れ方を自発的対称性の破れという。

南部＝ゴールドストーンの定理によると、対称性が自発的に破れている場合には零質量の南部・ゴールドストーン粒子という粒子が現れる。

1967年に発表されたワインバーグ＝サラム理論では、ある形で SUL×UY のチャージを持つヒッグス場を導入し、ヒッグス場とゲージ場のゲージ相互作用において、ヒッグス場が真空期待値をもった時に質量項を持つ3つのゲージ粒子と一つの無質量のゲージ粒子が現れる。これらのゲージ粒子は SUL および UY の場とは別物であり、これらの場の混合によって再定義された場である。場の混合を表す混合角は弱混合角（）、もしくはワインバーグ角（）と呼ばれる。ゼロでない真空期待値を持つスカラー場の導入によって質量を持つゲージ粒子の予言に成功しており、その質量はヒッグスの真空期待値の大きさ（246GeV）とゲージ群 SUL および UY に対応する2つのゲージ結合定数によって表され、これらの値は実験から精度よく決まっている。ヒッグス粒子の発見により、実験的にもワインバーグ＝サラム理論は完全実証に至った。

ワインバーグ＝サラム理論の特徴は、高エネルギーの状態（102GeV）では、ウィークボソンと光子との区別がなくなることである。これはビッグバンから10-10秒後までに相当し、約1000兆ケルビンの高温によってヒッグス粒子は蒸発する。このとき、ウィークボソンはヒッグス粒子の抵抗と無関係となり、光子と区別がつかなくなる。
つまり、宇宙が始まってから10-10秒より以前では、弱い相互作用と電磁相互作用との区別はなく、電弱相互作用として力の統一状態にあったという。
また、このときクォークとレプトンの質量がゼロとなる。ただし標準模型上の質量とは基本的にヒッグス粒子による慣性質量であり、重力子の挙動にも影響があるかどうかは不明。

 内容 
グラショウ＝ワインバーグ＝サラム理論はゲージ群 に対するヤン＝ミルズ＝ヒッグス理論である。
SU の部分はウィークアイソスピンなどと呼ばれ、U の部分はウィークハイパーチャージ（弱超電荷）などと呼ばれることもある。
ヒッグス機構により、 は 元の U とは異なる U に自発的に破れる。これを電磁相互作用のゲージ群 U と同一視する、と言うのがこの理論における電弱相互作用の統一の流れである。

この理論のゲージ場の部分に含まれるパラメータは二つのゲージ群に対応するゲージ結合定数 、或いはその組み合わせである電気素量 と弱混合角 である。
弱混合角の大きさは

である。
ヒッグス場の部分には、真空期待値 と自己相互作用の結合定数 の2つのパラメータが含まれており、これらは低エネルギーにおいてフェルミ結合定数 とヒッグス粒子の質量 に関係付けられる。さらに湯川相互作用項には相互作用の数だけ湯川結合定数が含まれる。

 ラグランジアン 
電弱対称性が破れる前のラグランジアンは

の形で表すことが出来る。

第一項はヤン＝ミルズ理論に基づいて導入されるゲージ場の運動項で、ヤン＝ミルズ項と呼ばれる。その形は

で表される。添え字 はゲージ群の次元に亘って和をとる。

第二項はフェルミオンの運動項で、

であり、理論に含まれるフェルミオンについて和をとる。

第三項はヒッグス場の運動項とポテンシャル項で、

で与えられる。

第四項は湯川相互作用項

であり、ゲージ変換の下での対称性を保つ組み合わせについて和をとる。

ヤン＝ミルズ理論に従い、フェルミオンとヒッグス場の運動項の微分が共変微分へと置き換えられている。
共変微分は

の形で書かれる。（a=1, 2, 3）は SU の生成子で、 は U の生成子である。 はそれぞれのゲージ群に対応するゲージ場で、 はそれぞれのゲージ群に対応するゲージ結合定数である。

 電弱対称性の破れ 
ヒッグス場は SU の下で複素2重項

としての変換性（2表現）をもち、U の電荷 をもつ。
2表現で変換する場に対する生成子は （a = 1,2,3; σ はパウリ行列）であり、ヒッグス場に対する共変微分は

となる。
ゲージ変換の自由度を用いて の形になるように選べば、ヒッグス場のポテンシャル項から

の真空期待値をもち、励起状態は

となる。
ヒッグス場が真空期待値をもつとき、ゲージ対称性は第一成分の位相変換

の自由度を残して破れる。
破れずに残るこの位相変換の生成子は

であり、これが電磁相互作用のゲージ群 U の生成子である電荷と同一視される。

対称性が破れた後のヒッグス場に対する共変微分は

となる。
ここで は の線型結合で

によって定義され、荷電ウィークボソン（）、あるいはWボソンと呼ばれる。
 は の線型結合で

によって定義され、中性ウィークボソン（）、あるいはZボソンと呼ばれる。
ここで は弱混合角と呼ばれ

で定義される。
 に直交するゲージ場

は電磁場（光子）と同一視される。

これらのボソンで前述の共変微分を書き換えれば、

となる。

 を電磁場と同一視することから、結合定数は電磁相互作用の結合定数である電気素量 と同一視され、

で関係付けられる。

 ゲージ場の質量 
ヒッグス場の運動項の共変微分

を通じてゲージ場はヒッグス場と相互作用する。

ヒッグス場が真空期待値を持ち、対称性が自発的に破れたとき、ウィークボソンはヒッグス場の運動項から質量を得て、

となる。
電弱対称性はウィークボソンの質量程度のエネルギースケールで破れ、このエネルギースケールはウィークスケールと呼ばれる。

 理論に含まれるフェルミオン 
+ 理論の左手型フェルミオンとその表現 場 記号 SUL UY クォーク 2 +1/6 上系列反クォーク 1 -2/3 下系列反クォーク 1 +1/3 レプトン 2 -1/2 反荷電レプトン 1 +1
弱い相互作用はパリティ対称性を破っており、ベータ崩壊はV-A相互作用と呼ばれる形をしている。これは左手型粒子のみが相互作用をして、右手型粒子（左手反粒子）は相互作用をしない。

これを反映して左手粒子はクォークの上系列と下系列、レプトンではニュートリノと荷電レプトンが二重項となって SUL の下で非自明な表現となり、左手反粒子は自明な表現となる。

フェルミオンの左手型と右手型でゲージ群のチャージが異なり、ゲージ不変な質量項を持つことが出来ない。

添え字 i=1, 2, 3, ... は世代数を表し、c は荷電共役を表す。

SUL の下で 2表現で変換する場に対する生成子はパウリ行列であり、例えばクォークに対して

として Q=T3+Y を再現するように Y を決める。

 相互作用カレント 
フェルミオンの運動項の共変微分

を通じてゲージ場はフェルミオンと相互作用する。

対称性が自発的に破れたとき、ゲージ場はフェルミオンと

の形で相互作用をする。

 電磁カレント 
電磁場 と結合する相互作用カレント

は、量子電磁力学と同じものである。

 荷電カレント 
Wボソンと結合する相互作用カレントは荷電カレント（）と呼ばれ、その形は

で表される。
SU の二重項に対しては生成子 が具体的に

となるので、荷電カレントは

となる。

荷電カレントはベータ崩壊などの粒子の種類を変える相互作用として既に知られていたカレントである。
低エネルギーでは

となってフェルミ相互作用と比較すれば

としてフェルミ結合定数 が真空期待値 と関係付けられる。

 中性カレント 
Zボソンと結合する相互作用カレントは中性カレント () と呼ばれ、その形は

で表される。
中性カレントはこの理論によって予言された相互作用である。
この形の相互作用が発見されたことによってグラショウ、サラム、ワインバーグはノーベル賞を受賞した。

 フェルミオンの質量 
フェルミオンとヒッグスは湯川相互作用項で結合する。

ここで、

である。 は湯川相互作用の結合定数である。

なお、湯川相互作用の形はゲージ原理から要請されるものではないが、例えばレプトンの項で、 の部分は SUL 一重項となり、UY も Y=-1/2+(-1/2)=-1 となっていて（ は複素共役で符号が変わって Y=-1/2 である）、 と相殺され、全体としてゲージ不変性が保たれている。

ヒッグスが真空期待値を持ち、対称性を破るとき、

となって、フェルミオンが質量を得る。ユニタリ変換で行列 を対角化するように取り直せば、e1=e, e2=μ, e3=τ, ... となる。同様に を対角化すれば、d1=d, d2=s, d3=b, ... , u1=u, u2=c, u3=t, ... となる。このとき、 と は二重項 として変換するので、それぞれを同時に対角化できない。その際のずれがCKM行列である