Ruptura espontánea de la Simetrı́a,

Teorı́as de Gauge y el Mecanismo de

Higgs

Departamento de Fı́sica, Facultad de Ciencias Exactas y Naturales, UBA

Lautaro Kinalczyk

Final QFT, Lautaro Kinalczyk

Resumen
• Introducción

• Conceptos de MC y Simetrias en QFT

• Ruptura espontánea de la simetrı́a (SSB)

• Teorema de Goldstone + Ejemplo

• Mecanismo de Higgs + Ejemplo

• Como entra en el Modelo Estandar?

Final QFT, Lautaro Kinalczyk

Introducción
• A que nos referimos por SSB?

Final QFT, Lautaro Kinalczyk

Introducción
• A que nos referimos por SSB?
Û Transf. sim. pero Û |0⟩ ̸= |0⟩

Final QFT, Lautaro Kinalczyk

Introducción
• A que nos referimos por SSB?
Û Transf. sim. pero Û |0⟩ ̸= |0⟩

• Teorema de Goldstone
SSB −→ ∃ bosones no masivos de spin 0 (BG)

Final QFT, Lautaro Kinalczyk

Introducción
• A que nos referimos por SSB?
Û Transf. sim. pero Û |0⟩ ̸= |0⟩

• Teorema de Goldstone
SSB −→ ∃ bosones no masivos de spin 0 (BG)

• Mecanismo de Higgs
SSB + Sim. Gauge −→ bosones de Gauge adquieren
masa y ∄ BG

Final QFT, Lautaro Kinalczyk

Pictures de la MC
• Schrödinger : |ψ(t)⟩S y ÂS

i∂t |ψ(t)⟩S = ĤS |ψ(t)⟩S

 ′ 
|ψ(t)⟩S −→ ψ (t) S = Û |ψ(t)⟩S

• Heisenberg : |ψ⟩ H = |ψ(t0 )⟩S y  H = Û † (t) ÂS Û (t)

Û (t) = e−it ĤS

 
d  H ÂS
dt
= ∂∂t + i [ ĤH , Â H ]
H
 H −→ Â′H = Û †  H Û

Final QFT, Lautaro Kinalczyk

Simetrı́as en MC
Dado un operador Û, decimos que

• Û Transf. sim. ←→ [ Ĥ, Û ] = 0

• Û † Û = 1 (Unitario)

• Û = e−iαQ̂ donde Q̂ = Q̂† (Hermı́tico) y [ Ĥ, Q̂] = 0

Final QFT, Lautaro Kinalczyk

 Û = e−iαQ̂ donde Q̂† = Q̂ −→ [ Ĥ, Q̂] = 0

Final QFT, Lautaro Kinalczyk

 Û = e−iαQ̂ donde Q̂† = Q̂ −→ [ Ĥ, Q̂] = 0

Según la ec. de evolución temporal para los operadores en el pict. de

Heisenberg

d Q̂ ∂ Q̂
= + i [ Ĥ, Q̂] = 0
dt ∂t
d Q̂
=0 −→ Q̂ cte de movimiento
dt

Final QFT, Lautaro Kinalczyk

 Û = e−iαQ̂ donde Q̂† = Q̂ −→ [ Ĥ, Q̂] = 0

Según la ec. de evolución temporal para los operadores en el pict. de

Heisenberg

d Q̂ ∂ Q̂
= + i [ Ĥ, Q̂] = 0
dt ∂t
d Q̂
=0 −→ Q̂ cte de movimiento
dt

Constantes de movimiento ←→ Generadores de simetrı́a

Final QFT, Lautaro Kinalczyk

Simetrı́as en QFT - Teo. de Noether
Una transformación infinitesimal

xµ −→ x ′µ = xµ + δx µ + O(cuad)
ϕ̂( x ) −→ ϕ̂′ ( x ) = ϕ̂( x ) + δϕ̂( x ) + O(cuad) ( x = xµ )
es de simetrı́a si deja invariante la acción.

Final QFT, Lautaro Kinalczyk

Simetrı́as en QFT - Teo. de Noether
Una transformación infinitesimal

xµ −→ x ′µ = xµ + δx µ + O(cuad)
ϕ̂( x ) −→ ϕ̂′ ( x ) = ϕ̂( x ) + δϕ̂( x ) + O(cuad) ( x = xµ )
es de simetrı́a si deja invariante la acción. En dicho caso, el teorema
de Noether nos garantiza que

d Q̂(t)
Z
∃ Ĵ µ ( x ) / ∂µ Ĵ µ ( x ) = 0 y Q̂(t) ≡ d3 x Ĵ 0 ( x ) / =0
dt

Final QFT, Lautaro Kinalczyk

Simetrı́as en QFT - Teo. de Noether
Una transformación infinitesimal

xµ −→ x ′µ = xµ + δx µ + O(cuad)
ϕ̂( x ) −→ ϕ̂′ ( x ) = ϕ̂( x ) + δϕ̂( x ) + O(cuad) ( x = xµ )
es de simetrı́a si deja invariante la acción. En dicho caso, el teorema
de Noether nos garantiza que

d Q̂(t)
Z
∃ Ĵ µ ( x ) / ∂µ Ĵ µ ( x ) = 0 y Q̂(t) ≡ d3 x Ĵ 0 ( x ) / =0
dt

Vamos a suponer Q̂ hermı́tico. Luego, es una constante de movimiento

que genera una transformación de simetrı́a dada por Û = e−iαQ̂ .

Final QFT, Lautaro Kinalczyk

 Ante dicha transformación de simetrı́a, el campo transforma como

ϕ̂( x ) −→ ϕ̂′ ( x ) = Û † ϕ̂( x )Û = eiαQ̂ ϕ̂( x )e−iαQ̂

Final QFT, Lautaro Kinalczyk

 Ante dicha transformación de simetrı́a, el campo transforma como

ϕ̂( x ) −→ ϕ̂′ ( x ) = Û † ϕ̂( x )Û = eiαQ̂ ϕ̂( x )e−iαQ̂

Usando el teorema de Baker - Hausdorff

1 1
e  B̂e−  = B̂ + [ Â, B̂] + [ Â, [ Â, B̂]] + ...
1! 2!
con  = iα Q̂ y B̂ = ϕ̂( x ) tenemos

ϕ̂′ ( x ) = eiαQ̂ ϕ̂( x )e−iαQ̂ = ϕ̂( x ) + iα[ Q̂, ϕ̂( x )] + O(α2 )

Final QFT, Lautaro Kinalczyk

 Ante dicha transformación de simetrı́a, el campo transforma como

ϕ̂( x ) −→ ϕ̂′ ( x ) = Û † ϕ̂( x )Û = eiαQ̂ ϕ̂( x )e−iαQ̂

Usando el teorema de Baker - Hausdorff

1 1
e  B̂e−  = B̂ + [ Â, B̂] + [ Â, [ Â, B̂]] + ...
1! 2!
con  = iα Q̂ y B̂ = ϕ̂( x ) tenemos

ϕ̂′ ( x ) = eiαQ̂ ϕ̂( x )e−iαQ̂ = ϕ̂( x ) + iα[ Q̂, ϕ̂( x )] + O(α2 )

= ϕ̂( x ) + δϕ̂( x ) + O(cuad)

δϕ̂( x ) = iα[ Q̂, ϕ̂( x )]

Final QFT, Lautaro Kinalczyk

Ruptura espontánea de la simetrı́a (SSB)

Decimos que una teorı́a presenta una SSB si existe alguna transfor-
mación de simetrı́a Û para la cual

Û |0⟩ ̸= |0⟩

Final QFT, Lautaro Kinalczyk

Ruptura espontánea de la simetrı́a (SSB)

Decimos que una teorı́a presenta una SSB si existe alguna transfor-
mación de simetrı́a Û para la cual

Û |0⟩ ̸= |0⟩

Luego

Û |0⟩ = e−iαQ̂ |0⟩ = (1 − iα Q̂ + O(α2 )) |0⟩ = |0⟩ − iα Q̂ |0⟩ + O(α2 ) ̸= |0⟩

Q̂ |0⟩ ̸= 0

Final QFT, Lautaro Kinalczyk

Ruptura espontánea de la simetrı́a (SSB)

Decimos que una teorı́a presenta una SSB si existe alguna transfor-
mación de simetrı́a Û para la cual

Û |0⟩ ̸= |0⟩ −→ Q̂ |0⟩ ̸= 0

Final QFT, Lautaro Kinalczyk

Ruptura espontánea de la simetrı́a (SSB)

Decimos que una teorı́a presenta una SSB si existe alguna transfor-
mación de simetrı́a Û para la cual

Û |0⟩ ̸= |0⟩ −→ Q̂ |0⟩ ̸= 0

Teorema de Fabri - Picasso

