an:06196664
Zbl 1283.53068
Kasuya, Hisashi
Formality and hard Lefschetz property of aspherical manifolds
EN
Osaka J. Math. 50, No. 2, 439-455 (2013).
00322271
2013
j
53C55 20F16 22E40 55P62 32J27 53C30
solvmanifold; symplectic non-K??hler manifold; formality; hard Lefschetz property
A celebrated result of \textit{P. Deligne}, \textit{P. Griffiths}, \textit{J. Morgan} and \textit{D. Sullivan} asserts that compact K??hler manifolds are formal [Invent. Math. 29(3), 245--274 (1975; Zbl 0312.55011)]. Formality is a topological property which belongs to the realm of rational homotopy theory. It is well known that, on a compact K??hler manifold, the Lefschetz map is an isomorphism. Both formality and the hard Lefschetz property have been extensively used in order to produce examples of compact symplectic manifolds which carry no K??hler structure.
A solvmanifold is a compact quotient \(G/\Gamma\) of a simply connected solvable Lie group \(G\) by a lattice \(\Gamma\). Any solvmanifold \(G/\Gamma\) is an Eilenberg-MacLane space \(K(\Gamma,1)\); in particular, a solvmanifold is not simply connected. Nilmanifolds, i.e. quotients of simply connected nilpotent Lie groups by a lattice, are a special case of solvmanifolds. \textit{K. Hasegawa} [Proc. Am. Math. Soc. 106, No. 1, 65--71 (1989; Zbl 0691.53040)] showed that a nilmanifold is formal if and only if it is diffeomorphic to a torus. \textit{C. Benson} and \textit{C. S. Gordon} [Topology 27, No. 4, 513--518 (1988; Zbl 0672.53036)] proved that a symplectic nilmanifold satisfies the hard Lefschetz property if and only if it is diffeomorphic to a torus.
In this nice paper the author studies formality and the hard Lefschetz property in the context of solvmanifolds. He gives a sufficient condition for a solvmanifold \(G/\Gamma\) to be formal and to satisfy the hard Lefschetz property. Such condition is that the unipotent hull of \(\Gamma\) is abelian, and is shown to be equivalent to \(\Gamma\) being a finite extension of a lattice in a solvable group of the form \(\mathbb R^n\ltimes_\phi\mathbb R^m\), where the \(\mathbb R^n\)-action on \(\mathbb R^m\) is semisimple.
It was proved in [\textit{O. Baues} and \textit{V. Cort??s}, Geom. Dedicata 122, 215--229 (2006; Zbl 1128.53043)] that a compact aspherical manifold with virtually polycyclic fundamental group \(\Gamma\) admits a K??hler structure if and only if \(\Gamma\) is virtually abelian. There is a close relationship between virtually polycyclic groups and lattices in solvable Lie groups: a lattice in a simply connected solvable Lie group is torsion-free and polycyclic, and every polycyclic group admits a finite index normal subgroup which is isomorphic to a lattice in a simply connected solvable Lie group. A simply connected solvable Lie group admits a virtually nilpotent lattice if and only if the eigenvalues of the adjoint representation \(\mathrm{Ad}_g\) have absolute value 1.
By applying these facts to his results, the author provides examples of compact symplectic solvmanifolds which are formal and hard Lefschetz but carry no K??hler structure.
He also proves that the manifolds constructed in [\textit{K. Oeljeklaus} and \textit{M. Toma}, Ann. Inst. Fourier 55, No. 1, 161--171 (2005; Zbl 1071.32017)] are formal. Such manifolds are important because they disprove a conjecture of Vaisman on the topology of locally conformal K??hler manifolds.
Giovanni Bazzoni (Bielefeld)
Zbl 0312.55011; Zbl 0691.53040; Zbl 0672.53036; Zbl 1128.53043; Zbl 1071.32017