[论文解读] On the notion of geometry over $\F_1$

Alain Connes, Caterina Consani|ArXiv.org|Sep 17, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用 11

一句话总结

本文通过在Soulé的函子框架中引入一个分次结构，对所谓的‘一个元素的域’（$\mathbb{F}_1$）上的几何概念进行了精细化，解决了在射影空间上$\mathbb{F}_1$-有理点计数中的一个关键不一致问题。证明了Chevalley李群概形是$\mathbb{F}_{1^2}$上的代数簇，而非$\mathbb{F}_1$上的代数簇，并建立了一个自然变换，将其函子结构与$\mathbb{Z}$上的代数群概形联系起来，从而调和了Tits的几何观点与代数构造之间的矛盾。

ABSTRACT

We refine the notion of variety over the "field with one element" developed by C. Soulé by introducing a grading in the associated functor to the category of sets, and show that this notion becomes compatible with the geometric viewpoint developed by J. Tits. We then solve an open question of C. Soulé by proving, using results of J. Tits and C. Chevalley, that Chevalley group schemes are examples of varieties over a quadratic extension of the above "field".

研究动机与目标

• 解决Soulé对$\mathbb{F}_1$上代数簇定义中的基础性不一致问题，即在射影空间$\mathbb{P}^d$上，$\mathbb{F}_1$-有理点的数量超过Tits几何观点所预期的$d+1$个点。
• 调和$\mathbb{F}_1$-几何的函子方法与Tits的建筑物理论及退化射影几何之间的关系，特别是‘一个元素的域’在退化射影几何中的作用。
• 确定Chevalley李群概形是否可以被实现为$\mathbb{F}_1$上的代数簇，这一问题在Soulé的工作中仍为开放问题。
• 定义一个精炼的$\mathbb{F}_1$-概形概念，确保在$\mathbb{F}_{1^n}$上的点计数正确，且当$n = q-1$（$q$为素数幂）时与经典代数几何一致。

提出的方法

• 通过将Soulé的‘小装置’（gadget）概念扩展为包含分次结构，引入一个分次函子框架，确保与Tits几何公理的兼容性。
• 利用构造$\mathbb{F}_{1^n} \otimes_{\mathbb{F}_1} \mathbb{Z} = \mathbb{Z}[T]/(T^n - 1)$来定义$\mathbb{F}_1$的有限扩张，这些扩张构成了点计数机制的基础。
• 应用Tits的同构$\mathcal{N}_{D,\epsilon}(L,\Phi) \to \mathcal{N}(A)$，将李群概形中的法包（normalizer）与根系和Weyl群的组合结构联系起来。
• 通过Bruhat分解构造一个自然变换$e_{G,A}: \underline{G}(A,-1) \to \mathfrak{G}(A)$，将函子结构映射到$\mathbb{Z}$上的代数群概形。
• 将$\mathbb{F}_1$-概形定义为一个局部可表示的函子$\underline{X}: \mathcal{M}_{ab} \to \mathrm{Ens}$，使得当$A$为域时，存在一个双射自然变换$\underline{X} \circ \beta^* \to X$。
• 利用伴随关系$\mathrm{Hom}(\beta(M,\epsilon), A) \cong \mathrm{Hom}((M,\epsilon), \beta^*(A))$，其中$\beta(M,\epsilon) = \mathbb{Z}[M]/(1+\epsilon)\mathbb{Z}[M]$，将单子函子与$\mathbb{Z}$-概形联系起来。

实验结果

研究问题

• RQ1 Chevalley李群概形能否被实现为$\mathbb{F}_1$上的代数簇？
• RQ2 Soulé对$\mathbb{F}_1$上代数簇的定义是否与Tits对退化射影几何的几何框架兼容？
• RQ3 为何在Soulé的框架中，集合$\mathbb{P}^d(\mathbb{F}_1)$包含$\frac{3^{d+1}-1}{2}$个点，与Tits理论所预期的$d+1$个点相矛盾？
• RQ4 $\mathbb{F}_1$-几何的函子方法是否能在$\mathbb{F}_{1^n}$上产生正确的点计数，使其与$|X(\mathbb{F}_q)|$一致（当$n = q-1$时）？
• RQ5 Chevalley李群概形的群结构能否在$\mathbb{F}_1$上定义，还是仅能在二次扩张上定义？

主要发现

• Chevalley李群概形是$\mathbb{F}_{1^2}$上的代数簇，而非$\mathbb{F}_1$上的代数簇，解决了Soulé提出的一个开放问题。
• 在$\mathbb{F}_1$上定义的代数簇的$\mathbb{F}_{1^n}$-有理点数量，当$n = q-1$且$q$为素数幂时，与$|X(\mathbb{F}_q)|$一致，确保了与经典代数几何的一致性。
• 当$A$为域时，自然变换$e_{G,A}: \underline{G}(A,-1) \to \mathfrak{G}(A)$是双射，验证了$\mathbb{F}_1$-概形的新定义。
• 构造$\beta(M,\epsilon) = \mathbb{Z}[M]/(1+\epsilon)\mathbb{Z}[M]$提供了一个环，使得$\mathrm{Hom}(\beta(M,\epsilon), A) \cong \mathrm{Hom}((M,\epsilon), \beta^*(A))$，从而实现了单子函子与$\mathbb{Z}$-概形之间的伴随关系。
• 李群概形结构中最低次项（次数等于$G$的秩）产生Tits群$\mathcal{N}_{D,\epsilon}(L,\Phi)$，该群实现了建筑物的几何对称性。
• 在有限性与无挠条件下，$\mathbb{F}_{1^n}$-点的数量是一个具有正整数系数的多项式$P(n)$，确保了算术一致性。