[论文解读] 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ₙ 和 торic 代数簇如何自然地出现在这些类别中。

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ₙ 和 toric 代数簇可自然地实现在这些新概形类别中。
• 通过一致的范畴论与同伦框架，统一‘一个元素的域’及其相关结构的概念。

提出的方法

• 应用相对代数几何技术，构建在 Spec Z 上的概形。
• 使用同伦代数几何定义谱环与半环作为基础结构。
• 通过自然数半环定义 N-概形，通过假设存在的一个元素的域定义 F₁-概形。
• 通过球面谱环定义 S-概形，通过自然数半环谱定义 S₊-概形，通过一个元素的环谱定义 S₁-概形。
• 在所构建的类别之间以及与 Z-概形之间建立基变换函子。
• 证明 Glₙ 和 toric 代数簇可作为特定下 Spec Z 概形类别中的对象被实现。

实验结果

研究问题

• RQ1 如何通过相对代数几何与同伦代数几何系统地构造在 Spec Z 之下的概形？
• RQ2 N-概形、F₁-概形、S-概形、S₊-概形与 S₁-概形之间的范畴关系是什么？
• RQ3 基变换函子如何将这些新概形类别与经典 Z-概形联系起来？
• RQ4 在何种意义上，一般线性群 Glₙ 可作为这些类别中某一类概形对象被实现？
• RQ5 在下 Spec Z 概形框架中，toric 代数簇如何作为对象自然出现？

主要发现

• 本文在 Spec Z 上构建了五种类别的新概形——N-概形、F₁-概形、S-概形、S₊-概形和 S₁-概形。
• 在这些类别之间以及与 Z-概形之间建立了基变换函子，形成一致的范畴框架。
• 一般线性群 Glₙ 被实现在所构建类别的某一类别中作为概形对象。
• toric 代数簇被证明自然地作为特定下 Spec Z 概形类别中的对象出现。
• 该框架通过谱论构造与半环构造，统一了‘一个元素的域’及其相关结构的概念。
• 谱环与半环谱的使用为 Spec Z 上的算术几何提供了同伦基础。