抄録
In [6], Kotschick and Morita showed that the Gel'fand–Kalinin–Fuks class in H7GF ($\mathfrak{ham}$2, $\mathfrak{sp}$(2,ℝ))8 is decomposed as a product η ∧ ω of some leaf cohomology class η and a transverse symplectic class ω. We show that the same formula holds for the Metoki class, which is a non-trivial element in H9GF ($\mathfrak{ham}$2, $\mathfrak{sp}$(2,ℝ))14. The result was conjectured in [6], where they studied characteristic classes of transversely symplectic foliations due to Kontsevich. Our proof depends on Gröbner Basis theory using computer calculations.
