BV formalism in the infinite dimensional setting
Batalin-Vilkovisky (BV) formalism has been originally developed in quantum field theory (QFT) and its finite-dimensional analog can be elegantly formulated in the language of dg-manifolds. The latter is relatively well understood in mathematics, but in QFT it is more natural to use an infinite-dimensional setting. This poses several technical problems, since infinite dimensional calculus comes into play. In this talk, I will review some results obtained in this direction by myself and collaborators over the last 10 years.