Fantasmas de Faddeev Popov

Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas
Fantasmas de Faddeev Popov
Mauro Mendizábal
Pontificia Universidad Católica de Chile,

Magister en Física
Mecánica Cuántica Avanzada
Mauro Mendizábal PUC

Campos Fantasmas - Faddeev Popov 1 / 24
Tabla de Contenidos
1 Introducción
Problema en la integral funcional
Solución
2 Truco de Faddeev-Popov
Para el grupo de las transformaciones de gauge locales
Propagador de Maxwell
3 Caso no abeliano
Determinante de Faddev Popov
Propiedades de los fantasmas
Diagramas de Feynman para los fantasmas
4 Cierre y preguntas

Introducción
Los campos fantasmas o “ ghost fields ” en una teoría están
asociados con inestabilidades del sistema, se presentan clásicamente
como cuánticamente y algunas veces su efecto puede ser pasado
por alto.
Consideremos la siguiente densidad lagrangeana1
η e
L = − ∂µ φ∂µ φ − m2 φ2 , (1)
2 2
dónde η = ±1 y ε = ±1.
De esto el momento conjugado
∂L
πφ ≡ = η φ̇, (2)
∂φ̇
1η = diag (−1, +1, +1, +1)
µν
con lo cual la densidad Hamiltoniana

1 2 1 ε
H = η φ̇ + (∇φ) + m2 φ2
2
(3)
2 2 2
Luego el Hamiltoniano se define como
Z
H= d 3 x H[φ, φ̇] (4)
R3
η e El Hamiltoniano se define
+1 +1 semi positivo (acotado por arriba)
-1 -1 semi negativo (acotado por abajo)
Si η = −e, Hamiltoniano es indefinido

φ campo
η = e = −1 fantasma
η = +1 y e − 1 tachyon
η = −1 y e = +1 tachyonic ghost
Qué es un fantasma? y campos abelianos

Un campo fantasma se define como un campo con energía cinética
negativa.
La acción de Maxwell está dada por

1
Z
S [A] = dx 4 − F µν Fµν , (5)
4
donde el campo de fuerza está dado por
F µν = ∂µ Aν − ∂ν Aµ (6)
Los observables físicos en QFT están dados por el valor de expectación
R
DAO [A] exp(iS [A])
hΩ| TO [A] |Ωi = R (7)
D A exp(iS [A])
donde |Ωi son los estados de vacío (no contiene partículas) y T es

el operador de ordenamiento temporal.
El gauge para el campo A
1
Aαµ = Aµ (x ) + ∂µ α(x ) (8)
e
El problema con (8) es que DA tiene degenerancia y debemos
quitarla para poder integrar.
Si dos campos se relacionan mediante una transformación, por
ejemplo g (α) ∈ SU (2) , decimos que se encuentran en la misma
“órbita de gauge”.
Las órbitas están dadas por
A → Ag = gAg −1 − ig (∂g −1 ) (9)

Figura 1: El espacio de todas las configuraciones de campos de Gauge, Λ, incluye

degeneraciones relacionadas al gauge escogido

Necesitamos escoger un campo por cada órbita de gauge para

remover la degeneración, a esto se lo llama “gauge fixing”.
Necesitamos un subconjunto de todas las configuraciones ζ ⊂ Λ,
Figura 2: Rebanada de gauge o “gauge slice".

Truco de Faddeev-Popov
La delta de Dirac en 1-D

Z
1= dx δ(x − x0 ), (11)
si tenemos una función monótono G

(único cero) tal que G (x0 ) = 0 y
existe G 0 podemos hacer el cambio
de variable de x a G (x ) con lo cual,
Z
1= dx δ[G (x )]|G 0 (x )| (12)

Grupo de transformaciones de gauge locales

δG [Ag ]
Z
1= Dα δ(G [Ag ]) det (13)
δα
Para evaluar (7), es necesario evaluar el numerador y el denominador
colocamos O = 1, aplicando (13)

δG [Ag ]
Z Z Z
DA O [A] expiS [A] = DA DαO [A]δ(G [Ag ]) det expiS [A]
Λ Λ δα
(14)
El determinante puede ser determinado del gauge (8)
(Aαµ = Aµ (x ) + 1e ∂µ α(x )), gauge de Feynman ’t Hooft Landau
1
G [Ag ] = ∂µ (Ag )µ = ∂µ Aµ + ∂µ ∂µ α + w (15)
e
con lo cual,
δG 1 1
= ∂µ ∂µ = (16)
δα e e
De esto vemos que el determinante no depende ni de α ni de A y lo sacamos de la
integral
Z
δG [Ag ]
Z Z
DA O [A] expiS [A] = det DA DαO [A]δ(G [Ag ])exp iS [A] (17)
Λ δα ζ
Además, sabemos que S [A] y O [A] son invariantes de gauge con lo cual podemos
reemplazarlos por S [Ag ] y O [Ag ] y la medida de integración también es invariante de
gauge con lo cual,
Z
δG [Ag ]
Z Z
DA O [A] expiS [A] = det DAg DαO [Ag ]δ(G [Ag ]) exp( iS [Ag ])(18)
Λ δα ζ
Z
δG [Ag ]
Z
= det Dα DAO [A]δ(G [A]) exp (iS [A]) (19)
δα ζ

