Hello all, I missed a whole lot of this conversation, but I'm delighted to see the group's thoughts on this topic.
Regarding this point which seemed to be left open...
hamster143 said:
That means that states do not transform in a trivial way.
To compute the outcome after a boost, we have to compute the wavefunction on the "new" hypersurface from the wavefunction on the "old" hypersurface. To do that, we need dynamics of the field and the exact Hamiltonian.
To correct my earlier remark, I think that the transformation law is still a unitary representation, but it's not like any usual representations we normally see.
I agree with this point, and even better, I'll provide the representation for the free Dirac field.
<br />
\begin{align}<br />
\mathcal{P}_j &= \partial_j \\<br />
\mathcal{J}_j &= -\epsilon_{jkl}x_k \partial_l + J_j \\<br />
\mathcal{P}_0 &= -iH = -\alpha_k \partial_k -i\beta m \\<br />
\mathcal{K}_j &= x_j \mathcal{P}_0 + K_j <br />
= -x_j \alpha_k \partial_k -ix_j \beta m + K_j<br />
\end{align}<br />
These should be regarded as operators on the single-particle state space L^2(\mathbb{R}^3,\mathbb{C}^4), i.e. square-integrable Dirac amplitudes as a function of space. Here J_j and K_j are the local part transforming the spin-amplitudes,
<br />
J_j = \frac{-1}{2}\begin{pmatrix} <br />
i\sigma_j & 0 \\<br />
0 & i\sigma_j<br />
\end{pmatrix}, \qquad<br />
K_j = \frac{1}{2}\begin{pmatrix} <br />
\sigma_j & 0 \\<br />
0 & -\sigma_j<br />
\end{pmatrix}<br />
The basic idea is that the generator of time translations is the (free) Dirac hamiltonian, and this must be complemented with three boost generators \mathcal{K}_j so that the set of ten provides a rep of the Poincare algebra... for example,
<br />
\begin{align*}<br />
[\mathcal{P}_i,\mathcal{K}_j] <br />
&= [\partial_i, x_j\mathcal{P}_0 + K_j] \\<br />
&= [\partial_i, x_j\mathcal{P}_0] \\<br />
&= [\partial_i, x_j] \mathcal{P}_0 \\<br />
&= \delta_{ij} \mathcal{P}_0<br />
\end{align*}<br />
as required; all the other commutators can be computed with a little effort and agree with the standard results of e.g. Foldy 1956 or Weinberg's text. Integrating the \mathcal{K}_j (i.e. solving the corresponding PDE) would provide the correspondence between amplitudes in different inertial frames, just as integrating \mathcal{P}_0 provides the correspondence between amplitudes at different times. As @hamster143 noted, the boost operators are intimately related to the dynamics.
Moreover, this is a unitary representation: all of the expressions (1-4) are anti-Hermitian with respect to the standard norm on L^2, so they exponentiate to unitaries. As far as I know this is unique to the Dirac system: spin-one and scalar KG admit Poincare reps, but fail to be unitary.
These expressions show that the probabilistic interpretation of a one-particle *fermion* configuration space is relativistically covariant, with the function space L^2 providing a concrete realisation of state space. Not sure how things work in the photon sector though... obviously a big sticking point.
Any thoughts?
Dave