[论文解读] Mapping F_1-land:An overview of geometries over the field with one element

Javier López Peña, Oliver Lorscheid|ArXiv.org|Sep 1, 2009

Algebraic Geometry and Number Theory参考文献 17被引用 29

一句话总结

本文对有限域 $
\mathbb{F}_1$ 上的多种竞争性几何理论提供了全面概述，通过函子将它们统一在一个交换图中。它建立了一个 $
\mathbb{F}_1$ 上代数群的框架，并通过构造一个 $
\mathbb{F}_1$ 上的代数群 $
\mathcal{G}$，实现了蒂茨的猜想：该群的 $
\mathbb{F}_1$-点同构于一个分裂半单群 $
G$ 的外尔群 $
W$，且 $
\mathcal{G}_{\mathbb{Z}} \simeq G$。这证实了 $
\mathbb{F}_1$-几何中的一个基础性思想。

ABSTRACT

This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, Toën and Vaquié's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soulé's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's torified varieties and Borger's Lambda-schemes. In a second part, we will tie up these different theories by describing functors between the different F_1-geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F_1-geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author's constructions that lead to realization of Tits' idea about Chevalley groups over F_1.

研究动机与目标

• 系统化并比较文献中已有的关于 $
  \mathbb{F}_1$-几何的多种不同且竞争性的方法。
• 通过在各种 $
  \mathbb{F}_1$-几何之间构造函子，建立一个统一的框架，包括德伊特马的 $
  \mathcal{M}$-概形、托恩–瓦基耶概形、哈兰的 $
  \mathbb{F}$-概形、杜罗夫的广义概形、苏莱的代数系、康奈斯–孔萨尼概形、环化概形以及博尔杰的 $
  \Lambda$-概形。
• 实现蒂茨的经典猜想，即分裂半单群 $
  G$ 的外尔群 $
  W$ 应为 $
  G$ 在 $
  \mathbb{F}_1$ 上的 $
  \mathbb{F}_1$-点。
• 在 $
  \mathcal{M}_0$-概形框架下，通过弱态射和强态射定义并研究 $
  \mathbb{F}_1$ 上的代数群，确保其与 $
  \mathbb{Z}$ 上的基扩张兼容。

提出的方法

• 作者回顾并形式化了八种不同的 $
  \mathbb{F}_1$-几何：德伊特马的 $
  \mathcal{M}$-概形、托恩–瓦基耶概形、哈兰的非加法几何、杜罗夫的广义概形、苏莱的 $S$-代数系及其变体、康奈斯–孔萨尼的 $CC$-概形、环化概形以及博尔杰的 $
  \Lambda$-概形。
• 他们将 $
  \mathbb{F}_1$-概形的范畴定义为三元组 $(\widetilde{X}, X, e_X)$，其中 $
  \widetilde{X}$ 是一个 $
  \mathcal{M}_0$-概形，$
  X$ 是一个概形，且 $
  e_X: \widetilde{X}_{\mathbb{Z}} \to X$ 是概形之间的态射。
• 他们引入了 $
  \mathbb{F}_1$-概形之间的强态射与弱态射，利用秩-1点集 $
  \widetilde{X}^{\text{rk}}$ 和终对象 $
  \ast_{\mathcal{M}_0}$ 来定义与基扩张的兼容性条件。
• 他们将 $
  \mathbb{F}_1$-点集 $
  \mathcal{X}(\mathbb{F}_1)$ 定义为从终 $
  \mathbb{F}_1$-概形到 $
  \mathcal{X}$ 的强态射的集合。
• 他们将 $
  \mathbb{F}_1$ 上的代数群定义为在弱态射的 $
  \mathbb{F}_1$-概形范畴中的群对象，并证明基扩张函子将此类群 $
  \mathcal{G}$ 映射为其 $
  \mathbb{Z}$-模型 $
  \mathcal{G}_{\mathbb{Z}}$。
• 他们证明，对于任意具有外尔群 $
  W$ 的分裂半单群概形 $
  G$，存在一个 $
  \mathbb{F}_1$ 上的代数群 $
  \mathcal{G}$，使得 $
  \mathcal{G}_{\mathbb{Z}} \simeq G$ 且 $
  \mathcal{G}(\mathbb{F}_1) \simeq W$。

实验结果

研究问题

• RQ1 如何系统地比较和关联现有的各种 $
  \mathbb{F}_1$-几何理论？
• RQ2 德伊特马的 $
  \mathcal{M}$-概形、杜罗夫的广义概形与哈兰的 $
  \mathbb{F}$-环之间的确切关系是什么？
• RQ3 $
  \mathcal{M}_0$-概形框架能否用于定义 $
  \mathbb{F}_1$ 上的代数群，使其 $
  \mathbb{F}_1$-点恢复为分裂半单群的外尔群？
• RQ4 不同类型的态射——强态射与弱态射——如何与基扩张及 $
  \mathbb{F}_1$-点的定义相互作用？
• RQ5 是否存在一个统一的范畴框架，通过函子将所有已知的 $
  \mathbb{F}_1$-几何联系起来？

主要发现

• 本文构建了一个 $
  \mathbb{F}_1$-几何与函子的交换图，统一了八种不同的方法：德伊特马的 $
  \mathcal{M}$-概形、托恩–瓦基耶概形、哈兰的 $
  \mathbb{F}$-概形、杜罗夫的广义概形、苏莱的 $S$-代数系及其变体、康奈斯–孔萨尼的 $CC$-概形、环化概形以及博尔杰的 $
  \Lambda$-概形。
• 他们证明 $
  \mathcal{M}_0$-概形可以通过三元组构造 $(\widetilde{X}, X, e_X)$ 嵌入 $
  \mathbb{F}_1$-概形的范畴中，其中 $
  \widetilde{X}$ 是一个 $
  \mathcal{M}_0$-概形，$
  X$ 是一个概形。
• 作者定义了一个带有弱态射的 $
  \mathbb{F}_1$-概形范畴，从而使得 $
  \mathbb{F}_1$ 上的代数群可作为该范畴中的群对象被定义。
• 关键结果是：对于任意具有外尔群 $
  W$ 的分裂半单群概形 $
  G$，存在一个 $
  \mathbb{F}_1$ 上的代数群 $
  \mathcal{G}$，使得 $
  \mathcal{G}_{\mathbb{Z}} \simeq G$ 且 $
  \mathcal{G}(\mathbb{F}_1) \simeq W$，从而实现了蒂茨的猜想。
• 将 $
  \mathcal{G}(\mathbb{F}_1)$ 构造为从终 $
  \mathbb{F}_1$-概形到 $
  \mathcal{G}$ 的强态射集合，确保了 $
  \mathcal{G}(\mathbb{F}_1)$ 上的群结构与外尔群 $
  W$ 匹配。
• 该框架具有足够的灵活性，可定义新的态射类型（强态射与弱态射），确保 $
  \mathcal{M}_0$-概形结构与底层概形之间的兼容性，从而实现 $
  \mathbb{F}_1$-点上期望的群结构。