Real projective groups are formal
Ambrus P\'al, Gereon Quick
TL;DR
This paper proves that the mod 2-cohomology algebras of real projective groups are formal, leading to significant implications for formality and Massey vanishing conjectures over various fields.
Contribution
It establishes the formality of mod 2-cohomology algebras for real projective groups, connecting to broader conjectures in algebraic topology and field theory.
Findings
Mod 2-cohomology algebras of real projective groups are formal
Derivation of Hopkins-Wickelgren formality for many fields
Validation of the strong Massey vanishing conjecture in a broad context
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Homotopy and Cohomology in Algebraic Topology · Advanced Topics in Algebra