  We study four dimensional gauge theories in the context of an equivariant
extension of the Batalin-Vilkovisky (BV) formalism. We discuss the embedding of
BV Yang-Mills (YM) theory into a larger BV theory and their relation. Partial
integration in the equivariant BV setting (BV push-forward map) is performed
explicitly for the abelian case. As result, we obtain a non-local homological
generalization of the Cartan calculus and a non-local extension of the abelian
YM BV action which satisfies the equivariant master equation.
