Batalin–Vilkovisky

Batalin–Vilkovisky
Name	Batalin–Vilkovisky

Batalin–Vilkovisky is a formalism and associated mathematical structure used in the quantization of gauge theories and the study of moduli problems in mathematical physics. It provides a cohomological method to handle gauge symmetries, ghosts, antifields and anomalies, connecting ideas from Bogoliubov, Dirac, Feynman, Faddeev, and Infeld approaches to constrained systems. The framework has influenced research at institutions such as Steklov Institute, Moscow State University, and collaborations involving CERN, Princeton University, and Institute for Advanced Study.

Introduction

The Batalin–Vilkovisky formalism arose to extend methods of Poincaré duality and homological algebra to quantization problems encountered by Landau and Fock in the Soviet school of theoretical physics. It provides an odd symplectic structure and a second-order differential operator that encodes gauge structure, anomalies and renormalization, drawing on techniques from Leray sheaf theory, Grothendieck cohomology, and the BRST construction of Kurchatov-era field theory. The formalism interrelates work by Vilkovisky and Batalin with developments by Witten, Kontsevich, Gell-Mann, and Atiyah.

Historical background

The origins trace to efforts by Batalin and Vilkovisky to generalize the Faddeev–Popov method and BRST symmetry in the 1970s and 1980s amid contemporaneous work at Landau Institute, Moscow State University, and exchanges with researchers at CERN and Dubna. Influences include earlier quantization schemes developed by Dirac, path integral methods of Feynman, and cohomological perspectives advanced by Mandelbrot and Serre. The formal BV machinery entered mainstream Institute for Advanced Study discourse through seminars involving Witten, Gross, and Deligne.

Mathematical framework

At its core the BV formalism uses an odd symplectic manifold with an antibracket (odd Poisson bracket) and a nilpotent operator Δ, generalizing structures studied by Kolmogorov, Lie, and Cartan. The BV complex builds on homological algebra from Koszul and Cartan, and on deformation theory developed by Gromov and Kontsevich. Central ingredients include the classical master equation and quantum master equation, which echo conditions in work by Grothendieck, Bismut, and Connes. The formalism formalizes path integral measures via graded geometry techniques linked to Klein, Galois-inspired symmetry, and analytical inputs from von Neumann theory.

BV formalism in quantum field theory

BV is applied to gauge theories including Yang–Mills theory, General Relativity in perturbative contexts, Chern–Simons theory, and topological field theories studied by Witten and Kapustin. It subsumes the Faddeev–Popov procedure and BRST symmetry used in perturbative renormalization treatments by Wilson, 't Hooft, and Gell-Mann. The BV quantum master equation controls anomalies and counterterms akin to analyses by Itzykson and Zinn-Justin, while perturbative BV quantization interfaces with renormalization group ideas from Wilson and the algebraic renormalization program associated with Dorey-style initiatives.

Examples and applications

Concrete instances include BV treatments of Yang–Mills, Abelian gauge theory, sigma models studied by Polyakov and Witten, and Chern–Simons theory related to invariants explored by Born-era topologists and Drinfeld. Applications extend to string field theory influenced by Green, Schwarz, and Sen, deformation quantization following Kontsevich, and the study of moduli spaces in the tradition of Mumford, Deligne, and Atiyah. BV methods inform computations in perturbative algebraic quantum field theory developed by Haag and Fredenhagen.

Related structures and generalizations

The BV apparatus relates to the BRST complex of Becchi, Rouet, and Stora, homotopy algebras such as L-infinity algebras arising in the work of Julian-style homological formulations, and to Batalin–Fradkin–Vilkovisky extensions entwined with approaches by Fradkin and Suciu. Connections exist with operadic formulations studied by Loday, Cuntz, and Gerstenhaber, and with factorization algebras developed by Costello and Gwilliam. These generalizations engage categorical perspectives from Grothendieck and higher geometry influenced by Lurie.

Mathematical developments and current research

Current research explores rigorous perturbative BV quantization on curved spacetimes in collaboration between groups at CERN, Perimeter Institute, and MSRI, rigorous renormalization following Costello and Wilson-inspired methods, and applications to derived geometry championed by Kontsevich, Toën, and Vezzosi. Active topics include the interface with topological recursion associated to Borodin-style integrable systems, categorical quantization tied to Schleimer-adjacent work, and the role of BV in the mathematical foundations of String theory pursued by communities around Institute for Advanced Study and Princeton University.

Category:Mathematical physics