Real projective groups are formal
arXiv:2206.14645
Abstract
We prove that the mod 2-cohomology algebras of real projective groups are formal. As a consequence we derive the Hopkins-Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.
v3: 38 pages, minor revision; final version to appear in Math. Ann