Consideremos una teoría de campo escalar invariante de Poincare. Supongamos que tenemos garantizada la invariabilidad de Poincare en el sentido de que existe una representación unitaria del grupo de Poincare que actúa sobre el espacio de Hilbert, que transforma el operador de campo escalar $\phi(x)$ como $$U(g)\phi(x)U(g)^\dagger = \phi(g x)$$ para los elementos $g$ del grupo de Poincare.
Consideremos dos puntos separados en el espacio $x,y$ . Queremos mostrar $$[\phi(x),\phi(y)]\overset{?}{=}0.$$ Por otro lado, sabemos que para dos puntos cualesquiera $x'=(0,\vec{x}')$ y $y'=(0,\vec{y}')$ en el momento $t=0$ tenemos $$[\phi(0,\vec{x}'),\phi(0,\vec{y}')] = 0,$$ lo que se deduce inmediatamente de la perspectiva de la función de onda o de la red; por ejemplo, en una teoría de la red los operadores $\phi(0,\vec{x}')$ y $\phi(0,\vec{y}')$ actúan en diferentes sitios de la red y por lo tanto conmutan.
Este es el paso clave: Obsérvese que para cualquier espacio similar a $x,y$ existe alguna transformación de Poincare $g$ tomando $x,y$ a $x',y'$ es decir, transformando a un marco donde ambos puntos están en $t=0$ . Así que entonces $$U(g)[\phi(x),\phi(y)]U(g^{-1}) =[\phi(0,\vec{x}'),\phi(0,\vec{y}')] = 0$$ y por lo tanto $[\phi(x),\phi(y)]=0$ como se desee.
(En otra respuesta Pedro Ribeiro menciona teorías invariantes de Lorentz que no son microcausales, y no estoy seguro de cómo éstas violan mis supuestos).