[論文レビュー] Lambda-rings and the field with one element

James Borger|ArXiv.org|Jun 17, 2009

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

ひとこと要約

この論文は、$Λ$-環——各素数 $p$ に対して、$p$ 乗フロベニウス写像に還元される可換な自己準同型 $\psi_p$ の族を持つ環——が、$\mathbb{F}_1$ と呼ばれる仮想の1元体よりも深い基底上の代数幾何学を厳密に記述するものであると提唱する。$Λ$-代数幾何学が、$\mathbb{F}_1$ 上の幾何学に期待される主要な性質を満たすことを示しており、それらには降下データ、類体論との整合性、クリスタリンコホモロジーおよび複素乗法との関係が含まれる。

ABSTRACT

The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce Lambda-algebraic geometry. We show that Lambda-algebraic geometry is in a precise sense an algebraic geometry over a deeper base than Z and that it has many properties predicted for algebraic geometry over the mythical field with one element. Moreover, it does this is a way that is both formally robust and closely related to active areas in arithmetic algebraic geometry.

研究の動機と目的

• 1元体（$\mathbb{F}_1$）の曖昧な概念を$Λ$-環を用いて厳密な代数幾何学的枠組みとして提供すること。
• $Λ$-環が$\mathbb{Z}$ よりも深い基底への降下データとして機能することを示し、$\mathbb{F}_1$ への降下に類似した性質を有すること。
• $Λ$-代数幾何学が、類体論や複素乗法に見られるような、$\mathbb{F}_1$ 上の幾何学に期待される本質的な算術的性質を捉えられることを確立すること。
• $Λ$-構造が、クリスタリンコホモロジーおよびワイエルの予想プログラムを含む、算術幾何学の活発な分野と形式的に整合することを示すこと。

提案手法

• 1元体上の代数を、各素数 $p$ に対して可換な自己準同型 $\psi_p$ の族を持つ可換環、すなわち$Λ$-環として定義する。各 $\psi_p$ は、$R \otimes \mathbb{F}_p$ での $p$ 乗フロベニウス写像に還元される。
• 大エタールトーパス（big étale topos）を $\operatorname{Spec} \mathbb{Z}$ 上で用い、$\mathbb{F}_1$ 上の大エタールトーパスを、$Λ$-構造を持つ層の圏として定義する。
• $\operatorname{Spec} \mathbb{Z}$ から $\operatorname{Spec} \mathbb{F}_1$ への基底変換関手 $v^*$ をトーパスのレベルで構成し、$Λ$-構造を除去する。この関手が左および右随伴を持つことを示す。
• $\mathbb{Z}$ 上で平坦なスキーム $X$ に付随する $Λ$-構造は、各 $p$ に対して $X \to X$ への自己準同型 $\psi_p$ の整合性のある族に一致し、$X \times_{\operatorname{Spec} \mathbb{Z}} \operatorname{Spec} \mathbb{F}_p$ でのファイバーにフロベニウス写像に制限されることを示す。これはフロベニウスの上昇の一般化である。
• デデキンド整域上に複素乗法をもつアーベルスキームに対して、ヘッケ代数を介して自然な $\u039b_R$-構造が得られ、フロベニウス自己準同型の作用が $\psi_{\mathfrak{m}}$ 写像に符号化されることを示す。また、有限群による商が $Λ$-構造を保存することを示す。
• 完全な離散付値環 $A$ で、特性 $p$ の完全な残渣体をもつものに対して、$\u039b_p$-環としての写像 $W(A) \to W(k)$ が、$\mathbb{F}_1^{S,E}$ 上で一意なセクションを持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 $Λ$-環は、1元体上の代数幾何学の形式的かつ堅牢な枠組みを提供できるか？
• RQ2 $\mathbb{Z}$ 上のスキームに付随する $Λ$-構造は、より深い基底への降下データに対応するか？ もしそうならば、トーパス的枠組みの中でどのように実現されるか？
• RQ3 $Λ$-代数幾何学は、複素乗法、類体論、クリスタリンコホモロジーといった主要な算術的現象を捉えることができるか？
• RQ4 $\mathbb{Z}$ 上の $Λ$-構造から生じない、数体の整数環上に定義された多様体に $Λ$-構造が存在するか？ これは明示的類体論にどのような意味を持つのか？
• RQ5 $p$-典型的なウィット環関手は、$\mathbb{F}_1^{S,E}$ 上で一意なセクションを持つのか？ これは $p$-進コホモロジーにどのような意味を持つのか？

主な発見

• $R$ に $Λ$-環構造が存在することは、各 $p$ に対して $R \to R$ への自己準同型 $\psi_p$ の整合性のある族に一致し、$R \otimes \mathbb{F}_p$ での $p$ 乗フロベニウス写像に還元されることを示す。これはフロベニウス写像の形式的上昇を提供する。
• $\operatorname{Spec} \mathbb{Z}$ から $\operatorname{Spec} \mathbb{F}_1$ への基底変換関手 $v^*$ は、大エタールトーパスのレベルで正しく定義されており、左および右随伴を持つ。これにより、$\mathbb{F}_1$ がトーパス的枠組みで正当に基底として扱えることが確認される。
• 任意の滑らかな $Λ$-スキームは $\mathbb{Z}$ 上で平坦である。これは、$Λ$-構造が $\operatorname{Spec} \mathbb{Z}$ の算術的幾何学と整合することを保証する。
• デデキンド整域 $R$ 上に複素乗法をもつアーベルスキームは、ヘッケ代数を介して自然な $\u039b_R$-構造を持つ。フロベニウス自己準同型の作用は、$\psi_{\mathfrak{m}}$ 写像に符号化される。
• 特性 $p$ の完全な残渣体をもつ完全な離散付値環 $A$ に対して、$\u039b_p$-環としての写像 $W(A) \to W(k)$ は、$\mathbb{F}_1^{S,E}$ 上で一意なセクションを持つ。これは $p$-進コホモロジーとの深い整合性を示している。
• 有限群の作用が $Λ$-構造と可換である場合、$Λ$-スキームの商は再び $Λ$-スキームとなる。これにより、既存の $Λ$-多様体から新しい $Λ$-多様体を構成できる。