The deep inelastic scattering process contains a virtual photon exchanged between the Electron and the hadron:
Use an electromagnetic vector current containing the dimensionless quark charges, with the coupling factored out. The scattering amplitude, up to an irrelevant phase, is
To match the printed prefactor, define the leptonic tensor with a spin sum over both Electron spins and keep the initial spin average outside it. The gamma-matrix trace gives
For a stationary target and massless Electron, the invariant flux factor is . The inclusive final-state Lorentz-invariant phase-space measure and target spin average are contained in . Thus the differential scattering cross-section is
Here means . If the initial spin average is instead built into the leptonic tensor, its normalization is and the displayed cross-section prefactor must be doubled. The two conventions give the same observable.
On the physical positive-energy branch, put . The massless outgoing parton obeys
Since on the support and , the positive-energy on-shell delta function identity gives
Insert this into the parton model sum, and write
The parton distribution functions are number densities in momentum fraction. The contributing tensor becomes
Comparing with part (b), under the same leptonic tensor contraction, gives
This is the Callan-Gross relation for massless partons of spin angular momentum at leading order. The longitudinal deep-inelastic structure function is in this approximation. Target-mass effects and radiative Quantum chromodynamics corrections can change the relation. The leading parton model also gives Bjorken scaling: at this level the deep-inelastic structure functions depend on alone.
Use the massless collinear parton approximation in a high-energy frame: , , and with . This neglects target-mass corrections to the parton model; it does not literally set a stationary massive target to a massless particle in the earlier flux formula.
For a quark of dimensionless charge , the electromagnetic vector current matrix element is . The spin average and gamma-matrix trace give
Integrating the three-momentum Dirac delta function in the parton hadronic tensor leaves
Since , this is
For the massless Electron momenta, and . Substitution into the leptonic tensor gives
and likewise . These Ward identities eliminate every term with an exposed index in the contraction. Therefore
Here means equality after contraction with the leptonic tensor. The shortened tensor is not itself conserved; the omitted terms restore current conservation in the full hadronic tensor.