On exact deformations of Poisson modules (Q1358530)

Let \(K\) be a commutative ring, \(A\) and \(B\) Poisson \(K\)-algebras and \(M\) a Poisson \(A\)-module. The author constructs two-parameter (parameterized by \(K\)) families of exact deformations of tensor products of Poisson modules and algebras: if \(a,b\in K\) then it is shown that the associative algebra \(A\otimes B\) is a Poisson algebra under the bracket \[ [x\otimes u,y\otimes v]_{(a,b)}=a[x\otimes u,y\otimes v]+b(\theta(x\otimes v)(y\otimes u)-(x\otimes v)\theta(y\otimes u)) \] where \(\theta\colon A\otimes B\to A\otimes B\) is a 2-derivation of Poisson algebras satisfying some additional identities. The author further shows how to construct appropriate maps \(\theta\) from cocyles of a certain complex \(D^*(A|M)\) where \(D^p(A|M)\) consists of pairs \((\phi,\psi)\) where \(\phi\) is a \(p\)-derivation of the associative \(A\); \(\psi\) is a \(p\)-linear map from \(A\times A\dots\times M\) to \(M\) such that for fixed \(m\in M\) \(z\mapsto\psi(z,m)\) is a \(p-1\) derivation of \(A\) and in general \(m\mapsto\psi(z,m)\) is a derivation of \(M\) over \(x\mapsto\phi(z,x)\). (The differential in \(D\) is constructed using the Lie bracket of \(A\).) Cocycles of \(D^*(A|M)\) are called modular \((A,M)\), and if \((\phi,\psi)\) is a modular \(1\)-\((A,M)\) cocycle and \(\eta\) is a \(B\) valued one-cocycle of \(B\) then \(\theta=\psi\otimes\eta\) satisfies the necessary identities. Additionally, the module \(M\otimes B\) over the associative algebra \(A\otimes B\) becomes a Poisson module over the Poisson algebra given above for the pair \((a,b)\) under the action \[ [x\otimes u,y\otimes v]_{(a,b)}=a[x\otimes u,m\otimes v]+b(\theta(x\otimes v)(m\otimes u)-(x\otimes v)\lambda(m\otimes u)) \] where \(\lambda\colon M\otimes B\to M\otimes B\) is a \(K\) endomorphism satisfying certain identities. In particular, the map \(\lambda=\psi\otimes\eta\) from the above cocycles satisfies those identities.