[論文レビュー] Characteristic one, entropy and the absolute point

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

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

ひとこと要約

本稿は、特徴的1の数学、イデムポテン解析、およびトロピカル幾何学の間に深い接続を確立し、特徴的1におけるウィット環の構成を一般化する「完璧な」半体構造を導入する。この構造はエントロピーおよび熱力学と結びつけられ、ねじれを有する ${\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.

研究の動機と目的

• 特徴的1における数学的意味を、特に絶対点 $\mathrm{Spec}\,\mathbb{F}_1$ の文脈で明確化すること。
• 「完璧な」半体を導入し、古典的ウィット環の構成を一般化することで、特徴的1数学の厳密な枠組みを確立すること。
• $p \to 1$ における $p$-進構造の極限を通じて、エントロピーおよび熱力学とこの構成を結びつけること。
• ねじれを有する ${\mathbb{F}}_1$-スキームに対し、ゼータ関数の計算を一般化し、$\mathbb{Q}$ 上の楕円曲線に対してテストすること。
• モノイドから集合への自然な関手 $M \mapsto A(M)$ を提案し、$\mathbb{F}_1$ 上の仮想曲線 $\overline{{\rm Spec}\,{\mathbb{Z}}}$ の幾何を近似すること。

提案手法

• 特徴的1における「完璧な」半体の概念を導入し、有限体およびイデムポテン半体の構造を一般化する。
• 古典的ウィット環の構成を $p=1$ の極限ケースに適応し、$\max$-加法群 $\mathbb{R}_{+}^{\rm max}$ の構造が回復されることを示す。
• 特徴的1のモデルとして、加法が $x \uplus y = \max\{x,y\}$、乗法が通常の乗法であるイデムポテン半体 $\mathbb{B} = \mathbb{R}_{+}^{\rm max}$ を使用する。
• モノイド空間および $\mathfrak{Mo}$-関手を通じて ${\mathbb{F}}_1$-スキームの幾何的実現を構成し、ねじれを含むように以前の研究を拡張する。
• $\zeta_N(s)$ の対数微分の積分公式を導出し、その正則性を証明する。
• $\mathbb{Q}$ 上の楕円曲線に対してゼータ関数の計算をテストし、数え上げ関数 $N(n)$ を計算し、悪い還元を示す素数を同定する。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学および解析の文脈において、特徴的1の概念に一貫性のある数学的解釈を与える方法は何か？
• RQ2 絶対点 $\mathrm{Spec}\,\mathbb{F}_1$ は、算術的および幾何的構造を統合するために果たす役割は何か？
• RQ3 古典的ウィット環の構成を $p=1$ の場合に拡張することは可能か？ そして、それはエントロピーおよび熱力学に何を明らかにするか？
• RQ4 ねじれを有する ${\mathbb{F}}_1$-スキームのゼータ関数を意味的に拡張することは可能か？ また、楕円曲線ではどのように振る舞うか？
• RQ5 $\mathbb{F}_1$ 上の仮想曲線 $\overline{{\rm Spec}\,{\mathbb{Z}}}$ を実現する自然な関手 $M \mapsto A(M)$ は存在するか？

主な発見

• 本稿は、ウィット環を一般化し、イデムポテン解析およびトロピカル幾何学と直接的な接続を示す「完璧な」特徴的1の半体を構成する。
• $p \to 1$ におけるウィット構成の極限は、$\mathbb{R}_{+}^{\rm max}$ に同型である構造を生成し、フロベニウス写像は $x \mapsto x^\lambda$ となり、単調性を保つ。
• ねじれを有する ${\mathbb{F}}_1$-スキームのゼータ関数は、$\zeta_N(s)$ の積分公式を通じて拡張され、正則性が証明されている。
• $\mathbb{Q}$ 上の楕円曲線に対して、数え上げ関数 $N(n)$ は $N(n) = n+1 - t(n)$ として計算され、$t(n)$ はフロベニウス自己準同型の $n$ 乗のトレースである。
• テストされた楕円曲線における唯一の悪い還元を示す素数は $p=11$ であり、修正されたゼータ関数 $\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)$ を満たす。