Effective action for the Abelian Higgs model in FLRW

We compute the divergent contributions to the one-loop action of the U(1) Abelian Higgs model. The calculation allows for a Friedmann-Lemaˆotre-Robertson-Walker space-time and a time-dependent expectation value for the scalar field. Treating the time-dependent masses as two-point interactions, we use the in-in formalism to compute the first, second and third order graphs that contribute quadratic and logarithmic divergences to the effective scalar action. Working in Rξ gauge we show that the result is gauge invariant upon using the equations of motion.