3
$\begingroup$

Let us consider the $(j, j') = \left(\frac{1}{2}, 0\right)$ representation of $SO(1, 3)\cong SU(2) \otimes SU(2)$.

$j = \frac{1}{2}$ corresponds to $SU(2)$ generated by

$$ \tag{1} N_i^+ = \frac{1}{2} \left(J_i + i K_i\right); \quad i =1, 2, 3. $$

$j' = 0$ corresponds to $SU(2)$ generated by

$$ N_i^- = \frac{1}{2} \left(J_i - i K_i\right); \quad i =1, 2, 3. $$

For $j' = 0$ representation of $SU(2)$, the generators $$ \tag {2}N_i^- = [0] = 0 \Rightarrow J_i = iK_i$$

Eq.(1) then implies that $$ \tag{3} N_i^+ = \frac{1}{2}(iK_i + iK_i) = iK_i = \frac{1}{2} \sigma_i;$$ where the Pauli matrices $\sigma_i$ are the generators of $SU(2)$ for $j = \frac{1}{2}$.

Therefore $K_i = \frac{-i}{2} \sigma_i$, $J_i = i K_i = \frac{1}{2} \sigma_i$ and an element of $\left(\frac{1}{2} , 0\right) = \exp\left(i \vec{\theta} \cdot \vec{J} + \vec{\phi} \cdot \vec{K} \right)$.

My Question: In Eq. (2), $ \quad N_i^-$, $J_i$ and $K_i$ all are $1 \times 1$ matrices. Then how can we substitute $J_i = iK_i$ in Eq. (3), where $N_i^+$ is a $2 \times 2$ matrix? Addition of a number with a $2 \times 2$ matrix is not possible.

Inspiration: This question is inspired by the derivation provided in the book named "Symmetry and the Standard Model" by Matthew Robinson (page: 122).

$\endgroup$
  • $\begingroup$ Why are they $1\times 1$ matrices? $\endgroup$ – snulty Jul 21 '16 at 16:13
  • $\begingroup$ Because the vector space is $1$ dimensional. Also, the j representation of $SU(2)$ is made up of $(2j + 1) \times (2j+1)$ matrices. $\endgroup$ – omehoque Jul 21 '16 at 16:20
  • $\begingroup$ Related: physics.stackexchange.com/q/149455/2451 and links therein. $\endgroup$ – Qmechanic Jul 21 '16 at 17:50
  • $\begingroup$ @far.westerner Why would the vector space be 1-dimensional? $\endgroup$ – gented Nov 9 '16 at 23:50
7
$\begingroup$

This is what happens when physicists try to do group theory but don't bother introducing the proper mathematical notions.

  1. There is no isomorphism between $\mathrm{SO}(1,3)$ and $\mathrm{SU}(2)\times\mathrm{SU}(2)$, the former is non-compact, the latter is compact. More around this apparently confusing topic can be found in this answer. Furthermore, using the tensor symbol $\otimes$ is wrong, the product is a direct product, not a tensor product, of groups, see also this question.

  2. What is true is that there is an equivalence of finite-dimensional representations of the algebras $\mathfrak{so}(1,3)$ and $\mathfrak{su}(2)\oplus\mathfrak{su}(2)$, the latter is the compact real form of the complexification of the former. Indeed, the map between them is given by using $N_i^\pm = \frac{1}{2}(J_i \pm\mathrm{i}K_i)$ as the basis of the latter in terms of the basis $J_i,K_i$ of the former. This is also not an isomorphism of Lie algebras, it is just the case that the finite-dimensional representations of these algebras are equivalent.

  3. The argument in the bit that confuses you is supposed to go as follows: You are given the $(1/2,0)$ representation $\rho : \mathfrak{su}(2)\oplus\mathfrak{su}(2)\to\mathfrak{gl}(\mathbb{C}^2)$. Since $\rho$, as a representation, is a Lie algebra homomorphism, you know that $\rho(N_i^-) = 0$ implies $\rho(J_i) = \mathrm{i}\rho(K_i)$. Here, all matrices $N_i^-,J_i,K_i,0$ matrices are two-dimensional matrices on $\mathbb{C}^2$. You know that $\rho(N_i^-) = 0$ as two-dimensional matrices because of how the $(s_1,s_2)$ representation is defined: Take the individual representations $\rho^+ : \mathfrak{su}(2)\to\mathfrak{gl}(\mathbb{C}^{2s_1+1})$ and $\rho^- : \mathfrak{su}(2)\to\mathfrak{gl}(\mathbb{C}^{2s_2+1})$ and define the total representation map by $$ \rho : \mathfrak{su}(2)\oplus\mathfrak{su}(2)\to\mathfrak{gl}(\mathbb{C}^{2s_1+1}\otimes\mathbb{C}^{2s_2+1}), h\mapsto \rho^+(h)\otimes 1 + 1 \otimes \rho^-(h)$$ where I really mean the tensor product of vector spaces with $\otimes$. For $s_1 = 1/2,s_2 = 0$, this is a two-dimensional representation where $\rho^-$ is identically zero - and the zero is the two-dimensional zero matrix in the two-by-two matrices $\mathfrak{gl}(\mathbb{C}^2)$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.