Heat Kernel methods in the first-order formalism

In this paper, we extend the heat kernel methods to the first-order formalism of gravity, specifically, in the language of differential forms. This allows us to compute the effective dynamics of 4D gravity when the tetrad degrees of freedom are integrated out. We show that the resulting effective field theory is the Lorentz gauge theory.