Luego, utilizamos otro truco, multiplicamos por una distribución Gaussiana sobre w ,
Dw exp−i d 4 xw 2 /2ξ, con lo cual
R R

1
Z Z Z Z
DA O [A] expiS [A] = N (ξ ) Dw DAO [A]δ(∂µ Aµ + w )exp − i d 4 x w 2 exp(iS [A])
Λ ζ 2ξ
(20)

1
Z Z Z
DA O [A] expiS [A] = N (ξ ) DAO [A]exp − i d 4 x (∂µ Aµ )2 exp(iS [A]) (21)
Λ Λ 2ξ
o Z Z
DAO [A]exp(iS [A]) = N (ξ ) DAO [A]exp(iSGF [A]) (22)
Λ Λ
con

1 1 µ
Z
SGF = d 4x Fµν F µν − ( ∂ Aµ )2 (23)
4 2ξ
Con lo cual, tenemos
R
ΛRDAO [A]exp(iSGF [A])
hΩ| TO [A] |Ωi = (24)
Λ DAexp(iSGF [A])

Integrando por partes (23),

1 1
Z
SGF = d 4 x Aµ η µν ∂µ ∂µ − ∂µ ∂ν + ∂µ ∂ν Aν (25)
2 ξ
en el espacio de momento
d 4k 1

1 µ ν
Z
2
SGF = Â µ η µν
(− k ) + k µ ν
k − k k Âν (26)
(2π )4 2 ξ
Con lo cual, el propagador
−i

kµkν
D µν (k ) = η µν
− ( 1 − ξ ) (27)
k2 + i e k2
Diagrama de Feynman del propagador del fotón.

Caso no abeliano
La teoría de Yang Mills provee una extensión a la teoría de Maxwell en la
cual podemos introducir más de una carga, es decir, extiende el grupo de
simetría de U(1) a uno más grande.
La acción toma la forma

1 µν a
Z
S [A] = tr d 4 x − Fa Fµν (28)
4
donde
a
Fµν = ∂µ Aaν − ∂ν Aaµ + gf abc Aaµ Aaµ (29)
con Aµ = Aaµ ta , ta es elemento de la base del grupo para este caso
SU (2) son las matrices de Pauli. Las constantes de estructura se definen
mediante if abc tc = [t a , t b ] .
La mayor diferencia con QED y Yangs Mills y consecuentemente

entre gluones y fotones, es que los gluones tienen interacción entre
ellos mismos y que se puede ver mediante los términos que son
proporcional a ≈ A2 ∂A y A4 .
Figura 3: Gluones (y vectores bosones) tienen 3 puntos y 4 vertices, hay

contribuciones de loop.
Las transformaciones de gauge para el campo Aµ , toman la forma

1 1
(Ag )aµ = Aaµ + ∂µ αa + f abc Aµb αc = Aaµ + Dµab αb (30)
g g
con
Dµab = δab ∂µ + gf abc Acµ (31)
o
Aµ → Aµ + Dµ α = Aµ + ∂ µ α − i [Aµ , α ] (32)
De la misma manera que el caso abeliano procedemos a evaluar los
valores de expectación en el vació con lo cual, nuestro gauge de Feynman
’t Hooft Landau:
G = ∂µ Aaµ + w a (33)
y necesitamos evaluar
R
tr ΛRDAO [A] exp(iS [A])
hΩ| TO [A] |Ωi = (34)
tr Λ DA exp(iS [A])

En el numerador, multiplicamos por 1 (Truco de Faddeev-Popov)

δG [Ag ]
Z Z Z
tr DAO [A] exp(iS [A]) = tr DA Dαδ(G [Ag ]) det O [A]exp((iS [A]))
Λ Λ δα
(35)
En el caso abeliano, se extrajo el determinante de la integral porque no

dependía de A, pero para el caso no abeliano vemos
1 µ ab
G [Ag ] = ∂µ Aaµ + ∂ Dµ α b + w b (36)
g
δG 1 µ ab 1
= ∂ Dµ = ∂µ ∂µ + f abc ∂µ Acµ (37)
∂α g g
El determinante depende de A, pero es independiente de α con lo cual
podemos utilizar la invarianza de gauge y cambiar DA, O [A] y S [A] a
DAg , O [Ag ] y S [Ag ] para luego cambiarlo a Ag → A.
Con esto tenemos,
Z
1 µ ab
Z Z
tr DAO [A] exp(iS [A]) = Dα tr DAδ(∂µ Aaµ + w a ) det ∂ Dµ O [A]exp(iS [A])
Λ Λ g
(38)
luego, integramos funcionalmente ambos lados con

Dw exp(−i d 4 xw 2 /2ξ) y el funcional delta toma el gauge fixing,
R R

1 µ ab
Z Z
tr DAO [A](iS [A]) = N (ξ ) tr DA det ∂ Dµ O [A]exp(iSGF [A])
ζ Λ g
(39)
con