Q̂ ∄ formalmente como operador en el espacio de Hilbert, a menos que Q̂ |0⟩ = 0.
Z Z
3 0 3 ix P̂ 0 −ix P̂


⟨0| Q̂ Q̂ |0⟩ = d x ⟨0| Ĵ ( x ) Q̂ |0⟩ = d x ⟨0| e Ĵ (0)e Q̂ |0⟩ x P̂ = xµ P̂ µ

Z Z
= d3 x ⟨0| Ĵ 0 (0)e−ix P̂ Q̂eix P̂ e−ix P̂ |0⟩ = ⟨0| Ĵ 0 (0) Q̂ |0⟩ d3 x = ∞

−→ || Q̂ |0⟩ || = ∞ Asumimos : P̂µ |0⟩ = 0

Final QFT, Lautaro Kinalczyk

Ruptura espontánea de la simetrı́a (SSB)

La condición Û |0⟩ ̸= |0⟩ también se puede escribir como

⟨0| δϕ̂( x ) |0⟩ ̸= 0

Final QFT, Lautaro Kinalczyk

Ruptura espontánea de la simetrı́a (SSB)

La condición Û |0⟩ ̸= |0⟩ también se puede escribir como

⟨0| δϕ̂( x ) |0⟩ ̸= 0

Recordando que δϕ̂( x ) = iα[ Q̂, ϕ̂( x )]

⟨0| δϕ̂( x ) |0⟩ = iα ⟨0| [ Q̂, ϕ̂( x )] |0⟩

= iα ⟨0| Q̂ϕ̂( x ) |0⟩ − iα ⟨0| ϕ̂( x ) Q̂ |0⟩ ̸= 0

ya que Q̂ |0⟩ ̸= 0 y ϕ̂( x ) |0⟩ ̸= 0.

Final QFT, Lautaro Kinalczyk

 La condición de la ruptura espontánea de la simetrı́a se escribe en
términos del valor de expectación en el vació de un campo cuántico.
Debido a que tenemos teorı́as interactuantes, estos cálculos no son triv-
iales y se hacen de forma perturbativa.

Es posible demostrar que el valor de expectación del campo cuántico

en el vació extrema lo que llamamos el ”Potencial efectivo”, que en el
limite clásico coincide con el potencial.

Luego, para chequear que este valor de expectación es no nulo, va-

mos a verificar que el potencial clásico tiene extremos que no anulan a
los campos.
 
. ∂V (ϕ)  ∂ 2V (ϕ) 
⟨0| ϕ̂( x ) |0⟩ ≈ ϕ0 + O(h̄)  =0 &  >0
 
∂ϕ  2
∂ϕ 
ϕ0 ϕ0
Donde ϕ0 ̸= 0. Al final del apunte hay una demostración mas rig-
urosa.
Final QFT, Lautaro Kinalczyk
 Teorema de Goldstone
Si existe una transformación de simetrı́a continua la cual no deje
invariante al estado de vació |0⟩, entonces existen bosones de spin 0 no
masivos en el espectro de la teorı́a.

Final QFT, Lautaro Kinalczyk

 Dem: Broken symmetries and massles particles - Walter Gilbert, 1964

Final QFT, Lautaro Kinalczyk

 Dem: Broken symmetries and massles particles - Walter Gilbert, 1964

Suponemos una teorı́a descripta por un lagrangiano L el cual es in-

variante ante cierta transformación de simetrı́a. Luego, el teorema de
Noether nos garantiza que

d Q̂(t)
Z
∃ Ĵ µ ( x ) / ∂µ Ĵ µ ( x ) = 0 y Q̂(t) ≡ d3 x Ĵ 0 ( x ) / =0
dt

Vamos a suponer también la ruptura espontánea de la simetrı́a, la

cual impone la condición

⟨0| δϕ̂( x ) |0⟩ = iα ⟨0| [ Q̂, ϕ̂( x )] |0⟩ ̸= 0

Final QFT, Lautaro Kinalczyk

 Consideremos:
Z
P̂µ | p⟩ = pµ | p⟩ ⟨ k | p ⟩ = δ3 ( k − p ) 1= d3 p | p ⟩ ⟨ p |
Z
d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx µ

M̂µ (k) ≡ kx = kµ x

Final QFT, Lautaro Kinalczyk

 Consideremos:
Z
P̂µ | p⟩ = pµ | p⟩ ⟨ k | p ⟩ = δ3 ( k − p ) 1= d3 p | p ⟩ ⟨ p |
Z
d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx µ

M̂µ (k) ≡ kx = kµ x

Z
M̂µ (k) = d4 x ⟨0| Ĵµ ( x )ϕ̂(0) |0⟩ eikx
Z
− d4 x ⟨0| ϕ̂(0) Ĵµ ( x ) |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Consideremos:
Z
P̂µ | p⟩ = pµ | p⟩ ⟨ k | p ⟩ = δ3 ( k − p ) 1= d3 p | p ⟩ ⟨ p |
Z
d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx µ

M̂µ (k) ≡ kx = kµ x

Z
M̂µ (k) = d4 x ⟨0| Ĵµ ( x )ϕ̂(0) |0⟩ eikx
Z
− d4 x ⟨0| ϕ̂(0) Ĵµ ( x ) |0⟩ eikx

Introduciendo una identidad entre los operadores tenemos

Z Z
= d3 p d4 x ⟨0| Ĵµ ( x )|p⟩ ⟨p|ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0)|p⟩ ⟨p| Ĵµ ( x ) |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ ( x ) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ ( x ) |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ ( x ) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ ( x ) |0⟩ eikx

Reemplazando Ĵµ ( x ) = e−ix P̂ Ĵµ (0)eix P̂

x P̂ = xµ P̂µ

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ ( x ) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ ( x ) |0⟩ eikx

Reemplazando Ĵµ ( x ) = e−ix P̂ Ĵµ (0)eix P̂

x P̂ = xµ P̂µ
Z Z
M̂µ (k) = d3 p d4 x ⟨0| e−ixP̂ Ĵµ (0)eixP̂ | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixP̂ Ĵµ (0)eixP̂ |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ ( x ) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ ( x ) |0⟩ eikx

Reemplazando Ĵµ ( x ) = e−ix P̂ Ĵµ (0)eix P̂

x P̂ = xµ P̂µ
Z Z
M̂µ (k) = d3 p d4 x ⟨0| e−ixP̂ Ĵµ (0)eixP̂ | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixP̂ Ĵµ (0)eixP̂ |0⟩ eikx

y usando que eix P̂ |0⟩ = |0⟩ y eix P̂ | p⟩ = eixp | p⟩

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ ( x ) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ ( x ) |0⟩ eikx

Reemplazando Ĵµ ( x ) = e−ix P̂ Ĵµ (0)eix P̂

x P̂ = xµ P̂µ
Z Z
M̂µ (k) = d3 p d4 x ⟨0| e−ixP̂ Ĵµ (0)eixP̂ | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixP̂ Ĵµ (0)eixP̂ |0⟩ eikx

y usando que eix P̂ |0⟩ = |0⟩ y eix P̂ | p⟩ = eixp | p⟩

Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ (0)eixp | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixp Ĵµ (0) |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k ) = d3 p d4 x ⟨0| Ĵµ (0)eixp | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixp Ĵµ (0) |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k ) = d3 p d4 x ⟨0| Ĵµ (0)eixp | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixp Ĵµ (0) |0⟩ eikx
Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ (0) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eix(k+p)
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ (0) |0⟩ eix(k−p)

Final QFT, Lautaro Kinalczyk

 Z Z
M̂µ (k ) = d3 p d4 x ⟨0| Ĵµ (0)eixp | p⟩ ⟨ p| ϕ̂(0) |0⟩ eikx
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| e−ixp Ĵµ (0) |0⟩ eikx
Z Z
M̂µ (k) = d3 p d4 x ⟨0| Ĵµ (0) | p⟩ ⟨ p| ϕ̂(0) |0⟩ eix(k+p)
Z Z
− d3 p d4 x ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ (0) |0⟩ eix(k−p)
Z
M̂µ (k) = (2π )4 d3 p ⟨0| Ĵµ (0) | p⟩ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p ⟨0| ϕ̂(0) | p⟩ ⟨ p| Ĵµ (0) |0⟩ δ4 (k − p)

Donde usamos que

Z
d4 x eix(k± p) = (2π )4 δ4 (k ± p)

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k ) = (2π )4 d3 p ⟨0| Ĵµ (0) |p⟩ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p ⟨0| ϕ̂(0) | p⟩ ⟨p| Ĵµ (0) |0⟩δ4 (k − p)

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k ) = (2π )4 d3 p ⟨0| Ĵµ (0) |p⟩ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p ⟨0| ϕ̂(0) | p⟩ ⟨p| Ĵµ (0) |0⟩δ4 (k − p)

