物理学 › 場の量子論 › 次元正則化とくりこみ群

ln det の極:軌道部分とスピン部分

補題 5.3(「次元正則化とくりこみ群」§5) ・ ✓公理まで証明済み

表現 rr の内部添字と、d(j)d(j) 成分の「スピン」添字をもつ場に作用する演算子

Δr,j=−Dˉ2⊗1d(j)+gFˉρσa tra⊗Jρσ\Delta_{r,j}=-\bar D^2\otimes\mathbf 1_{d(j)}+g\bar F^a_{\rho\sigma}\,t^a_r\otimes\mathcal J^{\rho\sigma}

を考えます。Jρσ=−Jσρ\mathcal J^{\rho\sigma}=-\mathcal J^{\sigma\rho} は d(j)d(j) 次の定数行列で、tr Jρσ=0\mathrm{tr}\,\mathcal J^{\rho\sigma}=0、tr(JρσJλτ)=C(j)(δρλδστ−δρτδσλ)\mathrm{tr}(\mathcal J^{\rho\sigma}\mathcal J^{\lambda\tau})=C(j)\big(\delta_{\rho\lambda}\delta_{\sigma\tau}-\delta_{\rho\tau}\delta_{\sigma\lambda}\big) を満たすとします。このとき d=4−εd=4-\varepsilon の次元正則化で、ln⁡det⁡Δr,j\ln\det\Delta_{r,j} の Aˉ\bar A の 2 次の部分の極は

ln⁡det⁡Δr,j∣極=g2C(r)16π2⋅2ε(d(j)3−4C(j))⋅14∫ddx FˉμνaFˉμνa\ln\det\Delta_{r,j}\Big|_{\text{極}}=\frac{g^2C(r)}{16\pi^2}\cdot\frac2\varepsilon\Big(\frac{d(j)}{3}-4C(j)\Big)\cdot\frac14\int d^dx\,\bar F^a_{\mu\nu}\bar F^a_{\mu\nu}

です。

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

閉包の状態

✓ 公理まで証明済み

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

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

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

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

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