1 µν a 1
Z
4
SGF = tr d x − Fa Fµν − (∂µ Aaµ )2 (40)
4 2ξ

Determinante de Faddev Popov
La resolución del determinante fue propuesta por Faddev Popov y se

utiliza la regla de integración de Berezin.
Z
1 µ ab
Z
det ∂ Dµ = DcDc exp i d 4 xca (x )(−∂µ Dµab )cb (x ) (41)
g
donde la constante de acoplamiento se ha absorbido en la definición de c.
Los campos ca y cb con campos escalares invariantes de Lorentz que
anticonmutan (variables de Grassman) y se los llama fantasmas,
Con lo cual,
Z Z Z
tr DAO [A](iS [A]) = N (ξ )tr DA D cDc O [A]exp(iSFP [A, c, c ])
ζ Λ
(42)
con

1 µν a 1
Z
SFP = tr d 4x − Fa Fµν − (∂µ Aaµ )2 + ca (−∂µ Dµab )cb (43)
4 2ξ
Propiedades de los fantasmas
Si expandemos la acción de los fantasmas
Z Z
SGA = d 4 xc (−∂µ Dµab )cb = c∂µ ∂µ c + gf abc (c∂µ Acµ cb + cAcµ ∂µ cb )
(44)
cargan cargas igual que los campos de gauge

interaccionan con el campo de gauge
de la parte cuadrática c∂µ ∂µ c,
• tienen spin 0, con lo cual el propagador es proporcional a
1/4 = 1/k 2
• son fermiones ya que son variables de Grassman
• Qué pasa con spin-estadística?


Diagramas de Feynman de la acción SGA
Figura 4: Propagador fantasma y vértice anti fantasma y gluon - fantasmas

Para que puedan dormir en paz y tranquilos
Figura 6: Propagador 2-pt para un campo gluón < AA > a orden g . Los fantasmas
son las líneas cortadas.

Muchas gracias por su atención.

?
Preguntas ?

F. Flicker. Faddeev Popov Ghosts. Lecture notes.

http://www.felixflicker.com/pdf/Ghosts.pdf
F. Sbizà. Classical and quantum ghost.
https://arxiv.org/pdf/1406.4550.pdf
F. David. 12/13 PSI - Quantum Field Theory 2. Lectures notes
and videos at Perimeter Institute.
https://www.perimeterinstitute.ca/video-library/
collection/12/13-psi-quantum-field-theory-2


Fantasmas de Faddeev Popov

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Fantasmas de Faddeev Popov

Transféré par

Droits d'auteur :

Formats disponibles

Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Fantasmas de Faddeev Popov

Pontificia Universidad Católica de Chile,

Mauro Mendizábal PUC

Mauro Mendizábal PUC

con lo cual la densidad Hamiltoniana

Si η = −e, Hamiltoniano es indefinido

Qué es un fantasma? y campos abelianos

donde el campo de fuerza está dado por

donde |Ωi son los estados de vacío (no contiene partículas) y T es

A → Ag = gAg −1 − ig (∂g −1 ) (9)

Mauro Mendizábal PUC

Figura 1: El espacio de todas las configuraciones de campos de Gauge, Λ, incluye

Mauro Mendizábal PUC

Necesitamos escoger un campo por cada órbita de gauge para

Figura 2: Rebanada de gauge o “gauge slice".

La delta de Dirac en 1-D

si tenemos una función monótono G

Mauro Mendizábal PUC

Para el grupo de las transformaciones de gauge locales

Grupo de transformaciones de gauge locales

Para el grupo de las transformaciones de gauge locales

Mauro Mendizábal PUC

Para el grupo de las transformaciones de gauge locales

Mauro Mendizábal PUC

Mauro Mendizábal PUC

La mayor diferencia con QED y Yangs Mills y consecuentemente

Figura 3: Gluones (y vectores bosones) tienen 3 puntos y 4 vertices, hay

Las transformaciones de gauge para el campo Aµ , toman la forma

Mauro Mendizábal PUC

En el numerador, multiplicamos por 1 (Truco de Faddeev-Popov)

En el caso abeliano, se extrajo el determinante de la integral porque no

Con esto tenemos,

luego, integramos funcionalmente ambos lados con

Mauro Mendizábal PUC

Determinante de Faddev Popov

La resolución del determinante fue propuesta por Faddev Popov y se

Propiedades de los fantasmas

Si expandemos la acción de los fantasmas

cargan cargas igual que los campos de gauge

Mauro Mendizábal PUC

Diagramas de Feynman para los fantasmas

Diagramas de Feynman para los fantasmas

Figura 4: Propagador fantasma y vértice anti fantasma y gluon - fantasmas

Mauro Mendizábal PUC

Diagramas de Feynman para los fantasmas

Para que puedan dormir en paz y tranquilos

Mauro Mendizábal PUC

Muchas gracias por su atención.

Mauro Mendizábal PUC

F. Flicker. Faddeev Popov Ghosts. Lecture notes.

Mauro Mendizábal PUC

Vous aimerez peut-être aussi