Cohomology and deformation theories are developed for Poisson algebras starting with the more general concept of a Leibniz pair, namely of an associative algebra $A$ together with a Lie algebra $L$ mapped into the derivations of $A$. A bicomplex (with both Hochschild and Chevalley-Eilenberg cohomologies) is essential.
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate cobar construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this cobar construction. We show consequently that the $E_3$-algebra structure on the higher Hochschild complex of this cobar construction, given by the solution to the higher Deligne conjecture, controls the deformation theory of this bialgebra. This implies the existence of an $E_3$-structure on the deformation complex of a dg bialgebra, solving a long-standing conjecture of Gerstenhaber-Schack. On this basis we solve a long-standing conjecture of Kontsevich, by proving the $E_3$-formality of the deformation complex of the symmetric bialgebra. This provides as a corollary a new proof of Etingof-Kazdhan deformation quantization of Lie bialgebras which extends to homotopy dg Lie bialgebras and is independent from the choice of an associator. Along the way, we establish new general results of independent interest about the deformation theory of algebraic structures, which shed a new light on various deformation complexes and cohomology theories studied in the literature.
In this paper we introduce the notion of deformation cohomology for singular foliations and related objects (namely integrable differential forms and Nambu structures), and study it in the local case, i.e., in the neighborhood of a point.
We give sufficient conditions for F-injectivity to deform. We show these conditions are met in two common geometrically interesting setting, namely when the special fiber has isolated CM-locus or is F-split.
Coisotropic algebras consist of triples of algebras for which a reduction can be defined and unify in a very algebraic fashion coisotropic reduction in several settings. In this paper we study the theory of (formal) deformation of coisotropic algebras showing that deformations are governed by suitable coisotropic DGLAs. We define a deformation functor and prove that it commutes with reduction. Finally, we study the obstructions to existence and uniqueness of coisotropic algebras and present some geometric examples.
For symplectic Lie algebras $mathfrak{sp}(2n,mathbb{C})$, denote by $mathfrak{b}$ and $mathfrak{n}$ its Borel subalgebra and maximal nilpotent subalgebra, respectively. We construct a relationship between the abelian ideals of $mathfrak{b}$ and the cohomology of $mathfrak{n}$ with trivial coefficients. By this relationship, we can enumerate the number of abelian ideals of $mathfrak{b}$ with certain dimension via the Poincare polynomials of Weyl groups of type $A_{n-1}$ and $C_n$.