[論文レビュー] Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

Chenghao Chu, Oliver Lorscheid+1 more|arXiv (Cornell University)|Oct 14, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 7

ひとこと要約

この論文は、点付き集合上のモノイド作用に適応されたクイレンのQ-構成法を用いて、$\mathbb{F}_1$-スキームの代数的K理論の基礎的枠組みを確立する。$K_*(\operatorname{Spec} \mathbb{F}_1)$ が球スペクトルの安定ホモトピー群を実現することを証明し、$K_0(\mathbb{P}^n_{\mathbb{F}_1}) \simeq \mathbb{Z}[\mathcal{O}(n)]_{n \in \mathbb{Z}}$ であり、テンソル積則 $\mathcal{O}(n) \otimes \mathcal{O}(m) \simeq \mathcal{O}(n+m)$ が成り立つことを示す。一方、$G_0$-理論では非射影的でない連続層が存在し、古典的K理論とは対照的である。

ABSTRACT

This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of developing $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of the algebraic geometry over $\mathbb{F}_1$. Special attention is paid to two aspects particular to $\mathbb{F}_1$-geometry, namely, normal morphisms and locally projective sheaves, which occur when we adopt Quillen's Q-construction to a definition of $G$-theory and $K$-theory for $\mathbb{F}_1$-schemes. A comparison with Waldhausen's $S_{\bullet}$-construction yields the ring structure of $K$-theory. In particular, we generalize Deitmar's $K$-theory of monoids and show that $K_*(\Spec\mathbb{F}_1)$ realizes the stable homotopy of the spheres as a ring spectrum.

研究の動機と目的

• コンス・コンサニの枠組みにおける$\mathbb{F}_1$-スキームの代数的$K$-理論を定義するという未解決問題を解決すること。
• クイレンのQ-構成法を用いてデイトマーのモノイドの$K$-理論を、任意の$\mathbb{F}_1$-スキームに一般化すること。
• クイレンのQ-構成法とワルドハウゼンの$S_\bullet$-構成法の比較を確立し、$K$-理論に環構造を与えること。
• $K_*(\operatorname{Spec} \mathbb{F}_1)$ が球スペクトルの安定ホモトピー群を実現することを示し、ティーツのプログラムが予言した通りであることを確認すること。
• $\mathbb{F}_1$-幾何における$K_0$と$G_0$-理論の違いを明確にし、非局所的射影的連続層が存在することを示すこと。

提案手法

• $\mathbb{F}_1$-スキーム上の$\mathcal{O}_X$-加群の圏にクイレンのQ-構成法を適応し、正規準同型および局所的射影的層を用いる。
• $\mathcal{M}_0$-スキームおよび$\mathbb{F}_1$-スキームにおける層および準連続層を、点付き集合上のモノイド作用を用いて定義する。
• ノエター的$\mathbb{F}_1$-スキームに対して、連続層の圏におけるQ-構成法を用いて$G$-理論および$K$-理論を定義する。
• ワルドハウゼンの$S_\bullet$-構成法を適用し、$K$-理論に環構造を与える。クイレンのアプローチと比較する。
• $\mathbb{Z}$-スキームへのベース拡張を用いて、$\mathbb{F}_1$-理論的$K$-理論と古典的$K$-理論を関係づけ、特に射影空間において有効である。
• 誘導と捩れた層の完全系列を用いて、$\mathbb{P}^n_{\mathbb{F}_1}$の$G_0$-理論を計算し、$\tilde{K}_0$が$G_0(\mathbb{P}^n_{\mathbb{Z}})$に同型に写ることを示す。

実験結果

リサーチクエスチョン

• RQ1 クイレンのQ-構成法は、コンス・コンサニの枠組みにおける$\mathbb{F}_1$-スキームに対して一貫した$K$-理論をもたらすか？
• RQ2 $K_*(\operatorname{Spec} \mathbb{F}_1)$ が球スペクトルの安定ホモトピー群を実現できるか？
• RQ3 $\mathbb{F}_1$-スキームの$G_0$-理論は、$\mathbb{Z}$上での古典的$G_0$-理論とはどのように異なるか。特に射影空間においては？
• RQ4 $\mathbb{F}_1$-幾何における$K_0$と$G_0$-理論の関係は何か。非局所的射影的連続層は存在するか？
• RQ5 ワルドハウゼンの$S_\bullet$-構成法を用いて、$\mathbb{F}_1$-設定において$K$-理論の環構造を回復できるか？

主な発見

• $\operatorname{Spec} \mathbb{F}_1$ の$K$-理論スペクトルは、球スペクトルの安定ホモトピー群を実現する：$K_*(\operatorname{Spec} \mathbb{F}_1) \simeq \pi_*^s(\mathbb{S})$ であり、ティーツのプログラムの中心的予言が裏付けられる。
• 射影空間 $\mathbb{P}^n_{\mathbb{F}_1}$ に対して、$K_0$-群は $\mathbb{Z}[\mathcal{O}(n)]_{n \in \mathbb{Z}}$ に同型であり、乗法は $\mathcal{O}(n) \otimes \mathcal{O}(m) \simeq \mathcal{O}(n+m)$ で与えられる。
• $\mathbb{P}^n_{\mathbb{F}_1}$ における $K_0(\mathbb{P}^n_{\mathbb{F}_1})$ の像は $\mathcal{O}, \dots, \mathcal{O}(n)$ で自由生成され、ベース拡張写像 $G_0(\mathbb{P}^n_{\mathbb{F}_1}) \to G_0(\mathbb{P}^n_{\mathbb{Z}})$ はこの像上で同型に制限される。
• $\mathbb{P}^1_{\mathbb{F}_1}$ に対して、$G_0$ は $[\mathcal{O}]$, $[\mathcal{O}(1)]$ および非局所的射影的連続層 $[\mathcal{C}_n]$ の可算無限個の類によって自由生成される。
• 短完全系列 $0 \to \mathcal{O}_{\mathbb{Z}} \to \mathcal{O}(1)_{\mathbb{Z}} \oplus \mathcal{O}(1)_{\mathbb{Z}} \to \mathcal{O}(2)_{\mathbb{Z}} \to 0$ は $\mathbb{F}_1$ に下がりこないため、$\mathbb{F}_1$-設定における$G_0$と$K_0$の違いが説明される。
• $\mathbb{F}_1[H]$ の$K$-理論は群$H$のバーンサイド環に同型であり、デイトマーのモノイドの$K$-理論を一般化する。