非線形シグマ模型におけるWess-Zumino-Witten項 (1/2)

【Notationなど】

• 以下の略称を用います。
  • NLσ模型: 非線形シグマ模型（NonLinear sigma model）
  • WZW項: Wess-Zumino-Witten項
  • EoM: 運動方程式（Equation of Motion）
• 前回の記事 ではSU(2)のSkyrme模型を扱いましたが、本記事ではSU(3)のNLσ模型・Skyrme模型を扱います。

非線形シグマ模型におけるアノマリーの実現

Skyrme模型の基礎 において、$U$をSkyrme模型の場とすると、そのtopological degreeに対応する
$$\begin{array}{r}B:=\int d^{3}x{B}^0=\frac{i}{24{\pi }^2}\int d^{3}x{ϵ}^{0\nu \alpha \beta }\mathrm{t}\mathrm{r}(L_{\nu }{L}_{\alpha }{L}_{\beta }),L_{\mu }:=U^{†}{\partial }_{\mu }U\end{array}$$
がバリオン荷（=バリオンの粒子数）であると述べました。しかしその根拠はなんでしょうか。Skyrmeは1961年のその論文の中で既に$B$を核子の粒子数に同定しています（Ref.Skyrme1962）。しかしこれがトポロジカルに保存するからといってバリオン荷であるというのは、根拠としては弱いように思えます。$B$がバリオン荷である最も直接的な証明は、$B$がバリオンの粒子数に関する$U(1{)}_V$変換のネーターチャージであることを示すことです。本記事と次の記事でこれを示します。

そのために、本記事ではメソンの低エネルギー有効理論である非線形シグマ模型（NLσ模型）においてアノマリーを実現する項 −Wess-Zumino-Witten項−（WZW項） を導出します。次の記事でWZW項をゲージ化することで、バリオンカレントを導きます。

Skyrme模型はNLσ模型にSkyrme項を加えたものであり、以下の議論は全てSkyrme模型でも成立します。また前回はSU(2)の模型を考えましたが、本記事と次の記事ではSU(3)の場合を考えます。

本記事はRef.Zahed1986に基づいています（というかこの論文の日本語訳に近いです。文責はもちろん本記事筆者にあります）。またこの論文はSkyrme模型のreview論文であり、以下の議論は主にE.Wittenの論文Ref.Witten1983に基づいています。

QCDの離散対称性を実現する

NLσ模型とは以下のLagrangianで記述される理論です：
$$\begin{array}{r}\mathcal{L}=\frac{f_{\pi }^2}{4}\mathrm{t}\mathrm{r}({\partial }_{\mu }U{\partial }^{\mu }{U}^{†}),U=\exp \left(i{\lambda }^a\frac{{\pi }^a(\mathit{x},t)}{f_{\pi }}\right)\end{array}$$
ここで${\pi }^a$はパイオンやKメソンなどの擬スカラー中間子、${\lambda }^a$はSU(3)の生成子（またはSU(2)）、$f_{\pi }$はパイオン崩壊定数と呼ばれる量です。一般にはこれに高次の相互作用項が入ります。Skyrme模型はNLσ模型に4次の微分を含む相互作用項として
$$\begin{array}{r}\mathrm{t}\mathrm{r}([{\partial }_{\mu }U,{\partial }_{\nu }U{]}^2)\end{array}$$
を加えたものです。この項によりSkyrme模型には安定なソリトン解が存在します。NLσ模型は強い相互作用の基礎理論であるQCDの低エネルギー有効理論であり、特にSkyrme模型は核子を中間子のソリトンとして記述する興味深い模型です（ Skyrme模型の基礎 参照）。

NLσ模型にはQCDに存在しない離散対称性が存在します。それは

1. $U(\mathit{x},t)\to U(-\mathit{x},t)$
2. $U(\mathit{x},t)\to U^{†}(\mathit{x},t)$

