arxiv: 2604.22435 · v1 · submitted 2026-04-24 · 🧮 math.AT · math.CT· math.KT

Recognition: unknown

On formality of diagrams of Eilenberg-MacLane spaces

Antoine Touz\'e, Grigory Solomadin

Pith reviewed 2026-05-08 09:09 UTC · model grok-4.3

classification 🧮 math.AT math.CTmath.KT

keywords Eilenberg-MacLane spacesformalitydiagramsrational homotopy theoryspectral sequencesfunctor calculusalgebraic topology

0 comments

The pith

Diagrams of Eilenberg-MacLane spaces are formal over the rationals for every height.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that diagrams of Eilenberg-MacLane spaces are formal over the rational numbers for any height n at least 1. This means the diagrams can be replaced by their cohomology data in a way that preserves all rational homotopy information. As a direct result, spectral sequences attached to these diagrams over any small indexing category collapse at the second page when working over Q. The authors further show that formality fails over any fixed commutative ring that does not contain the rationals, by applying functor calculus to diagrams indexed by the category of finite direct sums of a cyclic group.

Core claim

We establish formality (over Q) for diagrams of Eilenberg-MacLane spaces of any height n≥1. This implies spectral sequence (over 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 k not containing Q, where the category of diagrams is over the category generated by finite direct sums of a cyclic group.

What carries the argument

Formality of a diagram of Eilenberg-MacLane spaces, established over Q and detected via functor calculus for non-formality over other rings.

If this is right

Spectral sequences over Q collapse at page 2 for diagrams of EML spaces of any height indexed by arbitrary small categories.
Rational computations of homotopy groups or derived mapping spaces between such diagrams reduce to purely algebraic questions.
Formality holds uniformly for all n ≥ 1, extending previous results on low-height cases.
Non-formality examples exist over every ring k that does not contain Q for diagrams over the category of finite direct sums of a cyclic group.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The collapse result may simplify explicit calculations of rational homotopy groups of function spaces between diagrams of Eilenberg-MacLane spaces.
One could test whether similar formality statements hold after inverting other primes or working over fields of positive characteristic.
The functor-calculus obstruction might generalize to detect non-formality for diagrams of other rational spaces beyond Eilenberg-MacLane spaces.

Load-bearing premise

The functor calculus argument succeeds in detecting non-formality precisely when the coefficient ring does not contain the rationals and the indexing category is generated by finite direct sums of a cyclic group.

What would settle it

An explicit diagram of Eilenberg-MacLane spaces over Q, indexed by any small category, for which the associated spectral sequence does not collapse at page 2.

read the original abstract

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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper extends rational formality to diagrams of EML spaces of any height over any small category, with a spectral sequence collapse, but shows non-formality only in one restricted indexing case over other rings.

read the letter

The paper shows that any diagram of Eilenberg-MacLane spaces is formal over the rationals, no matter the height. This gives a clean collapse of the associated spectral sequence at page 2 over Q, and it holds for diagrams indexed by an arbitrary small category. The authors also prove non-formality over any commutative ring without Q, but only for diagrams over the category generated by finite direct sums of a cyclic group, using a functor calculus argument.

Referee Report

2 major / 2 minor

Summary. The paper establishes formality over Q for diagrams of Eilenberg-MacLane spaces of arbitrary height n ≥ 1. This yields collapse at page 2 of the associated spectral sequence over Q for diagrams indexed by any small category. Using a functor-calculus argument, it proves that formality fails over any fixed commutative ring k not containing Q when the indexing category is the one generated by finite direct sums of a cyclic group.

Significance. If the proofs hold, the results extend the classical formality of single Eilenberg-MacLane spaces to diagram categories and give a concrete criterion for spectral-sequence collapse in rational homotopy theory of diagrams. The functor-calculus detection of non-formality supplies a useful negative tool that is not available from direct obstruction theory. These statements are falsifiable and rest on standard model-categorical and calculus machinery rather than ad-hoc constructions.

major comments (2)

[formality theorem and spectral-sequence corollary] The implication from diagram formality to E2-collapse of the spectral sequence (stated in the abstract and presumably proved in the section following the formality theorem) relies on the model structure on the diagram category preserving the relevant quasi-isomorphisms to cohomology; the precise identification of the E2-page with the cohomology of the diagram of spaces should be recorded explicitly, as the indexing category is arbitrary.
[non-formality section] The non-formality statement is proved only for the specific indexing category generated by finite direct sums of a cyclic group. While this suffices for the claim as stated, the functor-calculus argument should be checked to see whether the obstruction it detects persists for more general small categories or whether the restriction is essential to the calculus setup.

minor comments (2)

[abstract and notation section] Notation for the ring k is introduced as boldface k in the abstract; consistency with the body of the paper (ordinary k or k) should be checked.
[introduction] The phrase 'any height n ≥ 1' is clear, but a brief reminder of the definition of height for an Eilenberg-MacLane space diagram would help readers who are not specialists in the area.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major comments point by point below.

read point-by-point responses

Referee: [formality theorem and spectral-sequence corollary] The implication from diagram formality to E2-collapse of the spectral sequence (stated in the abstract and presumably proved in the section following the formality theorem) relies on the model structure on the diagram category preserving the relevant quasi-isomorphisms to cohomology; the precise identification of the E2-page with the cohomology of the diagram of spaces should be recorded explicitly, as the indexing category is arbitrary.

Authors: We agree that an explicit identification of the E2-page improves clarity, particularly for arbitrary small indexing categories. In the revised manuscript we will insert a short paragraph immediately after the formality theorem stating that, under the standard model structure on the category of diagrams, the E2-term is identified with the cohomology of the diagram of spaces (computed objectwise and then taking the cohomology of the resulting diagram of vector spaces), so that formality over Q forces collapse at E2. revision: yes
Referee: [non-formality section] The non-formality statement is proved only for the specific indexing category generated by finite direct sums of a cyclic group. While this suffices for the claim as stated, the functor-calculus argument should be checked to see whether the obstruction it detects persists for more general small categories or whether the restriction is essential to the calculus setup.

Authors: The functor-calculus argument is constructed specifically for the category generated by finite direct sums of a cyclic group; this choice is essential because it supplies the concrete obstruction detected by the calculus. The result as stated is only a counterexample showing that formality fails over rings not containing Q, and does not claim non-formality for every small category. We will add a clarifying sentence in the non-formality section explaining why this particular indexing category is used and that the obstruction is tied to the setup of the calculus in this case. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper claims to establish formality over Q for diagrams of Eilenberg-MacLane spaces of any height via direct arguments, with the spectral sequence collapse as a consequence, and uses a functor calculus argument for non-formality over rings not containing Q (restricted to a specific indexing category). No load-bearing steps reduce by definition, self-citation chains, or fitted parameters to the inputs; the results are presented as independent mathematical proofs aligning with known formality of individual EML spaces over Q. The derivation chain is self-contained against external model-category and cohomology facts.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background from algebraic topology and category theory. No free parameters or new entities are introduced in the abstract. The key assumptions are domain-standard properties of Eilenberg-MacLane spaces and the applicability of functor calculus.

axioms (2)

domain assumption Eilenberg-MacLane spaces and their diagrams satisfy the expected homotopy and cohomology properties over Q
Standard assumption invoked for the formality statement.
domain assumption Functor calculus techniques can detect the failure of formality over rings not containing Q
Used explicitly for the negative result on the specified category.

pith-pipeline@v0.9.0 · 5380 in / 1449 out tokens · 136895 ms · 2026-05-08T09:09:21.817727+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

31 extracted references · 21 canonical work pages

[1]

Bott and L.W

R. Bott and L.W. Tu,Differential forms in algebraic topology, Graduate Texts in Math., vol. 82, Springer-Verlag New York Heidelberg Berlin, 1982. doi:10.1007/978-1-4757-3951-0

work page doi:10.1007/978-1-4757-3951-0 1982
[2]

Bousfield, Daniel M

A.K. Bousfield and D.M. Kan,Homotopy limits, completions and localizations, Lect. Notes in Math., vol. 304, Springer-Verlag New York, 1972. doi: 10.1007/978-3-540-38117-4

work page doi:10.1007/978-3-540-38117-4 1972
[3]

Bousfield,On the homology spectral sequence of a cosimplicial space, Amer

A.K. Bousfield,On the homology spectral sequence of a cosimplicial space, Amer. J. Math.109(2)(1987), 361–394

1987
[4]

Breen, R

L. Breen, R. Mikhailov, and A. Touz´ e,Derived functors of the divided power functors, Geom. Topol.20 (2016), no. 1, 257–352. doi:10.2140/gt.2016.20.257 arXiv:1312.5676

work page doi:10.2140/gt.2016.20.257 2016
[5]

Brown,Cohomology of groups, Graduate Texts in Mathematics, vol

Kenneth S. Brown,Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York,
[6]

doi:10.1007/978-1-4684-9327-6

work page doi:10.1007/978-1-4684-9327-6
[7]

Cartan,Cartan Alg` ebre d’Eilenberg-Maclane et homotopie, Tome 7, S´ eminaire Henri Cartan (1954)

H. Cartan,Cartan Alg` ebre d’Eilenberg-Maclane et homotopie, Tome 7, S´ eminaire Henri Cartan (1954)

1954
[8]

Dugger,A primer on homotopy colimits, Primer, available at \protect\@normalcr\relaxhttps://people

D. Dugger,A primer on homotopy colimits, Primer, available at \protect\@normalcr\relaxhttps://people. math.rochester.edu/faculty/doug/otherpapers/hocolim.pdf
[9]

Dugger and D.C

D. Dugger and D.C. Isaksen,Topological hypercovers and A1-realizations, Math. Z.246(2004). doi:10.1007/s00209-003-0607-y

work page doi:10.1007/s00209-003-0607-y 2004
[10]

Dwyer and D.M

W.G. Dwyer and D.M. Kan,An obstruction theory for diagrams of simplicial sets, Nederl. Akad. Wetensch. Indag. Math.46(1984), no. 2, 139–146. doi:10.1016/1385-7258(84)90015-5

work page doi:10.1016/1385-7258(84)90015-5 1984
[11]

Eilenberg,Abstract description of some basic functors, J

S. Eilenberg,Abstract description of some basic functors, J. Indian Math. Soc. (N.S.)24(1960), 231–234

1960
[12]

Eilenberg and S

S. Eilenberg and S. Mac Lane,On the groupsH(Π, n), I, Ann. Math,58(1)(1953), 55–106

1953
[13]

, TITLE =

M. Franz,The integral cohomology of toric manifolds, Trudy MIAN252(2006), 61–70. doi:10.1134/S008154380601007X arXiv:math/0308253

work page doi:10.1134/s008154380601007x 2006
[14]

4, 2109–2144

,The cohomology rings of smooth toric varieties and quotients of moment-angle complexes, Geometry & Topology25(2021), no. 4, 2109–2144. doi:10.2140/gt.2021.25.2109 arXiv:1907.04791

work page doi:10.2140/gt.2021.25.2109 2021
[15]

F´ elix, S

Y. F´ elix, S. Halperin, and J.-C. Thomas,Rational homotopy theory, Graduate Texts in Mathematics, Springer,
[16]

doi:10.1007/978-1-4613-0105-9

work page doi:10.1007/978-1-4613-0105-9
[17]

Gugenheim and J.P

V.K.A.M. Gugenheim and J.P. May,On the theory and applications of differential torsion products, Memoirs AMS, vol. 142, 1974

1974
[18]

Hirschhorn,Model categories and their localizations, Mathematical Surveys and Monographs, vol

P.S. Hirschhorn,Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, Providence, RI, 2003. doi:10.1090/surv/099

work page doi:10.1090/surv/099 2003
[19]

Ivanov and A.A

S.O. Ivanov and A.A. Zaikovskii,Mod-2 (co)homology of an abelian group, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)484(2019), 72–85. doi:10.1007/s10958-021-05200-0 arXiv:1810.12728

