Boson propagator under rigid rotation; Mode expansion approach

To explore how rigid rotation affects the thermodynamic properties of free relativistic bosons, we employ the standard imaginary time formalism of thermal field theory to calculate the free propagator of complex scalar fields under rotation. We introduce the corresponding partition function and explicitly compute it by expanding the modes in cylindrical coordinates. The resulting propagator is in full agreement with similar findings in the existing literature.