Canonical Quantization of Scalar Fields — Mark Srednicki
Physics — QFT · covariant-derivative-product-rule
Problem
Consider a field φi in the representation R1 and a field χI in the representation R2. Their product φiχI is then in the direct product representation R1⊗R2, with generator matrices given by eq. (70.13).
a) Prove the distribution rule for the covariant derivative,
[Dμ(φχ)]iI=(Dμφ)iχI+φi(Dμχ)I.(70.38)
b) Consider a field φi in the complex representation R. Show that
∂μ(φ†iφi)=(Dμφ†)iφi+φ†i(Dμφ)i.(70.39)
Explain why this is a special case of eq. (70.38).