On formality of diagrams of Eilenberg-MacLane spaces
Algebraic Topology
2026-04-27 v1 Category Theory
K-Theory and Homology
Abstract
In this paper, we establish formality (over ) for diagrams of Eilenberg-MacLane spaces of any height . This implies spectral sequence (over ) collapse at page for any diagram of EML spaces over any small category. We prove by functor calculus argument that formality does not hold over any fixed commutative ring not containing , where the category of diagrams is over the category generated by finite direct sums of a cyclic group.
Keywords
Cite
@article{arxiv.2604.22435,
title = {On formality of diagrams of Eilenberg-MacLane spaces},
author = {Grigory Solomadin and Antoine Touzé},
journal= {arXiv preprint arXiv:2604.22435},
year = {2026}
}
Comments
18 pages. Comments are welcome!