[论文解读] F1-schemes and toric varieties

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

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

一句话总结

本文证明了有限型的积分 $˵_1$-概形本质上等价于 торические概形，通过 торическая几何为 $˵_1$-概形提供了几何实现。本文引入了基于多面体锥的面数的 $˵_1$-zeta 函数，并在 $˵_1$-背景下发展了平坦态射、 étale 态射以及普遍覆盖等基础工具。

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$-zeta 函数。
• 将经典代数几何中的概念（如平坦性、 étale 态射与普遍覆盖）推广到 $˵_1$-概形的语境中。
• 基于单纯理论与 торическая几何，为 $˵_1$-几何提供一个基础框架。

提出的方法

• 以交换幺半群的谱作为基础几何对象，将 $˵_1$-概形定义为局部幺半群空间，其局部同构于幺半群的谱。
• 通过函子 $A \mapsto \mathbb{Z}[A]$ 从幺半群到环进行基变换，将 $˵_1$-概形与经典 $˵_1$-概形联系起来。
• 通过在带点模上的张量函子的强正合性来刻画 $˵_1$-概形中的平坦性，关键例子涉及可消去幺半群。
• 通过将经典定义适配到幺半群同态及其局部化，引入 $˵_1$-设定下的 étale 态射与普遍覆盖。
• 依赖于有理多面体锥的组合结构，通过扇形及其关联幺半群来描述 $˵_1$-概形。
• 通过公式 $N_\sigma(x) = \sum_{k=0}^n f_k^\sigma (x-1)^{n-k}$，将 $˵_1$-zeta 多项式表示为锥 $\sigma$ 的面数的生成函数。

实验结果

研究问题

• RQ1 有限型的积分 $˵_1$-概形与 торические概形之间有何关系？
• RQ2 $˵_1$-zeta 函数能否用 торических 不变量（如多面体锥的面数）来表达？
• RQ3 在 $˵_1$-概形语境下，平坦性的正确推广是什么？它与幺半群上模理论有何关系？
• RQ4 在 $˵_1$-几何中，如何定义并表征 étale 态射与普遍覆盖？
• RQ5 同调构造在多大程度上可以推广到 $˵_1$-概形？会遇到哪些障碍？

主要发现

• 有限型的积分 $˵_1$-概形与 торические概形等价，建立了 $˵_1$-几何与 торическая几何之间深刻的范畴与几何联系。
• 与锥 $\sigma$ 关联的 торic $˵_1$-概形的 $˵_1$-zeta 多项式为 $N_\sigma(x) = \sum_{k=0}^n f_k^\sigma (x-1)^{n-k}$，其中 $f_k^\sigma$ 表示 $\sigma$ 的 $k$-维面的数量。
• $˵_1$-概形的平坦态射由其底层幺半群同态的平坦性刻画，平坦性等价于带点模上张量函子的强正合性。
• 当同态 $A \to B$ 是具有有限核的满射时，幺半群 $A$ 上的赋值集与商 $B$ 上的赋值集之间存在双射，这将赋值理论推广到了 $˵_1$-设定。
• $˵_1$-几何中的上同调面临根本性障碍：层上同调的翻转映射无法由底集的自同态诱导，这意味着标准上同调工具无法直接推广。
• 一个三点空间上带有层 $\mathcal{F}, \mathcal{G}, \mathcal{H}$ 的例子表明，$˵_1$-几何中的内射化解并不唯一，导致上同调群非典范。