[論文レビュー] Compactifying Spec Z

Satoshi Takagi|arXiv (Cornell University)|Mar 22, 2012

Algebraic Geometry and Number Theory参考文献 3被引用数 3

ひとこと要約

この論文は、加法の結合則を緩和することで環を一般化する凸体環——代数的構造としてのコンパクト化スペクトル $\overline{\operatorname{Spec}\mathbb{Z}} = \operatorname{Spec}\mathbb{Z} \cup \{\infty\}$ を、弱凸体スキームの圏における $\operatorname{Spec}\mathbb{Z}$ のザリスキ＝ライマン空間として、完全に代数的な方法で構成する。主な結果は、無限大の位置を、評価凸体環 $\mathbf{D}\mathbb{Q}$ を通じて普遍的かつ自然に定義することであり、解析的仮定を一切用いずに、アーベルノルムを代数的に埋め込むことである。

ABSTRACT

In this paper, we introduce a new algebraic type of `convexoid rings', and we give the definition of (weak) convexoid schemes, which share similar properties with ordinary schemes. As a result, we give a purely-algebraic construction of the compactification of Spec Z (in Arakelov's sense) which is realized as the Zariski-Riemann space in the category of weak convexoid schemes.

研究の動機と目的

• 長年の問題である、$\overline{\operatorname{Spec}\mathbb{Z}} = \operatorname{Spec}\mathbb{Z} \cup \{\infty\}$ のコンパクト化を、恣意的拡張を避け、普遍的かつ代数的な方法で構成すること。
• 通常のスキームでは $\operatorname{Spec}\mathbb{Z}$ が最終対象であるため、無限大の位置 $\infty$ を実現できないという制限を克服すること。
• ノルム構造を外部データではなく代数的公理から導出することで、アーベル的ノルムの普遍的かつ内因的な定義を提供すること。
• アラケロフ幾何や $\mathbb{F}_1$-幾何を一般化し、無限大の位置をより広い代数的枠組みに統合すること。
• $\overline{\operatorname{Spec}\mathbb{Z}}$ の大域切断 $\Gamma(\overline{\operatorname{Spec}\mathbb{Z}}, \mathscr{O})$ が $\mathbb{F}_{1^2} = \{0, \pm 1\}$ と一致し、$\mathbb{F}_1$-幾何の期待に整合すること。

提案手法

• 乗法に関して可換モノイドであり、吸収元をもつ非結合的加法 $\boxplus$ を持つ凸体環を導入し、環や乗法的モノイドを一般化する。
• 「ねじれた貼り合わせ」を許容する弱凸体スキームを定義し、ザリスキ＝ライマン空間を正当な幾何的対象として扱えるようにする。
• 初期の凸体環 $R_0$ に対して $\operatorname{Proj}R_0$ を構成し、これは $\operatorname{Spec}\mathbb{Z}$ の「偽の閉包」として、底空間が $\overline{\operatorname{Spec}\mathbb{Z}}$ と位相的に同相である。
• 可換な次数付き凸体環を用いて、古典的代数幾何と同様に射影凸体スキームを定義し、ベクトル空間の代わりに $\mathbb{F}_{1^2}$-加群を用いる。
• $\mathbb{F}_{1^2}$ 上のプロ射影空間 $\mathbb{P}$ への準同型 $f: \operatorname{Proj}R_0 \to \mathbb{P}$ を定義し、射影空間の無限大積を取ることで、これが単射に一致することを示す。
• 完全に代数的表現で述べたオストロフスキーの定理の亜種を用い、無限大の位置の普遍的性質を正当化する。

実験結果

リサーチクエスチョン

• RQ1 無限大の位置 $\infty$ は、スキームの圏内で完全に代数的構造を用いて構成可能か？
• RQ2 解析的データに依存せず、$\mathbb{Q}$ 上のアーベルノルムの普遍的かつ内因的な代数的定義は存在するか？
• RQ3 ザリスキ＝ライマン空間 $\operatorname{Spec}\mathbb{Z}$ は、一般化されたスキーム理論において、幾何的対象として実現可能か？
• RQ4 $\overline{\operatorname{Spec}\mathbb{Z}}$ の大域切断における $\mathbb{F}_{1^2}$ の役割は何か？また、$\mathbb{F}_1$-幾何とどのように関係するか？
• RQ5 コンパクト化 $\overline{\operatorname{Spec}\mathbb{Z}}$ は、一般化スキームの圏において普遍的性質によって定義可能か？

主な発見

• $\overline{\operatorname{Spec}\mathbb{Z}} = \operatorname{Spec}\mathbb{Z} \cup \{\infty\}$ は、弱凸体スキームの圏における $\operatorname{Spec}\mathbb{Z}$ のザリスキ＝ライマン空間として、普遍的かつ自然に実現される。
• 無限大の位置 $\infty$ における茎は、絶対値が $\leq 1$ である有理数からなる評価凸体環 $\mathbf{D}\mathbb{Q}$ であり、非結合的加法 $\boxplus$ を備える。
• $\Gamma(\overline{\operatorname{Spec}\mathbb{Z}}, \mathscr{O})$ である大域切断は、乗法的モノイド $\{0, \pm 1\}$ であり、$\mathbb{F}_{1^2}$ と同一視され、$\boxplus$-構造は持たない。
• この構成は普遍的である：$\overline{\operatorname{Spec}\mathbb{Z}}$ は、初期凸体環 $R_0$ への唯一の弱凸体スキームの準同型をもつ普遍的対象である。
• 準同型 $f: \operatorname{Proj}R_0 \to \mathbb{P} = \prod_d \mathbb{P}^{2^d - 1}_{\mathbb{F}_{1^2}}$ は、無限大積を取ることで単射に一致し、無限大の位置が代数的に区別可能であることを示す。
• アーベルノルムは $\mathbf{D}\mathbb{Q}$ の代数的構造から導出され、解析的仮定を一切用いずに、内因的かつ普遍的である。これは、アラケロフ幾何やデュローヴ幾何とは異なり、自然な構成である。