A vector wave aeiκΦae^{i\kappa\Phi} is transversely polarized for κ0\kappa\ne0 at a point with Φ0\nabla\Phi\ne0 if

Φa=0.\nabla\Phi\cdot a=0.

Its lies in the plane perpendicular to the phase gradient. For complex amplitudes the dot product with this real normal is extended complex linearly, so both real and imaginary parts are transverse.

Leading and exact incompressibility

The identity

(aeiκΦ)=eiκΦ(a+iκΦa)\nabla\cdot(ae^{i\kappa\Phi}) =e^{i\kappa\Phi}\bigl(\nabla\cdot a+i\kappa\nabla\Phi\cdot a\bigr)

shows that transversality cancels the leading frequency term. Exact divergence freedom additionally requires a=0\nabla\cdot a=0, or a correction that cancels it. For a constant-amplitude plane wave transversality is sufficient.