English

Symplectic solvmanifolds not satisfying the hard-Lefschetz condition

Differential Geometry 2025-05-14 v1

Abstract

For Lie groups GG of the form G=RkϕRmG = \R^k \ltimes_{\phi} \R^m, with k+mk + m even, a result of H. Kasuya shows that if the action ϕ:RkAut(Rm)\phi:\R^k \to \mathrm{Aut}(\R^m) is semisimple then any symplectic solvmanifold (Γ\G,ω)(\Gamma \backslash G, \omega) satisfies the hard-Lefschetz condition for any symplectic form. In this article, we prove the converse in the case k=1k = 1 and GG completely solvable: no symplectic form on such a solvmanifold satisfies the hard-Lefschetz condition if ϕ\phi is not semisimple; moreover, we show that the failure occurs either at degree 11 or at degree 22 in cohomology, depending on the spectrum of the differential of the action ϕ\phi. This result is achieved through a detailed analysis of the cohomology groups H1(\g)H^1(\g), H2(\g)H^2(\g), H2n2(\g)H^{2n-2}(\g), H2n1(\g)H^{2n-1}(\g) of the Lie algebra \g\g of such Lie groups. Among other things, this analysis yields useful representatives for each cohomology class corresponding to any symplectic form on \g\g, allowing the most delicate cases to be reduced to a straightforward computation. We also construct lattices for many of the Lie groups under consideration, thereby exhibiting examples of symplectic solvmanifolds of completely solvable Lie groups failing to have the hard-Lefschetz property for any symplectic form.

Keywords

Cite

@article{arxiv.2505.08113,
  title  = {Symplectic solvmanifolds not satisfying the hard-Lefschetz condition},
  author = {Adrián Andrada and Agustín Garrone},
  journal= {arXiv preprint arXiv:2505.08113},
  year   = {2025}
}

Comments

30 pages