The middle panel in part a has an internal photon of momentum joining two points on a fermion line; the internal fermion has momentum . It is a one-particle-irreducible Feynman diagram with no closed fermion loop sign. In Feynman gauge,orThe decomposition in the source gives . In particular,For a direct ultraviolet divergence extraction, use a Feynman parameter multiplying the massive denominator, shift , and define . Then andOdd terms integrate to zero. Taking the trace explicitly supplies the weight , whose integral tends to . HenceAs a check on the same fermion self-energy calculation,This is the ultraviolet pole of QED fermion self-energy. It is safe to extract it at generic external momentum; an on shell or massless limit must distinguish any infrared divergence from this ultraviolet divergence.
In the right panel of part a, enters the fermion line, leaves it, and a virtual photon of momentum bridges the external photon vertex. Write and . The one-loop amplitude isThis Feynman integral has a logarithmic superficial degree of divergence. Its ultraviolet pole is independent of the external momenta and , because every such numerator insertion or denominator correction lowers the large- degree. Preserve an auxiliary positive mass while extracting the ultraviolet pole; setting everything to zero would create a scaleless integral and conceal the cancellation of ultraviolet and infrared divergences.
The leading numerator is . Symmetric integration replaces by . Two contractions of gamma matrices then giveFor the auxiliary-mass extraction of ultraviolet poles,The second term is ultraviolet convergent. ThusThe ultraviolet pole of the QED vertex is therefore . The Pauli structure has zero trace against and no ultraviolet pole at this order.
Form-factor qualification. The two electron electromagnetic vertex form factors in the source describe matrix elements between external on shell Dirac spinors. A general off shell vertex has more structures, so the unprojected trace is not a projector for the complete finite on-shell . It does correctly isolate the divergent local coefficient, which is all that is required here.