$\mathbb{F}_1$ 的 Eilenberg-MacLane 谱
代数拓扑
2026-05-29 v2 范畴论
摘要
给定一个非常特殊的 -空间 ,反复应用 Segal 的去联还会产生其关联的连通 -谱的组成空间。特别地,对离散的非常特殊的 -空间(即 Abel 群)进行此构造,可恢复 Eilenberg-MacLane 谱。然而,去联算子是完全形式化的,可以应用于任意 -空间且无需任何条件。Connes 和 Consani 的工作表明,“唯一元素域”可作为(离散)-空间(即 localizes 到经典球谱)来实现。这篇笔记计算了该 模型的 Segal 去联。它们是 -层单纯集,其几何实化为 球,配有自由部分交换 monoid 结构。等价地,它们是( nerves of the)自由部分严格 -类,其具有自由部分对称单值 monoid 结构。
引用
@article{arxiv.2508.01524,
title = {The Eilenberg-MacLane Spectrum of \mathbb{F}_1},
author = {Jonathan Beardsley},
journal= {arXiv preprint arXiv:2508.01524},
year = {2026}
}
备注
extended and modified exposition, fixed some typos