En el capítulo 15.2 de Peskin, el comparador se define, como algún objeto $U\left(y,\,x\right)$ que se transforma a medida: $$ U\left(y,\,x\right) \mapsto V\left(y\right) U\left(y,\,x\right) \left[V\left(x\right)^\dagger\right] $$
donde $V\left(x\right)\in SU\left(2\right)^{\mathbb{R}^4}$.
Este objeto se introdujo principalmente con el fin de ser capaz de definir la derivada covariante, pero su principal propiedad definitoria es que el Fermión de campo se transforma entonces como:
$$ U\left(y,\,x\right)\psi\left(x\right)\mapsto V\left(y\right)U\left(y,\,x\right)\psi\left(x\right)$$ así que, básicamente, tienen una manera de hacer el Fermión campo de transformar, como si se tratara de a $y$ en lugar de al $x$.
En algún momento Peskin estados es razonable que este comparador de ser unitario. Mi pregunta es ¿por qué? Lo que se rompe, y donde, si no asumimos que?
