Below are two statements from my notes and I am trying to verify them explicitly. In both cases the fields are assumed to transform under the fundamental representation of $O(N)$ -
--'The kinetic term for a Dirac spinor is invariant under the symmetry group $U(N) \otimes U(N)$'.
I considered the case of a Weyl spinor first. This has a kinetic term $i \bar \phi_R \gamma^{\mu} \partial_{\mu} \phi_R$ and if $\phi_R \rightarrow U \phi_R$ then $i \bar \phi_R \gamma^{\mu} \partial_{\mu} \phi_R \rightarrow i\phi^{\dagger}_R U^{\dagger} \gamma_0 \gamma^{\mu} \partial_{\mu} U \phi $. Because $U$ and the gamma matrices act on different spaces, can I just shift the $U$ to the $U^{\dagger}$ and then using $UU^{\dagger}=1$ get the result? The $U(N) \otimes U(N)$ for the Dirac spinors comes about from decomposing a Dirac spinor into its left and right handed components each of which transforms under a 'left handed fundamental representation' or 'right handed fundamental representation' so could write the symmetry group as $U_L(N) \otimes U_R(N)$ (correct if mistaken).
--'If $T_a$ are the generators of $O(N)$, the bilinears $\phi^T T^a \phi$ transform according to the adjoint representation.'
I'm just wondering do generators always transform in the adjoint representation themselves? I read on here in another thread that the adjoint representation can be thought of as the representation anchored at the identity so if anyone could shed some light on this statement that'd be great.
Answer
Yes, the first part of your question is appreciated and answered soundly. The fermion kinetic term splits into two independent parts involving left and right Weyl spinors respectively, so each is independent under a separate U(N) as your wrote down.
The second question is a matter of language. A generator is a matrix with one adjoint index, a here, ranging over the dimension of the Lie algebra, so "universal" as per your question; and two indices each corresponding to its representation, e.g. i,j, the matrix indices, ranging over the dimension of that particular representation. It is an operator of the representation, acting on vectors of it, such as your φ. If your φ is in the fundamental, for instance, T will act on it as $\phi_i\mapsto T^a_{ij} \phi_j$, all in the fundamental. Dotting this with another vector, φ will yield a scalar in the fundamental, your expression, with a loose index a of the adjoint, so, then a vector in the adjoint. Always in the adjoint, regardless of what irrep φ you started with, as long as you used the suitable representation matrices for that generator.
To rotate this vector under O(N), you'll have to act on it with the Lie algebra structure constants, which are the operators T in the adjoint, so, analogously, $\phi^T T^a \phi\mapsto i f_{abc}~\phi^T T^c \phi$. For instance, for O(3) the generators are the familiar vector spin matrices $i\epsilon_{abc}$s.
No comments:
Post a Comment