Master's Thesis in Theoretical Physics - Universiteit Utrecht
Master's Thesis in Theoretical Physics - Universiteit Utrecht
Master's Thesis in Theoretical Physics - Universiteit Utrecht
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
φψψFigure 6.1: Feynman diagram for the one-loop fermion self-energy with a scalar field φ <strong>in</strong> the loop. Thefermion field is denoted by ψ. The scalar field φ is <strong>in</strong> this case the Higgs boson <strong>in</strong> quasi de Sitter space. In caseof the two-Higgs doublet model one of the two Higgs bosons only couples to up-type fermions, whereas the otheronly couples to down-type fermions.6.1 we show the one-loop diagram that we want to calculate. The fermion propagates, thensplits <strong>in</strong>to a scalar (the Higgs boson) and a fermion and recomb<strong>in</strong>es aga<strong>in</strong> <strong>in</strong>to a fermion.These loop effects can be reexpressed as an energy or mass term <strong>in</strong> the fermion action. Thisis what we call the fermion self-energy, and <strong>in</strong> this chapter we specifically calculate theone-loop self-energy. The one-loop self-energy and its effect on the dynamics of fermionswas already calculated by Garbrecht and Prokopec <strong>in</strong> [39]. We will redo their calculationhere, with the difference that we will work now <strong>in</strong> quasi de Sitter space, <strong>in</strong>stead of exact deSitter.In order to calculate the one-loop self-energy, we calculate the diagram <strong>in</strong> Fig. 6.1 bymultiply<strong>in</strong>g the scalar-fermion vertices with the <strong>in</strong>ternal scalar and fermion propagator.For the scalar propagator we use the Feynman propagator for the two-Higgs doublet modeldef<strong>in</strong>ed <strong>in</strong> Eq. (5.129). We found the explicit expression for this propagator <strong>in</strong> quasi deSitter space <strong>in</strong> Eq. (5.130), which we list here aga<strong>in</strong> as a matter of convenience,i∆(x, x ′ ) = [(1 − ɛ)2 HH ′ ] D 2 −1Γ( D ( y(4π) D 2 2 − 1) 4) 1−D2+ (1 − ɛ)2 HH ′ ( ) 1(4π) 2 Ψ 04 − ν2 + O( s + ɛ). (6.60)3For the fermion propagator we should use the massive fermion propagator derived <strong>in</strong> [38].However, for matters of simplicity we use the massless fermion propagator from Eq. (6.44),which isiS F (x, x ′ ) =1(aa ′ ) D−12iγ c ∂ c(Γ(D2 − 1)4π D 2)1[∆x 2 (x, x ′ )] D 2 −1In pr<strong>in</strong>ciple the only fermions we can describe with this massless propagator are neutr<strong>in</strong>os.Of course we also want to describe one-loop effects for the quark propagator, which aremuch larger because the Yukawa coupl<strong>in</strong>gs are much larger (remember that the mass of thefermions is generated through the Yukawa <strong>in</strong>teractions, so the largest mass has the largestYukawa coupl<strong>in</strong>g). Therefore by tak<strong>in</strong>g the massless fermion propagator, we actually makean <strong>in</strong>correct assumption. We will leave the calculation of the one-loop self-energy for themassive fermion propagator to future work. For now we will calculate the fermion one-loopself-energy for the simple case of a massless fermion propagator, and we keep <strong>in</strong> m<strong>in</strong>d that<strong>in</strong> fact we only describe neutr<strong>in</strong>os with this calculation.We cont<strong>in</strong>ue by writ<strong>in</strong>g down the the Feynman rules for the vertices from the action (6.36).The results are shown <strong>in</strong> Table 6.1.As we will see, if we simply multiply these vertices and propagators we will f<strong>in</strong>d thatthe self-energy is divergent for D = 4. In fact we can isolate the s<strong>in</strong>gularity to a local termδ(x − x ′ ). Look<strong>in</strong>g at the diagram <strong>in</strong> Fig. 6.1 we see that the diagram is divergent if thepo<strong>in</strong>t x where the fermion splits <strong>in</strong>to a scalar and a fermion is equal to the po<strong>in</strong>t x ′ where.