{"id":"arxiv/2604.22435","url":"https://arxiv.org/abs/2604.22435","tags":["math.AT","math.CT","math.KT"],"score":0,"title":"On formality of diagrams of Eilenberg-MacLane spaces","domain":"math.AT","source":"arxiv","authors":["Grigory Solomadin","Antoine Touzé"],"reviews":0,"subject":"math.AT","summary":"In this paper, we establish formality (over $\\mathbb{Q}$) for diagrams of Eilenberg-MacLane spaces of any height $n\\geq 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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-24","reactions":{}}