Stable cohomologies of Lie algebras of formal vector fields with tensor coefficients (Q801019)

The cohomology of some infinite dimensional Lie algebras with nontrivial coefficients are computed. The Lie algebras in question are the algebra \(W_ n\) of formal vector fields in \({\mathbb{C}}^ n\) and its subalgebra \(L_ 1(n)\) of vector fields with zero 1-jet. The coefficients are \(W_ n\)-modules \({\mathcal A}\) of tensor fields corresponding to a \({\mathfrak gl}(n,{\mathbb{C}})\)-submodule of \(V^{\otimes p}\otimes V'{}^{\otimes q},\) where V is the \({\mathbb{C}}^ n\) considered in the standard way as a \({\mathfrak gl}(n,{\mathbb{C}})\)-module. Note that \(W_ n\) and \(L_ 1(n)\) are graded Lie algebras and, consequently the cohomologies of \(W_ n\) and \(L_ 1(n)\) are graded. \(H^*_{(m)}\) denotes the subgroup of elements of degree m in \(H^*\). The main results are: if \(n>m+2r\) and \(r\neq m\), then \(H^ r_{(m)}(L_ 1(n),{\mathbb{C}})=0;\) if \(n>\min (2r+q-p,r+q)\) and \(r\neq q-p\), then \(H^ r(W_ n,{\mathcal A})=0\). They are applied to some related computations.