# Bogomolov-Guan Manifolds are not formal

Preprint · Ángel David Ríos Ortiz

- Archive id: arxiv:2609.26768
- Published: 2026-09-22
- arXiv: https://arxiv.org/abs/2609.26768
- Source URL: https://arxiv.org/abs/2609.26768
- PDF: https://arxiv.org/pdf/2609.26768
- Provenance: arxiv

## Abstract

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 nonformality to the smooth Bogomolov--Guan manifold. We also compare the Bogomolov--Guan precursor with the nilmanifold appearing in Guan's original construction, showing that they are related by a natural $S\_{n+1}$-equivariant finite cover of degree $(n+1)^2$ and have the same invariant de Rham model. Using Guan's resolution, which we prove to be projective and semismall, together with Saito's decomposition theorem, we further show that the third Betti number of every Bogomolov--Guan manifold of complex dimension at least four is equal to $3$.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.