An affirmative answer to a conjecture on the Metoki class
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.NEWLINENEWLINELet \(\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}\).NEWLINENEWLINE\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.NEWLINENEWLINEThe paper is technical and the proof depends on Gröbner basis theory using computer calculations.
- On the cohomology of the Lie algebra of Hamiltonian vector fields
- Upper bounds for cohomology of infinite-dimensional Lie algebras
- scientific article; zbMATH DE number 5546211
- Characteristic classes of flags of foliations and Lie algebra cohomology
- The relative cohomology of formal contact vector fields with respect to formal Poisson vector fields
- An affirmative answer to a conjecture on the Metoki class
- scientific article; zbMATH DE number 3853933 (Why is no real title available?)
- Lower weight Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields on R^4
- On characteristic classes of \Gamma -foliations
- Rozansky-Witten invariants via formal geometry
This page was built for publication: An affirmative answer to a conjecture on the Metoki class
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q267146)
