Jacobi bundles and the BFV-complex (Q2407369)

The BFV-method [\textit{I. A. Batalin} and \textit{G. A. Vilkovisky}, ``Relativistic S-matrix of dynamical systems with boson and fermion constraints'', Phys. Lett., B 69, 309--312 (1977); \textit{I. A. Batalin} and \textit{E. S. Fradkin}, Phys. Lett., B 122, No. 2, 157--164 (1983; Zbl 0967.81508)] represents the Hamiltonian counterpart of the BRST formalism introduced in [\textit{I. V. Tyutin}, Gauge invariance in field theory and statistical physics in operator formalism. Techn. Rep., P. N. Lebedev Physical Institute 39 (1975); \textit{C. Becchi}, \textit{A. Rouet} and \textit{R. Stora}, ``Renormalization of gauge theories'', Ann. Phys. 98, 287--321 (1976)] ``as a method to deal, both on the classical and the quantum level, with physical systems possessing gauge symmetries or Dirac (first class) constraints.'' The paper deals with the extension of the construction of the BFV-complex of a coisotropic submanifold from the Poisson setting to the general Jacobi setting. In Section 2, some results about algebraic and geometric structures attached to Jacobi manifolds and their coisotropic submanifolds are recalled. In Section 3, existence and uniqueness results for suitable liftings of a Jacobi structure to a graded Jacobi structure are given. In Section 4, the BFV-bracket is introduced. Moreover, existence and uniqueness results for the corresponding BRST charges are established. Section 5 begins with the definition of the BFV-complex attached to a coisotropic submanifold. Then some of its properties are presented. In Section 6, the connection between the BFV-complex and the coisotropic deformation problem is analyzed. It is shown that the BFV-complex associated to a coisotropic submanifold \(S\) of a Jacobi manifold encodes the whole information about the small coisotropic deformations of \(S\) lying within the tubular neighborhood, and their moduli spaces under Hamiltonian and Jacobi equivalence. In Section 7, an example of an obstructed coisotropic submanifold in a contact manifold in terms of the associated BFV-complex is presented.