Total: 1
We extend the cohomological setting developed by Batalin, Fradkin and Vilkovisky to the case of a nested coisotropic embedding C↪C∘↪F inside a symplectic manifold F. To this, we naturally assign the coisotropic reductions π:C→C_, as well as π∘:C∘→C∘_ and the residual reduction πres:Cres→Cres_, where Cres=π∘(C)↪C∘_ is the residual coisotropic embedding such that Cres_≃C_. We show that there is a relation between the BFV resolutions of C∘_ and C_, in terms of a graded coisotropic embedding, which can further be resolved via BFV. We call this construction \emph{double BFV resolution}, and we use it to prove that "resolution commutes with reduction". We then deduce a quantisation of C_≃Cres_, from a quantisation of the double BFV Hamiltonian dg manifold following the quantum BFV prescription (when it exists). As an application, we provide a well defined candidate space of (physical) quantum states of three-dimensional Einstein--Hilbert theory, which is thought of as a partial reduction of the Palatini--Cartan model for gravity.