Covariant formulation of spin optics for electromagnetic waves

We develop geometric optics expansion up to the subleading order for circularly polarized electromagnetic waves on curved spacetime. This subleading order geometric optics expansion, in which the conventional eikonal function is modified by inserting a carefully chosen helicity-dependent correction, is called spin optics. We derive the propagation and polarization equations in the spin optics approximation as electromagnetic waves travel in curved spacetime. Polarization-dependent deviation of the light ray trajectory from the geodesic, describing the gravitational spin Hall effect, is observed. We also establish an analogy with the related phenomena (optical Magnus effect) of condensed matter physics.