Par seguir, necesitamos suponer la forma mas general que pueden

tener los elementos de matriz ⟨0| Ĵµ (0) | p⟩ y ⟨ p| Ĵµ (0) |0⟩. En este punto
es que Gilbert uso el argumento de ”Covariancia explicita” para decir
que

⟨0| Ĵµ (0) | p⟩ = a( p2 ) pµ y ⟨ p| Ĵµ (0) |0⟩ = b( p2 ) pµ

Donde a( p2 ) y b( p2 ) son funciones arbitrarias de p2, el único escalar

de lorentz que podemos formar. Además, como los elementos de matriz
corresponden a una cantidad cuadrivectorial Ĵµ (0), el resultado debe ser
proporcional a un cuadrivector. No tenemos mas opción que sea pµ , el
único cuadrivector presente en la teorı́a.

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k ) = (2π )4 d3 p ⟨0| Ĵµ (0) |p⟩ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p ⟨0| ϕ̂(0) | p⟩ ⟨p| Ĵµ (0) |0⟩δ4 (k − p)

Par seguir, necesitamos suponer la forma mas general que pueden

tener los elementos de matriz ⟨0| Ĵµ (0) | p⟩ y ⟨ p| Ĵµ (0) |0⟩. En este punto
es que Gilbert uso el argumento de ”Covariancia explicita” para decir
que

⟨0| Ĵµ (0) | p⟩ = a( p2 ) pµ y ⟨ p| Ĵµ (0) |0⟩ = b( p2 ) pµ

Donde a( p2 ) y b( p2 ) son funciones arbitrarias de p2, el único escalar

de lorentz que podemos formar. Además, como los elementos de matriz
corresponden a una cantidad cuadrivectorial Ĵµ (0), el resultado debe ser
proporcional a un cuadrivector. No tenemos mas opción que sea pµ , el
único cuadrivector presente en la teorı́a.

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k) = (2π )4 d3 p a(p2 )pµ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p b(p2 )pµ ⟨0| ϕ̂(0) | p⟩ δ4 (k − p)

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k) = (2π )4 d3 p a(p2 )pµ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p b(p2 )pµ ⟨0| ϕ̂(0) | p⟩ δ4 (k − p)

Luego, usando que

Z Z
d3 p pµ δ4 (k + p) = H (−k0 )(−k µ ) d3 p p µ δ4 ( k − p ) = H ( k 0 ) k µ

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k) = (2π )4 d3 p a(p2 )pµ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p b(p2 )pµ ⟨0| ϕ̂(0) | p⟩ δ4 (k − p)

Luego, usando que

Z Z
d3 p pµ δ4 (k + p) = H (−k0 )(−k µ ) d3 p p µ δ4 ( k − p ) = H ( k 0 ) k µ

Podemos escribir

M̂µ (k) = (2π )4 a(k2 )H(−k0 )(−kµ ) ⟨k| ϕ̂(0) |0⟩

− (2π )4 b(k2 )H(k0 )kµ ⟨0| ϕ̂(0) |k⟩

Final QFT, Lautaro Kinalczyk

 Z
M̂µ (k) = (2π )4 d3 p a(p2 )pµ ⟨ p| ϕ̂(0) |0⟩ δ4 (k + p)
Z
− (2π )4 d3 p b(p2 )pµ ⟨0| ϕ̂(0) | p⟩ δ4 (k − p)

Luego, usando que

Z Z
d3 p pµ δ4 (k + p) = H (−k0 )(−k µ ) d3 p p µ δ4 ( k − p ) = H ( k 0 ) k µ

Podemos escribir

M̂µ (k) = (2π )4 a(k2 )H(−k0 )(−kµ ) ⟨k| ϕ̂(0) |0⟩

− (2π )4 b(k2 )H(k0 )kµ ⟨0| ϕ̂(0) |k⟩
Reordenando, tenemos
h i
M̂µ (k) = −(2π )4 k µ a(k2 ) H (−k0 ) ⟨k| ϕ̂(0) |0⟩ + b(k2 ) H (k0 ) ⟨0| ϕ̂(0) |k ⟩

Final QFT, Lautaro Kinalczyk

 hola

h i
M̂µ (k) = −(2π )4 k µ a(k2 ) H (−k0 )⟨k|ϕ̂(0) |0⟩ + b(k2 ) H (k0 )⟨0|ϕ̂(0) |k⟩

Final QFT, Lautaro Kinalczyk

 hola

h i
M̂µ (k) = −(2π )4 k µ a(k2 ) H (−k0 )⟨k|ϕ̂(0) |0⟩ + b(k2 ) H (k0 )⟨0|ϕ̂(0) |k⟩

 

 M̂ µ ( k ) ̸ = 0 −→ ∃ k̃ / k̃ ϕ̂(0) |0⟩ ̸= 0. Luego, los estados
k̃ y ϕ̂(0) |0⟩ no son ortogonales, y comparten los mismos números
 
cuánticos. Es decir, k̃ es un bosón de spin 0. Queremos probar en-
tonces que M̂µ (k) ̸= 0.

Final QFT, Lautaro Kinalczyk

 h i
M̂µ (k) = −(2π )4 k µ a(k2 ) H (−k0 ) ⟨k| ϕ̂(0) |0⟩ + b(k2 ) H (k0 ) ⟨0| ϕ̂(0) |k⟩

Definiendo
( 2π ) 4 
ρ1 ( k 2 ) = a(k2 ) ⟨k| ϕ̂(0) |0⟩ − b(k2 ) ⟨0| ϕ̂(0) |k⟩
2

( 2π ) 4 
ρ2 ( k 2 ) = − a(k2 ) ⟨k| ϕ̂(0) |0⟩ − b(k2 ) ⟨0| ϕ̂(0) |k⟩
2

1 si k0 ≥ 0
ε(k0 ) =
−1 si k0 < 0

Tenemos
h i
M̂µ (k) = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )

Final QFT, Lautaro Kinalczyk

 Vamos a calcular ∂µ M̂µ (k) con dos de las expresiones que tenemos
para M̂µ (k)
Z h i
M̂µ (k) = d3 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )

Final QFT, Lautaro Kinalczyk

 Vamos a calcular ∂µ M̂µ (k) con dos de las expresiones que tenemos
para M̂µ (k)
Z h i
M̂µ (k) = d3 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )

Para la primera expresión

Z  
∂µ M̂µ (k) = d4 x ∂µ ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Vamos a calcular ∂µ M̂µ (k) con dos de las expresiones que tenemos
para M̂µ (k)
Z h i
M̂µ (k) = d3 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )

Para la primera expresión

Z  
∂µ M̂µ (k) = d4 x ∂µ ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx
Z
= d4 x ⟨0| [∂µ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx
Z  
+ d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ ∂µ eikx

Final QFT, Lautaro Kinalczyk

 Vamos a calcular ∂µ M̂µ (k) con dos de las expresiones que tenemos
para M̂µ (k)
Z h i
M̂µ (k) = d3 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )

Para la primera expresión

Z  
∂µ M̂µ (k) = d4 x ∂µ ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx
Z
= d4 x ⟨0| [∂µ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx
Z  
+ d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ ∂µ eikx
Z
= ikµ d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx

Final QFT, Lautaro Kinalczyk

 Vamos a calcular ∂µ M̂µ (k) con dos de las expresiones que tenemos
para M̂µ (k)
Z h i
M̂µ (k) = d3 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )

Para la primera expresión

Z  
∂µ M̂µ (k) = d4 x ∂µ ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx
Z
= d4 x ⟨0| [∂µ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx
Z  
+ d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ ∂µ eikx
Z
= ikµ d4 x ⟨0| [ Ĵµ ( x ), ϕ̂(0)] |0⟩ eikx

= ikµ M̂µ (k)

Final QFT, Lautaro Kinalczyk
  
Donde usamos que ∂µ Ĵµ ( x ) = 0 y ∂µ eikx = ikµ eikx .

Final QFT, Lautaro Kinalczyk

  
Donde usamos que ∂µ Ĵµ ( x ) = 0 y ∂µ eikx = ikµ eikx .

Para la segunda expresión, es fácil ver que

 h i
∂µ M̂µ (k) = ∂µ k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 ) = 0

Final QFT, Lautaro Kinalczyk

  
Donde usamos que ∂µ Ĵµ ( x ) = 0 y ∂µ eikx = ikµ eikx .

Para la segunda expresión, es fácil ver que

 h i
∂µ M̂µ (k) = ∂µ k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 ) = 0
Luego

∂µ M̂µ (k) = ikµ M̂µ (k) = 0 −→ kµ M̂µ (k) = 0

Final QFT, Lautaro Kinalczyk

  
Donde usamos que ∂µ Ĵµ ( x ) = 0 y ∂µ eikx = ikµ eikx .

