Está en la página 1de 24

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
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 2 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano 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)
µν
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 3 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 4 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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])
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 5 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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)

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 6 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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


degeneraciones relacionadas al gauge escogido

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 7 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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".


Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 8 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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)

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 9 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Para el grupo de las transformaciones de gauge locales

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
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 10 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Para el grupo de las transformaciones de gauge locales

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)
δα ζ

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 11 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Para el grupo de las transformaciones de gauge locales

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])

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 12 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Propagador de Maxwell

Propagador de Maxwell
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 = Â µ η µν
(− k ) + k µ ν
k − k k Âν (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.

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 13 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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 ] .
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 14 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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.
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 15 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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])

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 16 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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.
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 17 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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ξ

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 18 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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ξ
Mauro Mendizábal PUC
Campos Fantasmas - Faddeev Popov 19 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

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?

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 20 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Diagramas de Feynman para los fantasmas

Diagramas de Feynman para los fantasmas


Diagramas de Feynman de la acción SGA

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

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 21 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Diagramas de Feynman para los 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.

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 22 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y preguntas

Muchas gracias por su atención.


?

Preguntas ?

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 23 / 24
Introducción Truco de Faddeev-Popov Caso no abeliano Cierre y 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

Mauro Mendizábal PUC


Campos Fantasmas - Faddeev Popov 24 / 24