En el capítulo 6.2 de la obra de Weinberg QFT Vol.1 dio la forma general de las contracciones de Wick de todos los campos posibles (escalar, espinor, vectorial, etc.), demostró que
$$\Delta_{lm}(x,y)=\theta(x-y)P^{(L)}_{lm}\left(-i\frac{\partial}{\partial x}\right)\Delta_+(x-y) +\theta(y-x)P^{(L)}_{lm}\left(-i\frac{\partial}{\partial x}\right)\Delta_+(y-x)\tag{6.2.8}$$
donde $$\Delta_+(x)=\int d^3p(2p^0)^{-1}e^{ip\cdot x},$$ et $P^{(L)}_{lm}$ es un polinomio covariante si su argumento es un 4-momento on-shell (es decir. $P^{(L)}_{lm}(\sqrt{\mathbf{p^2}+m^2},\mathbf{p})$ ), pero puede no ser covariante para el 4-momento fuera de la envoltura.
Entonces, por una serie de identidades matemáticas, fue capaz de demostrar $\Delta_{mn}(x,y)$ puede escribirse en una integral de 4 momentos:
$$\Delta_{lm}(x,y)=\int d^4q\frac{P^{(L)}_{lm}(q)\exp(iq\cdot (x-y))}{q^2+m^2-i\epsilon}\tag{6.2.18}$$
A partir de aquí argumentó ya que el 4-momentum $q$ en $(6.2.18)$ no siempre es on-shell, $P^{(L)}_{lm}$ puede no ser covariante, y a su vez el $\Delta_{mn}(x,y)$ puede no ser covariante. Efectivamente no lo es para un campo vectorial como lo que mostró inmediatamente después, y por eso necesitamos añadir un término no covariante en el Hamiltoniano para hacer el propagador covariante ect.etc.
Seguí los pasos que me indicó, pero me ocurrió algo extraño cuando volví a mirar la expresión $(6.2.8)$ : $(6.2.8)$ parece completamente covariante, ya que $\theta$ es invariable, $\Delta_+$ es invariante y se escribe en integral de 3 momentos de forma que $P^{(L)}_{lm}(-i\frac{\partial}{\partial x})\Delta_+(x-y)$ debe ser covariante, sin embargo $(6.2.18)$ -que se supone que equivale a $(6.2.8)$ - no es covariante. Me pregunto si hay alguna sutileza que me perdí.
También hay otro misterio para mí: en el capítulo 3.5 (página 144), dio una prueba perturbativa de la invariancia de Lorentz basada en las series de Dyson, la invariancia de la densidad hamiltoniana y la condición de microcausalidad, y mencionó que la invariancia de Lorentz podría verse perturbada por los razonamientos dados en el capítulo 6.2, pero la prueba en el capítulo 3.5 es completamente formal y no puedo ver exactamente cómo los razonamientos en 6.2 pueden ponerla en peligro.
(PD: Ojalá hubiera podido formular mi pregunta de forma más autocontenida, pero no he podido a menos que copiara algunas páginas enteras de Weinberg, así que pido disculpas por la posible vaguedad de antemano).
1 votos
La expresión 6.2.18 está escrita para un valor generalmente off-shell de $P_{lm}$ pero si se rastrea, está claro que la expresión original no dependía de $P_{lm}$ en los momentos fuera de la cáscara por lo que el final (6.2.18) no puede, tampoco. Es una derivación rápida con trampa, pero la expresión final es correcta si además incorporas los comentarios que hay debajo de (6.2.18), que en realidad te dicen cómo funciona el $P_{lm}$ debe definirse lejos de la envoltura de masa para que funcione... En efecto, la demostración de 3.5 es "formal", que es lo mismo que "ingenua", y al intentar hacerla explícita, a veces hay sutilezas.
1 votos
@LubošMotl: ¿Podrías detallar un poco más lo de "Es una derivación rápida con trampa pero la expresión final es correcta si además incorporas ..."? Si después de la integración (6.2.18) realmente no recibe contribución de los momentos fuera de la envoltura, ¿no debería (6.2.18) ser simplemente covariante (aunque no manifiestamente)? No entiendo muy bien cómo el comentario que sigue a (6.2.18) puede hacer que no sea covariante. En cuanto a la prueba del capítulo 3.5, estoy totalmente de acuerdo con lo que dices, pero sólo quiero ver exactamente en qué paso falla esta derivación formal e ingenua.