On formality of diagrams of Eilenberg-MacLane spaces

Abstract

In this paper, we establish formality (over $\mathbb{Q}$) for diagrams of Eilenberg-MacLane spaces of any height $n\ge 1$. This implies spectral sequence (over $\mathbb{Q}$) collapse at page $2$ 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 $\mathbf{k}$ not containing $\mathbb{Q}$, where the category of diagrams is over the category generated by finite direct sums of a cyclic group.

18 pages. Comments are welcome!