- #1
dmoney
- 1
- 0
I'm trying to derive the equation for the scalar product of one particle momentum eigenvectors [itex] \Psi_{p,\sigma} [/itex] ([itex] p [/itex] is the momentum eigenvalue and [itex] \sigma [/itex] represents all other degrees of freedom), in terms of the little group of the Lorentz group with elements [itex] W [/itex] that take the standard four momentum [itex] k [/itex] into itself, and is given in Weinberg's The Quantum Theory of Fields on page 66 before Eq. (2.1.14) as:
[tex]
(\Psi_{p',\sigma '},\Psi_{p,\sigma}) = N(p)N^*(p')D(W(L^{-1}(p),p'))^*_{\sigma \sigma '} \delta^3(\bold{k}'-\bold{k})
[/tex]
where
[tex]
\Psi_{p,\sigma} \equiv N(p)U(L(p))\Psi_{k,\sigma},
[/tex]
[itex] U(\Lambda) [/itex] is an element of the unitary representation of the homogenous Lorentz group that acts on state vectors, [itex] \Lambda [/itex] an arbitrary homogenous Lorentz transformation, [itex] L(p) [/itex] is the Lorentz transformation defined by [itex] p\equiv L(p)k\ [/itex] that takes [itex] k [/itex] into [itex] p [/itex], [itex] k' \equiv L^{-1}(p)p' [/itex], [tex] W(\Lambda,p)\equiv L^{-1}(\Lambda p)\Lambda L(p) [/tex], and the [itex] D_{\sigma\sigma '} [/itex] form a representation of the Little group with action on an eigenvector of the standard four momentum:
[tex]
U(W)\Psi_{k,\sigma} = \sum_{\sigma '}D_{\sigma '\sigma}(W)\Psi_{k,\sigma '}
[/tex].
which I use in the following derivation
[tex]
(\Psi_{p',\sigma '},\Psi_{p,\sigma})=N(p)(\Psi_{p',\sigma '},U(L(p))\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)(U^\dagger (L(p)))\Psi_{p',\sigma '},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)(U^{-1}(L(p))\Psi_{p',\sigma '},\Psi_{k,\sigma}))
[/tex]
[tex]
=N(p)(U(L^{-1}(p))\Psi_{p',\sigma '},\Psi_{k,\sigma}))
[/tex]
[tex]
=N(p)N^*(p')(U(L^{-1}(p))U(L(p'))\Psi_{k,\sigma '},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)N^*(p')(U(L^{-1}(p)L(p'))\Psi_{k,\sigma '},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)N^*(p')(\sum_{\sigma ''}D(L^{-1}(p)L(p'))\Psi_{k,\sigma ''},\Psi_{k,\sigma})
[/tex]
Now
[tex]
W(L^{-1}(p),p')=L^{-1}(L^{-1}(p)p')L^{-1}(p)L(p')
[/tex]
which if it were equal to [itex] L^{-1}(p)L(p') [/itex] would allow me to continue the derivation as
[tex]
=N(p)N^*(p')(\sum_{\sigma ''}D(W(L^{-1}(p),p'))\Psi_{k,\sigma ''},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)N^*(p')D(W(L^{-1}(p),p'))^*_{\sigma \sigma '}\delta^3({\bold{k'}-\bold{k})
[/tex]
Where did I go wrong?
[tex]
(\Psi_{p',\sigma '},\Psi_{p,\sigma}) = N(p)N^*(p')D(W(L^{-1}(p),p'))^*_{\sigma \sigma '} \delta^3(\bold{k}'-\bold{k})
[/tex]
where
[tex]
\Psi_{p,\sigma} \equiv N(p)U(L(p))\Psi_{k,\sigma},
[/tex]
[itex] U(\Lambda) [/itex] is an element of the unitary representation of the homogenous Lorentz group that acts on state vectors, [itex] \Lambda [/itex] an arbitrary homogenous Lorentz transformation, [itex] L(p) [/itex] is the Lorentz transformation defined by [itex] p\equiv L(p)k\ [/itex] that takes [itex] k [/itex] into [itex] p [/itex], [itex] k' \equiv L^{-1}(p)p' [/itex], [tex] W(\Lambda,p)\equiv L^{-1}(\Lambda p)\Lambda L(p) [/tex], and the [itex] D_{\sigma\sigma '} [/itex] form a representation of the Little group with action on an eigenvector of the standard four momentum:
[tex]
U(W)\Psi_{k,\sigma} = \sum_{\sigma '}D_{\sigma '\sigma}(W)\Psi_{k,\sigma '}
[/tex].
which I use in the following derivation
[tex]
(\Psi_{p',\sigma '},\Psi_{p,\sigma})=N(p)(\Psi_{p',\sigma '},U(L(p))\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)(U^\dagger (L(p)))\Psi_{p',\sigma '},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)(U^{-1}(L(p))\Psi_{p',\sigma '},\Psi_{k,\sigma}))
[/tex]
[tex]
=N(p)(U(L^{-1}(p))\Psi_{p',\sigma '},\Psi_{k,\sigma}))
[/tex]
[tex]
=N(p)N^*(p')(U(L^{-1}(p))U(L(p'))\Psi_{k,\sigma '},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)N^*(p')(U(L^{-1}(p)L(p'))\Psi_{k,\sigma '},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)N^*(p')(\sum_{\sigma ''}D(L^{-1}(p)L(p'))\Psi_{k,\sigma ''},\Psi_{k,\sigma})
[/tex]
Now
[tex]
W(L^{-1}(p),p')=L^{-1}(L^{-1}(p)p')L^{-1}(p)L(p')
[/tex]
which if it were equal to [itex] L^{-1}(p)L(p') [/itex] would allow me to continue the derivation as
[tex]
=N(p)N^*(p')(\sum_{\sigma ''}D(W(L^{-1}(p),p'))\Psi_{k,\sigma ''},\Psi_{k,\sigma})
[/tex]
[tex]
=N(p)N^*(p')D(W(L^{-1}(p),p'))^*_{\sigma \sigma '}\delta^3({\bold{k'}-\bold{k})
[/tex]
Where did I go wrong?
Last edited: