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,
or
The 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 and
Odd terms integrate to zero. Taking the trace explicitly supplies the weight , whose integral tends to . Hence
As 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 is
This 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 give
For the auxiliary-mass extraction of ultraviolet poles,
The second term is ultraviolet convergent. Thus
The 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.