2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/76932It is shown that the de Rham complex of a symplectic manifold $M$ satisfying the hard Lefschetz condition is formal. Moreover, it is shown that the differential Gerstenhaber-Batalin-Vilkoviski algebra associated to such a symplectic structure gives rise, along the lines explained in the papers of Barannikov and Kontsevich [alg-geom/9710032] and Manin [math/9801006], to the structure of a Frobenius manifold on the de Rham cohomology of $M$.8 pages, LaTeX, corrected typos and citationsSymplectic Geometrytext