Deformation and Hochschild cohomology of coisotropic algebras (Q2143352)

The work deals with the deformation quantization on phase space with reduction, which was initiated by the BRST approach. In the work the reduction is treated algebraically: the vanishing functions on the coisotropic submanifold are deformed into a left ideal of the total algebra of all functions and the reduced algebra is the quotient of the normalizer of this left ideal modulo the ideal itself. Based on the introduced algebraic approach to reduction in both the quantum and classical setting, the authors define the notion of coisotropic algebra A consisting of a unital associative algebra Atot together with a unital subalgebra AN and a two-sided ideal \(A_0\subseteq AN\). Such coisotropic algebras allow for a simple reduction procedure, with the reduced algebra given by $A\mathrm{red}=AN/A_0$. The following observation of the authors proved to be important: the existence of a meaningful tensor product leading to a bicategory of bimodules over coisotropic algebras such that reduction becomes a morphism of bicategories. Moreover, this reduction turns out to be compatible with classical limits in a nice and general functorial way. It is worth mentioning that this notion recovers other examples coming from Poisson geometry, and noncommutative geometry. Motivated by the significance of coisotropic algebras and their classical limit, the authors develop the theory of formal deformations, introducing the notion of coisotropic DGLA and studying formal deformations of the corresponding Maurer-Cartan elements. That allowed them define a deformation functor and to prove that the deformation functor commutes with reduction, in the sense that at least an injective natural transformation exists. Based on the techniques devised for the coisotropic Hochschild complex of a coisotropic algebra, the authors prove that the existence and uniqueness of formal deformations of coisotropic algebras are obstructed by its associated coisotropic Hochschild cohomology. Moreover, there is shown that the construction of the coisotropic moduli space of deformations as well as that of the associated Hochschild cohomology are compatible with reduction. The paper is organized as follows: in Section 2 some basic coisotropic versions of classical algebraic structures, such as coisotropic modules, coisotropic algebras and coisotropic complexes, are introduced. These notions lead to a definition of a coisotropic DGLA. In Section 3 coisotropic DGLAs together with their coisotropic sets of Maurer-Cartan elements, their associated coisotropic gauge groups and the formal deformation of coisotropic Maurer-Cartan elements are considered and the compatibility of these constructions with reduction is examined. In the last Section 4 they introduce coisotropic Hochschild cohomology for coisotropic algebras and apply the results of Section 3 to the case of the coisotropic Hochschild complex. Finally, some examples of formal deformations of coisotropic algebras from geometry are given.