Real projective groups are formal

Ambrus Pál, Gereon Quick

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 conjec…