[论文解读] New foundations for geometry

Shai Haran|arXiv (Cornell University)|Aug 19, 2015

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

一句话总结

本文提出了一种基于非加法结构的新代数框架，用于算术几何，用 'F-环'——由半环和独异点构建的广义环——取代传统环，以解决算术几何中的基础性问题，例如张量积下算术平面的坍塌。主要贡献在于提出了一种新的几何语言，通过消除加法作为基本运算，使数论中的几何直觉得以恢复。

ABSTRACT

We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ; the "field with one element" (the initial object of GR ); the "arithmetical surface" ( the sum in the category GR of the integers with them self: Z(x)Z ) . We shall show that this geometry "see" the real and complex places of a number field (there is an Ostrowski theorem that the valuation sub-GR of a number field correspond to the finite and infinite primes; there is a compactification of the spectrum of the integers ). One can develop algebraic geometry using GR following Grothendieck paradigm . Quillen's homotopical algebra replaces homological algebra . There is an analogue of Quillen's cotangent bundle - in particular there is a theory of non-additive derivations, with modules of Kahler differentials which satisfy all the usual exact sequences - we compute explicitly the differentials of the integers Z over the initial object F1 . Finally we associate with any topological compact valuation GR a meromorphic function - its "zeta" : for the p-adic integers we get the p-local factor of zeta, for the "real integers" we get the gamma factor.

研究动机与目标

• 解决算术几何时标准环论中 Z 与自身的张量积坍塌为 Z 的基础性问题，从而破坏平面的几何概念。
• 通过用非加性代数结构取代交换环，重建 '一个元素的域'（F₁）上的代数几何。
• 通过消除加法作为基本运算，恢复数论中的几何直觉，从而解决数环与函数环类比的崩溃。
• 发展广义环上的新方案理论、层与向量丛理论，即使在缺乏加法逆元的情况下，仍能保持几何行为。
• 通过涉及 p-进与阿基米德测度的积分公式，为 zeta 函数与 L-函数的研究提供新基础。

提出的方法

• 引入 'F-环'——由半环和独异点构建的广义环——其中加法无需可逆甚至无需消去，从而实现非加法代数几何。
• 为 F-环定义谱、理想、局部化与结构层，将格罗滕迪克的方案理论推广至非加法背景。
• 通过 F-环上的对合结构发展对称几何，允许具有对合的方案及新几何对象，如紧化后的 Spec Z。
• 利用拟方案与射影极限构造算术方案的紧化，如整数环的紧化谱。
• 通过 Q_p^n 中球面上的 'Beta 测度' 实现 p-进与阿基米德积分，推导 zeta 函数因子与局部 L-因子。
• 推导涉及 |x·y|_p^{s-1} 与 |x_1 + ... + x_n|_p^{s-1} 的 p-进与阿基米德积分的积分恒等式，通过极限过程将其与 zeta 函数联系起来。

实验结果

研究问题

• RQ1 如何在不依赖环中加法结构的前提下重建算术几何？
• RQ2 '一个元素的域'（F₁）的正确代数基础是什么，能够恢复数论中的几何直觉？
• RQ3 为何 Z 与自身的张量积坍塌为 Z？能否以几何上有意义的方式避免此问题？
• RQ4 zeta 函数与 L-函数能否通过 p-进与阿基米德测度上的几何积分公式导出？
• RQ5 F-环上的对称理想与对合结构如何导致具有对合的方案等新几何对象？

主要发现

• Z 与自身的张量积在整数上坍塌为 Z，表明标准交换环理论无法捕捉算术平面的几何概念。
• 算术平面被重构为 F(N) ⊗_F F(N)，其中 F(N) 是 N 上的自由 F-环，得到一个非平凡的二维对象，而非对角线。
• 整数的紧化谱，记为 overline{spec Z}，通过逆极限构造为拟方案，提供了几何紧化。
• 对所有 p ≥ η（包括 p = η 的实位），Q_p 上归一化和测度 φ_p^N(dx) 的极限收敛于高斯测度（当 p = η 时）或哈尔测度（当 p ≠ η 时），与局部 zeta 因子相关。
• 局部 zeta 因子 ζ_p(s)/ζ_p(1) 被恢复为积分 ∫ |x_1 + ... + x_N|_p^{s-1} dσ_p^N(dx) 的极限，提供了欧拉因子的几何推导。
• 建立了 Beta 积分公式 ∫_{S_p^n} |x_1|_p^{α_1-1}...|x_n|_p^{α_n-1} dσ_p^n(dx) = B_p(α_1,…,α_n)，其中测度在 Z_p^*-作用下不变，且可解释为 P^{n-1}(Q_p) 上的概率测度。