Real projective groups are formal
Number Theory
2025-03-28 v3 K-Theory and Homology
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.
Keywords
Cite
@article{arxiv.2206.14645,
title = {Real projective groups are formal},
author = {Ambrus Pál and Gereon Quick},
journal= {arXiv preprint arXiv:2206.14645},
year = {2025}
}
Comments
v3: 38 pages, minor revision; final version to appear in Math. Ann