(insert diagrams) where the middle term denotes the photon propagator with the electron and muon lines to its left and right respectively. Observe that To further simplify our result, we will choose the Feynman Gauge (ξ = 1) and drop the +iϵ from the propagators: Now, to compute the cross-section, we use the following identity: So,

  • Summing/Averaging
    • Few Identities
      1. \sum_{s, s'}\bar u_\alpha(p_1,s')\gamma^\mu_{\alpha\beta}u_\beta(k_1,s)\bar u_{\beta'}(k_1,s)\gamma^{\mu'}_{\beta'\alpha'}u_{\alpha'}(p_1,s')$$$$=\gamma^\mu_{\alpha\beta}\underbrace{\sum_{s}u_\beta(k_1,s)\bar u_{\beta'}(k_1,s)}_{(\cancel {k_1}+m)_{\beta\beta'}}\gamma^{\mu'}_{\beta'\alpha'}\underbrace{\sum_{s'}u_{\alpha'}(p_1,s')\bar u_\alpha(p_1,s')}_{(\cancel {p_1}+m)_{\alpha'\alpha}}$$$$=\gamma^\mu_{\alpha\beta}(\cancel{k_1}+m)_{\beta\beta'}\gamma^{\mu'}_{\beta'\alpha}(\cancel{p_1}+m)_{\alpha'\alpha}=Tr[\gamma^\mu(\cancel{k_1}+m)\gamma^{\mu'}(\cancel{p_1}+m)] So, The two half factors come from the fact that we are averaging over both the electrons an muons two spin states s and s’. Dirac Matrices We can now evaluate the traces, in particular the first, A similar expression arises for the second trace. Finally, On multiplication and contraction of the Lorentz indices, \bra{}\mathcal{M}\ket{^2}=\frac{4e^2}{q^4}[(k_1.k_2)(p_1.p_2)$$$$-(k_1.p_1)(k_2.p_2-m_\mu^2)+(k_1.p_2)(k_2.p_1)-(k_2.p_2)(k_1.p_1-m_e^2)+4(k_1.p_1-m_e^2)(k_2.p_2-m_\mu^2)-(k_2.p_2)(k_1.p_1-m_e^2)$$$$+(k_1.p_2)(k_2.p_1)-(k_1.p_1)(k_2.p_2-m_\mu^2)+(k_1.k_2)(p_1.p_2) We introduce Mandelstam variables Now, t=q^2. We therefore call diagrams where the propagator carries t as its momentum,t-channel diagrams and the resulting scattering process is at-channel process. Further, \frac{1}{2}[s-m_e^2-m_\mu^2]=(k_1.k_2)=(p_1.p_2)$$$$\frac{1}{2}[-t+2m_e^2]=(k_1.p_1)$$$$\frac{1}{2}[-t^2+2m_\mu^2]=(k_2.p_2)$$$$[-u+m_e^2+m_\mu^2]=(k_2.p_1)=(k_1.p_2) Hence, by expressing t through s and u, we obtain, Now, in the high energy limit, all the kinematic invariants are much larger than the masses. Thus, we can approximate the squared momenta to zero. Then, the differentialcross-section reads, Now, to substitute explicit expressions for collider kinematics to examine where the collision products hit the detector, we will align the electron lines along the z-directions. We define (insert drawing of the collision with angle)k_1=\tfrac{\sqrt{s}}{2}(1,0,0,1)\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;p_1=\tfrac{\sqrt{s}}{2}(1,sin\theta,0,cos\theta)$$$$k_2=\tfrac{\sqrt{s}}{2}(1,0,0,-1)\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;p_2=\tfrac{\sqrt{s}}{2}(1,-sin\theta,0,-cos\theta) Using this parametrisation, s takes the role of square of the centre-of-momentum scattering energy, and we can write t and u in terms of the scattering angle, The scatteringcross-section is then This expression clearly diverges for θ0. But, this is because we considered the high energy limit. In the real world, the electrons and muons have masses, with the latter being heavier. Hence, if we repeat the calculation keeping only the muon mass, we find With this expression, the scatteringcross-section never diverges.