の２つの対称性です。一方QCDは、1.と2.のコンビネーションである対称性：${\hat{\mathit{\pi }}}_{\mathrm{o}\mathrm{p}}U(\mathit{x},t){\hat{\mathit{\pi }}}_{\mathrm{o}\mathrm{p}}^{-1}=U^{†}(-\mathit{x},t)$に対して不変（${\hat{\mathit{\pi }}}_{\mathrm{o}\mathrm{p}}$: パリティ変換のオペレータ）ですが、1.2.それぞれの対称性は持ちません。2.の対称性は以下のようなK、π、η中間子の反応過程

$$K^{+}{K}^{-}\to {\pi }^{+}{\pi }^0{\pi }^{-},\eta {\pi }^0\to {\pi }^{+}{\pi }^{-}{\pi }^0$$

で破れます。逆に言えば、現実に存在するこれらの過程は上記対称性を破らないとNLσ模型に取り入れられません。このような過程はQCDでは量子アノマリーにより起こります。よって、上記離散対称性を破りこれらの過程を取り入れることは、NLσ模型にアノマリーの効果を取り入れることに相当します。

Wittenはこの効果を取り入れるため、NLσ模型において
(a) Lorentz対称性を保つ
(b) $U(3{)}_L\otimes U(3{)}_R$を保つ
(c) 1.2.それぞれは破れているが、両者を同時に施す対称性は保持する

を満たすようなEoMを構築することを考えました。そのようなEoMを実現するには、

$$\begin{array}{}\text{(1)}& \lambda {ϵ}_{\mu \nu \alpha \beta }{L}^{\mu }{L}^{\nu }{L}^{\rho }{L}^{\sigma }\end{array}$$

をEoMに導入すればよいです。実際この項を取り入れたEoM
$$\begin{array}{r}\frac{1}{2}{f}_{\pi }^2{\partial }^{\mu }{L}_{\mu }+\lambda {ϵ}^{\mu \nu \alpha \beta }{L}_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }=0\end{array}$$
において（第１項はNLσ模型の最低次の項）$\mathit{x}\to -\mathit{x}$を施すと
$$\begin{array}{r}\frac{1}{2}{f}_{\pi }^2{\partial }^{\mu }{L}_{\mu }-\lambda {ϵ}^{\mu \nu \alpha \beta }{L}_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }=0\end{array}$$
となります。更に${\pi }^a\to -{\pi }^a$を施せば
$$\begin{array}{r}\frac{1}{2}{f}_{\pi }^2{\partial }^{\mu }{L}_{\mu }+\lambda {ϵ}^{\mu \nu \alpha \beta }{L}_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }=0\end{array}$$
のように元に戻ります。ということで、このEoMは確かにWittenの提唱どおりの性質を持ちます。

問題はこの項を導く作用が簡単には作れないことです。上記の項を導くには、Lagrangianに
$$\begin{array}{r}{ϵ}^{\mu \nu \alpha \beta }\mathrm{t}\mathrm{r}(L_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta })\end{array}$$
を加えればよいように思えます。しかし${ϵ}^{\mu \nu \alpha \beta }$の完全反対称性と$\mathrm{t}\mathrm{r}$の巡回不変性よりこの項はゼロになってしまいます。

EoMに$\lambda {ϵ}^{\mu \nu \alpha \beta }{L}_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }$をもたらす作用を求めるのに参考になるのが、単磁荷を持つU(1)Diracモノポールが存在する下で、そのモノポールを中心とする球面上を動く電子の運動を考えることです。この電荷の運動は以下の運動方程式

$$m{\ddot{r}}_i+m{\dot{r}}^2{r}_i=eg{ϵ}_{ijk}{\dot{r}}^j{r}^k$$

によって記述されます。$m,e$はそれぞれ電子の質量、電荷、$g$はモノポールの磁荷です。$r^i$はモノポールの座標です（$i$は方向のインデックス）。この式は$t\to -t$と$r_i\to -r_i$それぞれの変換に対しては不変ではありませんが、その組み合わせに関して不変性を持ちます。かつ単純に思いつく右辺の項を導く作用${ϵ}^{ijk}{\dot{r}}^i{r}^j{r}^k$は消えてしまいます。ということで状況は同じです。

