Renormalization of the nonprojectable Hořava theory

We present the proof of renormalization of the Hořava theory in the nonprojectable version. We obtain a form of the quantum action that exhibits a manifest Becchi-Rouet-Stora-Tyutin–symmetry structure. Previous analysis has shown that the divergences produced by irregular loops cancel completely between them. The remaining divergences are local. The renormalization is achieved by using the approach developed by Barvinsky with the background-field formalism. Published by the American Physical Society 2024