On non-formality of a simply-connected symplectic 8-manifold

TL;DR

This paper presents an alternative construction and proof of non-formality for a specific simply-connected compact symplectic 8-manifold, highlighting new methods in symplectic topology.

Contribution

It introduces a new construction and proof technique for a known symplectic non-formal 8-manifold, expanding understanding of symplectic non-formality.

Findings

Constructed an alternative example of a symplectic non-formal 8-manifold.

Provided a new proof of non-formality using higher order Massey products.

Confirmed the non-formality of the manifold through multiple approaches.

Abstract

We show an alternative construction of the first example of a simply-connected compact symplectic non-formal 8-manifold given in arXiv:math/0506449. We also give an alternative proof of its non-formality using higher order Massey products.