Eilenberg-MacLane 空间图谱的形式化性
代数拓扑
2026-04-27 v1 范畴论
K理论与同调
摘要
本文证明了高度为 n≥1 的任意 Eilenberg-MacLane 空间图谱在 Q 上形式化。这意味着任意 Eilenberg-MacLane 空间图谱在任意小范畴上的谱序列在第 2 页 Collapses。我们通过函子微积分论证，在任何固定共轭环 k 不含 Q 时形式化性都不成立，其中图谱的范畴是生成由循环群的有限直和构成的范畴。
引用
@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}
}
备注
18 pages. Comments are welcome!