Harmonic cohomology groups on compact symplectic nilmanifolds
type: Item
instance of: scholarly article
title: Harmonic cohomology groups on compact symplectic nilmanifolds
zbMATH Open document ID: 1012.53067
author: Takumi Yamada
published in: Osaka Journal of Mathematics
publication date: 2002-11-11T00:00:00Z
review text: The following results on Brylinski's symplectic harmonic \(k\)-cohomology group \(H^k_{hr}(M)\) [\textit{J. L. Brylinski}, J. Differ. Geom. 28, 93-114 (1988; Zbl 0634.58029)] are proved. 1. Let \(H^q_{\omega-hr}(M)\) be the symplectic harmonic cohomology with respect to a symplectic form \(\omega\) on \(M\). Then \(H^q_{\omega-hr}(M) = H^q_{\omega'-hr}(M)\) if \(\omega' =\omega + d\gamma\). 2. If \(M = G/\Gamma\) is a compact symplectic nilmanifold, \(\omega_0\) a left \(G\)-invariant 2-form and \(\omega = \omega_0+ d\gamma\), then \(H^q_{\omega-h}(M)\) is isomorphic to the Lie algebra cohomology group \(H^q_{\omega_0-hr}({\mathfrak g})\). 3. If \(M^{2m} = G/\Gamma\) is a compact \((r+1)\)-step nilmanifold, then \(\dim H^1_{hr}(M)-\dim H^{2m-1}_{hr}(M)\geq \dim {\mathfrak g}^{(r)}\). In particular, if \(M\) is a 2-step nilmanifold, then \(\dim H^1_{hr}(M)- \dim H^{2m-1}_{hr}(M)=\dim [{\mathfrak g},{\mathfrak g}]\). 4. There exists a 6-dimensional nilmanifold which has a family \(\omega_t\) of symplectic forms such that the dimension \(H^4_{\omega-hr}(M)\) varies. There are confusions on numbering these results. In the Introduction, 1 and 2 are stated as Prop. 1 and 2, 3 is stated as Theorem 3. 4 is obtained to apply precise computation of symplectic harmonic cohomology of six dimensional 2-step nilmanifold which is stated as Theorem 4. While in the body of the paper, Theorem 3 is referred to as Theorem 1 and Theorem 4 is refered to as Theorem 3, Theorem 2 does not exist. It is known that \(H^k_{DR}(M)=H^k_{hr}(M)\), \(k=1,2\) [\textit{O. Mathieu}, Harmonic cohomology classes of symplectic manifolds, Comment. Math. Helv. 70, 1-9 (1995; Zbl 0831.58004)]. There exists a 4-manifold which has a family \(\omega_t\) of symplectic forms such that the dimension of \(H^3_{\omega_t-hr}(M)\) varies. But the dimension of \(H^3_{\omega_t-hr}(M)\) is independent of the symplectic form for compact 4-dimensional nilmanifolds [\textit{D. Yan}, Adv. Math. 120, 143-154 (1996; Zbl 0872.…
reviewed by: Akira Asada
Mathematics Subject Classification ID: 53D35
Mathematics Subject Classification ID: 58A14
Mathematics Subject Classification ID: 57T15
zbMATH DE Number: 1799579
zbMATH Keywords: symplectic harmonic cohomology
zbMATH Keywords: nilpotent Lie algebra
zbMATH Keywords: nilmanifold
zbMATH Keywords: symplectic harmonic cohomologies
zbMATH Keywords: 2-step nilmanifolds
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1799579