work page doi:10.1007/s10958-021-05200-0 2019
[20]

Lemaire and F

J.-M. Lemaire and F. Sigrist,Sur les invariants d’homotopie rationnelle li´ es ` a la L.S. cat´ egorie, Comment. Math. Helvetici56(1981), 103–122

1981
[21]

Limonchenko and G

I.Y. Limonchenko and G. Solomadin,On the homotopy decomposition for the quotient of a moment- angle complex and its applications, Proceedings of the Steklov Institute of Mathematics317(2022), 117–140. doi:10.1134/S0081543822020067 arXiv:2202.13899

work page doi:10.1134/s0081543822020067 2022
[22]

2012 , publisher =

J.-L. Loday and B. Vallette,Algebraic operads, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 346, Springer, Heidelberg, 2012. doi:10.1007/978-3-642-30362-3

work page doi:10.1007/978-3-642-30362-3 2012
[23]

[LV12] Jean-Louis Loday and Bruno Vallette.Algebraic Operads

J.-L. Loday,Cyclic homology, Second Edition, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 301. doi:10.1007/978-3-662-11389-9

work page doi:10.1007/978-3-662-11389-9
[24]

https://doi.org/10.1007/978-3-642-62029-4

S. Mac Lane,Homology, Die Grundlehren der mathematischen Wissenschaften, vol. Band 114, Springer-Verlag, Berlin-G¨ ottingen-Heidelberg; Academic Press, Inc., Publishers, New York, 1963. doi:10.1007/978-3-642-62029-4

work page doi:10.1007/978-3-642-62029-4 1963
[25]

Mitchell,Rings with several objects, Advances in Math.8(1972), 1–161

B. Mitchell,Rings with several objects, Advances in Math.8(1972), 1–161. doi:10.1016/0001-8708(72)90002-3

work page doi:10.1016/0001-8708(72)90002-3 1972
[26]

Notbohm and N

D. Notbohm and N. Ray,On Davis–Januszkiewicz homotopy types I; formality and rationalisation, Algebr. Geom. Topol.5(2005), no. 1, 31–51. doi:10.2140/agt.2005.5.31 arXiv:math/0311167

work page doi:10.2140/agt.2005.5.31 2005
[27]

T. Pirashvili,Introduction to functor homology, In: Rational representations, the Steenrod algebra and functor homology (Panorama et synth` ese – Soci´ et´ e math´ ematique de France, 2003). Franjou, V., Friedlander, E.M., Pirashvili, T., Schwartz, L.16(2004), 1–26. doi:10.1007/978-3-319-21305-7

