We now consider a slight variation of the argument from last day, where we use a slightly different field equation for the Higgs mode,
(∂t−iAt)2ϕ−(∂x−iAx)2ϕ−(∂y−iAy)2ϕ−m2ϕ+λ2|ϕ|2ϕ=0.
Now in addition to the stationary point at ϕ=0, this equation has a static uniform solution ϕ=(m/λ)eiχ for any phase χ. The mental picture is that ϕ is in a "mexican hat" potential, with a local maximum at the center, and a ring of local minima.
We are going to repeat our previous argument, but this time linearize about ϕ=ϕ0=(m/λ). That is we write
ϕ=mλ+a+ib
where a and b are small.
The punch line will be that before we had 4 modes: an unphysical gauge transformation, a single ``photon" mode, and two massive excitations of the Higgs. When we
expand about this new location these will become: an unphysical gauge transformation, one massive ``longitudinal" Higgs mode, and two massive "photon" modes,. Thus coupling to the Higgs mode with this sort of potential leads to massive gauge fields. This is how in the electroweak theory the W and Z bosons are given mass.
Now back to the mathematics.
We linearize and take the real and imaginary parts to get
(∂2t−∂2x+2m2)a=0(∂2tb−ϕ0∂tAt)−(∂2xb−ϕ0∂xAx)−(∂2yb−ϕ0∂yAy)=0
The real component of the fluctuations (corresponding to changing the length of ϕ decouples, and acts as a massive relativistic particle.
This mode is the analog of the "Higgs boson" which was recently seen at the LHC.
The imaginary component of the fluctuations are coupled to the Gauge field. Linearizing Maxwell's equations written in terms of the potential,
(see last lecture), we get
∂t[∂xAx+∂yAy]−(∂2x+∂2y)At=ϕ0∂tb−ϕ20At∂x[−∂yAy+∂tAt]−(−∂2y+∂2t)Ax=−ϕ0∂xb+ϕ20Ax∂y[∂tAt−∂xAx]−(∂2t−∂2x)Ay=−ϕ0∂yb+ϕ20Ay
The four coupled equations can be combined into
(ω2−k2y−ϕ20kxkyωkxikxϕ0kxkyω2−k2x−ϕ20ωkyikyϕ0ωkxωkyk2x+k2y+ϕ20iωϕ0−ikxϕ0−ikyϕ0−iωϕ0ω2−k2)(AxAyAtb)=0
Looking at the eigenvalues, we find
- (kxω,kyω,k2+ϕ20,−iϕ0ω)
- is an eigenvector with eigenvalue ω2+k2+ϕ20. Since this is always positive, it is never a mode.
- (kx,ky,−ω,−iϕ0)
- is an eigenvector which always has eigenvalue 0. This is again a gauge transformation -- and has no physical significance.
- (−ky,kx,0,0) and (ϕ0ky,ϕ0kx,0,2ikxky)
- are eigenvectors with eigenvalue k2+ϕ20−ω2. These are the new "massive" gauge fields.