この解決法はよく知られています。詳しいことは省きますが、作用に
$$\begin{array}{}\text{(2)}& eg{\int }_{\gamma }\mathbf{A}\cdot d\mathbf{r}=e{\int }_{D_2^{+}}d\mathbf{\Sigma }\cdot \mathbf{B}\end{array}$$
を加えればよいです。ここで$A$はDirac string（半無限の特異点のひも）をもつモノポールに対応するU(1)ゲージ場、$B$はモノポールが作る磁場です。$\gamma$は球面$S^2$上の方向を持つ閉経路です。$D_2^{+}$は$\gamma$を境界とする$S^2$の領域であり、ここでは$\gamma$の向き付けの左手側の領域とします。$D_2^{-}$はその反対側の領域とします。Dirac stringは$D_{\pm }^2$のうちどちらかを貫きます。Eq.(2)の右辺の積分は、Dirac stringにより貫かれていない方の領域で行います。しかしDirac stringの位置はゲージ変換で変わるため物理的ではなく、どちらの領域での積分も同じ結果を与えなければなりません。このことから、経路積分の位相部分は
$$\begin{array}{r}\exp [\frac{ie}{\hslash }{\int }_{D_2^{+}}d\mathbf{\Sigma }\cdot \mathbf{B}]=\exp [-\frac{ie}{\hslash }{\int }_{D_2^{-}}d\mathbf{\Sigma }\cdot \mathbf{B}]\end{array}$$
を満たす必要があります。これはDirac quantizationの条件$eg=n/2$($n:$整数)を導きます。

この例より、Eq.(2)の作用のNLσ模型における対応物を構成すれば、望むEoMを実現できます。

Wess-Zumino-Witten項

以下NLσ模型を4次元Euclid空間において考えます。時間方向を$S^1$にコンパクト化し、さらに空間も$S^3$であるとします。例えばSkrme模型において解に無限遠でゼロとなる境界条件をつければ空間を$S^3$とみなせます。

このようなセットアップのもとで、モノポールの場合の$S^2$上の閉経路 $S^1$は、NLσ模型では$S^3\times S^2$上の$S^3\times S^1$に対応します。$S^3\times S^2$において$S^2$を分解し
$$\begin{array}{}\text{(3)}& D_5^{+}=S^3\times S^1\times [0,1],D_5^{-}=S^3\times S^1\times [-1,0]\end{array}$$
を定義して、$S^3\times S^1$を$D_5$の境界とみなします。

一方map $U$に対応するSU(3)の多様体は$S^5\times S^3$に同型です（Bott's theorem）。

モノポールの作用は、$D_2^{\pm }$上でU(1)不変です（$\gamma$上の線積分はゲージ場で書かれているのでU(1) variant、$D_2$上の磁場はU(1) invariant）。これとのアナロジーで考えれば、NLσ模型の場合、作用は$D_5^{\pm }$上で$SU(3{)}_L\times SU(3{)}_R$不変です。$D_5$上の$U$を$U(x;s)$のように表し、SU(3)へのmapであるとします。このときhomotopyは
$$\begin{array}{r}(S^3\times S^2,S^5\times S^3)\sim (S^5,S^5)\sim {\pi }_5(S^5)=\mathbb{Z}\end{array}$$
となり、トポロジカルな不変量が存在します。

De-Rhamの定理によれば、トポロジカルに不変なclosed 5-form ${\omega }_5^0$が$S^5$上に存在します：
$$\begin{array}{r}{\int }_{S^5}{\omega }_5^0={\int }_{S^5}{d}^{5}x{Q}_5^0=2\pi \end{array}$$
$Q_5^0$は${\pi }_5(S^5)=\mathbb{Z}$に対応するChern-Pontryagin densityであり
$$\begin{array}{r}{Q}_5^0=\frac{-i}{240{\pi }^2}{ϵ}^{0\mu \alpha \beta \gamma \delta }\mathrm{t}\mathrm{r}(L_{\mu }{L}_{\alpha }{L}_{\beta }{L}_{\gamma }{L}_{\delta })\end{array}$$
です。${\omega }_5^0$は、1-form $\alpha =L_{\mu }d{x}^{\mu }$を定義すると
$$\begin{array}{r}{\omega }_5^0=\frac{-i}{240{\pi }^2}\mathrm{t}\mathrm{r}({\alpha }^5)\end{array}$$
と書けます。$d\alpha +{\alpha }^2=0$を用いると、${\omega }_5^0$はclosedであることがわかります：
$$\begin{array}{r}d{\omega }_5^0=\frac{-i}{48{\pi }^2}\mathrm{t}\mathrm{r}(d{\alpha }^5)=\frac{i}{48{\pi }^2}\mathrm{t}\mathrm{r}({\alpha }^6)=0\end{array}$$
よってPoincare lemmaから${\omega }_5^0$はlocally exactになります。

