BV equivalence with boundary

An extension of the notion of classical equivalence of equivalence in the Batalin–Vilkovisky (BV) and Batalin–Fradkin–Vilkovisky (BFV) frameworks for local Lagrangian field theory on manifolds possibly with boundary is discussed. Equivalence is phrased in both a strict and a lax sense, distinguished by the compatibility between the BV data for a field theory and its boundary BFV data, necessary for quantisation. In this context, the first- and second-order formulations of nonabelian Yang–Mills and of classical mechanics on curved backgrounds, all of which admit a strict BV–BFV description, are shown to be pairwise equivalent as strict BV–BFV theories. This in particular implies that their BV complexes are quasi-isomorphic. Furthermore, Jacobi theory and one-dimensional gravity coupled with scalar matter are compared as classically equivalent reparametrisation-invariant versions of classical mechanics, but such that only the latter admits a strict BV–BFV formulation. They are shown to be equivalent as lax BV–BFV theories and to have isomorphic BV cohomologies. This shows that strict BV–BFV equivalence is a strictly finer notion of equivalence of theories.