Cohomologies of Lie algebras of formal vector fields preserving a foliation (Q1824024)

Let \(\mathfrak a_ n\) be the Lie algebra of all formal vector fields on \(\mathbb R^ n\). The cohomology of \(\mathfrak a_ n\) with trivial coefficients is known [\textit{I. M. Gel'fand} and \textit{D. B. Fuks}, Izv. Akad. Nauk SSSR, Ser. Mat. 34, 322--337 (1970; Zbl 0216.20302)]. Let \(\mathfrak a_{r,n-r}\) be the subalgebra of \(\mathfrak a_ n\), consisting of the fields \(\sum^{r}_{i=1}f_ i \partial /\partial x_ i+\sum^{n-r}_{j=1}g_ j \partial /\partial y_ j\) where \(f_ i\in\mathbb R[[x_ 1,\ldots,x_ r]]\), \(g_ i\in\mathbb R[[x_ 1,\ldots,x_ r,y_ 1,\ldots,y_{n-r}]]\). It is known that for \(i\leq n-r\), the space \(H^ i(\mathfrak a_{r,n},\mathbb R)\) is canonically isomorphic to \(H^ i(\mathfrak a_ r,\mathbb R)\) [\textit{K. Sithanantham}, Ill. J. Math. 28, 481--497 (1984; Zbl 0543.57018)]. The author proves this isomorphism for \(i\leq n+r\), using his previous work [Publ. Res. Inst. Math. Sci. 20, 401--429 (1984; Zbl 0572.17006)].