[論文レビュー] Mapping F_1-land:An overview of geometries over the field with one element

Javier López Peña, Oliver Lorscheid|ArXiv.org|Sep 1, 2009

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

ひとこと要約

この論文は、$\ mathbb{F{1}$ 上の幾何学に関する複数の競合する理論を包括的に概説し、函手を用いて可換図式に統合する。$\ mathbb{F{1}$ 上の代数群の枠組みを確立し、ティーツの予想を実現する。具体的には、$\mathbb{F}_1$-点が分かち合いの再帰的代数群 $G$ のワイル群 $W$ に同型であるような $\ mathbb{F{1}$ 上の代数群 $\ mathcal{G}$ を構成し、$\ mathcal{G}_{\mathbb{Z}} \simeq G$ が成り立つ。これは $\ mathbb{F{1}$-幾何学における基礎的なアイデアを裏付ける。

ABSTRACT

This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, Toën and Vaquié's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soulé's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's torified varieties and Borger's Lambda-schemes. In a second part, we will tie up these different theories by describing functors between the different F_1-geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F_1-geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author's constructions that lead to realization of Tits' idea about Chevalley groups over F_1.

研究の動機と目的

• 文献に登場する $\ mathbb{F{1}$-幾何学に関する多様で競合するアプローチを体系的に整理し、比較すること。
• デイトマーの $\ mathcal{M}$-スキーム、トーネ＝ヴァキエのスキーム、ハランの $\ mathbb{F}$-スキーム、デュローヴの一般化スキーム、スールの多様体、コンネス＝コンサニのスキーム、トゥリフィイド多様体、ボルガーの $\ Lambda$-スキームを含む、さまざまな $\ mathbb{F{1}$-幾何学の間の函手を構成することで、統一的な枠組みを確立すること。
• 分かち合いの再帰的代数群 $G$ のワイル群 $W$ が、$G$ の $\ mathbb{F{1}$-点として得られることをティーツの古典的予想を実現すること。
• $\mathcal{M}_0$-スキーム枠組みにおける弱いおよび強い準同型を用いて、$\ mathbb{F{1}$ 上の代数群を定義・研究し、$\ mathbb{Z}$ への基本拡張と整合性を保つこと。

提案手法

• 著者たちは、8つの異なる $\ mathbb{F{1}$-幾何学をレビュー・形式化する：デイトマーの $\ mathcal{M}$-スキーム、トーネ＝ヴァキエのスキーム、ハランの加法的でない幾何学、デュローヴの一般化スキーム、スールの $S$-多様体およびその変種、コンネス＝コンサニの $CC$-スキーム、トゥリフィイド多様体、ボルガーの $\ Lambda$-スキーム。
• $(\widetilde{X}, X, e_X)$ の三重組として $\ mathbb{F{1}$-スキームのカテゴリを定義する。ここで $\widetilde{X}$ は $\mathcal{M}_0$-スキーム、$X$ はスキーム、$e_X: \widetilde{X}_{\mathbb{Z}} \to X$ はスキームの準同型である。
• $\mathbb{F}_1$-スキーム間の強い準同型と弱い準同型を定義し、ランク1の局所 $\widetilde{X}^{\text{rk}}$ と終端対象 $\ast_{\mathcal{M}_0}$ を用いて、基本拡張との整合性条件を定義する。
• $\mathbb{F}_1$-点 $\mathcal{X}(\mathbb{F}_1)$ を、終端 $\mathbb{F}_1$-スキームから $\mathcal{X}$ への強い準同型の集合として定義する。
• $\mathbb{F}_1$-スキームのカテゴリにおける弱い準同型を用いて、代数群を群対象として定義し、その基本拡張函手がこのような群 $\mathcal{G}$ をその $\mathbb{Z}$-モデル $\mathcal{G}_{\mathbb{Z}}$ に写すことの証明を行う。
• 任意の分かち合いの再帰的代数群のスキーム $G$ とそのワイル群 $W$ に対して、$\mathcal{G}_{\mathbb{Z}} \simeq G$ かつ $\mathcal{G}(\mathbb{F}_1) \simeq W$ を満たす $\ mathbb{F{1}$ 上の代数群 $\mathcal{G}$ が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 既存の $\ mathbb{F{1}$-幾何学の理論は、どのように体系的に比較・関連付けることができるか？
• RQ2 デイトマーの $\ mathcal{M}$-スキーム、デュローヴの一般化スキーム、ハランの $\ mathbb{F}$-環の間の正確な関係は何か？
• RQ3 $\mathcal{M}_0$-スキームの枠組みを用いて、分かち合いの再帰的代数群のワイル群が $\ mathbb{F{1}$-点として回復されるような $\ mathbb{F{1}$ 上の代数群を定義できるか？
• RQ4 強い準同型と弱い準同型の異なる概念が、基本拡張と $\ mathbb{F{1}$-点の定義にどのように作用するか？
• RQ5 すべての既知の $\ mathbb{F{1}$-幾何学を函手によって結ぶ統一的な圏的枠組みは存在するか？

主な発見

• 論文は、$\ mathbb{F{1}$-幾何学と函手の可換図式を構成し、8つの異なるアプローチを統合する：デイトマーの $\ mathcal{M}$-スキーム、トーネ＝ヴァキエのスキーム、ハランの $\ mathbb{F}$-スキーム、デュローヴの一般化スキーム、スールの $S$-多様体およびその変種、コンネス＝コンサニの $CC$-スキーム、トゥリフィイド多様体、ボルガーの $\ Lambda$-スキーム。
• $\mathcal{M}_0$-スキームは、三重組 $(\widetilde{X}, X, e_X)$ を用いて $\ mathbb{F{1}$-スキームのカテゴリに埋め込まれることを確立する。ここで $\widetilde{X}$ は $\mathcal{M}_0$-スキーム、$X$ はスキームである。
• 弱い準同型を用いた $\ mathbb{F{1}$-スキームのカテゴリを定義し、これにより $\ mathbb{F{1}$ 上の代数群をこのカテゴリにおける群対象として定義できる。
• 主な結果は、任意の分かち合いの再帰的代数群のスキーム $G$ とそのワイル群 $W$ に対して、$\mathcal{G}_{\mathbb{Z}} \simeq G$ かつ $\mathcal{G}(\mathbb{F}_1) \simeq W$ を満たす $\ mathbb{F{1}$ 上の代数群 $\mathcal{G}$ が存在することであり、ティーツの予想を実現する。
• $\mathcal{G}(\mathbb{F}_1)$ を、終端 $\mathbb{F}_1$-スキームから $\mathcal{G}$ への強い準同型の集合として定義することで、$\mathcal{G}(\mathbb{F}_1)$ 上の群構造がワイル群 $W$ と一致することが保証される。
• この枠組みは、$\mathcal{M}_0$-スキーム構造と基礎となるスキームとの整合性を保つために、強い準同型と弱い準同型という新しい準同型タイプを定義できるほど柔軟であり、望ましい群構造が $\ mathbb{F{1}$-点に実現可能である。