物理学 › 場の量子論 › 非可換ゲージ理論の量子化

BRST 変換のべき零性と不変性

定理 4.2（「非可換ゲージ理論の量子化」§4）・ ✓公理まで証明済み

定義 4.1 の $s$ は、すべての場の上で $s^2=0$ を満たします。さらに $\Psi=\bar c^a\big(\frac\xi2B^a+\partial^\mu A^a_\mu\big)$ と置くと

\mathcal L_{\mathrm{eff}}=\mathcal L_{\mathrm{inv}}+s\Psi,\qquad s\mathcal L_{\mathrm{eff}}=0

です。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

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

前提をたどる証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

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

BRST の Ward 恒等式✓命題 4.8・非可換ゲージ理論の量子化

関連するノック 2 問