Homotopical Poisson reduction of gauge theories

  title={Homotopical Poisson reduction of gauge theories},
  author={Fr'ed'eric Paugam},
  journal={arXiv: Mathematical Physics},
The classical Poisson reduction of a given Lagrangian system with (local) gauge symmetries has to be done before its quantization. We propose here a coordinate free and self-contained mathematical presentation of the covariant Batalin-Vilkovisky Poisson reduction of a general gauge theory. It was explained in physical terms (DeWitt indices) in Henneaux and Teitelboim's book on quantization of gauge theories. It was studied in coordinates using jet spaces by Barnich-Brandt-Henneaux and Stasheff… 

Gauge Theories and Their Homotopical Poisson Reduction

In this chapter, we define general gauge theories and study their classical aspects. These may also be called local variational problems, because their action functional is a local functional. The

The classical master equation

We formalize the construction by Batalin and Vilkovisky of a solution of the classical master equation associated with a regular function on a nonsingular affine variety (the classical action). We

The BRST Complex of Homological Poisson Reduction

So-called BRST complexes associated to a coisotropic ideal J of a Poission algebra P provide a description of the Poisson algebra (P/J) as their cohomology in degree zero. Using the notion of stable

Shifted symplectic reduction of derived critical loci

We prove that the derived critical locus of a G-invariant function S : X → A carries a shifted moment map, and that its derived symplectic reduction is the derived critical locus of the induced

Survey of mathematical foundations of QFT and perturbative string theory

Recent years have seen noteworthy progress in the mathematical formulation of quantum field theory and perturbative string theory. We give a brief survey of these developments. It serves as an



Histories and observables in covariant field theory

Quantization of Gauge Systems

This is a systematic study of the classical and quantum theories of gauge systems. It starts with Dirac's analysis showing that gauge theories are constrained Hamiltonian systems. The classical

Homological perturbation theory and the algebraic structure of the antifield-antibracket formalism for gauge theories

The algebraic structure of the antifield-antibracket formalism for both reducible and irreducible gauge theories is clarified. This is done by using the methods of Homological Perturbation Theory

Homotopical Algebraic Geometry II: Geometric Stacks and Applications

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative

Local BRST cohomology in the antifield formalism: I. General theorems

We establish general theorems on the cohomologyH*(s/d) of the BRST differential modulo the spacetime exterior derivative, acting in the algebra of localp-forms depending on the fields and the

Triangulated Categories: Triangulated categories for the analysts

This paper aims at showing how the tools of Algebraic Geometry apply to Analysis. We will review various classical constructions, including Sato’s hyperfunctions, Fourier-Sato transform and

The (secret?) Homological Algebra of the Batalin-vilkovisky Approach

After a brief history of`cohomological physics', the Batalin-Vil-kovisky complex is given a revisionist presentation as homological algebra, in part classical, in part novel. Interpretation of the

Models for smooth infinitesimal analysis

The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of

The Global Approach to Quantum Field Theory

Thanks to its impressive success in the second half of the 20th century, both in high-energy physics and in critical phenomena, quantum field theory has enjoyed an abundant literature. We therefore

The commutation laws of relativistic field theory

  • R. Peierls
  • Mathematics
    Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences
  • 1952
A definition of Poisson brackets is given which is related to the action principle, but does not require the introduction of canonical variables. This permits the laws for forming both the