On a Batalin--Vilkovisky operator generating higher Koszul brackets on differential forms

Abstract

We introduce a formal $\hslash$-differential operator $\Delta$ that generates higher Koszul brackets on the algebra of (pseudo)differential forms on a $P_{\infty }$-manifold. Such an operator was first mentioned by Khudaverdian and Voronov in \texttt{arXiv:1808.10049}. (This operator is an analogue of the Koszul--Brylinski boundary operator ${\partial }_P$ which defines Poisson homology for an ordinary Poisson structure.) Here we introduce $\Delta ={\Delta }_P$ by a different method and establish its properties. We show that this BV type operator generating higher Koszul brackets can be included in a one-parameter family of BV type formal $\hslash$-differential operators, which can be understood as a quantization of the cotangent $L_{\infty }$-bialgebroid. We obtain symmetric description on both $\Pi TM$ and $\Pi T^{\ast }M$. For the purpose of the above, we develop in detail a theory of formal $\hslash$-differential operators and also of operators acting on densities on dual vector bundles. In particular, we have a statement about operators that can be seen as a quantization of the Mackenzie--Xu canonical diffeomorphism. Another interesting feature is that we are able to introduce a grading, not a filtration, on our algebras of operators. When operators act on objects on vector bundles, we obtain a bi-grading.

References in corpus (20)

• Geometry of Batalin-Vilkovisky quantization
• Higher derived brackets and homotopy algebras
• Derived brackets
• Relative formality theorem and quantisation of coisotropic submanifolds
• Noncommutative differential calculus, homotopy BV algebras and formality conjectures
• On odd Laplace operators
• Poisson Manifolds, Lie Algebroids, Modular Classes: a Survey
• Deformations of Batalin-Vilkovisky algebras
• On the Geometry of the Batalin-Vilkovisky Formalism
• $Q$-Manifolds and Mackenzie Theory
• Higher Poisson Brackets and Differential Forms
• "Nonlinear pullbacks" of functions and $L_{\infty }$-morphisms for homotopy Poisson structures
• Q-manifolds and Mackenzie theory: an overview
• Microformal geometry and homotopy algebras
• The BV formalism for L${}_{\infty }$-algebras
• Formal oscillatory integrals and deformation quantization
• Thick morphisms, higher Koszul brackets, and $L_{\infty }$-algebroids
• On homotopy Lie bialgebroids
• L-infinity bialgebroids and homotopy Poisson structures on supermanifolds
• Differential operators on the algebra of densities and factorization of the generalized Sturm-Liouville operator

Cited by in corpus (4)

• Higher Koszul brackets on the cotangent complex
• Tangent functor on microformal morphisms, and non-linear pullbacks for forms and cohomology
• Quantization of (-1)-Shifted Derived Poisson Manifolds
• A Graphical Calculus for Classical and Quantum Microformal Morphisms