ネーターカレントの導出・Gell-Mann-Levyの方法

「ネーターの第１定理」の記事に関して

以前 「ゲージ対称性とは何か(1): ネーターの第１定理」 という記事を書きました。
最近この記事が読まれているようで嬉しいです。

ただ、ひとつ懸念があります。
この記事、ネーターカレントを導くには余計な議論が多いです。
カレントを導くのが目的の人が見たら、議論がややこしすぎて敬遠してしまうことを危惧しています。

上記記事は、ネーターの第２定理を導くための前準備です。そのため、Lagrangianの変分をかなり一般的な形で行っています。これはネーターカレントの導出としては「やりすぎ」です。そんな一般的な変分は必要ありません。

あと上記記事は点粒子の力学におけるカレントで、場の理論のそれではありません。

そこで本記事では、場の理論におけるネーターカレントを導く標準的な方法を書いておきます。
そしてもうひとつ、カレントを導くのに便利な方法である「Gell-Mann-Levyの方法」(Ref.[1])を記しておきます。よく使われる方法だと思うのですが、ちゃんと書いてある教科書は意外に少ない気がします。

場の理論におけるネーターカレントの標準的な導出

ここで、チャージ密度$\rho$およびチャージ$Q$を

とします。すると
$$\begin{array}{r}{\partial }_{\mu }{j}^{\mu }=0\\ \leftrightarrow \frac{\partial \rho }{\partial t}+\overrightarrow{\partial }\cdot \overrightarrow{j}=0\end{array}$$
を得ます。これはいわゆる「連続の方程式」です。両辺を領域$V$で体積積分し、ガウスの発散定理を使うと
$$\frac{\partial Q}{\partial t}+{\int }_{\partial }\overrightarrow{j}\cdot d\overrightarrow{S}=0$$
が導けます。第２項は、領域$V$の境界$\partial$における"電流"$\overrightarrow{j}$の面積分です。すなわち、領域$V$のチャージの変化は、$V$の表面から出ていく電流の面積分に等しいことを言っています。つまり、チャージは勝手に消えたり増えたりせず、出ていった電荷の分減る。これはチャージの保存です。

Gell-Mann-Levyの方法

上記と同様、$ϵ$を任意の微小定数として、$\mathcal{L}(\varphi ,{\partial }_{\mu }\varphi )$は$\varphi \to {\varphi }^{\alpha }+ϵG^{\alpha }(\varphi )$に対して不変だとします。
ここでカレントを導く便宜上、定数$ϵ$を$ϵ(x)$のように時空に依存させます。 Gell-Mann-Levyの方法(Ref.[1])とは、この局所的な変換に対するLagrangianの変化に対し、以下の関係式を用いてカレントおよびその発散を計算する方法です：

この計算法は時にEq.(1)の計算法より楽です。またそれだけではなく、対称性が完全ではなく近似的な場合に、カレントの発散${\partial }_{\mu }{j}^{\mu }$を導くことができるのは便利です。

カレントの具体例

以下、次の3つの例：

1. 複素スカラー場 （対称性： U(1)変換）
2. pure Yang-Mills理論 $$(対称性： 大域的なカラー回転)
3. pure Yang-Mills理論におけるBRST Lagrangian $$ (対称性: BRST対称性)

において、カレントを具体的に計算します。

1. 複素スカラー場

ここではカレントを、Eq.(1)を用いて導きます。

$\delta \varphi =i\theta \varphi$とするとEq.(1)よりカレントは
$$\begin{array}{r}\theta j^{\mu }=\frac{\partial \mathcal{L}}{\partial \varphi }\delta \varphi +\frac{\partial \mathcal{L}}{\partial {\varphi }^{†}}\delta {\varphi }^{†}=(-i{\varphi }^{†}{\partial }^{\mu }\varphi +i({\partial }_{\mu }\varphi )\varphi )\theta \end{array}$$
よって
$$\begin{array}{r}{j}^{\mu }=-i{\varphi }^{†}{\partial }^{\mu }\varphi +i({\partial }_{\mu }\varphi )\varphi \end{array}$$
を得ます。
Gell-Mann-Levyの方法でも同じ結果が得られます。

