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

技术摘要：$\mathbb{F}_1$ 上的局部化与仿射方案

问题陈述
本文旨在解决为“一元域”（$\mathbb{F}_1$）建立稳健的绝对代数几何理论这一基础性挑战。由于经典的代数几何通过素谱函子建立了交换环与仿射方案之间的反等价关系，将此扩展至 $\mathbb{F}_1$ 需要一个合适的代数框架。作者采用了 Connes-Consani 框架，其中 $\mathbb{F}_1$-代数被建模为 $\Gamma$-集（从 $\Gamma^{op}$ 到有标点集的函子）范畴中的单对象。核心问题在于定义一种针对 $\Gamma$-集代数的局部化理论，并构建相应的素谱，从而产生一个类似于经典情形的反等价关系，使交换 $\mathbb{F}_1$-代数与绝对仿射方案之间建立联系。一个具体的困难在于，$\Gamma$-集中的加法结构比环或超环（hyperrings）更为“松散”：对素理想强加加法封闭性会导致病态行为（例如，某些代数不存在素理想），因此必须采用纯粹的多乘法方法。

方法论
本文通过将经典的交换代数和方案理论应用于 $\Gamma$-集的情境来进行研究：

1. 代数框架： 作者利用了配备了 smash 积作为单对象结构的 $\Gamma\text{Set}_*$ 范畴。$\mathbb{F}_1$-代数被定义为该范畴中的交换单对象。$\mathbb{F}_1$-代数 $A$ 的底层结构由有标点交换单群 $A(1+)$ 捕捉，这类似于 $E_\infty$-环的 $0$-阶同伦群$\pi_0 A$ 捕捉其底层环的方式。
2. 局部化理论： 针对交换 $\mathbb{F}_1$-代数 $A$ 和乘法封闭子集 $S \subseteq A(1+)$，开发了一套局部化理论 $S^{-1}A$。至关重要的是，局部化被限制在第一层 $A(1+)$ 的子集上，以保持 $\Gamma$-集的函子性，并确保所得结构层的全局截面能恢复原代数。该构造通过在所有层级上逐层定义 $S^{-1}A$ 来实现，在反转 $S$ 中元素的过程中保持 $\Gamma$-集在各层级间的相干性。
3. 层论： 本文开发了定义在拓扑空间上的 $\mathbb{F}_1$-代数层理论。由于 $\Gamma\text{Set}_*$ 中的极限和余极限是逐层计算的，因此通过对底层有标点集的预层逐层应用经典的层操作，来构造层化、直接像/逆像以及茎。
4. 素谱构造： 素谱 $|\text{Spec } A|$ 被定义为 $A(1+)$ 在 Deitmar 意义下的素谱（仅使用乘法结构，忽略加法封闭性）。结构层 $\mathcal{O}_A$ 通过在 $A(1+)$ 的元素处对 $A$ 进行局部化来构造，将开集上的截面定义为 $A$ 中元素的局部商。
5. 函子性与等价性： 本文确立了反变函子 $\text{Spec}: \mathbb{F}_1\text{Alg}^{op} \to \text{AffSch}_{\mathbb{F}_1}$，并证明其为反等价。此外，定义了基变换函子 $-\otimes_{\mathbb{F}_1} \mathbb{Z}$ 到经典方案，展示了经典仿射方案是如何从 $\mathbb{F}_1$-代数中产生的。

主要贡献与结果

• 定理 A（局部化）： 本文证明了对于任何交换 $\mathbb{F}_1$-代数 $A$ 及乘法封闭集 $S \subseteq A(1+)$，局部化 $S^{-1}A$ 均存在。该局部化满足泛性质：态射 $S^{-1}A \to B$ 与将 $S$ 映射为 $B(1+)$ 中单位元的态射 $A \to B$ 之间存在双射。此外，对于交换环 $R$ 的 Eilenberg-MacLane 代数 $HR$，有$S^{-1}(HR) \cong H(S^{-1}R)$，这表明该理论推广了经典的环局部化。
• 定理 B（结构层）： 对于素谱 $(|\text{Spec } A|, \mathcal{O}_A)$，本文确立了：
  • 在素理想 $\mathfrak{p}$ 处的茎同构于局部化 $A_{\mathfrak{p}}$。
  • 在基本开集 $D(f)$ 上的截面同构于局部化 $A_f$。
  • 全局截面恢复代数：$\Gamma(|\text{Spec } A|, \mathcal{O}_A) \cong A$。
• 定理 C（反等价）： 函子 $\text{Spec}$ 在交换 $\mathbb{F}_1$-代数范畴与绝对仿射方案范畴（定义为局部为 $\mathbb{F}_1\text{Alg}$-空间且同构于 $\text{Spec } A$ 的空间）之间建立了反等价。
• 基变换： 本文构建了一个从绝对仿射方案到经典 $\mathbb{Z}$-仿射方案的基变换函子 $-\otimes_{\mathbb{F}_1} \mathbb{Z}$。文中指出，对于 Eilenberg-MacLane 代数 $HR$，基变换会恢复经典方案$\text{Spec } R$。这与 Deitmar 的单群方案形成对比，后者的基变换通常仅产生托里簇（toric varieties）；而 $\Gamma$-集方法涵盖了更广泛的“$\mathbb{F}_1$ 上的方案”类，包括经典仿射方案。

意义

本文声称为绝对代数几何提供了一个严谨的基础，该基础严格推广了 Deitmar 的单群方案和经典方案理论。通过将 $\mathbb{F}_1$-代数建模为 $\Gamma$-集，该框架成功避免了与其他 $\mathbb{F}_1$ 方法（如超环）相关的关于素理想加法封闭性的病态问题。绝对仿射方案与 $\mathbb{F}_1$-代数之间反等价性的建立，证实了 $\mathbb{F}_1$-代数是此类几何学中合适的代数对象，镜像了交换环在经典几何中的作用。通过基变换能够恢复经典方案这一特性，表明该框架在扩展至绝对设置的同时，也包含了标准代数几何，提供了一个将托里簇与经典仿射方案统一纳入单一范畴结构的视角。