[论文解读] The geometry of blueprints. Part I: Algebraic background and scheme theory

Oliver Lorscheid|arXiv (Cornell University)|Mar 9, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用 14

一句话总结

本文引入了蓝图——一种统一交换半环与幺半群的范畴框架——使得经典代数几何与$\mathbb{F}_1$-几何之间能够建立共同的方案理论。它将蓝图方案定义为基于蓝图的局部环化空间，推广了格罗滕迪克方案与半环方案，并通过一个右伴随函子提供了向环的通用基扩张，统一了多种$\mathbb{F}_1$-方案的几何方法。

ABSTRACT

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\ congruences for rings and monoids and leads to a common scheme theory. In particular, it bridges the gap between usual schemes and $\mathbb{F}_1$-schemes (after Kato, Deitmar and Connes-Consani). Beside this unification, the category of blueprints contains new interesting objects as "improved" cyclotomic field extensions $\mathbb{F}_{1^n}$ of $\mathbb{F}_1$ and "archimedean valuation rings". It also yields a notion of semiring schemes. This first paper lays the foundation for subsequent projects, which are devoted to the following problems: Tits' idea of Chevalley groups over $\mathbb{F}_1$, congruence schemes, sheaf cohomology, $K$-theory and a unified view on analytic geometry over $\mathbb{F}_1$, adic spaces (after Huber), analytic spaces (after Berkovich) and tropical geometry.

研究动机与目标

• 通过将环与幺半群统一到单一代数框架中，实现经典方案理论与$\mathbb{F}_1$-几何的统一。
• 为蓝图发展一种推广了格罗滕迪克方案与半环方案的方案理论。
• 为$\mathbb{F}_1$-几何提供一个范畴基础，以容纳新对象如分圆扩张与阿基米德赋值环。
• 建立从蓝图方案到格罗滕迪克方案的通用基扩张函子，将蓝图方案与经典代数几收集合起来。
• 阐明蓝图方案与现有$\mathbb{F}_1$-几何框架（包括康奈斯-孔萨尼方案与热带几何）之间的联系。

提出的方法

• 蓝图被定义为一对$(A,R)$，其中$R$是一个半环，$A \subset R$是包含0和1的乘法子幺半群，且作为半环生成$R$。
• 蓝图的同态是保持乘法子幺半群$A$的半环同态。
• 通过类比交换代数，定义了素理想与局部化，从而构造出谱$\operatorname{Spec}B$，即一个带有蓝图结构层的拓扑空间。
• 蓝图方案被定义为局部同构于$\operatorname{Spec}B$的局部环化空间，其态射通过蓝图空间的局部同态定义。
• 构造了一个通用基扩张函子$(-)_{\mathbb{Z}}$，将任意蓝图$B$映射到一个环$B_{\mathbb{Z}}$，并诱导出从蓝图方案到格罗滕迪克方案的右伴随函子。
• 该框架将幺半群、半环与环作为全子范畴嵌入，并将已知的$\mathbb{F}_1$-方案（如康奈斯-孔萨尼方案）作为蓝图方案的特例恢复。

实验结果

研究问题

• RQ1 如何通过单一代数框架统一交换环、半环与幺半群，以支持一致的方案理论？
• RQ2 蓝图的谱构造与结构层是否能推广经典方案理论，以包含$\mathbb{F}_1$-几何对象？
• RQ3 通用基扩张$B \mapsto B_{\mathbb{Z}}$在蓝图方案与经典方案之间的联系中起什么作用？
• RQ4 蓝图方案与现有$\mathbb{F}_1$-几何构造（如康奈斯-孔萨尼方案与热带方案）有何关系？
• RQ5 是否存在一个蓝图方案的ζ函数理论，能统一格罗滕迪克方案的ζ函数与$\mathbb{F}_1$-方案的组合ζ函数？

主要发现

• 蓝图的范畴将半环与幺半群作为全子范畴包含在内，且半环可通过$(R,R)$的自然嵌入作为蓝图。
• 对于蓝图$B=(A,R)$，其谱$\operatorname{Spec}B$通过素理想定义，其拓扑由集合$U_h = \{ \mathfrak{p} \in \operatorname{Spec}B \mid h \notin \mathfrak{p} \}$生成，结构层通过局部化$B_{\mathfrak{p}}$定义。
• 对于$X = \operatorname{Spec}B$，存在一个典范态射$B \to \Gamma(X, \mathcal{O}_X)$，诱导出同构$\operatorname{Spec} \Gamma(X, \mathcal{O}_X) \to \operatorname{Spec} B$，确保整体截面在谱等价意义下恢复原始蓝图。
• 基扩张函子$(-)_{\mathbb{Z}}$将任意蓝图映射为一个环，并诱导出从蓝图方案到格罗滕迪克方案的右伴随函子，推广了经典的基扩张$- \otimes_{\mathbb{F}_1} \mathbb{Z}$。
• 半环方案被识别为局部同构于$\operatorname{Spec} R$（$R$为半环）的蓝图方案，且半环方案的范畴在合理猜想下与托恩-瓦基耶的${\mathbb{N}}$-方案范畴等价。
• 康奈斯-孔萨尼$\mathbb{F}_1$-方案被恢复为态射$X_{\mathbb{Z}} \to Y$，其中$X$是${\mathcal{M}}_0$-方案，且对所有域$k$，有$X(k) \to Y(k)$是双射，从而推广到更广泛的蓝图康奈斯-孔萨尼方案类。