[論文レビュー] Les variétés sur le corps à un élément

Christophe Soulé|ArXiv.org|Apr 28, 2003

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

ひとこと要約

本稿は、仮想的な「1つの元をもつ体」（F₁）上の代数的概形を定義するフレームワークを提案する。そのフレームワークでは、各F₁-概形に対して、組合せ論的に定まるℤ-スキームを関連付ける。主な貢献は、滑らかなトーリック概形および特定のヘルミート的格子がF₁-概形として実現可能であることを示したことであり、組合せ論、算術的幾何学、K理論の間の基礎的リンクを確立する。

ABSTRACT

We propose a definition of varieties over the field with one element. These have extensions of scalars to the ring of integers which are varieties in the usual sense. We show that toric varieties can be defined over the field with one element. We also discuss zeta functions for such objects. We give a motivic interpretation of the image of the J-homomorphism defined by Adams. ~ ~ ~ ~

研究の動機と目的

• F₁（仮想的な1つの元をもつ体）上の代数的概形を、組合せ論的データを用いて定義すること。
• F₁-概形とℤ-スキームとの間の対応関係を基底拡張を介して確立すること。
• F₁のK理論の幾何的解釈と、安定ホモトピー群との関係を提供すること。
• 特にゼータ関数とモチーフ的拡張を用いて、F₁-概形の算術的およびコhomological性質を調査すること。
• F₁のK理論がℤのK理論に写される際の像を調べ、アダムズのJ-同型写像と関連付けること。

提案手法

• F₁-概形をその点関手と連続関数のC代数によって定義し、ℤへの基底拡張と整合性を持つように保証する。
• ℤ-スキームの圏における初期対象の性質を用いて、F₁-概形Xからそのスカラー拡張X_ℤを定義する。
• トーリック概形の理論を応用し、そのファンデータに基づいてF₁構造を滑らかなトーリック概形に割り当てる。
• 各格子に対して、その格子内の単位根に対応する点を持つ概形を関連付けることで、ヘリミート的格子にF₁構造を構成する。
• F₁-概形Xのゼータ関数ζ_X(s)を、F₁の有限拡張上の点を数える多項式として定義する。
• トタロの混合テートモチーフに関する結果を用いて、F₁のK理論を安定ホモトピーと関連付けるアダムズJ-同型写像を応用する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなトーリック概形はF₁上で定義可能か？ そのℤモデルはどのように決定されるか？
• RQ2 F₁-概形のゼータ関数はどのように振る舞い、その関数的形は何か？
• RQ3 F₁のK理論がℤのK理論に写される像は何か？ そしてアダムズJ-同型写像とどのように関係するか？
• RQ4 F₁-構造の基底拡張によって得られるℚ上の混合テートモチーフの拡張類は、有限次のものか？
• RQ5 トーリック部分概形によるトーリック概形のフィルトレーションは、J-同型写像の像をすべて実現可能か？

主な発見

• 滑らかなトーリック概形は、組合せ論的データによって一意に定まるF₁上に明確な構造を持つ。
• F₁-概形Xのゼータ関数ζ_X(s)はsに関する多項式であり、マニンの予想と整合的である。
• F₁のK理論はアダムズJ-同型写像の像に同型であり、K_{2i-1}(F₁) ≅ π_{2i-1}^s（i ≥ 1）が成り立つ。
• K_m(F₁) → K_m(ℤ) の写像によるF₁のK理論の像は、クイレンとミッチェルの結果により、アダムズJ-同型写像の像と一致する。
• トタロの結果（トーリックコhomologyにおける重みフィルトレーションの標準的分解）は、このようなフィルトレーションがF₁構造から生じるという予想を支持する。
• F₁-概形から得られるℚ上の混合テートモチーフの拡張類は、ベルヌーイ数b_i/2iの分母w_iによって消える。