Lattices on Benson–Gordon type solvable Lie groups

Benson and Gordon constructed the unimodular solvable Lie group G BG . In this paper, we prove that G BG admits lattices. In addition, we construct compact symplectic solvmanifolds without the Hard Lefschetz property.