On the Absolute Geometry of $\operatorname{Spec}\mathbf{Z}$

技术摘要：论 $\text{Spec } \mathbb{Z}$ 的绝对几何与 Fargues-Fontaine 曲线

问题陈述
本文探讨了 P. Scholze 关于 $p$-adic 几何的一个启发式原理：若 $F$ 是一个代数封闭的完美化域（perfectoid field），则 $\text{Spec } \mathbb{Z}$ 的 $F$ 值点集（在等价意义下）应当由 $F$ 的“直到化”（untilts）进行分类。虽然 Scholze 的洞见提供了一个强大的概念框架，但作者寻求一种具体的几何实现，以及一种能够运行在整数“之下”、且独立于测试场特征的范式推广。其目标是构造一个绝对几何对象，该对象能自然地编码 $p$-adic Hodge 理论、复解析几何以及阿代尔缩放场（adelic scaling site）的结构。

方法论
作者采用了 $\mathbb{F}_1$-几何（关于一元域的几何）和拓扑斯理论（topos theory）的框架。其方法论按以下步骤进行：

1. $\mathbb{F}_1$-算术场的构造：他们将 $\mathbb{F}_1$-算术场 $\text{Pic}^*$ 定义为对 $(\widehat{\mathbb{N}^\times_0}, \mathcal{O}_{\mathbb{F}_1})$，其中 $\widehat{\mathbb{N}^\times_0}$ 是具有乘法单群 $\mathbb{N}_{\geq 0}$ 作用的集合预层拓扑斯，而 $\mathcal{O}_{\mathbb{F}_1} = \mathbb{F}_1[T]$ 是由生成元 $T$ 构成的自由交换单群的球面代数（spherical algebra）。该结构层受通用 Frobenius 末端映射 $Frob_k(T^n) = T^{nk}$ 的作用。
2. 提升 Abel-Jacobi 映射：他们利用一个几何态射 $\Theta: \text{Spec } \mathbb{Z} \to \widehat{\mathbb{N}^\times_0}$（在先前的工作中构造）来提升经典的 Abel-Jacobi 映射。该态射将素数 $p$ 映射为环 $\mathbb{Z}[1/p]$ 的有序加法群，并将泛点（generic point）映射为平凡群。
3. 拉回至绝对曲线：作者将绝对 $\mathbb{F}_1$-算术曲线 $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ 定义为对 $(\text{Spec } \mathbb{Z}, \mathcal{F})$，其中 $\mathcal{F} = \Theta^{-1}(\mathcal{O}_{\mathbb{F}_1})$ 是结构层的拉回。在素数 $p$ 处的茎 $\mathcal{F}_p$ 被识别为球面代数 $\mathbb{F}_1[T^{\mathbb{Z}[1/p]^+}]$。
4. 求值与局部性：作者通过在各种域（特征为 $p$ 的完美化域、任意剩余特征的完美化域，以及复数 $\mathbb{C}$）上评估该曲线的点来进行研究。其关键的工具方法是施加一个“局部性条件”：从茎出发的态射必须相对于与定义茎的有序群相关的局部域（无论是 $p$-adic 还是阿基米德的）的内在拓扑是连续的。

核心贡献与结果

• 实现 Scholze 的启发式原理：论文证明了在特征为 $p$ 的代数封闭完美化域 $F$ 上，$(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ 的局部点模空间（在模去内在对称性后）发生分解，满足：

  • 在任何素数 $\ell \neq p$ 处，模空间塌缩为一个平凡轨道。
  • 在素数 $p$ 处，模空间与所有直到化（untilts）之 $F$ 模 Frobenius 的空间存在正则双射。这提供了 Scholze 启发式的直接几何实现，即 $\mathbb{F}_1$-曲线作为一个“几何筛”（geometric sieve），隔离出素数 $p$。

• 通用直到化函子：作者证明了 $\mathbb{F}_1$-曲线是特征无关的。当在任意剩余特征为 $p$ 的完美化域 $C$（无论 $C$ 本身是特征 $p$ 还是 $0$）上进行求值时，位于$p$处的茎充当了一个通用的直到化函子。$C$-点的空间被正则识别为在倾斜域$C^\flat$内部的开单位圆盘$1 + \mathfrak{m}_{C^\flat}$。通过对对称性（即完成后的茎$\mathbb{Q}_p^\times$）进行商运算，可以恢复 Fargues-Fontaine 曲线 $X_{C^\flat, \mathbb{Q}_p}$ 的闭点。

• Tate 曲线的几何分解：通过在复数 $\mathbb{C}$ 上评估该曲线在素数 $p$ 处的情况，作者识别出了两个不同的地方（places）：非阿基米德的地方 $p$ 和阿基米德的地方 $\infty$。

  • 在阿基米德地方，非平凡局部点构成一个由 Weil 群 $W_\infty = \mathbb{C}^\times$ 作用的主同构空间（torsor）。
  • 将该 torsor 对离散 Frobenius 对称性（$p\mathbb{Z}$）进行商运算，得到复 Tate 曲线 $E_p \cong \mathbb{C}^\times / p\mathbb{Z}$。
  • 论文建立了一个规范的全局分解：$E_p \cong C_p \times \tilde{X}_\infty$。其中 $C_p = \mathbb{R}^\times_+ / p\mathbb{Z}$ 是来自阿代尔缩放场（adelic scaling site）的周期轨道（携带了对 $p$ 的算术依赖性），而 $\tilde{X}_\infty$ 是一个 $p$-无关的相位空间，被描述为 Fargues-Fontaine 曲线的实类比。
  • 这种分解解释了 Tate 曲线的矩形复结构，其中全纯 1-形式 $\omega = d\lambda/\lambda + i d\theta$ 在算术因子与几何因子的不变测度之间进行交织。

• 与特征 1 几何的联系：论文表明，Fargues-Fontaine 曲线底层的解析结构（特别是周期环上的 Gauss 估值族）可以规范地热带化（tropicalize）为缩放场 $S$ 的幂等几何（idempotent geometry）。解析函数的估值剖面对应于缩放场结构层的全局截面，该结构层由凸的、分段仿射且具有整数斜率的函数组成。

意义与主张
该论文声称提供了一种“具体的几何实现”的 Scholze 启发式原理，超越了仅仅是分类，而是转向了一种结构性的构造。其主要意义在于统一了迥异的几何领域：

1. 普遍性：$\mathbb{F}_1$-算术曲线 $(\text{Spec } \mathbb{Z})_{\mathbb{F}_1}$ 作为完美化域的通用容器，能够容纳不同特征的域，并能规范地提取它们的倾斜域（tilts）。
2. 几何起源：它证明了 $p$-adic Hodge 理论（直到化、Fargues-Fontaine 曲线）与复几何（Tate 曲线）中的基本结构共享一个共同的几何起源，即 $\text{Spec } \mathbb{Z}$ 的绝对 $\mathbb{F}_1$-几何。
3. 对称性与筛分：这项工作阐明了“局部性条件”如何作为一种几何筛，迫使几何结构集中在与测试场剩余特征相匹配的素数处，同时在其他所有素数处发生塌缩。
4. 连接热带几何：它在 Fargues-Fontaine 曲线的解析几何与缩放场（scaling site）的幂等（特征 1）几何之间建立了严谨的联系，暗示后者是前者的规范热带化。

作者并非声称解决了 $p$-adic Hodge 理论中的开放问题，而是提供了一个新的几何框架，通过绝对算术几何的视角，解释了已知结构（直到化、Tate 曲线、Fargues-Fontaine 曲线）的存在性及其相互关联。