An affirmative answer to a conjecture on the Metoki class (Q267146)

Let \(\mathscr{X}(M)\) be the Lie algebra of smooth vector fields on a smooth manifold \(M\). Let \({\text H}^{\bullet}_{\text{GF}}(\mathscr{X}(M))\) be the Gel'fand-Fuks cohomology of \(M\), i.e. the Lie algebra cohomology of \(\mathscr{X}(M)\), where each cochain is required to be continuous. It is known that if \(M\) is of finite type, then \({\text H}^{\bullet}_{\text{GF}}(\mathscr{X}(M))\) is finite dimensional. Let \(\mathfrak{a}_n\) denote the Lie algebra of formal vector fields on \(\mathbb R^n\), i.e. vector fields in the standard basis of coordinate vector fields on \(\mathbb R^n\) and with formal power series in the natural coordinates on \(\mathbb R^n\) as coefficients. Then \({\text H}^{\bullet}_{\text{GF}}(\mathfrak{a}_n) \cong {\text H}^{\bullet}_{\text{GF}}(\mathbb R^n)\). Let \(\mathfrak{ham}_{2n}\) be the subalgebra of \(\mathfrak{a}_{2n}\) consisting of formal Hamiltonian vector fields on \(\mathbb R^{2n}\). \textit{D. Kotschick} and \textit{S. Morita} showed in [``The Gel'fand-Kalinin-Fuks class and characteristic classes of transversely symplectic foliations'', Preprint, \url{arXiv: 0910.3414}] that a cohomology class in dimension 7 in Gel'fand-Fuks cohomology of \(\mathfrak{ham}_2\), known as the Gel'fand- Kalinin-Fuks class, can be decomposed as a product of a leaf cohomology class and a transverse symplectic class. In the present paper, the author proves that a cohomology class in dimension 9 in Gel'fand-Fuks cohomology of \(\mathfrak{ham}_2\), known as the Metoki class [S. Metoki, PhD thesis, University of Tokyo, 2000], admits a similar decomposition. The paper is technical and the proof depends on Gröbner basis theory using computer calculations.