PolarizationVector[p, mu] gives a polarization vector.
See also: FourVector, Pair, Polarization.
A polarization vector is a special four-vector.
The transverality property is built in.
Depending on the alphabetical ordering of the momenta simplifcations are done, e.g.,
The FeynCalc Book | PolarizationSum | PowerSimplify |