物理学 › 場の量子論 › アノマリーとインスタントン

ABJ アノマリー(藤川の方法による導出)

定理 3.1(「アノマリーとインスタントン」§3) ・ ✓公理まで証明済み

質量 mm の Dirac 場が、ゲージ群の表現 rr で Dμ=∂μ−igAμataD_\mu=\partial_\mu-igA^a_\mu t^a によりゲージ場(動的でも外場でもよい)に結合しているとします。フェルミオンの経路積分の測度を、D̸\not D の固有モードについてゲージ不変な減衰因子 e(iD̸)2/M2e^{(i\not D)^2/M^2}(M→∞M\to\infty)で正則化すると、軸性カレント jμ5=ψˉγμγ5ψj^{\mu5}=\bar\psi\gamma^\mu\gamma^5\psi は相関関数の中で

∂μjμ5=2im ψˉγ5ψ−g216π2ϵαβμν trr(FαβFμν)=2im ψˉγ5ψ−g2C(r)16π2ϵαβμνFαβaFμνa\partial_\mu j^{\mu5}=2im\,\bar\psi\gamma^5\psi-\frac{g^2}{16\pi^2}\epsilon^{\alpha\beta\mu\nu}\,\mathrm{tr}_r\big(F_{\alpha\beta}F_{\mu\nu}\big)=2im\,\bar\psi\gamma^5\psi-\frac{g^2C(r)}{16\pi^2}\epsilon^{\alpha\beta\mu\nu}F^a_{\alpha\beta}F^a_{\mu\nu}

を満たします(Fμν=FμνataF_{\mu\nu}=F^a_{\mu\nu}t^a)。QED(Dμ=∂μ+ieAμD_\mu=\partial_\mu+ieA_\mu)では gt→−egt\to-e と置き換えて ∂μjμ5=2imψˉγ5ψ−e216π2ϵαβμνFαβFμν\partial_\mu j^{\mu5}=2im\bar\psi\gamma^5\psi-\frac{e^2}{16\pi^2}\epsilon^{\alpha\beta\mu\nu}F_{\alpha\beta}F_{\mu\nu} で、これが 定理 6.2[非可換ゲージ理論の量子化] です。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 3 件、定義なども含めて 3 件)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義(直接 2 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理 証明で参照している 4 件