¿Por qué a veces hay un término adicional en las relaciones de ortogonalidad para los vectores de polarización?

Al considerar los vectores de polarización de un campo de espín-1 masivo , como un A m con densidad lagrangiana

(A) L = 1 4 F m v F m v + 1 2 METRO 2 A m A m ,
ampliamos las soluciones de A m como
(B) A m ( X ) = λ d k ~ [ ε m ( λ , k ) a ( λ , k ) mi i k X + ε m ( λ , k ) a ( λ , k ) mi i k X ] ,
donde los tres vectores de polarización { ε ( λ , k ) } λ satisfacer las relaciones de completitud
(C) λ ε m ( λ , k ) ε v ( λ , k ) = η m v + k m k v METRO 2 .

Las preguntas:

  1. ¿Dónde está el segundo término? k m k v / METRO 2 ¿viene de?
  2. ¿Por qué es necesario?
  3. Usando (C) y yendo a sin masa METRO 0 límite obtenemos una singularidad, lo que haría que la relación estuviera mal definida. Entonces, ¿cómo se debe manejar el límite sin masa?
  4. ¿En qué otras circunstancias (campos spin-X masivos/sin masa) se necesita una corrección similar a las relaciones de completitud?

Las fórmulas anteriores se pueden encontrar, por ejemplo, en Srednicki, (85.16) , con una notación algo diferente (él usa la convención métrica espacial de Minkowski opuesta a la mía).

el RHS es el 2-tensor simétrico más general que puede escribir usando la métrica y k. resulta que -1 y 1 / METRO 2 son los coeficientes correctos.

Respuestas (1)

  1. Observe que la relación de "completitud" es solo el proyector en el espacio abarcado por los vectores de polarización. A priori, sabemos que PAG ϵ m v := λ ϵ λ m ( k ) ϵ λ v ( k ) por lo tanto, se proyecta sobre el subespacio ortogonal al impulso, ya que ζ m k m = 0 para cualquier vector de polarización ζ m . El 2-tensor simétrico más general que depende solo de la métrica y el impulso es PAG ϵ m v = a η m v + b k m k v con a , b C inicialmente arbitrario. Aplicando el proyector a los rendimientos de impulso PAG ϵ m v k m = a k v + b k 2 k v = ! 0 y usando k 2 = metro 2 , se obtiene la relación que cita.

  2. Porque es la condición que el vector sea una polarización , y no cualquier vector.

  3. De hecho, el límite sin masa de la acción de Proca está mal definido. Se puede utilizar el lagrangiano de Stückelberg con un campo escalar auxiliar ϕ , que tiene un límite suave sin masa, así como una invariancia de calibre explícita para masas masivas. tu ( 1 ) campos. (Esta es la razón por la cual los fotones masivos no son un problema en QED)

L = 1 4 F m v F m v + 1 2 ( m ϕ + metro A m ) ( m ϕ + metro A m )

  1. Necesita tal modificación cada vez que tiene grados de libertad no físicos , como tenemos con las polarizaciones. k en este caso.
Entonces, es correcto decir que esta condición (la (C) que mencioné) no debe probarse sino imponerse para garantizar que los vectores de polarización utilizados en la expansión de A m son tales que la EOM
[ η m v ( 1 1 / ξ ) v m ] A m ( X )
¿sostener? O en otras palabras, se proyectan en el espacio de 4 vectores ε m satisfactorio
[ k 2 η m v + ( 1 1 / ξ ) k m k v ] ε m = 0
@vistazo: se proyectan en el espacio de 4 vectores ortogonales a k . La restricción se debe a que la ecuación de Proca implica la restricción m A m = 0 , que debe implementarse en el espacio de Hilbert al igual que la condición de calibre en la cuantización de Gupta-Bleuler para bosones de calibre. En ese sentido, sí se impone para asegurar que la ϵ abarcan sólo el espacio de los estados físicos .
Sí, lo siento, mezclé casos masivos y sin masa. Sin embargo, en el caso sin masa es lo mismo, ¿verdad? Todavía imponemos una condición de Lorentz y por lo tanto requerimos k m ε m = 0 , mientras que la libertad de calibre adicional proviene de la identificación de todos los vectores de polarización que difieren en un múltiplo del vector de impulso 4: ε m ( k ) ε m ( k ) + α k m . ¿Es esto correcto?
@vistazo: Sí, eso es correcto. La división de los estados espurios correspondientes a múltiplos del 4-momentum para bosones vectoriales sin masa se deriva de las identidades de simetría de norma/Ward residuales, y no las tenemos para campos masivos.