Theory of Koszul operads and homology of Poisson algebras (Q867421): Difference between revisions

This article is a detailed exposition of results on (co)-homology of Poisson algebras (over a field of characteristic zero) announced in [\textit{B. Fresse}, C. R. Acad. Sci., Paris, Sér. I, Math. 326, No.~9, 1053--1058 (1998; Zbl 0922.17014)]. This Quillen cohomology for Poisson algebras may be described via derived functors of Poisson derivations. The author provides an explicit complex calculating the Quillen homology \(H^{\text{Pois}} _{*} (O,M)\) of a Poisson algebra \(O\) with coefficients in a Poisson representation \(M\). This complex is constructed as a kind of composite of the Hochschild complex (for associative algebra homology) and the Chevalley-Eilenberg complex (for Lie algebra homology). Detailed background material is covered, including definitions of (differential graded) Poisson algebras, their representations and enveloping algebras and summaries of the weight decomposition of Hochschild homology [\textit{M. Gerstenhaber} and \textit{S. D. Schack}, J. Pure Appl. Algebra 48, 229--247 (1987; Zbl 0671.13007)] and of Koszul duality for operads [\textit{V. Ginzburg} and \textit{M. Kapranov}, Duke Math. J. 76, No.~1, 203--272 (1994; Zbl 0855.18006)]. The article develops the basic properties of Poisson homology. These include a long exact sequence in homology associated to a short exact sequence of coefficient groups; an identification of the second cohomology group with isomorphism classes of extensions; and a spectral sequence converging to the Poisson homology with \(E^2\) term given by \({Tor}\) groups over the universal enveloping algebra. The complex for calculating the Poisson homology described above is then introduced and it is shown that this agrees with the complex arising from the theory of Koszul operads. It leads to the main result that there is a spectral sequence \(E^1_{s,t} =\overline{HH}^{(s)}_{s+t}(O,M) \Rightarrow H^{\text{ Pois}} _{s+t} (O,M)\), where \(\overline{HH}^{(s)}_{*}\) denotes the weight \(s\) component of the reduced Hochschild homology. It is shown that the spectral sequence collapses at \(E^1\) in the case of a smooth Poisson algebra, and consequently that the Poisson homology then agrees with the canonical homology defined by Koszul and Brylinski [\textit{J.-L. Koszul}, Elie Cartan et les mathématiques d'aujourd'hui, The mathematical heritage of Elie Cartan, Semin. Lyon 1984, Astérisque, 1985, 257--271 (1985; Zbl 0615.58029); \textit{J.-L. Brylinski}, J. Differ. Geom. 28, No.~1, 93--114 (1988; Zbl 0634.58029)].