Deje $\psi(x)$ a ser el campo de la electrónica. Su transformada de Fourier en dos puntos de la función lee $$ \langle\psi\bar\psi\rangle=\frac{1}{\no p-m-\Sigma(\p)}. $$
Si calculamos $\Sigma(\not p)$, se observa que depende del calibre del parámetro $\xi$, lo que en principio no es un problema porque $\Sigma(\not p)$ no es observable por sí mismo.
Pero si pensamos en un medidor de transformación como la toma de $\psi\to\mathrm e^{i\alpha(x)}\psi(x)$, luego de dos puntos a la función que debe cumplir $$ \langle\psi\bar\psi\rangle\a \langle\psi\mathrm e^{i\alpha(x)}\mathrm e^{-i\alpha(x)}\bar\psi\rangle=\langle\psi\bar\psi\rangle $$
Por lo tanto, sería de esperar ingenuamente $\Sigma(\not p)$ a ser invariante gauge, y por lo tanto no debería depender de las $\xi$. ¿Cuál es la solución a esta contradicción? ¿Por qué nuestras expectativas no?