A formalism for the renormalization procedure (Q424652)

The purpose of this paper is to analyze the procedure of renormalization from the mathematical point of view. The main technical tool that the author used in this paper is a \(\mathcal D\)-module structure on the space of observables. Using Batalin-Vilkovitski bracket one writes a Master equation (a.k.a. Maurer-Cartan equation). Every solution to this equation is supposed to produce a deformation of the QFT. It is the procedure of constructing such a deformation that is called \textit{renormalizaton} by the author in this paper. The author showed that the Batalin-Vilkovitski bracket arises due to a certain additional structure on the system. He called a system with such a structure \textit{pre-symmetric}. Next, the author treated the renormalization procedure. It turns out that to accomplish such a procedure, one needs certain additional properties of the system. The author calls a system with these additional properies \textit{symmetric system}. He showed how the renormalization can be carried over for operator product expansion (OPE)-algebras over a pre-symmetric system (including a construction for symmetrization of pre-symmetric system and a construction of the renormalized OPE-algebra over the symmetrized one). This happens to be a variant of the celebrated Bogolyubov-Parasyuk theorem. The author stressed that Bogolyubov-Parasyuk theorem produces a lifting of usual OPE-algebras, which is a stronger statement.