モノポールの場合に習うと、上記したWittenの条件(a)-(c)を満たす作用は
$$\begin{array}{r}{\mathrm{\Gamma }}_{WZ}=+\lambda {\int }_{D_5^{+}}{\omega }_5^0=-\lambda {\int }_{D_5^{-}}{\omega }_5^0\end{array}$$
となります。$D_5^{\pm }$はEq.(94)で定義された領域です。
${\mathrm{\Gamma }}_{\mathrm{W}\mathrm{Z}}$は以下の性質を満たします：

• SU(3)${}_L\otimes$SU(3)${}_R$不変
• トポロジカルな不変量（$\because {\omega }_5^0$はclosed）
• $D_5$の境界$\partial D_5=S^3\times S^1$にのみ依存 ($\because {\omega }_5^0$はlocally exact)

以上から、QCDの離散対称性を持つNLσ模型は
$$\begin{array}{r}{S}_{\pm }=-\frac{f_{\pi }^2}{4}\int d^{4}x\mathrm{t}\mathrm{r}[L^{\mu }{L}_{\mu }]\pm \frac{(-i)\lambda }{240{\pi }^2}{\int }_{D_5^{\pm }}{d}^{5}x{ϵ}^{\mu \nu \alpha \beta \gamma }\mathrm{t}\mathrm{r}(L_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }{L}_{\gamma })\end{array}$$
となります。そして$S^3$上のEoMは
$$\begin{array}{r}-\frac{f_{\pi }^2}{2}{\partial }^{\mu }{L}_{\mu }+\frac{(-i\lambda )}{48{\pi }^2}{ϵ}^{\nu \alpha \beta \gamma }{L}_{\nu }{L}_{\alpha }{L}_{\beta }{L}_{\gamma }=0\end{array}$$
となり、望むEoMが得られます。Wittenは${\mathrm{\Gamma }}_{WZ}$がこのEoMを与える唯一の項であることを示しています。

モノポールの場合と同様、$\lambda$には量子化条件がつきます：

$$\begin{array}{rl}\exp \left(i\lambda {\int }_{D_5^{+}}{\omega }_5^0\right)& =\exp (-i\lambda {\int }_{D_5^{-}}{\omega }_5^0)\\ \leftrightarrow \lambda ({\int }_{D_5^{+}}{\omega }_5^0+{\int }_{D_5^{-}}{\omega }_5^0)& =2n\pi (n:\text{integer})\end{array}$$
ここで2行目の左辺は
$$\begin{array}{r}\lambda ({\int }_{D_5^{+}}{\omega }_5^0+{\int }_{D_5^{-}}{\omega }_5^0)=\lambda {\int }_{D_5^{+}\cup D_5^{-}}{\omega }_5^0=\lambda {\int }_{S^3\times S^2}{\omega }_5^0=2\pi \lambda \end{array}$$
より、$\lambda$は整数であることがわかります。

