pith. sign in

arxiv: 2508.01524 · v2 · pith:HANK5YHAnew · submitted 2025-08-02 · 🧮 math.AT · math.CT

The Eilenberg-MacLane Spectrum of mathbb{F}₁

classification 🧮 math.AT math.CT
keywords gammafreepartialspacesspectrumdeloopingdiscreteeilenberg-maclane
0
0 comments X
read the original abstract

Given a very special $\Gamma$-space $X$, repeated application of Segal's delooping functor produces the constituent spaces of the associated connective $\Omega$-spectrum. In particular, by applying this construction to \textit{discrete} very special $\Gamma$-spaces (a.k.a.~Abelian groups), one recovers Eilenberg-MacLane spectra. The delooping functor is entirely formal, however, and can be applied to arbitrary $\Gamma$-spaces without any conditions. Work of Connes and Consani suggests that the ``field with one element'' can be fruitfully realized as a (discrete) $\Gamma$-space (which localizes to the classical sphere spectrum). This note computes Segal's deloopings of this model of $\mathbb{F}_1$. They are $n$-fold simplicial sets whose geometric realizations are the $n$-spheres, equipped with \textit{free partial commutative monoid} structures. Equivalently, they are the (nerves of the) free partial strict $n$-categories with free partial symmetric monoidal structures.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.