2. pure Yang-Mills理論

今度はカレントをGell-Mann-Levyの方法で導きます。

以下$M_{\mu }^{ac}=f_{abc}{A}_{\mu }^b$とします。$\delta \mathcal{L}$の中で微分が$\theta$にかかる部分のみ書き出すと
$$\begin{array}{rl}(\text{Terms including }\partial \theta \text{ in }\mathcal{L})& =-\frac{1}{2}(({\partial }_{\mu }{\theta }^c)M_{\nu }^{ac}-({\partial }_{\nu }{\theta }^c)M_{\mu }^{ac})F^{\mu \nu a}\\ & =-({\partial }_{\mu }{\theta }^c)M_{\nu }^{ac}{F}^{\mu \nu a}\\ & =-({\partial }_{\mu }{\theta }^c)f_{abc}{A}_{\nu }^b{F}^{\mu \nu a}\\ & =:({\partial }_{\mu }{\theta }^c)(A_{\nu }\times F^{\mu \nu }{)}^c\end{array}$$
よってGell-Mann-Levyの方法より
$$\begin{array}{r}{j}^{\mu a}=(A_{\nu }\times F^{\mu \nu }{)}^a\end{array}$$
を得ます。
Eq.(1)を使っても同じ結果が得られます。

3. pure Yang-Mills理論におけるBRST Lagrangian

これは、Faddeev-Popovの方法、またBRST量子化の際に現れるLagrangianです。$c,\overline{c}$はghost, anti-ghost場であり、これらはGrassmann oddです。$\lambda$はGrassmann oddの任意定数であり、変換のパラメータです。
BRST変換はglobalな変換なので、ネーターカレントが存在します。

ここではGell-Mann-Levyの方法でカレントを導きます。
Eq.(1)を使っても、もちろん同じカレントを導けるのですが、Grassmann oddの場が存在するため、場の微分を右・左のどちらから作用させるかで符号が変わります。また微分と$\lambda$、$c$、$\overline{c}$の反可換性を正しく考慮しなければならず、間違いが生じがちです。一方でGell-Mann-Levyの方法は場の微分を含まないぶんだけ符号の間違いが生じにくいです。

$\lambda$を時空に依存させ、Lagrangianの変化を計算します。$\lambda$に微分がかかる部分だけ計算すれば十分です。

• $-\frac{1}{4}{F}_{\mu \nu }^a{F}^{\mu \nu a}$の変分における$({\partial }_{\mu }\lambda )$に比例する部分:$-({\partial }_{\mu }\lambda )(D_{\nu }c{)}^a{F}_{\mu \nu a}$
• $-i{\partial }^{\mu }{\overline{c}}^a(D_{\mu }c{)}^a$の${\overline{c}}^a$の変分の寄与： $({\partial }_{\mu }\lambda )B^a(D_{\mu }c{)}^a$
• $-i{\partial }^{\mu }{\overline{c}}^a(D_{\mu }c{)}^a$の$c^a$の変分の寄与：$-\frac{i}{2}({\partial }_{\mu }\lambda )({\partial }^{\mu }{\overline{c}}^a)g{f}_{abc}{c}^b{c}^c$

以上より、$({\partial }_{\mu }\lambda )$の係数を取り出し、カレントは
$$\begin{array}{r}{j}^{\mu }=-(D_{\nu }{c}^a)F^{\mu \nu a}+B^a(D^{\mu }c{)}^a-\frac{i}{2}g({\partial }^{\mu }{\overline{c}}^a{f}_{abc}{c}^b{c}^c)\end{array}$$
であることがわかります。
通常Euler-Lagrange方程式を使ってこのカレントを書き換えますが、今回はここでやめておきます。

まとめ

場の理論において、ネーターカレントを導く標準的な方法およびGell-Mann-Levyの方法を説明し、それらを用いて具体的な系におけるカレントを導きました。

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