ABJ anomaly：経路積分における藤川の方法

ABJ anomalyに関していくつか記事を書きました。これらの記事ではどれも正準量子化の方法でABJ anomalyを扱いました。一方、経路積分形式でもABJ anomalyを扱うことができます。結論から言うと、経路積分では対称性変換のヤコビアンからアノマリーが生じます。経路積分で量子アノマリーを扱う方法を、それを最初に議論した藤川和男先生の名前を冠して「藤川の方法」と呼びます。

藤川の方法に基づく量子アノマリーに関しては、藤川先生の書かれた本がありますFujikawa2001。日本語であり、過度に難しい部分もなく、明快な論理展開でわかりやすく書かれています。本記事はこのRef.Fujikawa2001に基づきます（当該部分と基本的に同内容です）。ちなみに同テーマの英語の教科書もありますFujikawa2004。こちらは鈴木博先生との共著です。

以下ではEuclid空間での経路積分を扱います。計量は$g^{\mu \nu }=-{\delta }^{\mu \nu }$とします（$\mu =1,2,3,4$）。よって$x^{\mu }$を座標として$x_{\mu }{x}^{\mu }<0$です。$\gamma$行列の定義に関してはAppendix 1をご参照ください。

経路積分は既知とします。これに関しては例えばRef.WatamuraPathIntに非常にコンパクトに説明されています。

計算の概要

最初に以下の議論の概要を述べておきます。

まずカイラル変換に伴う経路積分のヤコビアンを求めますが、その際重要なことは以下の2つです：

1. Dirac演算子の固有関数で場を展開する
2. ゲージ不変な正則化を施す

Dirac演算子の固有関数で場を展開すると、場の変換に伴い、経路積分の測度から、展開の基底のラベルに関する無限行列の行列式が生じます。この行列をwell-definedにするため、ゲージ不変な正則化を施します。具体的には、Dirac演算子の固有値を用いたdamping factorを導入して正則化します。この操作ののち、展開の基底を平面波にユニタリ−変換して計算することで具体的なヤコビアンが得られます。

ABJ anomalyは軸性ベクトルカレントの発散${\partial }_{\mu }{J}_5^{\mu }$に関する量子アノマリーの寄与ですが、これを得るには${\partial }_{\mu }{J}_5^{\mu }$とヤコビアンの関係を知る必要があります。これは後に述べるWard恒等式により得られます。その結果、${\partial }_{\mu }{J}_5^{\mu }$は今まで書いた記事の結果と一致します。

カイラル変換に関するヤコビアン

ここではフェルミオンとU(1)ゲージ場の系を考えます。分配関数は経路積分により以下で与えられます：
$$\begin{array}{rl}Z& =\mathcal{N}\int \mathcal{D}\overline{\psi }\mathcal{D}\psi \mathcal{D}{A}_{\mu }\exp \int d^{4}x[\overline{\psi }(i\mathrm{D̸}-m)\psi -\frac{1}{4}{F}_{\mu \nu }{F}^{\mu \nu }],\\ \mathrm{D̸}& :={\gamma }^{\mu }{D}_{\mu },D_{\mu }:={\partial }_{\mu }-ie{A}_{\mu },\\ \text{(1)}& F_{\mu \nu }& :=\frac{i}{e}[D_{\mu },D_{\nu }]={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }\end{array}$$
ここで$\overline{\psi }:={\psi }^{†}{\gamma }_0$、$\mathcal{N}$は規格化定数です。$\mathcal{D}{A}_{\mu }$にはゲージ固定項が含まれているものとしますが、本記事の範囲では特に議論に関係しません。

これに局所的な微小カイラル変換を施します：
$$\begin{array}{}\text{(2)}& \{\begin{array}{l}{\psi }^{\prime }(x)=e^{i\alpha (x){\gamma }_5}\psi (x)\simeq \psi (x)+i\alpha (x){\gamma }_5\psi (x),\\ {\overline{\psi }}^{\prime }(x)=\overline{\psi }(x)e^{i\alpha (x){\gamma }_5}\simeq \overline{\psi }(x)+\overline{\psi }(x)i\alpha (x){\gamma }_5\end{array}\end{array}$$
このとき経路積分のヤコビアンは以下で与えられます。

$J$を具体的に計算したいのですが、このままではwell-definedではないため、正則化する必要があります。これを以下のように正則化します：
$$\begin{array}{rl}\sum _{n=1}\int d^{4}x\alpha (x){\phi }_n^{†}(x){\gamma }_5\phi (x)& \to \underset{M\to \mathrm{\infty }}{lim}\sum _{n=1}^{\mathrm{\infty }}\int d^{4}x\alpha (x){\phi }_n^{†}(x){\gamma }_{5}f(({\lambda }_n{)}^2)/M^2){\phi }_n(x)\\ \text{(2)}& & =\underset{M\to \mathrm{\infty }}{lim}\sum _{n=1}^{\mathrm{\infty }}\int d^{4}x\alpha (x){\phi }_n^{†}(x){\gamma }_{5}f({\mathrm{D̸}}^2/M^2){\phi }_n(x)\end{array}$$
ここで$f(x)$は$x\to \mathrm{\infty }$で速やかに0に近づく$f(0)=1$を満たす関数とします。これは固有値の大きいところで早く減少するdamping factorであり、ゲージ不変性を満たす良い正則化となっています。

