藤川法とは、藤川和男によって導入された、場の量子論におけるカイラルアノマリーを計算する方法の一つである。この方法は、カイラル変換に伴う経路積分測度のヤコビアンとしてアノマリーを導出する。
(偶数)-次元ユークリッド空間において、コンパクトなリー群の表現に属するディラック場
を考える。背景ゲージ場
に対するディラック作用素を(ファインマンスラッシュ記法で)
と書く。ディラックフェルミオンの作用
![{\displaystyle S=\int d^{d}x\;{\overline {\psi }}iD\!\!\!\!/\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ceed95771eabe90136d21768768bf1c3ed20099a)
を用いて、分配関数を
![{\displaystyle Z[A]=\int {\mathcal {D}}{\overline {\psi }}{\mathcal {D}}\psi \;e^{-S}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/458065f2d1762812a3fa2f1ada9837bda09a79aa)
と定義する。座標に依存する無限小(
)のカイラル変換
![{\displaystyle \psi \to e^{i\gamma _{d+1}\alpha (x)}\psi ,\;{\overline {\psi }}\to {\overline {\psi }}e^{i\gamma _{d+1}\alpha (x)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21e8d1b163528903e31861ac50fe9b99f3499d92)
に対して、作用は
![{\displaystyle S\to S+\int d^{d}x\;\alpha (x)\partial _{\mu }\left({\overline {\psi }}\gamma ^{\mu }\gamma _{d+1}\psi \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae8affee32b86ac7233e380feef6d4f3d4b6086e)
と変換する。したがって、古典的には軸性カレント
は保存する:
。ところが、量子力学的には軸性カレントは保存しない。ローマン・ジャッキウは三角ダイアグラムの計算から非保存性を発見した。一方、藤川法は、軸性カレントの非保存をカイラル変換に伴う経路積分測度のヤコビアンとして導出する。
経路積分測度の変換性を見るには、まず、ディラック場をディラック作用素の固有ベクトルを基底として展開する:
![{\displaystyle \psi (x)=\sum \limits _{i}a_{i}\phi _{i}(x),\;{\overline {\psi }}(x)=\sum \limits _{i}b_{i}\phi _{i}^{\dagger }(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc3d7fec7885248b1ac15cd9f11620be74ae869d)
ここに
はグラスマン数に値をとる係数、
はディラック作用素の固有関数である:
。ただし、固有関数は
-次元積分に関して正規直交にとる。この係数
を用いて、経路積分測度は次のように書かれる:
![{\displaystyle {\mathcal {D}}\psi {\mathcal {D}}{\overline {\psi }}=\prod \limits _{i}da_{i}db_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d7525456ab1b08b6386d3e83b1626c50aa0f0e97)
座標に依存する無限小のカイラル変換
![{\displaystyle {\begin{aligned}\psi (x)&\to \psi ^{\prime }(x)=[1+i\alpha (x)\gamma _{d+1}]\psi (x)=\sum \limits _{i}\phi _{i}(x)a'_{i},\\{\overline {\psi }}(x)&\to {\overline {\psi }}^{\prime }(x)={\overline {\psi }}(x)[1+i\alpha (x)\gamma _{d+1}]=\sum \limits _{i}\phi _{i}^{\dagger }(x)b'_{i}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ee7f41de975a09996056e3ee2bd3017aeccff1f)
に伴う経路積分のヤコビアンは、固有ベクトルの直交性
![{\displaystyle {\begin{aligned}\left({\frac {\delta a}{\delta a'}}\right)_{ij}&=\delta _{ij}-i\int d^{d}x\;\alpha (x)\phi _{i}^{\dagger }(x)\gamma _{d+1}\phi _{j}(x)\\\left({\frac {\delta b}{\delta b'}}\right)_{ij}&=\delta _{ij}+i\int d^{d}x\;\alpha (x)\phi _{i}^{\dagger }(x)\gamma _{d+1}\phi _{j}(x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cba23a6669e2be6d363c91f3ba0df8c79c5d633)
から、
![{\displaystyle {\mathcal {D}}\psi {\mathcal {D}}{\overline {\psi }}=\prod \limits _{i}da_{i}db_{i}=\prod \limits _{i}da_{i}'db'_{i}{\det }^{-1}\left({\frac {\delta a}{\delta a'}}\right){\det }^{-1}\left({\frac {\delta b}{\delta b'}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85a6f8a15f532a365482166901d08671b3be64f5)
と計算できる。グラスマン数の積分であるため行列式の逆数が現れることに注意する。
行列式は、微小量
について次のように表せる:
![{\displaystyle {\begin{aligned}{\det }^{-1}\left({\frac {\delta a}{\delta a'}}\right){\det }^{-1}\left({\frac {\delta b}{\delta b'}}\right)&=\exp \left[-2{\rm {tr}}\ln(\delta _{ij}-i\int d^{d}x\,\alpha (x)\phi _{i}^{\dagger }(x)\gamma _{d+1}\phi _{j}(x))\right]\\&=\exp \left[2i\int d^{d}x\;\alpha (x)\phi _{i}^{\dagger }(x)\gamma _{d+1}\phi _{i}(x)\right]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0f419db5e17904b0489dfc875767260f139a121)
特に
が無限小の定数であるときを考える。上の積分は紫外発散するため、正則化を要する。藤川法では、ゲージ不変性を破らない正則化の方法として、熱核正則化を用いる:
![{\displaystyle {\begin{aligned}\int d^{d}x\;\phi _{i}^{\dagger }(x)\gamma _{d+1}\phi _{i}(x)&\to \lim \limits _{M\to \infty }\int d^{d}x\;\phi _{i}^{\dagger }(x)\gamma _{d+1}\exp(-\lambda _{i}^{2}/M^{2})\phi _{i}(x)\\&=\lim \limits _{M\to \infty }\int d^{d}x\;\phi _{i}^{\dagger }(x)\gamma _{d+1}\exp(-{D\!\!\!\!/}^{2}/M^{2})\phi _{i}(x)\\&=\lim \limits _{M\to \infty }\mathrm {Tr} [\gamma _{d+1}\exp(-{D\!\!\!\!/}^{2}/M^{2})]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61208820affc0dab96043d27e12e61093c800c04)
続いて、固有関数を平面波で展開すると、
![{\displaystyle \mathrm {Tr} [\gamma _{d+1}\exp(-{D\!\!\!\!/}^{2}/M^{2})]={\frac {i^{d/2}}{(4\pi )^{d/2}(d/2)!}}\epsilon _{\mu _{1}\cdots \mu _{d}}\mathrm {tr} F_{\mu _{1}\mu _{2}}F_{\mu _{d-1}\mu _{d}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f322ba4509f9dc111a625ecab4538e750d48a386)
を得て、カイラルアノマリーの表式
![{\displaystyle \partial _{\mu }j_{A}^{\mu }=2i{\frac {i^{d/2}}{(4\pi )^{d/2}(d/2)!}}\epsilon _{\mu _{1}\cdots \mu _{d}}\mathrm {tr} F_{\mu _{1}\mu _{2}}F_{\mu _{d-1}\mu _{d}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cf5dded40e90150a42f004282bbd8ddb6ad6c66)
が導出される。右辺には、
次元ユークリッド空間上の
-値バンドルのチャーン指標が現れる。
参考文献[編集]
- K. Fujikawa and H. Suzuki (May 2004). Path Integrals and Quantum Anomalies. Clarendon Press. ISBN 0-19-852913-9.
- S. Weinberg (2001). The Quantum Theory of Fields. Volume II: Modern Applications.. Cambridge University Press. ISBN 0-521-55002-5.