[论文解读] Les variétés sur le corps à un élément

Christophe Soulé|ArXiv.org|Apr 28, 2003

Algebraic Geometry and Number Theory参考文献 3被引用 52

一句话总结

本文提出了一种在假设存在的‘单元素域’（F₁）上定义代数簇的框架，通过将每个此类簇与一个由组合数据确定的 ℤ-概形相关联。关键贡献在于证明了光滑射影簇和某些赫尔米特格（Hermitian lattices）可被实现为 F₁-簇，从而在组合学、算术几何与 K-理论之间建立了基础性联系。

ABSTRACT

We propose a definition of varieties over the field with one element. These have extensions of scalars to the ring of integers which are varieties in the usual sense. We show that toric varieties can be defined over the field with one element. We also discuss zeta functions for such objects. We give a motivic interpretation of the image of the J-homomorphism defined by Adams. ~ ~ ~ ~

研究动机与目标

• 通过组合数据定义假设存在的单元素域 F₁ 上的代数簇。
• 通过基扩张建立 F₁-簇与 ℤ-概形之间的对应关系。
• 为 F₁ 的 K-理论提供几何解释，并阐明其与稳定同伦群的关系。
• 通过 zeta 函数与动机扩张，探讨 F₁-簇的算术与上同调性质。
• 研究 F₁ 的 K-理论在 ℤ 的 K-理论中的像，将其与 Adams J-同调映射联系起来。

提出的方法

• 通过其点的函子与连续函数的 C-代数定义 F₁-簇，确保与 ℤ 上基扩张的相容性。
• 利用 ℤ-概形范畴中的初始对象性质，定义从 F₁-簇 X 到 X_ℤ 的标量扩张。
• 通过其扇形数据，将 F₁-结构关联到光滑射影簇，应用射影簇理论。
• 通过将每个格子关联到一个点对应于格子中单位根的簇，构造赫尔米特格上的 F₁-结构。
• 将 F₁-簇的 zeta 函数 ζ_X(s) 定义为计数 F₁ 有限扩张上点的多项式。
• 通过 Adams J-同调映射将 F₁ 的 K-理论与稳定同伦联系起来，利用 Totaro 关于混合 Tate 动机的结果。

实验结果

研究问题

• RQ1 光滑射影簇能否在 F₁ 上定义，其 ℤ-模型如何由组合数据确定？
• RQ2 F₁-簇的 zeta 函数行为如何，其函数形式为何？
• RQ3 F₁ 的 K-理论在 ℤ 的 K-理论中的像是什么，其与 Adams J-同调映射有何关系？
• RQ4 由 F₁-簇通过基扩张得到的 ℚ 上混合 Tate 动机的扩张是否为有限阶？
• RQ5 通过射影簇的射影层对的过滤能否实现 J-同调映射的像中所有类？

主要发现

• 光滑射影簇在 F₁ 上具有明确定义的结构，其 ℤ-模型由组合数据唯一确定。
• F₁-簇的 zeta 函数 ζ_X(s) 是 s 的多项式，与 Manin 的预期一致。
• F₁ 的 K-理论同构于 Adams J-同调映射的像，且 K_{2i-1}(F₁) ≅ π_{2i-1}^s 对所有 i ≥ 1 成立。
• K_m(F₁) → K_m(ℤ) 的映射下 K-理论的像与 Adams J-同调映射的像一致，此结果由 Quillen 与 Mitchell 所证明。
• Totaro 关于射影上同调中权重过滤的典范分裂结果，支持了此类过滤源于 F₁-结构的猜想。
• 由 F₁-簇通过基扩张得到的 ℚ 上混合 Tate 动机扩张类被 w_i 所消去，其中 w_i 是伯努利数 b_i/2i 的分母。