# Irreducible Representations Of Lorentz Group

In Weinberg's The Theory of Quantum Fields Volume 1, he considers classification one-particle states under inhomogeneous Lorentz group. My question only considers pages 62-64.

He define states as $P^{\mu} |p,\sigma\rangle = p^{\mu} |p,\sigma\rangle$, where $\sigma$ is any other label. Then he shows that, for a Lorentz Transformation : $$P^{\mu}U(\Lambda)|p,\sigma\rangle = \Lambda^{\mu}_{\rho} p^{\rho}U(\Lambda)|p,\sigma\rangle$$ Therefore: $$U(\Lambda)|p,\sigma\rangle = \sum_{\sigma'} C_{\sigma' \sigma}(\Lambda,p)|\Lambda p,\sigma'\rangle.$$ Then he wants to find $C$ in irreducible representations of the inhomogeneous Lorentz group. For any $m$ he chooses a $k$ such that $k^{\mu}k_{\mu} = - m^2$. Then defines express $p$'s with mass m, according to $p^{\mu} = L^{\mu}_{v}(p)k^v$.

Then he defines $$|p,\sigma\rangle = N(p)U(L(p))|k,\sigma\rangle$$ (where $N(p)$ are normalization constants). I didn't understand this last statement. Is $\sigma$ an eigenvalue of the corresponding operator, or just a label? I mean, if $J |k,\sigma \rangle = \sigma |k,\sigma\rangle$ then is it true, $J |p,\sigma\rangle = \sigma |p,\sigma\rangle$. If so how can we say that if $$U(\Lambda)|k,\sigma\rangle = \sum_{\sigma'} C_{\sigma' \sigma}(\Lambda,k)|\Lambda k=p,\sigma'\rangle$$

Thanks for any help. First pages of these notes on General Relativity from Lorentz Invariance are very similar to Weinberg's book.

For Poincaré algebra there are (as far as I know) two different approaches to find its representations. In the first approach one begins from a finite dimensional representation of (complexified) Lorentz algebra, and using it one constructs a representation on the space of some fields on Minkowski space. Representation so obtained is usually not irreducible and an irreducible representation is obtained from it through some differential equation. E.g. space of massive Dirac fields satisfying Dirac equation form an irreducible representation of Poincaré group (added later : last statement is not quite correct).

Another approach is to find (irreducible, unitary) Hilbert space representation of identity component of Poincaré algebra by so called "Little group method". This is what Weinberg is doing in pages 62-64 in volume 1 of his QFT book. Idea of this approach is following --

In momentum space fix a hyperboloid $S_m=\{p|p^2=m^2,p_0 \geq 0\}$ corresponding to a given (nonnegative) mass $m$. (note : here I am using signature $(1,-1,-1,-1)$)

Choose a 4-momentum $k$ on $S_m$. Let $G_k$ be the maximal subgroup of (the identity component) of the Lorentz group such that $G_k$ fixes $k$. i.e. for each Lorentz transformation $\Lambda\in G_k$ we have $\Lambda k=k$. $G_k$ is called little group corresponding to 4-momentum $k$.

Let $V_k$ be a fixed finite dimensional irreducible representation of $G_k$ (or double cover of $G_k$)$^{**}$. Fix a basis of this vector space $|k,1\rangle,|k,2\rangle,\ldots,|k,n\rangle$ where $n$ is (complex) dimension of $V_k$ {note that $k$ is a fixed vector, and not a variable.}

Now for every other $p\in S_m$ introduce a vector space $V_p$ which is spanned by the basis $|p,1\rangle,|p,2\rangle,\ldots,|p,n\rangle\;.$

Hilbert space representation of (the identity component of) the Poincaré group is now constructed by gluing these vector spaces $V_p$'s together. This is done as follows :-

i) Define $H$ to be direct sum of $V_p$'s.

ii) For every $p\in S_m$ fix a Lorentz transformation $L_p$ that takes you from $k$ to $p$, i.e. $L_p(k)=p$. Also fix a number $N(p)$ (this is used for fixing suitable normalization for the basis states). In particular, take $L_k=I$.

