{"id":"arxiv/2605.30558","url":"https://arxiv.org/abs/2605.30558","tags":["math-ph","hep-th","math.AT","math.QA"],"score":0,"title":"BV pushforward as a quasi-isomorphism","domain":"math-ph","source":"arxiv","authors":["Alberto S. Cattaneo","Pavel Mnev"],"reviews":0,"subject":"math-ph","summary":"Given a BV theory on a space of fields split into two subspaces (\"infrared\" and \"ultraviolet\"), one has the BV pushforward map $P_*$, sending observables to observables of the effective theory on the infrared space. This note proves that $P_*$ is a quasi-isomorphism of BV complexes, by realizing it as a part of a strong deformation retraction constructed using the homological perturbation lemma. Two proofs are given: (i) comparing Feynman diagrams for $P_*$ with \"cable diagrams\" arising from homological perturbation theory and (ii) using topological quantum mechanics. This construction gives…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-28","reactions":{}}