[論文レビュー] Under Spec Z

Bertrand Toën, Michel Vaquié|arXiv (Cornell University)|Sep 29, 2005

Algebraic Geometry and Number Theory被引用数 6

ひとこと要約

この論文は、Spec Z 上のスキームに相対的およびホモトピー的代数幾何学を適用することで、N-スキーム、F₁-スキーム、S-スキーム、S₊-スキーム、S₁-スキームの新しいカテゴリーを構成する。これらのカテゴリー間およびZ-スキームへのベースチェンジファンクターを確立し、古典的な対象であるGlₙ やトーリック多様体がそれらの中で自然に現れる仕組みを示している。

ABSTRACT

We use techniques from relative algebraic geometry and homotopical algebraic geometry in order to construct several categories of schemes defined under Spec Z. We define this way the categories of N-schemes, F_1-schemes, S-schemes, S_+-schemes, and S_1-schemes, where from a very intuitive point of view N is the semi-ring of natural numbers, F_1 is the field with one element, S is the sphere ring spectrum, S_+ is the semi-ring spectrum of natural numbers and S_1 is the ring spectrum with one element. These categories of schemes are related by several base change functors, and they all possess a base change functor to Z-schemes (in the usual sense). Finally, we show how the linear group Gl_n and toric varieties can be defined as objects in certain of these categories.

研究の動機と目的

• 相対的およびホモトピー的代数幾何学の技術を用いて、Spec Z の下にあるスキームを体系的に構築するフレームワークを開発すること。
• N-スキーム、F₁-スキーム、S-スキーム、S₊-スキーム、S₁-スキームを含む新しいスキームカテゴリーの定義と関係の確立すること。
• これらのカテゴリーから古典的な意味でのZ-スキームへのベースチェンジファンクターを確立すること。
• Glₙ やトーリック多様体といった標準的な代数的対象が、これらの新しいスキームカテゴリー内に実現可能であることを示すこと。
• 一貫性のあるカテゴリー的およびホモトピー的枠組みを通じて、『1つの元をもつ体』および関連構造を統合すること。

提案手法

• 相対的代数幾何学の技術を用いて、Spec Z 上のスキームを構成する。
• ホモトピー的代数幾何学を用いて、環スペクトルおよび半環を基礎構造として定義する。
• 自然数の半環を用いてN-スキームを定義し、1つの元をもつ仮想の体を用いてF₁-スキームを定義する。
• 球面環スペクトルを用いてS-スキームを定義し、自然数の半環スペクトルを用いてS₊-スキームを定義し、1つの元をもつ環スペクトルを用いてS₁-スキームを定義する。
• 構築されたカテゴリー間およびZ-スキームへのベースチェンジファンクターを確立する。
• Glₙ およびトーリック多様体が、Spec Z の下にある特定のカテゴリーのスキーム対象として実現可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 相対的およびホモトピー的代数幾何学を用いて、どのようにしてSpec Z の下にあるスキームを体系的に構築できるか？
• RQ2 N-スキーム、F₁-スキーム、S-スキーム、S₊-スキーム、S₁-スキームの間のカテゴリー的関係は何か？
• RQ3 ベースチェンジファンクターは、これらの新しいスキームカテゴリーを古典的Z-スキームとどのように関係付けるか？
• RQ4 一般線形群Glₙ が、これらのカテゴリーのいずれかのなかでどのようにスキーム対象として実現されるのか？
• RQ5 トーリック多様体は、Spec Z の下のスキームの枠組みにおいて、どのようにして対象として現れるのか？

主な発見

• この論文は、Spec Z 上に定義された5つの新しいスキームカテゴリー—N-スキーム、F₁-スキーム、S-スキーム、S₊-スキーム、S₁-スキーム—を構成している。
• これらのカテゴリー間およびZ-スキームへのベースチェンジファンクターが確立され、一貫性のあるカテゴリー的枠組みが得られている。
• 一般線形群Glₙ が、構築されたカテゴリーの一つにおいてスキーム対象として実現されている。
• トーリック多様体が、Spec Z の下の特定のカテゴリーのスキーム対象として自然に現れることが示された。
• スペクトル理論的および半環構成を用いて、『1つの元をもつ体』および関連構造の概念が統合された。
• 環スペクトルおよび半環スペクトルの使用により、Spec Z 上の算術幾何学にホモトピー的基盤が提供された。