Real projective groups are formal
摘要
We prove that the mod 2 cohomology algebras of real projective groups are intrinsically formal. As a consequence we derive the Hopkins–Wickelgren formality and the strong Massey vanishing conjecture for a large class of fields.