The Reduced Phase Space of $N=1, D=4$ Supergravity in the BV-BFV formalism

This paper describes the reduced phase space of $N=1$, $D=4$ supergravity in the fully off-shell Palatini--Cartan formalism. This is achieved through the KT construction, allowing an explicit description of first-class constraints on the boundary. The corresponding BFV description is obtained, and its relation with the BV one in the bulk is described by employing the BV pushforward in the particular example of a cylindrical spacetime.