A Tale of Two Gauges: Effective Field Theory for Relativistic Behavior of Cosmological Axions

In this work, we present a formalism to model the relativistic behavior of axions. The relativistic behavior of axions is surprisingly difficult to model precisely, as it involves oscillations on timescales much shorter than the Hubble timescale. To overcome this challenge, one typically resorts to some form of effective treatment, focusing only on the time-averaged description of the exact oscillations. Salehian, Namjoo & Kaiser provide a systematic framework for such treatment, based on the effective field theory formalism. While the aforementioned study was formulated for axion perturbations in the Newtonian gauge with no anisotropic stress, we extend the formalism to the synchronous gauge that is more conventionally used for numerical implementation in a realistic cosmological setting. Unlike their work, however, we propose a fluid interpretation in which the axion field can be identified as a perfect fluid at all times, both in the exact and effective regimes. Moreover, we present the effective field theory for the Newtonian gauge with non-zero anisotropic stress, making the original formulation more general and useful for scenarios where the matter content of the universe is multi-component. These results lay the theoretical foundation for a companion paper where we discuss how the axion field should be incorporated alongside other species in common cosmological Boltzmann solvers.