English

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 Q\mathbb{Q}) for diagrams of Eilenberg-MacLane spaces of any height n1n\geq 1. This implies spectral sequence (over Q\mathbb{Q}) collapse at page 22 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 k\mathbf{k} not containing Q\mathbb{Q}, 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!