¿Cómo contar el número de modos/polarizaciones de una teoría de campo gaussiana?

Una teoría de campo gaussiana (libre) se describe mediante una acción cuadrática del campo, por ejemplo S = ψ k ψ (o S = 1 2 ϕ k ϕ para campos reales). Por lo general, uno solo necesita diagonalizar el kernel de acción k , entonces cada vector propio corresponde a un modo/polarización del campo. Por ejemplo,

S = ψ ( i τ + H ) ψ = diagnóstico norte ψ norte ( ω + mi norte ) ψ norte ,
donde cada uno norte etiqueta una moda del campo ψ , y la relación de dispersión (o el espectro de energía) se obtiene al establecer el valor propio en cero, como ( ω + mi norte ) = 0 y por lo tanto ω = mi norte .

Sin embargo, cuando traté de aplicar este enfoque a una teoría de calibre, tuve algunos problemas. Por ejemplo, considere la teoría de Maxwell (con una métrica euclidiana en 4 dimensiones),

S = 1 4 F 2 = 1 2 A m Π m v A v ,
dónde Π m v = k 2 d m v k m k v es el kernel de acción, y k m = i m es el vector energía-momento. Π es un 4 × 4 matriz que se puede diagonalizar. Habrá un modo cero, correspondiente a la transformación de calibre del campo de calibre (como se puede ver a partir de su vector propio A m m ϕ ), que no debe contarse como un modo físico. Hasta ahora, todo bien. Pero todavía hay tres modos distintos de cero (degenerados), con el mismo valor propio k 2 . En este punto, tendería a concluir que debería haber tres modos físicos, todos degenerados en la relación de dispersión k 2 = 0 . Pero, de hecho, los fotones solo tienen dos modos transversales. Mi pregunta es ¿qué tiene de malo el modo de conteo? ¿No debería el modo longitudinal ya excluido como el modo cero (modo de calibre), pero por qué todavía nos quedan tres modos propios en Π ?


Si realizamos una pseudo-inversa de Π , el propagador de fotones debe ser

( Π 1 ) m v = 1 k 2 ( d m v k m k v k 2 ) ,
que también tiene tres polos a lo largo de la dispersión k 2 = 0 . Si cada polo corresponde a un modo físico, entonces habrá tres modos de fotones, lo que todavía está en contradicción con el hecho de que los fotones solo tienen dos modos transversales. ¿Cómo hacer el modo de conteo correctamente?

Estos asuntos se discuten en detalle en las Secciones 2.5 y 5.9 del libro de Weinberg, vol. I.

Respuestas (2)

El modo longitudinal se desacopla de todos los procesos físicos como consecuencia de la invariancia de calibre, que a su vez fuerza la identidad de Ward .

k m METRO m = 0
donde la descomposición de elementos de la matriz S METRO m se obtiene del vector de polarización ϵ m ( k ) por METRO = ϵ m ( k ) METRO m .

Este modo de desacoplamiento (y, además, norma cero) también se denomina modo espurio . Dado que se desacopla de todos los procesos físicos, no pertenece al espacio físico de Hilbert, y nos quedan solo dos polarizaciones físicas para un campo vectorial sin masa.

Aparte, un campo vectorial masivo no tiene invariancia de calibre, por lo tanto, no tiene identidad de Ward, y allí el modo longitudinal no es de norma cero, por lo que los campos vectoriales masivos tienen tres polarizaciones.

si escribimos A m ( X ) = ε m ( pag ) mi i pag X , el vector de polarización debe satisfacer ε m pag m = 0 , que es una relación invariante de Lorentiz, y es necesaria para asegurarnos de que tenemos una representación irreducible del grupo de Lorentz (en realidad, el pequeño grupo que deja invariante el impulso). Esto reduce el número de DOF a 3. Pero aún así necesitamos imponer la invariancia de calibre ε m ε m + pag m (de lo contrario, el vector de polarización no se transforma bien bajo la transformación de Lorentz), por lo que finalmente solo tenemos dos polarizaciones físicas.

Estos pueden hacerse más explícitos y rigurosos si estudiamos las transformaciones de simetría de los estados de una sola partícula con más cuidado. El volumen I de QFT de Weinberg trata esto con gran detalle, o puede consultar http://phys.columbia.edu/~nicolis/GR_from_LI.pdf que sigue el tratamiento de Weinberg.

¿Qué pasa si la teoría no tiene simetría de Lorentz? Por ejemplo, una teoría de calibre en el espacio-tiempo euclidiano como S = b d a + λ b b (con métrica positiva), no se aplica la condición invariante de Lorentz. ¿Sabes cómo contar los modos físicos en este caso?
Esta teoría es engañosa, porque la transformación de calibre en b necesita estar bien definido. Pero es un TQFT al final del día, no hay modos de propagación.