iii) Define operator $U(L_p)$ corresponding to $L_p$ on $V_k$ as :-

$U(L_p)|k,\sigma\rangle =N(p)^{-1}|p,\sigma\rangle,\:\sigma=1,\ldots,n\tag1$

This only defines action of $L_p$'s on subspace $V_k$ of $H$. But in fact this definition uniquely extends to the action of whole of (identity component of) Poincaré group on the whole of $H$ as follows --

Suppose $\Lambda$ be ANY Lorentz transformation in the identity component of the Lorentz group, and $|p,\sigma\rangle$ be any basis state. Then (all the following steps are from Weinberg's book):

\begin{align}U(\Lambda)|p,\sigma\rangle &= N(p) U(\Lambda) U(L_p)|k,\sigma\rangle\,\,\,\,\,\, \textrm{using def. (1)}\\ &= N(p) U(\Lambda.L_p)|k,\sigma\rangle \,\,\,\, \textrm{(from requiring}\,\, U(\Lambda) U(L_p)=U(\Lambda.L_p))\\ &= N(p) U(L_{\Lambda p}.L_{\Lambda p}^{-1}.\Lambda.L_p)|k,\sigma\rangle\\ &= N(p) U(L_{\Lambda p})U(L_{\Lambda p}^{-1}.\Lambda.L_p)|k,\sigma\rangle\;.\end{align}

Now note that $L_{\Lambda p}^{-1}.\Lambda.L_p$ is an element of $G_k$ {check it} and $V_k$ is irreducible representation of $G_k$. So $U(L_{\Lambda p}^{-1}.\Lambda.L_p)|k,\sigma\rangle$ is again in $V_k$; and from (1) we know how $U(L_{\Lambda p})$ acts on $V_k$; thus we know what is $U(\Lambda)|p,\sigma\rangle\;.$

Summarizing, the idea of little group method is to construct irreducible Hilbert space representations of the identity component of Poincare group starting from finite dimensional irreducible representations of the Little group corresponding to a fixed four momenta.

$^{**}$ If $V_k$ is not a proper representation of $G_k$ but is a representation of the double cover $\mathcal{G}_k$ of $G_k$ then we'll also need to specify a section $G_k\to \mathcal{G}_k$ of the covering map so that we know how $G_k$ acts on $V_k$.

• Comments are not for extended discussion; this conversation has been moved to chat. Mar 18, 2017 at 13:54

With respect to the discussion of momentum-eigenstates and the following derivation in Weinberg's book, $\sigma$ is just a label that denotes any degree of freedom that is not momentum. Even though it can be identified with spin, its nature is not relevant for the discussion at hand.

• Thanks for your comment, I know that he uses $\sigma$ for anything other than momentum but my question don't have anything to do with spin, I used $J |p,\sigma\rangle = \sigma |p,\sigma\rangle$ for any observable. I ask if this relation is true after definition of $|p,\sigma\rangle = N(p)U(L(p))|k,\sigma\rangle$.
– hans
May 7, 2013 at 14:16
• Yes, it's true. The $\sigma$ are eigenvalues of some operators that commute with the $P$ operators. It wouldn't make any sense to use them to label eigenkets otherwise. May 7, 2013 at 20:48
• @user1504 But in this notes link, he says that (at page 2 between (7) and (8) ) $\sigma$ is not an eigenvalue of $J_z$ for $p \neq 0$.
– hans
May 7, 2013 at 21:29
• That doesn't contradict anything I said. It doesn't have to be the eigenvalue of $J_z$. May 7, 2013 at 21:55
• But it is an eigenvalue of $J_z$ for $|k,\sigma>$. I mean the operator does not important here, in the link it says that for some operator $J$ $J |k,\sigma\rangle = \sigma |k,\sigma\rangle$ but $J |p \neq k, \sigma\rangle \neq \sigma |p \neq k, \sigma\rangle$.
– hans
May 7, 2013 at 22:14