[论文解读] Characteristic one, entropy and the absolute point

Alain Connes, Caterina Consani|ArXiv.org|Nov 18, 2009

Mathematical and Theoretical Analysis参考文献 24被引用 35

一句话总结

本文建立了特征一数学、幂等分析与热带几何之间的深刻联系，引入了一种‘完美’的半环结构，将经典的威特环构造推广至特征一情形。该理论与熵和热力学相关联，将zeta函数计算扩展至含挠的${\mathbb{F}}_1$-概形，并为关于绝对点的假设曲线$\overline{{\rm Spec}\,{\mathbb{Z}}}$提供了新框架，通过在$\mathbb{Q}$上有理椭圆曲线上测试该理论。其核心贡献是通过单群上的加法结构，为${\mathbb{F}}_1$-概形提供了新颖的几何与算术解释。

ABSTRACT

We show that the mathematical meaning of working in characteristic one is directly connected to the fields of idempotent analysis and tropical algebraic geometry and we relate this idea to the notion of the absolute point. After introducing the notion of "perfect" semi-ring of characteristic one, we explain how to adapt the construction of the Witt ring in positive characteristic to the limit case of characteristic one. This construction unveils an interesting connection with entropy and thermodynamics, while shedding a new light on the classical Witt construction itself. We simplify our earlier construction of the geometric realization of an F_1-scheme and extend our earlier computations of the zeta function to cover the case of F_1-schemes with torsion. Then, we show that the study of the additive structures on monoids provides a natural map from monoids to sets which comes close to fulfill the requirements for the hypothetical curve compactifying Spec Z over the absolute point. Finally, we test the computation of the zeta function on elliptic curves over the rational numbers.

研究动机与目标

• 澄清在特征一下工作的数学意义，尤其在绝对点$\mathrm{Spec}\,\mathbb{F}_1$的背景下。
• 通过引入‘完美’半环并推广经典威特环构造，建立特征一数学的严格框架。
• 通过$ p $-进结构在$ p \to 1 $时的极限，将该构造与熵和热力学联系起来。
• 将${\mathbb{F}}_1$-概形的zeta函数计算推广至含挠情形，并在$\mathbb{Q}$上有理椭圆曲线上进行测试。
• 提出一个从单群到集合的自然函子$M \mapsto A(M)$，以逼近$\overline{{\rm Spec}\,{\mathbb{Z}}}$在${\mathbb{F}}_1$上的几何结构。

提出的方法

• 引入‘完美’特征一半环的概念，推广有限域与幂等半环的结构。
• 将经典威特环构造适配至$ p=1 $的极限情形，表明其可恢复到最大-加法代数$\mathbb{R}_{+}^{\rm max}$的结构。
• 使用幂等半域$\mathbb{B} = \mathbb{R}_{+}^{\rm max}$作为特征一的模型，其中加法定义为$ x \uplus y = \max\{x,y\} $，乘法为普通乘法。
• 通过单群空间与$\mathfrak{Mo}$-函子，构建${\mathbb{F}}_1$-概形的几何实现，将早期工作扩展至包含挠的情形。
• 推导出zeta函数$\zeta_N(s)$对数导数的积分公式，并证明其解析性。
• 在$\mathbb{Q}$上有理椭圆曲线上测试zeta函数计算，计算计数函数$N(n)$，并识别出坏约化的素数。

实验结果

研究问题

• RQ1 如何在代数几何与分析中为特征一的概念赋予一致的数学解释？
• RQ2 绝对点$\mathrm{Spec}\,\mathbb{F}_1$在统一算术与几何结构中扮演何种角色？
• RQ3 经典威特环构造如何推广至$ p=1 $的情形？它揭示了关于熵与热力学的何种信息？
• RQ4 ${\mathbb{F}}_1$-概形的zeta函数能否有意义地推广至含挠情形？其在椭圆曲线上如何表现？
• RQ5 是否存在一个从单群到有限集的自然函子，能实现${\mathbb{F}}_1$上假设曲线$\overline{{\rm Spec}\,{\mathbb{Z}}}$的几何实现？

主要发现

• 本文构造了一个特征一的‘完美’半环，推广了威特环，并揭示了其与幂等分析及热带几何的直接联系。
• 当$ p \to 1 $时，威特构造的极限结构同构于$\mathbb{R}_{+}^{\rm max}$，其中弗罗贝尼乌斯映射变为$ x \mapsto x^\lambda $，保持单调性。
• 通过$\zeta_N(s)$的积分公式，将含挠${\mathbb{F}}_1$-概形的zeta函数扩展，并证明其解析性。
• 对于$\mathbb{Q}$上有理椭圆曲线，计数函数计算为$ N(n) = n+1 - t(n) $，其中$ t(n) $为弗罗贝尼乌斯自同态$ n $次幂的迹。
• 所测试椭圆曲线的唯一坏约化素数为$ p=11 $，且修正后的zeta函数$\zeta_N^{\rm disc}(s)$在此素数处表现出奇点。
• 所提出的函子$ M \mapsto A(M) $从单群到集合，为${\mathbb{F}}_1$上$\overline{{\rm Spec}\,{\mathbb{Z}}}$的几何实现提供了候选，满足$\#\underline{E}(\mathbb{F}_{1^n}) = N(n+1)$。