An introduction to the BV-BFV formalism
Also appears in collection : Representation theory, mathematical physics and integrable systems / Théorie des représentations, physique mathématique et systèmes intégrables
The BV-BFV formalism unifies the BV formalism (which deals with the problem of fixing the gauge of field theories on closed manifolds) with the BFV formalism (which yields a cohomological resolution of the reduced phase space of a classical field theory). I will explain how this formalism arises and how it can be quantized.