Almost formality of manifolds of low dimension

Abstract

In this paper we introduce the notion of Poincaré DGCAs of Hodge type, which is a subclass of Poincaré DGCAs encompassing the de Rham algebras of closed orientable manifolds. Then we introduce the notion of the small algebra and the small quotient algebra of a Poincaré DGCA of Hodge type. Using these concepts, we investigate the equivalence class of $(r-1)$ connected $(r>1)$ Poincaré DGCAs of Hodge type. In particular, we show that a $(r-1)$ connected Poincaré DGCA of Hodge type ${\mathcal{A}}^{\ast }$ of dimension $n\le 5r-3$ is $A_{\infty }$-quasi-isomorphic to an $A_3$-algebra and prove that the only obstruction to the formality of ${\mathcal{A}}^{\ast }$ is a distinguished Harrison cohomology class $[{\mu }_3]\in {\mathsf{Harr}}^{3,-1}(H^{\ast }({\mathcal{A}}^{\ast }),H^{\ast }({\mathcal{A}}^{\ast }))$. Moreover, the cohomology class $[{\mu }_3]$ and the DGCA isomorphism class of $H^{\ast }({\mathcal{A}}^{\ast })$ determine the $A_{\infty }$-quasi-isomorphism class of ${\mathcal{A}}^{\ast }$. This can be seen as a Harrison cohomology version of the Crowley-Nordström results [D. Crowley, J. Nordström, The rational homotopy type of $(n-1)$-connected manifolds of dimension up to $5n-3$, arXiv:1505.04184v2] on rational homotopy type of $(r-1)$-connected $(r>1)$ closed manifolds of dimension up to $5r-3$. We also derive the almost formality of closed $G_2$-manifolds, which have been discovered recently by Chan-Karigiannis-Tsang in [K.F. Chan, S. Karigiannis and C.C. Tsang, The ${\mathcal{L}}_B$-cohomology on compact torsion-free ${\mathrm{G}}_2$ manifolds and an application to `almost' formality, arXiv:1801.06410, to appear in Ann. Global Anal. Geom.], from our results and the Cheeger-Gromoll splitting theorem.

A couple of possibly confusing typos have been corrected: in the Introduction an occurrence of $A_{\infty }$ should have been $C_{\infty }$ (or $Com{m}_{\infty }$); immediately after equation (4.1) an index $k$ should have been $r$ instead