work page doi:10.1007/978-3-319-21305-7 2003
[28]

Segal,Classifying spaces and spectral sequences, Publ

G.B. Segal,Classifying spaces and spectral sequences, Publ. Math. I.H.E.S.34(1968), 105–112. doi:10.1007/BF02684591

work page doi:10.1007/bf02684591 1968
[29]

Weibel, An Introduction to Homological Algebra Cambridge University Press (1994), [ doi:10.1017/CBO9781139644136 https://doi.org/10.1017/CBO9781139644136]

C.A. Weibel,An introduction to homological algebra, Cambridge University Press, 1997. doi:10.1017/CBO9781139644136

work page doi:10.1017/cbo9781139644136 1997
[30]

Welker, G

V. Welker, G. Ziegler, and R.T. ˇZivaljevi´ c,Homotopy colimits – comparison lemmas for combinatorial applications, J. Reine Angew. Math.509(1999), 117–149. doi:10.1515/crll.1999.509.117

work page doi:10.1515/crll.1999.509.117 1999
[31]

Zakharov,Some equivalences of derived exponential functors, available at https://webusers.imj-prg.fr/ ~aleksandr.zakharov/files/bin_sasha.pdf

A. Zakharov,Some equivalences of derived exponential functors, available at https://webusers.imj-prg.fr/ ~aleksandr.zakharov/files/bin_sasha.pdf. 18 GRIGORY SOLOMADIN AND ANTOINE TOUZ ´E (G. Solomadin)PU Marburg, Marburg, Germany Email address:grigory.solomadin@gmail.com (A. Touz´ e)Univ. Lille, CNRS, UMR 8524 - Laboratoire Paul Painlev´e, F-59000 Lille, ...