Para la segunda expresión, es fácil ver que

 h i
∂µ M̂µ (k) = ∂µ k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 ) = 0
Luego

∂µ M̂µ (k) = ikµ M̂µ (k) = 0 −→ kµ M̂µ (k) = 0

Entonces
h i
kµ M̂µ (k) = kµ k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 )
h i
= k 2 ε ( k 0 ) ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0

Final QFT, Lautaro Kinalczyk

 Separando en los casos de k0 > 0 y k0 < 0 tenemos el siguiente
sistema de ecuaciones
h i
k 2 ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0
h i
k 2 − ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0

Final QFT, Lautaro Kinalczyk

 Separando en los casos de k0 > 0 y k0 < 0 tenemos el siguiente
sistema de ecuaciones
h i
k 2 ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0
h i
k 2 − ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0

cuya única solución es

ρ1 ( k 2 ) = c1 δ ( k 2 ) y ρ2 ( k 2 ) = c2 δ ( k 2 )

Donde ci son constantes que, a priori, podrı́an ser nulas. Luego,

tenemos

Final QFT, Lautaro Kinalczyk

 Separando en los casos de k0 > 0 y k0 < 0 tenemos el siguiente
sistema de ecuaciones
h i
k 2 ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0
h i
k 2 − ρ1 ( k 2 ) + ρ2 ( k 2 ) = 0

cuya única solución es

ρ1 ( k 2 ) = c1 δ ( k 2 ) y ρ2 ( k 2 ) = c2 δ ( k 2 )

Donde ci son constantes que, a priori, podrı́an ser nulas. Luego,

tenemos
h i
M̂µ (k) = k µ ε(k0 )ρ1 (k2 ) + ρ2 (k2 ) = k µ [ε(k0 )c1 + c2 ] δ(k2 )

Final QFT, Lautaro Kinalczyk

 Finalmente, vamos a demostrar que M̂µ (k) ̸= 0.

Final QFT, Lautaro Kinalczyk

 Finalmente, vamos a demostrar que M̂µ (k) ̸= 0. Para esto, consider-
emos la componente temporal M̂0 (k) evaluada en |k| = 0
Z
0
4 ik x

M̂0 (k) = d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e 0
|k|=0

= lim k0 [ε(k0 )c1 + c2 ] δ(k2 )

|k|→0

Final QFT, Lautaro Kinalczyk

 Finalmente, vamos a demostrar que M̂µ (k) ̸= 0. Para esto, consider-
emos la componente temporal M̂0 (k) evaluada en |k| = 0
Z
0
4 ik x

M̂0 (k) = d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e 0
|k|=0

= lim k0 [ε(k0 )c1 + c2 ] δ(k2 )

|k|→0

Vamos a calcular la siguiente integral

Z 
dk0 M̂0 (k)|k|=0

utilizando estas dos expresiones que tenemos.

Final QFT, Lautaro Kinalczyk

 Para la primera expresión
Z Z Z
0
4 ik x

dk0 M̂0 (k) |k|=0 = dk0 d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e
 0

Final QFT, Lautaro Kinalczyk

 Para la primera expresión
Z Z Z
0
4 ik x

dk0 M̂0 (k) |k|=0 = dk0 d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e
 0

Z
= d4 x 2πδ( x0 ) ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩

Final QFT, Lautaro Kinalczyk

 Para la primera expresión
Z Z Z
0
4 ik x

dk0 M̂0 (k) |k|=0 = dk0 d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e
 0

Z
= d4 x 2πδ( x0 ) ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩
Z
= 2π d3 x ⟨0| [ Ĵ0 (x, 0), ϕ̂(0)] |0⟩

Final QFT, Lautaro Kinalczyk

 Para la primera expresión
Z Z Z
0
4 ik x

dk0 M̂0 (k) |k|=0 = dk0 d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e
 0

Z
= d4 x 2πδ( x0 ) ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩
Z
= 2π d3 x ⟨0| [ Ĵ0 (x, 0), ϕ̂(0)] |0⟩

= 2π ⟨0| [ Q̂, ϕ̂(0)] |0⟩

Final QFT, Lautaro Kinalczyk

 Para la primera expresión
Z Z Z
0
4 ik x

dk0 M̂0 (k) |k|=0 = dk0 d x ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩ e
 0

Z
= d4 x 2πδ( x0 ) ⟨0| [ Ĵ0 ( x ), ϕ̂(0)] |0⟩
Z
= 2π d3 x ⟨0| [ Ĵ0 (x, 0), ϕ̂(0)] |0⟩

= 2π ⟨0| [ Q̂, ϕ̂(0)] |0⟩

Recordando la transf. infinitesimal de los campos y la condición de
SSB

iα ⟨0| [ Q̂, ϕ̂( x )] |0⟩ = ⟨0| δϕ̂( x ) |0⟩ ̸= 0

vemos que
2π
Z 
dk0 M̂0 (k) |k|=0 = 2π ⟨0| [ Q̂, ϕ̂(0)] |0⟩ =
 ⟨0| δϕ̂(0) |0⟩ ̸= 0
iα
Final QFT, Lautaro Kinalczyk
 Para la segunda expresión
Z Z
dk0 k0 [ε(k0 )c1 + c2 ] δ(k2 )

dk0 M̂0 (k)|k|=0 = lim
|k|→0

Final QFT, Lautaro Kinalczyk

 Para la segunda expresión
Z Z
dk0 k0 [ε(k0 )c1 + c2 ] δ(k2 )

dk0 M̂0 (k)|k|=0 = lim
|k|→0
" #
δ(|k| − k0 ) δ(|k| + k0 )
Z
= lim dk0 k0 [ε(k0 )c1 + c2 ] +
|k|→0 2| k | 2| k |

Final QFT, Lautaro Kinalczyk

 Para la segunda expresión
Z Z
dk0 k0 [ε(k0 )c1 + c2 ] δ(k2 )

dk0 M̂0 (k)|k|=0 = lim
|k|→0
" #
δ(|k| − k0 ) δ(|k| + k0 )
Z
= lim dk0 k0 [ε(k0 )c1 + c2 ] +
|k|→0 2| k | 2| k |
Z 0
δ(|k| + k0 )
= lim dk0 k0 [−c1 + c2 ]
|k|→0 −∞ 2| k |
Z ∞
δ(|k| − k0 )
+ lim dk0 k0 [c1 + c2 ]
|k|→0 0 2| k |

Final QFT, Lautaro Kinalczyk

 Para la segunda expresión
Z Z
dk0 k0 [ε(k0 )c1 + c2 ] δ(k2 )

dk0 M̂0 (k)|k|=0 = lim
|k|→0
" #
δ(|k| − k0 ) δ(|k| + k0 )
Z
= lim dk0 k0 [ε(k0 )c1 + c2 ] +
|k|→0 2| k | 2| k |
Z 0
δ(|k| + k0 )
= lim dk0 k0 [−c1 + c2 ]
|k|→0 −∞ 2| k |
Z ∞
δ(|k| − k0 )
+ lim dk0 k0 [c1 + c2 ]
|k|→0 0 2| k |

|k| |k|
= lim (c1 − c2 ) + lim ( c1 + c2 ) = c1
|k|→0 2|k| |k|→0 2|k|

Final QFT, Lautaro Kinalczyk

 Donde usamos que

δ(k − k i )
δ( f (k)) = ∑  ′
 k i / f (k i ) = 0
i  f ( x )|k=k i 


Final QFT, Lautaro Kinalczyk

 Donde usamos que

δ(k − k i )
δ( f (k)) = ∑  ′
 k i / f (k i ) = 0
i  f ( x )|k=k i 


Luego

c1 = 2π ⟨0| [ Q̂, ϕ̂(0)] |0⟩ ̸= 0

por lo que podemos concluir que

M̂µ (k) = k µ [ε(k0 )c1 + c2 ] δ(k2 ) ̸= 0 para k2 = 0

ya que c1 ̸= 0 y la presencia ε(k0 ) evita que la suma se anule

Final QFT, Lautaro Kinalczyk

 Juntando todo, tenemos que

h i
M̂µ (k) = −(2π )4 k µ a(k2 ) H (−k0 )⟨k|ϕ̂(0) |0⟩ + b(k2 ) H (k0 )⟨0|ϕ̂(0) |k⟩
̸= 0 para k2 = 0

k̃2 = 0.
 

−→ ∃ k̃ / k̃ ϕ̂(0) |0⟩ ̸= 0 y

 
k̃ es un bosón de spin 0 y masa es nula.

Final QFT, Lautaro Kinalczyk

Ejemplo - Modelo de Goldstone

Un modelo sencillo que presenta una ruptura espontánea de la simetrı́a

es el siguiente
 
