Luqiao Xu | arXiv Science

arXiv2026

Localization and Affine Schemes over $\mathbb{F}_1$

We construct an affine geometry for commutative $\mathbb F_1$-algebras in the framework of Connes and Consani. Using their localization construction, we equip the Deitmar spectrum of the underlying multiplicative monoid $A(1_+)$ with a sheaf $\mathcal O_A$ of $\mathbb F_1$-algebras. We prove that $\mathcal O_A(D(f))\cong A_f$ and, in particular, that global sections recover $A$. The resulting spectrum construction yields an anti-equivalence between commutative $\mathbb F_1$-algebras and absolute affine schemes. We compare our choice of covering families with the Connes--Consani topology and explain its role in affine reconstruction. Finally, we describe base change to $\mathbb Z$, under which the absolute affine scheme associated to the Eilenberg--MacLane algebra $HR$ recovers the classical affine scheme $\operatorname{Spec}R$.

math.AG↗

arXiv2026

Hyper-Operations and Extension of Scalars from $\mathbb{F}_1$ to $\mathbb{Z}$

The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $Γ$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not satisfy classical associativity. We establish a \emph{law of generalized associativity} showing that, despite this failure of strict associativity, all $n$-ary sums are controlled by successive binary operations. This enables us to construct an extension of scalars functor $-\otimes_{\mathbb{F}_1} \mathbb{Z}: \mathbb{F}_1\mathbf{Mod} \to \mathbf{Ab}$ that universally strictifies the hyper-additive structure of $\mathbb{F}_1$-modules into classical abelian group addition. We prove this functor is left adjoint to the Eilenberg-MacLane functor $H: \mathbf{Ab} \to \mathbb{F}_1\mathbf{Mod}$. Extending to the multiplicative setting, we obtain an adjunction $-\otimes_{\mathbb{F}_1} \mathbb{Z}: \mathbb{F}_1\mathbf{Alg} \leftrightarrows \mathbf{CRing} : H$ between commutative $\mathbb{F}_1$-algebras and commutative rings. This recovers Deitmar's monoid ring construction for spherical monoid algebras and provides a base change mechanism needed for absolute algebraic geometry.

math.AG↗