Formal manifold

In geometry and topology, a formal manifold can mean one of a number of related concepts:

• In the sense of Dennis Sullivan, a formal manifold is one whose real homotopy type is a formal consequence of its real cohomology ring; algebro-topologically this means in particular that all Massey products vanish.
• A stronger notion is a geometrically formal manifold, which is the condition that all wedge products of harmonic forms are harmonic.