Formality of k-connected spaces in 4k+3 and 4k+4 dimensions

Abstract

Using the concept of s-formality we are able to extend the bounds of a Theorem of Miller and show that a compact k-connected 4k+3- or 4k+4-manifold with b_{k+1}=1 is formal. We study k connected n-manifolds, n= 4k+3, 4k+4, with a hard Lefschetz-like property and prove that in this case if b_{k+1}=2, then the manifold is formal, while, in 4k+3-dimensions, if b_{k+1}=3 all Massey products vanish. We finish with examples inspired by symplectic geometry and manifolds with special holonomy.

12 pages. Theorem 4 stated in more generality and examples added

References in corpus (1)

• The Lefschetz property, formality and blowing up in symplectic geometry

Cited by in corpus (6)

• G_2-manifolds and associative submanifolds via semi-Fano 3-folds
• Manifolds with parallel differential forms and Kaehler identities for G_2-manifolds
• The rational homotopy type of (n-1)-connected manifolds of dimension up to 5n-3
• An 8-dimensional non-formal simply connected symplectic manifold
• Almost formality of manifolds of low dimension
• $A_{\infty }$-Minimal Model on Differential Graded Algebras