En el capítulo 6.2 de QFT Vol.1 de Weinberg , dio la forma general de las contracciones de Wick de todos los campos posibles (escalares, espinores, vectoriales, etc.), mostró
dónde
Luego, mediante una serie de identidades matemáticas, pudo demostrar se puede escribir en una integral de 4 momentos:
A partir de aquí argumentó desde el 4-momentum en no siempre está en el caparazón, puede no ser covariante, y a su vez la puede no ser covariante. De hecho, no es para un campo vectorial como lo que mostró inmediatamente después, y es por eso que necesitamos agregar un término no covariante en el hamiltoniano para hacer que el propagador sea covariante, etc.
Seguí los pasos que me mostró, pero se me ocurrió algo extraño cuando volví a mirar la expresión. : parece completamente covariante, ya que es invariante, es invariante y se escribe en integral de 3 momentos de modo que debe ser covariante, sin embargo -que se supone que es equivalente a - 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 la serie 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 la razonamientos dados en el capítulo 6.2, pero la demostración 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: Desearía haber formulado mi pregunta de una manera más independiente, pero no pude a menos que copiara algunas páginas completas de Weinberg, así que me disculpo por la vaguedad potencial de antemano)
No sé si el cartel todavía está interesado en esta pregunta. De todos modos, aquí están mis dos centavos.
sin presentar , solo considere el caso masivo de espín uno y use E.(6.2.6) en la Ec.(6.2.8).
La ecuación (6.2.6) se puede escribir como dónde es proporcional a .
Siga los pasos de Weinberg y obtendrá una ecuación similar a (6.2.12) con términos proporcionales a , y .
los término desaparece pero el no lo hace y da el último término en la ecuación (6.2.21).
En pocas palabras: la ecuación (6.2.8) no es covariante porque no es covariante (la la dependencia en f da como resultado $\delta^{(n)} términos).
Motl de Luboš
jia yiyang