[论文解读] Cyclotomy and analytic geometry over F_1

Yuri I. Manin|ArXiv.org|Sep 9, 2008

Algebraic Geometry and Number Theory参考文献 24被引用 39

一句话总结

本文通过利用单位根和分圆结构，提出了一套关于虚构的单元素域 $F_1$ 上解析几何的框架。通过在分圆多项式处对 $\mathbb{Z}[q]$ 进行完备化，引入了 $F_1$ 上的解析函数，并建立了与莫尔斯–斯马莱微分同胚、维滕–雷斯赫蒂欣–图雷夫不变量以及 торические 空间之间的联系，最终构造出具有 $F_1$-模型的稳定带标记曲线的普遍族。

ABSTRACT

Geometry over non--existent "field with one element" $F_1$ conceived by Jacques Tits [Ti] half a century ago recently found an incarnation, in at least two related but different guises. In this paper I analyze the crucial role of roots of unity in this geometry and propose a version of the notion of "analytic functions" over $F_1$. The paper combines a focused survey with some new constructions. In new version, several local additions and changes are made, references added.

研究动机与目标

• 通过分圆结构，发展一种关于神秘的单元素域 $F_1$ 上解析函数的概念。
• 将莫尔斯–斯马莱微分同胚和量子不变量等不同几何与算术背景，统一于一个共同的 $F_1$-几何框架之下。
• 通过遗忘和缝合态射，构造模空间的 $F_1$-模型，特别是 торические 空间 $\overline{L}_B$。
• 将带标记点的几何对象（如稳定曲线）解释为 $F_1$-概形上的普遍族。

提出的方法

• 通过在由分圆多项式 $\Phi_n(q)$ 生成的理想上对 $\mathbb{Z}[q]$ 进行完备化，定义 $F_1$ 上的解析函数。
• 将分圆坐标应用于 Witt 概形，与博尔格基于 $\lambda$-环结构的 $F_1$-几何下降理论方法保持一致。
• 从索引于有限集 $B$ 的分划的扇形 $F_B$ 构造 торические 空间 $\overline{L}_B$，其中锥由模常数的特征函数生成。
• 通过从 $B'$ 中删除元素，定义 $\overline{L}_{B'}$ 与 $\overline{L}_B$ 之间的遗忘态射 $f^{B',B}_*$，并保持锥结构。
• 引入截面态射 $s_{j*}$，通过将函数扩展以包含一个新点，将 $\overline{L}_B$ 嵌入 $\overline{L}_{B'}$，同时保持 торic 结构。
• 证明遗忘态射在 $\overline{L}_\tau$ 上的纤维是一条 $\mathbb{P}^1$ 的链，其分量由分划 $\tau$ 的部分标记，相邻分量交点处为奇点，且该态射是亏格为零的稳定曲线的普遍族，包含两个白点 ($x_0, x_\infty$) 和 $|B|$ 个黑点，其中黑点为截面 $s_{j*}$。

实验结果

研究问题

• RQ1 莫尔斯–斯马莱微分同胚在整同调上的作用，其特征值为单位根，能否被解释为特征值为一的弗罗贝尼乌斯映射？
• RQ2 同调球的维滕–雷斯赫蒂欣–图雷夫不变量如何被解释为解析 $F_1$-几何中的元素？
• RQ3 分圆多项式在定义 $F_1$ 上一致的解析函数概念中起什么作用？
• RQ4 遗忘和缝合态射在 торic 空间 $\overline{L}_B$ 上如何产生模空间的 $F_1$-模型？
• RQ5 在什么意义上，分圆曲线 $\Phi_n(q) = 0$ 的并集可被视为 $\operatorname{Spec} F_1[q]$ 上的纤维？

主要发现

• 在所有分圆多项式和 $q$ 处局部化的环 $\mathbb{Z}[q]$ 成为一个主理想整环，反映了 $\operatorname{Spec} \mathbb{Z}[q]$ 作为 $\operatorname{Spec} \mathbb{Z}$ 与 $\operatorname{Spec} F_1[q]$ 乘积的几何直觉。
• $\overline{L}_{B'}$ 与 $\overline{L}_B$ 之间的遗忘态射 $f^{B',B}_*$ 是平坦的，并可下降为 $F_1$-模型，同时保持 торic 扇形结构。
• $\overline{L}_\tau$ 上一点的遗忘态射纤维是一条 $\mathbb{P}^1$ 的链，其分量由分划 $\tau$ 的部分标记，相邻分量交点处为奇点。
• 态射 $f^{B',B}_*$ 是亏格为零的稳定曲线的普遍族，包含两个白点 ($x_0, x_\infty$) 和 $|B|$ 个黑点，其中黑点为截面 $s_{j*}$。
• 缝合态射 $\overline{L}_{B_1} \times \overline{L}_{B_2} \to \overline{L}_{B_1 \coprod B_2}$ 以 торic 方式描述，并可下降为 $F_1$-模型，支持一个操作代数结构。
• 将 $\overline{L}_B$ 构造为光滑、紧致且射影的 торic 空间，为稳定曲线模空间的 $F_1$-模型提供了几何实现。