[论文解读] Homotopy types and geometries below Spec Z

Yuri I. Manin, Matilde Marcolli|arXiv (Cornell University)|Jun 28, 2018

Algebraic structures and combinatorial models参考文献 28被引用 3

一句话总结

本论文利用稳定同伦理论与格罗滕迪克环，构建了基于 Spec Z 之下的几何的同伦框架，引入了具有拟单值自同态的复代数簇的装配体范畴。该框架将弗罗贝尼乌斯型映射 σₙ 和 ρ̃ₙ 提升为该范畴上的自函子，通过 K-理论谱实现博斯特-孔斯代数结构，并建立映射到 Z[Q/Z] 的谱欧拉示性数。

ABSTRACT

After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of `geometries below Spec Z'. Homotopy theory and the `the brave new algebra' were taking more and more important places in these developments, systematically explored by B.~Toën and M.~Vaquié, among others. This article contains a brief survey and some new results on counting problems in this context, including various approaches to zeta--functions and generalised scissors congruences. The new version includes considerable extensions and revisions suggested by I. Zakharevich.

研究动机与目标

• 使用稳定同伦理论与格罗滕迪克环，为 'Spec Z 之下的几何' 构建同伦框架。
• 将计数函数与剪切同伦关系推广至有限域上非光滑与非概化的概形。
• 将博斯特-孔斯系统从 K-理论提升至等变格罗滕迪克环，并通过 K-理论谱实现其结构。
• 构造复射影概形上具有拟单值自同态的装配体范畴，并定义其相关的 K-理论谱。
• 建立一个映射到 Z[Q/Z] 的谱欧拉示性数，使其满足剪切关系并兼容自同态作用。

提出的方法

• 构建一个对称张量范畴 (C, ⊗, 1)，以将仿射概形定义为 C 中交换幺半群的对偶范畴。
• 在 Aff_C 上应用格罗滕迪克拓扑，以定义广义几何中的概形，包括 F₁-与 Z-几何。
• 引入一个装配体范畴 C^Z_C，其对象为复射影概形 X 及自同态 f: X → X，使得 f_* 在同调上为拟单值。
• 为装配体赋予由 f-保持的不相交并集生成的格罗滕迪克拓扑，从而支持剪切关系。
• 定义自函子 σₙ(X,f) = (X,fⁿ) 与 ρ̃ₙ(X,f) = (X×Zₙ, Φₙ(f))，将弗罗贝尼乌斯与赫克型映射提升至装配体层面。
• 构造 K-理论谱 K(C^Z_C)，其 π₀ 同构于 K₀^Z(V_C)，并证明 σₙ 与 ρ̃ₙ 在同伦群上诱导的映射可恢复博斯特-孔斯作用。

实验结果

研究问题

• RQ1 如何在 Z-概形的同伦框架中编码弗罗贝尼乌斯型动力系统？
• RQ2 剪切同伦关系与格罗滕迪克环在将 zeta 函数推广至非光滑概形的过程中起何种作用？
• RQ3 如何通过装配体将博斯特-孔斯系统从 K-理论提升至等变或谱层次？
• RQ4 同调上的拟单值自同态在何种意义上可作为弗罗贝尼乌斯特征值的同伦替代？
• RQ5 能否构造一个谱欧拉示性数 σ: K₀^Z(V_C) → Z[Q/Z]，使其满足剪切关系并兼容自同态作用？

主要发现

• 装配体范畴 C^Z_C 定义在具有拟单值自同态的复射影概形上，配备由 f-保持的不相交并集生成的格罗滕迪克拓扑。
• K₀^Z(V_C) 上的映射 σₙ 与 ρ̃ₙ 提升为 C^Z_C 上的自函子，其中 σₙ 保持张量结构，而 ρ̃ₙ 诱导群同态。
• K-理论谱 K(C^Z_C) 的 π₀ 同构于 K₀^Z(V_C)，且其在同伦群上诱导的映射可恢复博斯特-孔斯代数结构。
• 谱欧拉示性数 σ: K₀^Z(V_C) → Z[Q/Z] 在与 f 兼容的分解下满足可加性，确保与剪切关系的一致性。
• 该构造通过 K₀^Z(V_C) 对格罗滕迪克环实现非交换增强，其有理化同构于半群半积 K₀^Z(V_C)⊗Q ⋊ N。
• 该框架将博斯特-孔斯系统实现为装配体 K-理论的商，从而将算术动力系统与稳定同伦理论联系起来。