Symplectic manifolds and formality (Q1313784)

The paper begins with the question: Is every 1-connected compact symplectic manifold a formal space? This question originates in the well known result of Deligne, Griffiths, Morgan and Sullivan: A compact 1- connected Kähler manifold is formal. Using techniques of rational homotopy the authors assume the presence of a symplectic structure on a manifold and establish extra conditions (pure minimal model, coformal model) sufficient to imply formality. In the second part of the paper they prove that a nilmanifold\(X\) with \(H^*(X,\mathbb{Q})\) a Lefschetz algebra is diffeomorphic to a torus.