これを計算するために、基底を$\{{\varphi }_n(x)\}$から平面波$\{e^{ikx}\}$へユニタリ変換します。これは正準量子化の方法においてHeisenberg表示から相互作用表示に変換することに対応します（※脚注）。計算すると、最終的に以下を得ます：

関数$f$は$\underset{x\to 0}{lim}x{f}^{\prime }(x)=\underset{x\to \mathrm{\infty }}{lim}x{f}^{\prime }(x)=0,f(0)=1,f(\mathrm{\infty })=0$という条件さえ満たしていれば、その関数形に依らずこの計算は一般に正しいです。これはアノマリーが系の詳細に依らない構造を持つことを示唆しています。

軸性ベクトルカレントの発散とヤコビアンの関係

Ward恒等式により、ヤコビアン$J$と軸性ベクトルカレントの発散に関係がつきます。Ward恒等式に関しては この記事 の冒頭に説明がありますが、以下を読めば十分かと思います。

カイラル変換に関するWard恒等式は以下のようになります。

この表式はEuclidなので虚数単位がついてはいますが（さらには真空期待値をとってますが）、他の記事Mathlog1Mathlog2Mathlog3で導いた表式と一致しています。符号に関しては${ϵ}^{0123}$の定義が記事によって違うので注意してください。

ただし、上記のWard恒等式を導く際には摂動論を用いていないことに注意してください。この式は非摂動論的な表式です。その意味でこれまでの記事におけるABJ anomalyの導出とは違います。

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

（※脚注）場の量子論におけるHeisenberg表示は、すべての時間発展を場の演算子に担わせる形式。相互作用表示は、場の演算子に自由場の時間発展のみ担わせる形式です。

Appendix 1: Euclid空間での$\gamma$行列

以下Ref.Fujikawa2001の$\gamma$行列に関するnotationです。

上記を満たす具体的な表示は例えば以下のようなものがあります：
$$\begin{array}{r}{\gamma }_i=\left(\begin{array}{cc}0& {\sigma }_i\\ -{\sigma }_i& 0\end{array}\right)(i=1,2,3),{\gamma }_4=\left(\begin{array}{cc}i& 0\\ 0& -i\end{array}\right),{\gamma }_5=\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\end{array}$$
ただし各ブロックは$2\times 2$行列、${\sigma }_i$はPauli行列。

Appendix 2: 本文Eq.(2)で使った等式の証明

本文Eq.(2)では次の等式を使っています：
$$\begin{array}{r}f({\mathrm{D̸}}^2)e^{ikx}=e^{ikx}f((i{k}_{\mu }+D_{\mu }{)}^2-\frac{ie}{4}[{\gamma }^{\mu },{\gamma }^{\nu }]F_{\mu \nu })\end{array}$$
以下これを示します。

まず${\mathrm{D̸}}^2=D_{\mu }{D}^{\mu }-\frac{ie}{4}[{\gamma }^{\mu },{\gamma }^{\nu }]F_{\mu \nu }$が以下のように成立します：
$$\begin{array}{rl}{\mathrm{D̸}}^2& ={\gamma }^{\mu }{\gamma }^{\nu }{D}_{\mu }{D}_{\nu }\\ & =(\frac{1}{2}\{{\gamma }^{\mu },{\gamma }^{\nu }\}+\frac{1}{2}[{\gamma }^{\mu },{\gamma }^{\nu }])D_{\mu }{D}_{\nu }\\ & =D_{\mu }{D}^{\mu }+\frac{1}{2}[{\gamma }^{\mu },{\gamma }^{\nu }]\frac{1}{2}[D_{\mu },D_{\nu }]\\ \text{(a1)}& & =D_{\mu }{D}^{\mu }-\frac{ie}{4}[{\gamma }^{\mu },{\gamma }^{\nu }]F_{\mu \nu }\end{array}$$
次に
$$\begin{array}{r}f(D_{\mu }{D}^{\mu }+c)e^{ikx}=e^{ikx}f((i{k}_{\mu }+D_{\mu }{)}^2+c)\end{array}$$
を示します（$c$は$e^{ikx}$と交換する量）。

Eq.(a1)、およびEq.(a2)において$c$を$-\frac{ie}{4}[{\gamma }^{\mu },{\gamma }^{\nu }]F_{\mu \nu }$とすれば
$$\begin{array}{r}f({\mathrm{D̸}}^2)e^{ikx}=e^{ikx}f((i{k}_{\mu }+D_{\mu }{)}^2-\frac{ie}{4}[{\gamma }^{\mu },{\gamma }^{\nu }]F_{\mu \nu })\end{array}$$
を得ます。${}_{◼}$