L = (∂µ ϕ∗ )(∂µ ϕ) − −µ2 (ϕ∗ ϕ) + λ(ϕ∗ ϕ)2

= (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2

donde µ2 y λ > 0 son parámetros reales. Esta teorı́a es invariante

ante transformaciones globales U (1)

Final QFT, Lautaro Kinalczyk

Ejemplo - Modelo de Goldstone

Un modelo sencillo que presenta una ruptura espontánea de la simetrı́a

es el siguiente
 
L = (∂µ ϕ∗ )(∂µ ϕ) − −µ2 (ϕ∗ ϕ) + λ(ϕ∗ ϕ)2

= (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2

donde µ2 y λ > 0 son parámetros reales. Esta teorı́a es invariante

ante transformaciones globales U (1)

ϕ̂ −→ eiγ ϕ̂ = ϕ̂ + iγϕ̂ + O(γ2 )

ϕ̂∗ −→ e−iγ ϕ̂∗ = ϕ̂∗ − iγϕ̂∗ + O(γ2 )

−→ δϕ̂ = iγ ϕ̂ −→ δϕ̂∗ = −iγ ϕ̂∗

Final QFT, Lautaro Kinalczyk
 La condición para SSB es ⟨0| δϕ̂ |0⟩ ̸= 0, que en este caso se
expresarı́a como

iγ ⟨0| ϕ̂ |0⟩ ̸= 0 o − iγ ⟨0| ϕ̂∗ |0⟩ ̸= 0

es decir, si el valor de expectación de alguno de los campos en el
vació es distinto de cero.

Final QFT, Lautaro Kinalczyk

 La condición para SSB es ⟨0| δϕ̂ |0⟩ ̸= 0, que en este caso se
expresarı́a como

iγ ⟨0| ϕ̂ |0⟩ ̸= 0 o − iγ ⟨0| ϕ̂∗ |0⟩ ̸= 0

es decir, si el valor de expectación de alguno de los campos en el
vació es distinto de cero.

Debido a que ϕ̂ = ϕ̂1 + i ϕ̂2 y ϕ̂∗ = ϕ̂1 − i ϕ̂2, ambas condi-

ciones para la SSB se pueden resumir pidiendo que
 
⟨0| ϕ̂ |0⟩ ̸= 0

Como dijimos antes, vamos a verificar que el modulo del campo toma
un valor no nulo en el mı́nimo del potencial.

Final QFT, Lautaro Kinalczyk

 V = − µ2 ( ϕ ∗ ϕ ) + λ ( ϕ ∗ ϕ )4 = − µ2 | ϕ |2 + λ | ϕ |4

Final QFT, Lautaro Kinalczyk

 V = − µ2 ( ϕ ∗ ϕ ) + λ ( ϕ ∗ ϕ )4 = − µ2 | ϕ |2 + λ | ϕ |4

Luego, calculamos las derivadas del potencial para buscar los puntos
de equilibrio
dV
• = −2µ2 |ϕ| + 4λ|ϕ|3 = 2|ϕ|(−µ2 + 2λ|ϕ|2 ) = 0
d|ϕ|
s
µ2
|ϕ0 | = 0 |ϕ0 | =
2λ

Final QFT, Lautaro Kinalczyk

 V = − µ2 ( ϕ ∗ ϕ ) + λ ( ϕ ∗ ϕ )4 = − µ2 | ϕ |2 + λ | ϕ |4

Luego, calculamos las derivadas del potencial para buscar los puntos
de equilibrio
dV
• = −2µ2 |ϕ| + 4λ|ϕ|3 = 2|ϕ|(−µ2 + 2λ|ϕ|2 ) = 0
d|ϕ|
s
µ2
|ϕ0 | = 0 |ϕ0 | =
2λ
d2 V 2 + 12λ ϕ 2
• 2
= − 2µ | |
d|ϕ|
 
d2V  d2V 
2 
= −2µ2 < 0 2 
= 4µ2 > 0
d|ϕ| d|ϕ|
q
µ2
|ϕ0 |=0 |ϕ0 |= 2λ

Final QFT, Lautaro Kinalczyk

 Los puntos de equilibrio son entonces

|ϕ0 | = 0 −→ ϕ0 = 0 Inestable, único

s s
µ2 µ2 iθ0
|ϕ0 | = −→ ϕ0 = e Estable, inf. deg. θ0 ∈ [0, 2π )
2λ 2λ

Final QFT, Lautaro Kinalczyk

 Los puntos de equilibrio son entonces

|ϕ0 | = 0 −→ ϕ0 = 0 Inestable, único

s s
µ2 µ2 iθ0
|ϕ0 | = −→ ϕ0 = e Estable, inf. deg. θ0 ∈ [0, 2π )
2λ 2λ

Luego, en la configuración
estable de equilibrio, tenemos
que
q
  µ2
⟨0| ϕ̂ |0⟩ ≈ 2λ ̸= 0
 

y la teorı́a presenta una

ruptura espontánea de la
simetrı́a.
Final QFT, Lautaro Kinalczyk
Estados excitados
Recordemos que

L = (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2

Final QFT, Lautaro Kinalczyk

Estados excitados
Recordemos que

L = (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2

Vamos a expandir los campos

q en coordenadas polares en torno al
µ2
punto de equilibrio ϕ0 = 2λ (θ0 = 0)

ϕ( x ) =(ϕ0 + δρ( x ))eiδθ ( x) = (ϕ0 + δρ( x ))(1 + iδθ ( x ) + O(δθ 2 ))

−→ ϕ( x ) = ϕ0 + δρ( x ) + iϕ0 δθ ( x ) + O(δθ 2 )

−→ ϕ∗ ( x ) = ϕ0 + δρ( x ) − iϕ0 δθ ( x ) + O(δθ 2 )

Final QFT, Lautaro Kinalczyk

 Luego, reemplazando en el lagrangiano tenemos que

L = (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2 = ∂µ ϕ∗ ∂µ ϕ + µ2 |ϕ|2 − λ|ϕ|4

≈ ∂µ (ϕ0 + δρ( x ) − iϕ0 δθ ( x ))∂µ (ϕ0 + δρ( x ) + iϕ0 δθ ( x ))

+ µ2 (ϕ0 + δρ)2 − λ(ϕ0 + δρ)4 = ...

−→ L = (∂µ δρ)(∂µ δρ) − 2µ2 (δρ)2 + ϕ02 (∂µ δθ )(∂µ δθ ) + term. int.

Final QFT, Lautaro Kinalczyk

 Luego, reemplazando en el lagrangiano tenemos que

L = (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2 = ∂µ ϕ∗ ∂µ ϕ + µ2 |ϕ|2 − λ|ϕ|4

≈ ∂µ (ϕ0 + δρ( x ) − iϕ0 δθ ( x ))∂µ (ϕ0 + δρ( x ) + iϕ0 δθ ( x ))

+ µ2 (ϕ0 + δρ)2 − λ(ϕ0 + δρ)4 = ...

−→ L = (∂µ δρ)(∂µ δρ) − 2µ2 (δρ)2 + ϕ02 (∂µ δθ )(∂µ δθ ) + term. int.
q
• δρ Corresponde a un bosón escalar (spin 0) de masa m = 2µ2

• δθ Corresponde a un bosón escalar (spin 0) de masa m = 0

Final QFT, Lautaro Kinalczyk

 Luego, reemplazando en el lagrangiano tenemos que

L = (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2 = ∂µ ϕ∗ ∂µ ϕ + µ2 |ϕ|2 − λ|ϕ|4

≈ ∂µ (ϕ0 + δρ( x ) − iϕ0 δθ ( x ))∂µ (ϕ0 + δρ( x ) + iϕ0 δθ ( x ))

+ µ2 (ϕ0 + δρ)2 − λ(ϕ0 + δρ)4 = ...

−→ L = (∂µ δρ)(∂µ δρ) − 2µ2 (δρ)2 + ϕ02 (∂µ δθ )(∂µ δθ ) + term. int.
q
• δρ Corresponde a un bosón escalar (spin 0) de masa m = 2µ2

• δθ Corresponde a un bosón escalar (spin 0) de masa m = 0

−→ Bosón de Goldstone

Final QFT, Lautaro Kinalczyk

 L = (∂µ ϕ∗ )(∂µ ϕ) + µ2 (ϕ∗ ϕ) − λ(ϕ∗ ϕ)2




y

L = (∂µ δρ)(∂µ δρ) − 2µ(δρ)2 + ϕ02 (∂µ δθ )(∂µ δθ ) + term. int.

Final QFT, Lautaro Kinalczyk

Mecanismo de Higgs

Como mencionamos anteriormente, el mecanismo de Higgs se da en

teorı́as que presenten una SSB sobre una simetrı́a de gauge. En estos
casos, el teorema de Goldstone se ’rompe’ y la forma en que lo hace
depende del gauge que se elija. Sin embargo, el resultado es el mismo
para toda elección de gauge; los bosones de Goldstone desaparecen y
los bosones de gauge adquieren masa.

Final QFT, Lautaro Kinalczyk

Ejemplo - QED Escalar con potencial

Una teoria de gauge que presenta una SSB es la siguiente

∗ µ

2 ∗ ∗

2 1 µν
L = ( Dµ ϕ )( D ϕ) − −µ (ϕ ϕ) + λ(ϕ ϕ) − F Fµν
4

Donde Dµ = ∂µ + ieAµ es la derivada covariante, e es la constante de

acoplamiento y Fµν = ∂µ Aν − ∂ν Aµ . El bosón de gauge que adquiere
masa en este caso, debido al mecanismo de Higgs, es el fotón. Esta
teorı́a es invariante ante transformaciones locales U(1):

Final QFT, Lautaro Kinalczyk

Ejemplo - QED Escalar con potencial

Una teoria de gauge que presenta una SSB es la siguiente

∗ µ 2

∗ ∗ 2 1 µν 
L = ( Dµ ϕ )( D ϕ) − −µ (ϕ ϕ) + λ(ϕ ϕ) − F Fµν
4
Donde Dµ = ∂µ + ieAµ es la derivada covariante, e es la constante de
acoplamiento y Fµν = ∂µ Aν − ∂ν Aµ . El bosón de gauge que adquiere
masa en este caso, debido al mecanismo de Higgs, es el fotón. Esta
teorı́a es invariante ante transformaciones locales U(1):

ϕ( x ) −→ eiλ( x) ϕ( x )

ϕ∗ ( x ) −→ e−iλ( x) ϕ∗ ( x )
1
Aµ ( x ) −→ Aµ ( x ) − ∂µ λ( x )
e
Final QFT, Lautaro Kinalczyk
 Reemplazando la derivada covariante, el lagrangiano se escribe como

∗ µ 2 ∗ ∗ 2 1 µν
L = (∂µ ϕ )(∂ ϕ) + µ (ϕ ϕ) − λ(ϕ ϕ) − F Fµν
4
+ ieAµ ϕ ∂µ ϕ∗ − ieAµ ϕ∗ ∂µ ϕ + e2 Aµ Aµ ϕ∗ ϕ

Final QFT, Lautaro Kinalczyk

 Reemplazando la derivada covariante, el lagrangiano se escribe como

∗ µ 2 ∗ ∗ 2 1 µν
L = (∂µ ϕ )(∂ ϕ) + µ (ϕ ϕ) − λ(ϕ ϕ) − F Fµν
4
+ ieAµ ϕ ∂µ ϕ∗ − ieAµ ϕ∗ ∂µ ϕ + e2 Aµ Aµ ϕ∗ ϕ

Primero, pasamos a coordenadas polares tomando

ϕ( x ) = ρ( x )eiθ ( x) ϕ∗ ( x ) = ρ( x )e−iθ ( x)

El lagrangiano se puede escribir como

1 µν
L= (∂µ ρ)(∂ ρ) + µ ρ − λρ − F Fµν + ρ2 (∂µ θ + eAµ )(∂µ θ + eAµ )
µ 2 2 4
4

Final QFT, Lautaro Kinalczyk

 1 µν
L= (∂µ ρ)(∂ ρ) + µ ρ − λρ − F Fµν + ρ2 (∂µ θ + eAµ )(∂µ θ + eAµ )
µ 2 2 4
4

Final QFT, Lautaro Kinalczyk

 1 µν
L= (∂µ ρ)(∂ ρ) + µ ρ − λρ − F Fµν + ρ2 (∂µ θ + eAµ )(∂µ θ + eAµ )
µ 2 2 4
4

Fijando el gauge unitario

′ 1 ′
Aµ = Aµ + ∂µ θ y Fµν = Fµν
e
El lagrangiano resulta (renombrando A′µ → Aµ )
1 µν
L= µ 2 4
(∂µ ρ)(∂ ρ) + µρ − λρ − F Fµν + e2 ρ2 Aµ Aµ
4

Final QFT, Lautaro Kinalczyk

 1 µν
L= (∂µ ρ)(∂ ρ) + µ ρ − λρ − F Fµν + ρ2 (∂µ θ + eAµ )(∂µ θ + eAµ )
µ 2 2 4
4

Fijando el gauge unitario

′ 1 ′
Aµ = Aµ + ∂µ θ y Fµν = Fµν
e
El lagrangiano resulta (renombrando A′µ → Aµ )
1 µν
L= µ 2 4
(∂µ ρ)(∂ ρ) + µρ − λρ − F Fµν + e2 ρ2 Aµ Aµ
4
Como vimos en el anterior ejemplo, el campo θ ( x ) estaba asociado a
los bosones de Goldstone. El fijado de gauge unitario deja en evidencia
que estos grados de libertad están desacoplados de la teorı́a.

Final QFT, Lautaro Kinalczyk

 Del anterior ejemplo, sabemos que este modeloqpresenta una ruptura
espontánea de la simetrı́a ya que ⟨0| ρ̂( x ) |0⟩ ≈ µ2 /2λ = ϕ0. Vamos
a expandir la coordenada radial en torno al punto de equilibrio estable
ρ( x ) = ϕ0 + δρ( x )

Final QFT, Lautaro Kinalczyk

 Del anterior ejemplo, sabemos que este modeloqpresenta una ruptura
espontánea de la simetrı́a ya que ⟨0| ρ̂( x ) |0⟩ ≈ µ2 /2λ = ϕ0. Vamos
a expandir la coordenada radial en torno al punto de equilibrio estable
ρ( x ) = ϕ0 + δρ( x )

µ 2 2 4 1 µν
L= ∂µ (ϕ0 + δρ) ∂ (ϕ0 + δρ) + µ (ϕ0 + δρ) − λ(ϕ0 + δρ) − F Fµν
4
+ e2 (ϕ0 + δρ)2 Aµ Aµ = . . .

1 µν
−→ L = (∂µ δρ)(∂ δρ) − 2µ δρ − F Fµν + e2 ϕ02 Aµ Aµ + term. int.
µ 2 2
4

Final QFT, Lautaro Kinalczyk

 Del anterior ejemplo, sabemos que este modeloqpresenta una ruptura
espontánea de la simetrı́a ya que ⟨0| ρ̂( x ) |0⟩ ≈ µ2 /2λ = ϕ0. Vamos
a expandir la coordenada radial en torno al punto de equilibrio estable
ρ( x ) = ϕ0 + δρ( x )

µ 2 2 4 1 µν
L= ∂µ (ϕ0 + δρ) ∂ (ϕ0 + δρ) + µ (ϕ0 + δρ) − λ(ϕ0 + δρ) − F Fµν
4
+ e2 (ϕ0 + δρ)2 Aµ Aµ = . . .

1 µν
−→ L = (∂µ δρ)(∂ δρ) − 2µ δρ − F Fµν + e2 ϕ02 Aµ Aµ + term. int.
µ 2 2
4
q
• δρ Corresponde a un bosón escalar (spin 0) de masa m = 2µ2
√
• Aµ Corresponde a un bosón vectorial (spin 1) de masa m = 2eϕ0

Final QFT, Lautaro Kinalczyk

   1 µν
L = ( Dµ ϕ∗ )( D µ ϕ) − − µ2 ( ϕ ∗ ϕ ) + λ ( ϕ ∗ ϕ )2 − F Fµν
4



y
1 µν
L= µ 2 4
(∂µ ρ)(∂ ρ) + µρ − λρ − F Fµν + e2 ρ2 Aµ Aµ
4



y
1 µν
L= (∂µ δρ)(∂ δρ) − 2µ δρ − F Fµν + e2 ϕ02 Aµ Aµ + term. int.
µ 2 2
4

Final QFT, Lautaro Kinalczyk

SSB en el modelo estándar

El grupo de gauge de la teorı́a electrodébil en el modelo estandar esta

dado por SU (2) T × U (1)Y , cuyos generadores son el ’isospı́n débil (Ti )’

y la ’Hipercarga débil (Y)’ respectivamente.

Los campos de gauge asociados son Wµi ( x ), i = 1, 2, 3 para el isospı́n

débil y Bµ ( x ) para la hipercarga débil. Todos inicialmente no masivos.

Final QFT, Lautaro Kinalczyk

SSB en el modelo estándar
Para temperaturas menores a una temperatura critica Tc , el campo de
Higgs adquiere un valor de expectación no nulo en el vació que rompe
la simetrı́a electrodébil. La combinación particular de los generadores
1
Q = T3 + Y
2
Genera el subgrupo de gauge Uem (1) que no rompe la simetria, es
decir, Q |0⟩ = 0. Este generador Q es la carga eléctrica, y campo de
gauge asociado es Aµ ( x ), cuyas excitaciones son los fotones (No ma-
sivos).

En consecuencia, tambien se obtienen los campos Wµ± ( x ) y Z ( x ),

masivos via el mecanismo de Higgs.

Final QFT, Lautaro Kinalczyk

Apéndice: Acción y potencial efectivo

Queremos calcular valores de expectación de campos cuánticos en el

vació. Debido a que tenemos teorı́as interactuantes, estos cálculos no

son triviales y se hacen de forma perturbativa. Vamos a ver que el valor

del campo en el vacı́o se puede obtener minimizando el ’Potencial efec-

tivo’, que en el limite clásico coincide con el potencial. En el proceso de

demostrar esto, vamos a hablar sobre la acción efectiva y la formulación

de la teorı́a de campos en términos de integrales de camino.

Final QFT, Lautaro Kinalczyk

 Derivadas funcionales

∂Jx ∂
∂Jy
= δxy ∑
∂Jy x
Jx ϕx = ϕy




y
δJ ( x )
Z
δ
= δ4 ( x − y ) d4 y J ( y ) ϕ ( y ) = ϕ ( x )
δJ (y) δJ ( x )

Final QFT, Lautaro Kinalczyk

 Amplitud de transición ϕi (x, ti ) → ϕ f (x, t f )

D  E Z ϕ f (x,t f )  Z t
i f

• ϕi (x, ti )ϕ f (x, t f ) = D ϕ exp d4 x L[ϕ]

ϕi (x,ti ) h̄ ti

Tomando |ϕi (x, −∞ )⟩ ≡ |0, −∞⟩ y |ϕ f (x, +∞ )⟩ ≡ |0, +∞⟩

 
i
Z
⟨0, +∞|0, −∞⟩ = D ϕ exp S[ϕ]
h̄
Asumiendo un vació es estable, tenemos que ⟨0, +∞| = e−iα ⟨0, −∞|
y por ende
 
i
Z
⟨0, +∞|0, −∞⟩ = e − iα = D ϕ exp S[ϕ]
h̄

Final QFT, Lautaro Kinalczyk

 Los elementos de matriz se escriben como
 Z 
i
Z
• ⟨0, +∞| T {ϕ̂( x1 ) . . . ϕ̂( xn )} |0, −∞⟩ = D ϕ ϕ( x1 ) . . . ϕ( xn ) exp d4 x L[ϕ]
h̄

Reemplazando ⟨0, +∞| = eiα ⟨0, −∞| y denotando |0, −∞⟩ ≡ |0⟩,
tenemos
 Z 
1 i
Z
⟨0| T {ϕ̂( x1 ) . . . ϕ̂( xn )} |0⟩ = D ϕ ϕ( x1 ) . . . ϕ( xn ) exp d4 x L[ϕ]
e−iα h̄

R i R 4

D ϕ ϕ( x1 ) . . . ϕ( xn ) exp h̄ d x L[ϕ]
⟨0| T {ϕ̂( x1 ) . . . ϕ̂( xn )} |0⟩ = R i
D ϕ exp h̄ S[ϕ]

Esta ultima expresión es la función de Green de n puntos / propa-

gador escrito en términos de integrales funcionales.

Final QFT, Lautaro Kinalczyk

 Función de Partición
Definimos la función de partición como
    
i i
Z Z
Z [ J ] = exp W [ J ] = D ϕ exp S [ ϕ ] + d4 x J ( x ) ϕ ( x )
h̄ h̄

De forma tal que

n o
D ϕ ϕ( x1 ) . . . ϕ( xn ) exp h̄i S
R
⟨0| T {ϕ̂( x1 ) . . . ϕ̂( xn )} |0⟩ = n o
D ϕ exp h̄i S
R

(−ih̄)n δn Z [ J ]


= 
Z [0] δJ1 . . . δJn  J =0

Final QFT, Lautaro Kinalczyk

 Definiendo W [ J ] tal que Z [ J ] = exp{iW [ J ]}, podemos ver que

δW [ j] h̄ δ ln( Z [ j]) h̄ 1 δZ [ j]
= =
J (x) i δJ ( x ) i Z [ j] δJ ( x )
n o
D ϕ ϕ( x ) exp h̄i S[ϕ] + h̄i d4 x J ( x )ϕ( x )
R R
= n o
D ϕ exp h̄i S[ϕ] + h̄i d4 x J ( x )ϕ( x )
R R

= ⟨0| ϕ̂( x ) |0⟩ J ≡ ϕ J ( x )


δW [ j] 
−→ = ϕ J (x) y ϕ J ( x ) = ⟨0| ϕ̂( x ) |0⟩ = ⟨ϕ⟩
J (x) J =0

Final QFT, Lautaro Kinalczyk

Acción efectiva
Definimos (por razones que serán evidentes en un momento) la acción
efectiva como la transformada de legendre de W [ j]
Z
Γ[ϕ J ] = W [ J ] − d4 x J ( x ) ϕ J ( x )
En efecto, vemos que
 
δΓ[ϕ J ] δW [ j] δJ (y)
Z Z
δ
= W[ J] − d4 y J ( y ) ϕ J ( y ) = − d4 y ϕ J (y) − J ( x )
δϕ J ( x ) δϕ J ( x ) δϕ J ( x ) δϕ J ( x )

4 δW [ j ] δJ ( y ) δJ (y)
Z Z
4
= dy − dy ϕ J (y) − J ( x )
δJ(y) δϕ J ( x ) δϕ J ( x )

δJ (y) δJ (y) δΓ[ϕ J ]

Z Z
= d4 y ϕ J ( y ) − d4 y ϕ J (y) − J ( x ) −→ = − J (x)
δϕ J ( x ) δϕ J ( x ) δϕ J ( x )

Final QFT, Lautaro Kinalczyk

 Tomando J ( x ) = 0 la condición anterior se escribe

δΓ[ϕ J ] 
=0
δϕ J ( x ) 

J =0

Que es la razón por la cual la llamamos acción efectiva. La acción

efectiva se suele escribir como una expansión en derivadas de la forma
Z  
Γ[ϕ J ] = d4 x Ke f ∂ϕ J − Ve f ϕ J
   

Como ϕ J ( x) = ⟨0| ϕ̂( x) |0⟩ J = ⟨0| e−ix P̂ ϕ̂(0)eix P̂ |0⟩ J = ⟨0| ϕ̂(0) |0⟩ J tenemos que
ϕ J ( x ) = cte . Luego Ke f [∂ϕ J ] = 0 y la acción efectiva se reduce a

Z
Γ[ϕ J ] = −Ve f (ϕ J ) d4 x −→ Γ[ϕ J ] = −V4 Ve f (ϕ J )

Final QFT, Lautaro Kinalczyk

 Donde ahora Ve f pasó de ser un funcional a una función. Luego, la
condición para minimizar la acción efectiva se escribe

 
δΓ[ϕ J ]  ∂Ve f (ϕ J ) 
=0 −→ =0
δϕ J ( x ) 
 
∂ϕ J 
J =0 J =0

Esta ultima ecuación nos dice que el valor de expectación del campo
cuántico en el vació es tal que minimiza el potencial efectivo. Nos
gustarı́a entonces encontrar una expresión para dicho potencial. Lamentabl
mente, despejarlo de forma exacta resulta imposible, por lo que vamos
a obtenerlo de forma perturbativa a primer orden en h̄.

Final QFT, Lautaro Kinalczyk

 Pasemos entonces a calcular la acción efectiva de forma perturbativa.
Tenı́amos que
  
i
Z Z
Z [ J ] = exp{iW [ J ]} = D ϕ exp S[ϕ] + d4 xJ ( x )ϕ( x )
h̄
Queremos aproximar y evaluar esta integral. Para esto definimos
 
i
Z Z
4
A[ϕ] = S[ϕ] + d y J (y)ϕ(y) −→ Z [ J ] = D ϕ( x ) exp A[ϕ]
h̄
La solución clásica es tal que minimiza esta acción A[ϕ], luego
  
δA[ϕ] 
Z
 δS[ϕ]   δ 4

= + d y J ( y ) ϕ ( y ) 
δϕ( x ) ϕcl δϕ( x ) ϕcl δϕ( x ) 
ϕcl
 
δS[ϕ]  δS[ϕ] 
0= + J (x) −→ = − J (x)
δϕ( x ) ϕcl
 δϕ( x ) ϕcl


Final QFT, Lautaro Kinalczyk

 Evaluando A[ϕ] en torno a la solución clásica ϕcl ( x ) (Background
field method) tenemos que
Z
A[ϕcl + δϕ] = S[ϕcl + δϕ] + d4 x J ( x ) [ϕcl ( x ) + δϕ( x )]
Z Z
= S[ϕcl + δϕ] + d4 x J ( x )ϕcl ( x ) + d4 x J ( x )δϕ( x )

Considerando δϕ( x ) pequeño, expandimos S[ϕcl + δϕ] como

2
 
δS[ϕ]  1 δ S[ϕ] 
Z ZZ
4 4 4

S[ϕcl + δϕ] ≈ S[ϕcl ] + d x δϕ( x ) + d xd y δϕ( x ) δϕ(y)
δϕ( x) ϕ
 2 δϕ( x )δϕ(y) ϕcl

cl

2

1 δ S[ϕ] 
Z ZZ
4 4 4
≈ S[ϕcl ] + d x (−J(x)) δϕ( x ) + d xd y δϕ( x ) δϕ(y)
2 δϕ( x )δϕ(y) ϕcl

1
Z ZZ
A[ϕcl + δϕ] ≈ S[ϕcl ] + 4
d x J ( x )ϕcl ( x ) + d4 xd4 y δϕ( x ) δ2 S|ϕcl δϕ(y)
2

Final QFT, Lautaro Kinalczyk

 Luego, el funcional generador se aproxima como
  Z  
i i
Z
Z [ J ] = D ϕ exp A[ϕ] = D δϕ exp A[ϕcl + δϕ]
h̄ h̄
  
i
Z
≈ exp S[ϕcl ] + d4 x J ( x )ϕcl ( x )
h̄
 ZZ 
i
Z
× D δϕ exp d4 xd4 y δϕ( x ) δ2 S|ϕcl δϕ(y)
2h̄

Esta integral de camino se puede evaluar de forma exacta utilizando

la siguiente identidad
 ZZ 
i
Z
D ϕ exp d4 xd4 y ϕ( x ) A( x, y)ϕ(y) = det ( A)−1/2
2h̄

Final QFT, Lautaro Kinalczyk

 Dicha identidad define al determinante funcional, y se obtiene a par-
tir de una generalización del limite continuo de la siguiente integral
gaussiana  
n −1 Z ∞  i n −1  n 1
∏ −∞ dϕk exp 2h̄ ∑ ϕi Aij ϕj  = (2πih̄) 2 det( A) 2 −
k =0 i,j=0

Usando que det( A) = exp{Tr(ln( A))} (Traza funcional) tenemos

   
i 1
Z ZZ
d4 xd4 y δϕ( x ) δ2 S|ϕcl δϕ(y) = exp − Tr ln δ2 S|ϕcl



D ϕ exp
2h̄ 2

Luego, el funcional generador se aproxima como

    
i 1
Z
S[ϕcl ] + d4 x J ( x )ϕcl ( x ) exp − Tr ln δ2 S|ϕcl



Z [ J ] ≈ exp
h̄ 2
    
i i ih̄
Z
S[ϕcl ] + d4 x J ( x )ϕcl ( x ) + Tr ln δ2 S|ϕcl



exp W [ J ] ≈ exp
h̄ h̄ 2

Final QFT, Lautaro Kinalczyk

 Luego, tenemos que
ih̄
Z   
W [ J ] ≈ S[ϕcl ] + d4 x J ( x )ϕcl ( x ) + Tr ln δ2 S|ϕcl
2
Al orden mas bajo en h̄, es posible ver que ϕ J ( x ) = ϕcl ( x ).

δW [ J ] δS[ϕcl ]
Z
δ
≈ + d4 y J (y)ϕcl (y) + O(h̄)
δJ ( x ) δJ ( x ) δJ ( x )
δS[ϕcl ] δϕcl ( x ) δϕcl (y) δJ (y)
Z
4
ϕJ (x) ≈ + ϕcl ( x ) + d y J (y) + O(h̄)
δϕcl (x) δJ ( x ) δJ (y) δJ ( x )
H H 

δϕ ( x ) ( x)
HH HH 
H δϕcl

HHcl
 
≈ −J(x) + ϕcl ( x ) + J ( x) HH + O(h̄) = ϕcl ( x ) + O(h̄)
H  HH 
H 
δJ ( x ) ( x )



 HH
H
H 
  δJ H HH
H

δW [ J ]
ϕcl ( x ) ≈ ϕ J ( x ) + O(h̄) donde usamos que = ϕ J (x)
δJ ( x )
Final QFT, Lautaro Kinalczyk
 R 4
Recordando que Γ[ϕ J ] = W [ J ] − d x J ( x )ϕ J ( x )

ih̄
Z Z   
Γ[ϕ J ] + d4 x J ( x )ϕ J ( x ) ≈ S[ϕcl ] + d4 xJ ( x )ϕcl ( x ) + Tr ln δ2 S|ϕcl
2

Reemplazando ϕcl ( x ) ≈ ϕ J ( x ) y simplificando, tenemos

ih̄   2 
Γ[ϕ J ] ≈ S[ϕ J ] + Tr ln δ S|ϕ J
2

Final QFT, Lautaro Kinalczyk

 ih̄   2 
Γ[ϕ J ] ≈ S[ϕ J ] + Tr ln δ S|ϕ J
2

Es posible simplificar aún mas esta ecuación. Para esto, utilizamos la

definición de la traza (independiente de la base ortonormal que se elija)
   Z  
Tr ln δ2 S|ϕ J = d4 x ⟨ x | ln δ2 S|ϕ J | x ⟩
R 4
Introduciendo dos identidades 1 = d k |k⟩ ⟨k|

   Z ZZ  
Tr ln δ2 S|ϕ J = d4 x d4 p d4 k ⟨ x | p⟩ ⟨ p| ln δ2 S|ϕ J |k⟩ ⟨k | x ⟩

  n  o
Definiendo el autovalor ln δ2 S|ϕ J |k⟩ = λ ln δ2 S|ϕ J |k⟩

Final QFT, Lautaro Kinalczyk

    Z ZZ n  o
Tr ln δ2 S|ϕ J = d4 x d4 p d4 k ⟨ x | p⟩ ⟨ p|k⟩ ⟨k| x ⟩ λ ln δ2 S|ϕ J

Considerando que ⟨ p|k⟩ = δ4 ( p − k ) y ⟨ x | p⟩ = eipx

(2π )2

   Z ZZ
e ipx e −ikx n  o
Tr ln δ2 S|ϕ J = d4 x d4 p d4 k 2
δ 4( p − k)
2
λ ln δ 2 S|
ϕJ
(2π) (2π)

d4 k n  2
Z o
= V4 4
λ ln δ S|ϕ J
(2π )
Donde usamos que ϕ J ( x ) = cte. Luego, la acción efectiva se escribe

ih̄ d4 k n  2
Z o
Γ [ ϕ J ] ≈ S [ ϕ J ] + V4 4
λ ln δ S|ϕ J
2 (2π )
Final QFT, Lautaro Kinalczyk
 Nuevamente, ϕ J ( x ) = cte, por lo que ∂ϕ J = 0 y podemos escribir

Γ[ϕ J ] = −V4Ve f (ϕ J ) S[ϕ J ] = −V4VJ (ϕ J )

Donde VJ (ϕ J ) es el potencial clásico en presencia de la fuente J. Uti-

lizando la expresión que obtuvimos para la acción efectiva y estas dos
ultimas dos condiciones, podemos despejar el potencial efectivo como

ih̄ d4 k n  2
Z o
Ve f (ϕ J ) ≈ VJ (ϕ J ) − 4
λ ln δ S|ϕ J
2 (2π )

Final QFT, Lautaro Kinalczyk

 Recordando que

 
∂Ve f (ϕ J )  ∂VJ (ϕ J ) 
 =0 −→  + O(h̄) = 0
∂ϕ J  ∂ϕ J 
J =0 J =0

Luego, al orden mas bajo en h̄ (limite clásico), tenemos que

 
∂Ve f (ϕ J )  ∂VJ (ϕ J ) 
 =0 −→  =0
∂ϕ J  ∂ϕ J 
J =0 ⟨ϕ⟩

Donde usamos que J = 0 corresponde a ϕ J = ⟨0| ϕ̂ |0⟩ = ⟨ϕ⟩. Lo

que nos dice esto es que el valor de expectación del campo cuántico
en el vació es, al orden mas bajo, el valor del campo que minimiza el
potencial clásico.
Final QFT, Lautaro Kinalczyk
 Como ejemplo, considerando un lagrangiano

1
L = ∂µ ϕ∂µ ϕ + V (ϕ)
2

El potencial efectivo, a primer orden en h̄, se conoce como el poten-

cial de Coleman - Weinberg

!
ih̄ d4 k k2 − V ′′ (ϕ)
Z
Ve f (ϕ) = V (ϕ) − ln
2 (2π ) 4 k2

Donde se agrego un termino constante para adimensionalizar el log-

aritmo. La integral diverge de forma cuadrática y logarı́tmica.

Final QFT, Lautaro Kinalczyk