$U$はSU(3)の元であり、「QCDの離散対称性を実現する」の章で書いたように$U=\exp \left(i\varphi \right),\varphi :={\lambda }^a{\pi }^a/f_{\pi }$です。低エネルギーの場合を考え$\pi$は$f_{\pi }$に対して小さいとすると、$\varphi$の成分は1より十分小さくなり
$$\begin{array}{rl}\mathrm{t}\mathrm{r}\left[L_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }{L}_{\gamma }\right]& \simeq \mathrm{t}\mathrm{r}[(-i{\partial }_{\mu }\varphi )(i{\partial }_{\nu }\varphi )(-i{\partial }_{\alpha }\varphi )(i{\partial }_{\beta }\varphi )(\mathbf{1}-i\varphi )(i{\partial }_{\gamma }\varphi )]\\ & \simeq i\mathrm{t}\mathrm{r}[{\partial }_{\mu }\varphi {\partial }_{\nu }\varphi {\partial }_{\alpha }\varphi {\partial }_{\beta }\varphi {\partial }_{\gamma }\varphi ]\end{array}$$
となります。これを用いて${\mathrm{\Gamma }}_{WZ}$を書きなおすと、$\lambda$を整数$n$として
$$\begin{array}{rl}{\mathrm{\Gamma }}_{WZ}& =\pm \frac{(-i\lambda )}{240{\pi }^2}{\int }_{D_5^{\pm }}{d}^{5}x{ϵ}^{\mu \nu \alpha \beta \gamma }\mathrm{t}\mathrm{r}\left[L_{\mu }{L}_{\nu }{L}_{\alpha }{L}_{\beta }{L}_{\gamma }\right]\\ & \simeq \pm \frac{n}{240{\pi }^2}{\int }_{D_5^{\pm }}{d}^{5}x{ϵ}^{\mu \nu \alpha \beta \gamma }\mathrm{t}\mathrm{r}\left[{\partial }_{\mu }\varphi {\partial }_{\nu }\varphi {\partial }_{\alpha }\varphi {\partial }_{\beta }\varphi {\partial }_{\gamma }\varphi \right]\\ & =\frac{n}{240{\pi }^2}{\int }_{\partial D_5=S^3\times S^1}d{\mathrm{\Sigma }}_{\mu }{ϵ}^{\mu \nu \alpha \beta \gamma }\mathrm{t}\mathrm{r}\left[\varphi {\partial }_{\nu }\varphi {\partial }_{\alpha }\varphi {\partial }_{\beta }\varphi {\partial }_{\gamma }\varphi \right]\end{array}$$
を得ます。この式は5次元の座標による表式ですが、境界は通常の時空なので、4次元の座標で書けば
$$\begin{array}{r}=\frac{n}{240{\pi }^2}\int d^{4}x{ϵ}^{\mu \nu \alpha \beta }\mathrm{t}\mathrm{r}\left[\varphi {\partial }_{\mu }\varphi {\partial }_{\nu }\varphi {\partial }_{\alpha }\varphi {\partial }_{\beta }\varphi \right]\end{array}$$
となります。この項は5つの擬スカラー中間子を含むアノマリーによる反応過程、例えば$K^{+}{K}^{-}\to {\pi }^{+}{\pi }^0{\pi }^{-}$を含みます。NLσ模型における低エネルギー極限でのアノマリーの効果はすべてこの項に含まれます。NLσ模型は対称性と低エネルギー性のみで特徴づけられる一般的な模型なので、この結果も大変一般的な結論です。

改めてWZW項は以下のようになります：

まとめ

非線形シグマ模型（NLσ模型）には存在するがQCDには存在しない離散対称性を破るために、Wess-Zumino-Witten項（WZW項）を導入しました。この対称性を破る作用は単純に考えると消えてしまいます。そこで磁気モノポールが単位球の中心に存在する際の球面上を動く電子を参考にして、そのような項 −WZW項− を構成しました。NLσ模型に存在する余分な離散対称性を破る効果は、QCDでは量子アノマリーによってもたらされます。よってWZW項はNLσ模型に量子アノマリーを導入する効果を持ちます。実際低エネルギー極限におけるアノマリーによる擬スカラー中間子の結合項を完全に書き下すことができます。

ここで紹介した方法はRef.Witten1983に基づくものです。発見法的であり、またトポロジカルな側面が強調されている方法かと思います。一方、アノマリーに直接則した方法でWZW項を導くことも可能です。WessとZuminoはRef.Wess1971において、アノマリーに関する積分可能条件（現在ではWess-Zumino条件とも呼ばれます）からこの項を導いています。

次の記事では、WZW項をゲージ化することで、U(1)ゲージ場とWZW項との相互作用を記述するWZW項を導きます。この計算からバリオンカレントを導き、冒頭で示した$B$がバリオン荷であることを示します。

おしまい。${}_{◼}$

次の記事： 非線形シグマ模型におけるWess-Zumino-Witten項 (2/2)