In Peskin and Schroder's Quantum field theory text (page 28, the passage below Eq. 2.53), it asserts that for a spacelike interval $(x-y)^2<0$, one can perform a Lorentz transformation taking $(x-y)\rightarrow -(x-y).$ This is argued by noting that both the points $(x-y)$ and $-(x-y)$ lies on the spacelike hyperboloid.

The specific Lorentz transformation matrix $\Lambda^{\mu}{}_{{\nu}}$ that acting on $(x-y)^\mu\equiv \Delta x^\mu$ takes it to $-\Delta x^\mu$ is given by $\Lambda=diag(-1,-1,-1,-1)$. Is that correct?

For $(\Delta x)^2\equiv \Delta x_\mu\Delta x^\mu>0$, why the Lorentz transformation $\Lambda=diag(-1,-1,-1,-1)$ will not take $\Delta x^\mu$ to $-\Delta x^\mu$?

  • 1
    $\begingroup$ Can you cite the specific passage in P&S? I suspect that either you slightly misrepresented the claim and forgot a restriction to proper orthochronous transformations, or that there's a typo here. $\endgroup$ – ACuriousMind Nov 27 '16 at 18:10
  • $\begingroup$ @ACuriousMind- I have cited the page number. If the Lorentz transformation be proper and orthochronous then the required transformation matrix that I guessed i.e., $\Lambda=diag(-1,-1,-1-1)$, is incorrect. In that case, what is the transformation matrix that will take $\Delta x^\mu$ to $-\Delta x^\mu$? $\endgroup$ – SRS Nov 27 '16 at 18:17
  • $\begingroup$ Comment to post (v2): OP misquotes P&S. P&S talk about continuous Lorentz transformations, which refer to Lorentz transformations that are connected to the identity, i.e. restricted Lorentz transformations. $\endgroup$ – Qmechanic Nov 27 '16 at 18:26

The argument given in Peskin and Schröder is at the very least confusing. The "Lorentz-invariant" measure $\frac{\mathrm{d}^3 p}{(2\pi)^3} \frac{1}{2 E_p}$ is only invariant under proper orthochronous Lorentz transformations, i.e. those continuously connected to the identity (P&S seem aware of this when they talk about a "continuous Lorentz transformation"). In particular, $E_p$ would flip the sign under your transformation and so you would not get the desired zero for the commutator from that.

What P&S presumably have in mind is this: Take a space-like vector $s$ with components $(s^0,s^1,s^2,s^3)$, where we can w.l.o.g. take $s^2 = s^3 =0$, $s^0,s^1$ positive and where "space-like" then means $s^1 > s^0$. The boost with velocity $v = 2\frac{s^0 s^1}{s_0^2 - s_1^2}$ is given by $$ \begin{pmatrix}\sqrt{1+v^2} & v \\ v & \sqrt{1+v^2}\end{pmatrix}$$ and will send $(s^0,s^1)$ to $(-s^0,-s^1)$ if and only if $(s^0)^2 - (s^1)^2 < 0$ (this is a tedious, but straightforward computation). That there is no proper orthochronous transformation doing this for a time-like vector follows directly from e.g. this earlier question of yours.

An easier argument for why $[\phi(x),\phi(y)]$ vanishes is as follows:

If $x$ and $y$ are at space-like separation, there is a proper orthochronous Lorentz transformation that sets $x^0 = y^0$, i.e. makes both events simultaneous. Then, we have that \begin{align} [\phi(x),\phi(y)] & = \int \left(\mathrm{e}^{-\mathrm{i}p(x-y)} - \mathrm{e}^{-\mathrm{i}(y-x)}\right)\frac{\mathrm{d}^3 p}{(2\pi)^3} \frac{1}{2 E_p} \\ & = \int\left( \mathrm{e}^{-\mathrm{i}\vec p (\vec x-\vec y)} - \mathrm{e}^{-\mathrm{i}\vec p(\vec y-\vec x)}\right)\frac{\mathrm{d}^3 p}{(2\pi)^3} \frac{1}{2 E_p}\end{align} and the simple integral substitution $\vec p\mapsto -\vec p$ in the second term then yields zero for the commutator. Note that we do not use "Lorentz invariance" for this substituiton, you just observe the transformation flips the integral boundaries $\int^\infty_{-\infty}$ to $\int^{-\infty}_\infty$ and that $\mathrm{d}^3 p$ also flips its sign so we get no overall sign change.

  • $\begingroup$ @ACuriousMind- Thanks for the easier and straightforward derivation. However, I want to know whether there is a proper orthochronous Lorentz transformation that will take $\Delta x^\mu$ to $-\Delta x^\mu$ as shown in the figure in page 29. And if yes, what is the corresponding proper, orthochronous Lorentz transformation matrix? And also, why does that matrix cannot take $\Delta x^\mu$ to $-\Delta x^\mu$ if $\Delta x_\mu \Delta x^\mu>0$? $\endgroup$ – SRS Nov 27 '16 at 18:35
  • $\begingroup$ @ACuriousMind- Even if the diagram 2.4 is not wrong, I have no idea how it justifies that there must exist such a continuous Lorentz transformation taking $(x-y)\rightarrow -(x-y)$. $\endgroup$ – SRS Nov 27 '16 at 18:50
  • $\begingroup$ @SRS I have edited the answer with the proper orthochronous Lorentz transformation that P&S presumably mean. $\endgroup$ – ACuriousMind Nov 27 '16 at 19:30
  • $\begingroup$ @ACuriousMind I don't know if it's bad policy to comment on an old question, but I don't understand how the matrix you exhibited is a boost. It is not of the form $$\begin{pmatrix}\gamma&-\gamma v\\ -\gamma v & \gamma \end{pmatrix}$$ $\endgroup$ – user2723984 Oct 18 '18 at 8:17

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