[论文解读] Lambda-rings and the field with one element

James Borger|ArXiv.org|Jun 17, 2009

Algebraic Geometry and Number Theory参考文献 33被引用 49

一句话总结

本文提出，$Λ$-环——带有额外弗罗贝尼乌斯类似自同态的环——为比$Φ$（一个假想的具有一个元素的域）更深的基上提供了严格的代数几何。它表明，$Λ$-代数几何满足人们对$Φ_1$上几何所期望的关键性质，包括下降数据、与类域论的相容性，以及与晶体上同调和复乘法的联系。

ABSTRACT

The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce Lambda-algebraic geometry. We show that Lambda-algebraic geometry is in a precise sense an algebraic geometry over a deeper base than Z and that it has many properties predicted for algebraic geometry over the mythical field with one element. Moreover, it does this is a way that is both formally robust and closely related to active areas in arithmetic algebraic geometry.

研究动机与目标

• 使用$Λ$-环为难以捉摸的'具有一个元素的域'（$\mathbb{F}_1$）提供一个严谨的代数-几何框架。
• 表明$Λ$-环作为比$\mathbb{Z}$更深的基的下降数据，类似于向$\mathbb{F}_1$的下降。
• 确立$Λ$-代数几何捕捉了人们对$\mathbb{F}_1$上几何所期望的关键算术性质，如类域论和复乘法中的性质。
• 证明$Λ$-结构在形式上是稳健的，并且与算术几何的活跃领域相容，包括晶体上同调和韦伊猜想计划。

提出的方法

• 将$\mathbb{F}_1$-代数定义为$\u039b$-环，其中$\u039b$-环是带有对每个素数$p$的、彼此可交换的自同态$\psi_p$的交换环，且在模$p$纤维上约化为$p$次幂弗罗贝尼乌斯。
• 使用$\operatorname{Spec} \mathbb{Z}$上的大平展拓扑作为环境范畴，并将$\mathbb{F}_1$上的大平展拓扑定义为带有$\u039b$-结构的层的范畴。
• 在拓扑的层面上，从$\operatorname{Spec} \mathbb{Z}$到$\operatorname{Spec} \mathbb{F}_1$构造一个基变换函子$v^*$，其剥离$\u039b$-结构，并证明它具有左和右伴随。
• 表明在$\mathbb{Z}$上平坦的概形$X$上的$\u039b$-结构对应于一组合相容的自同态族$\psi_p: X \to X$，其在纤维$X \times_{\operatorname{Spec} \mathbb{Z}} \operatorname{Spec} \mathbb{F}_p$上限制为弗罗贝尼乌斯，从而推广了弗罗贝尼乌斯提升的概念。
• 确立在戴德金德整环上具有复乘法的阿贝尔概形上的$\u039b$-结构通过Hecke代数产生$\u039b$-作用，并且有限群作用下的商保持$\u039b$-结构。
• 证明对于具有完美剩余域特征为$p$的完备离散赋值环$A$，$\u039b_p$-环之间的映射$W(A) \to W(k)$在$\mathbb{F}_1^{S,E}$上存在唯一截面，即$p$-典型$\mathbb{F}_1$。

实验结果

研究问题

• RQ1 能否使用$\u039b$-环为具有一个元素的域上的代数几何提供一个形式化且稳健的框架？
• RQ2 $\mathbb{Z}$上概形上的$\u039b$-结构是否对应于更深基的下降数据，如果是，这在拓扑理论设定中如何实现？
• RQ3 $\u039b$-代数几何时能否捕捉到关键算术现象，如复乘法、类域论和晶体上同调？
• RQ4 是否存在不源于$\mathbb{Z}$上$\u039b$-结构的数环上代数曲线的$\u039b$-结构？这对显式类域论意味着什么？
• RQ5 $p$-典型威特向量函子在$\mathbb{F}_1^{S,E}$上是否存在唯一截面？这对$p$-进上同调意味着什么？

主要发现

• 环$R$上的$\u039b$-环结构等价于一组合相容的自同态族$\psi_p: R \to R$，其在$R \otimes \mathbb{F}_p$上约化为$p$次幂弗罗贝尼乌斯，从而提供了弗罗贝尼乌斯的正式提升。
• 从$\operatorname{Spec} \mathbb{Z}$到$\operatorname{Spec} \mathbb{F}_1$的基变换函子$v^*$在大平展拓扑层面上是良定义的，具有左和右伴随，从而确认了$\mathbb{F}_1$作为基的拓扑理论合法性。
• 每个约化的$\u039b$-概形都平坦地位于$\mathbb{Z}$之上，确保了$\u039b$-结构与$\operatorname{Spec} \mathbb{Z}$的算术几何相容。
• 在戴德金德整环$R$上具有复乘法的阿贝尔概形通过Hecke代数自然具有$\u039b_R$-结构，弗罗贝尼乌斯自同态的作用通过$\psi_{\mathfrak{m}}$映射编码。
• 对于具有完美剩余域特征为$p$的完备离散赋值环$A$，$\u039b_p$-环之间的映射$W(A) \to W(k)$在$\mathbb{F}_1^{S,E}$上存在唯一截面，展示了其与$p$-进上同调的深刻相容性。
• 与$\u039b$-结构可交换的有限群作用下的$\u039b$-概形的商仍为$\u039b$-概形，从而允许从已有$\u039b$-簇构造新的$\u039b$-簇。