Stable cohomologies of Lie algebras of formal vector fields with tensor coefficients (Q801019): Difference between revisions

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.