Ľuboš Ravas

QFT proposes mathematical obstacles, such as a not very well-defined path integral. The Batalin–Vilkovisky formalism is a theory that aims to provide a solid mathematical grasp of QFT via geometry, homology, and homotopy. In my talk, I will provide some basics of this theory and demonstrate it on an example of su(2) forms valued in a non-specified Lie algebra. I will be using tools such as the Chevalley–Eilenberg complex, homotopy equivalence, and the homological perturbation lemma to find the classical interaction of fields in this specific example.