{"id":"arxiv/2609.26768","url":"https://arxiv.org/abs/2609.26768","tags":["math.AG","math.DG"],"score":0,"title":"Bogomolov-Guan Manifolds are not formal","domain":"math.AG","source":"arxiv","authors":["Ángel David Ríos Ortiz"],"reviews":0,"subject":"math.AG","summary":"Bogomolov--Guan manifolds form the only known series of compact simply connected non-Kähler holomorphic symplectic manifolds. We prove that all Bogomolov--Guan manifolds of complex dimension at least four are nonformal over $\\mathbb{Q}$. The proof constructs a uniform degree-eight $a$-Massey product in a finite-dimensional invariant de Rham model of the symmetric quotient of the Bogomolov--Guan precursor. Its indeterminacy vanishes, and its nontriviality is detected by an explicit top-degree pairing arising from an $S_{n+1}$-invariant tensor contraction. A nonzero-degree map then transfers…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}