[論文レビュー] F1-schemes and toric varieties

Anton Deitmar|arXiv (Cornell University)|Aug 7, 2006

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

ひとこと要約

本稿では、有限型の整 $˵_1$-スキームが本質的にトロイカル多様体と同値であることを確立し、トロイカル幾何を用いて $˵_1$-スキームの幾何的実現を与える。また、多面体錐の面数を用いて $˵_1$-ゼータ関数を定義し、平坦な準同型、エタール準同型、普遍被覆などの基礎的道具を $˵_1$-文脈で開発する。

ABSTRACT

This paper contains a loose collection of remarks on F1-schemes. Etale morphisms and universal coverings are introduced. The relation to toric varieties, at least for integral schemes, is clarified.In this paper it is shown that integral F1-schemes of finite type are essentially the same as toric varieties. A description of the F1-zeta function in terms of toric geometry is given. Etale morphisms and universal coverings are introduced.

研究の動機と目的

• 有限型の整 $˵_1$-スキームとトロイカル多様体の間のカテゴリカルかつ幾何的同値性を確立すること。
• トロイカル多様体からの組合せ的データを用いて $˵_1$-ゼータ関数を定義し、計算すること。
• 平坦性、エタール準同型、普遍被覆といった古典的代数幾何の概念を $˵_1$-スキームの文脈に一般化すること。
• モノイド論とトロイカル幾何に根ざした $˵_1$-幾何の枠組みを提供すること。

提案手法

• 可換モノイドのスペクトルを基本的幾何的対象とし、$˵_1$-スキームをモノイドのスペクトルに局所的に同型である局所モノイド空間として定義する。
• 関手 $A \mapsto \mathbb{Z}[A]$ を用いてモノイドから環への基本変換を適用し、$˵_1$-スキームを古典的 $˵_1$-スキームと関連付ける。
• 点付きモジュール上のテンソル関手の強い正確性を用いて、$˵_1$-スキームにおける平坦性を特徴付ける。主な例はキャンセル性を持つモノイドを含む。
• 古典的定義をモノイド準同型およびその局域化に適応することで、$˵_1$-設定におけるエタール準同型と普遍被覆を導入する。
• 有理数多面体錐の組合せ的構造に依拠し、ファンとその関連するモノイドを用いて $˵_1$-スキームを記述する。
• 多面体錐 $\sigma$ の面数を用いて $˵_1$-ゼータ多項式を生成関数として導出する。式は $N_\sigma(x) = \sum_{k=0}^n f_k^\sigma (x-1)^{n-k}$ である。

実験結果

リサーチクエスチョン

• RQ1 有限型の整 $˵_1$-スキームはどのようにトロイカル多様体と関係しているか？
• RQ2 $˵_1$-ゼータ関数は、多面体錐の面数といったトロイカル不変量を用いて表現できるか？
• RQ3 $˵_1$-スキームの文脈における平坦性の正しい一般化は何か？また、モノイド上のモジュール論とどのように関係するか？
• RQ4 エタール準同型および普遍被覆は $˵_1$-幾何においてどのように定義され、特徴付けられるか？
• RQ5 コホモロジー的構成は $˵_1$-スキームへどの程度持ち越せるか？また、どのような障害が生じるか？

主な発見

• 有限型の整 $˵_1$-スキームはトロイカル多様体と同値であり、$˵_1$-幾何とトロイカル幾何の間の深いカテゴリカルかつ幾何的関係を確立する。
• $˵_1$-スキームが錐 $\sigma$ に付随するトロイカル多様体である場合、$˵_1$-ゼータ多項式は $N_\sigma(x) = \sum_{k=0}^n f_k^\sigma (x-1)^{n-k}$ で与えられ、ここで $f_k^\sigma$ は $\sigma$ の $k$ 次元面の数である。
• $˵_1$-スキームの平坦準同型は、対応するモノイド準同型の平坦性によって特徴付けられ、平坦性は点付きモジュール上のテンソル関手の強正確性と同値である。
• モノイド $A$ の価値の集合は、$A \to B$ が有限核を持つ全射であるとき、商 $B$ の価値の集合と一対一対応する。これは $˵_1$-設定における価値論の一般化を示す。
• $˵_1$-幾何におけるコホモロジーには根本的な障害がある：層コホモロジー上の反転写像は、対応する集合の自己写像によって誘導されない。これは、標準的なコホモロジー道具が直接拡張されないことを示唆する。
• 3点からなる空間に層 $\mathcal{F}, \mathcal{G}, \mathcal{H}$ がある例は、$˵_1$-幾何における単純な分解が一意でないことを示し、非標準的なコホモロジー群をもたらす。