[論文レビュー] Compactification projective de Spec Z (d'apres Durov)

Javier Fresán|ArXiv.org|Aug 27, 2009

Advanced Mathematical Modeling in Engineering被引用数 3

ひとこと要約

この論文は、一般化された環とアラケロフ幾何学にインspiredされた射影的コンパクト化を用いて、整数のスペクトル $\ mathrm{Spec\ }\ mathbb{Z}$ のコンパクト化をDurovのアプローチで調査する。数体と関数体の類似性を拡張し、仮想の1要素体 ($\ mathbb{F}_1$) 上の幾何を構築することで、一般化されたProj構成を用いて $\ mathrm{Spec\ }\ mathbb{Z}$ の射影的コンパクト化が可能になる。

ABSTRACT

This is a very preliminary version of a survey on Durov's PhD thesis. All comments are welcome.

研究の動機と目的

• Durovの一般化された環と $\ mathbb{F}_1$-幾何を用いた $\ mathrm{Spec\ }\ mathbb{Z}$ のコンパクト化に関する包括的サーベイを提供すること。
• 関数体幾何学における射影的コンパクト化に類似する、$\ mathrm{Spec\ }\ mathbb{Z}$ の幾何的枠組みを確立すること。
• 一般化された環とモノイドが、古典的代数幾何学を算術スキームを含むように拡張するためにどのように使われるかを検討すること。
• $\ mathrm{Spec\ }\ mathbb{Z}$ のコンパクト化がアラケロフ理論およびモチーフ的ゼータ関数とどのように関係するかを明らかにすること。

提案手法

• 一般化された環のDurovの枠組みを採用し、古典的スキームを拡張する一般化されたスキームの圏を構成する。
• 環に付随するモノイドを用いて、一般化された環をモノイド上の代数として定義し、非加法的幾何を可能にする。
• 一般化された環における $\ mathrm{Proj}$ の構成により、$\ mathrm{Spec\ }\ mathbb{Z}$ の射影的コンパクト化が可能になる。
• 数体と関数体の類似性を用いて、$\ mathbb{F}_1$-幾何によるコンパクト化の動機を提示する。
• 有限アーベル群上の関手と降下データを用いて、$\ mathbb{F}_1$-スキームの概念を適用し、算術的対象をモデル化する。
• コンパクト化は一般化されたスキームの極限として実現され、一般化された環に適合した位相と構造層を備える。

実験結果

リサーチクエスチョン

• RQ1 関数体幾何学における射影的コンパクト化に類似する方法で、整数のスペクトルをどのようにコンパクト化できるか？
• RQ2 仮想の1要素体 ($\ mathbb{F}_1$) は、$\ mathrm{Spec\ }\ mathbb{Z}$ の幾何的コンパクト化を構築する上で果たす役割は何か？
• RQ3 一般化された環とモノイドを用いて、古典的代数幾何学を算術スキームを含むように拡張するにはどうすればよいか？
• RQ4 一般化されたProj構成は、$\ mathrm{Spec\ }\ mathbb{Z}$ の射影的コンパクト化をどのように得るか？
• RQ5 このコンパクト化は、アラケロフ幾何学および $\ mathbb{Z}$ のモチーフ的ゼータ関数とどのように関係するか？

主な発見

• 論文は、一般化された環構造上の一般化されたProj構成を用いて、$\ mathrm{Spec\ }\ mathbb{Z}$ の射影的コンパクト化を構成した。
• $\ mathbb{Z}$ が $\ mathbb{F}_1$ 上で有限生成表示をもつことが示され、$\ mathrm{Spec\ }\ mathbb{Z}$ が $\ mathbb{F}_1$ 上のスキームと見なせるという考えを支持する。
• コンパクト化は、環の圏を一般化された環に拡張することで達成され、$\ mathbb{F}_1$-幾何に不可欠な非加法的構造を許容する。
• 構成は、有限および無限の場を含む、アラケロフコンパクト化の幾何的類似を実現する。
• $\ mathbb{P}^{n-1}(\mathbb{F}_1)$ の濃度は $n$ であり、$\ mathbb{F}_1$-幾何学の組合せ的解釈と整合的である。
• この枠組みは、$\ mathbb{F}_1$-スキームのゼータ関数が、$\ zeta_{\mathbb{P}^N(\mathbb{F}_1)}(s) = s(s-1)\cdots(s-N)$ のような単純な形を取ることを支持する。