A formalism for the renormalization procedure
Abstract
We describe a formalism underlying the renormalization procedure and Batalin-Vilkoviski formalism. In the framework of this formalism, we give a mathematical definition of OPE-algebra and describe an additional natural structure which produces a *-Lie algebra structure on the (cohomologically shifted) D-module of observables, whence an L∞ algebra structure on the space of global sections of the de Rham complex of this D-module. Given a Maurer-Cartan element in this L∞ algebra, we construct a deformation of the OPE-algebra, which is exactly the desired renormalization.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.