[论文解读] Absolute algebra and Segal's Gamma sets

Alain Connes, Caterina Consani|arXiv (Cornell University)|Feb 19, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 8

一句话总结

本文证明了塞加尔的 $Γ$-集为绝对代数提供了一个统一的框架，通过展示从球面谱导出并以 $Γ$-集形式形式化的 ${\mathbb{S}}$-代数，能够涵盖并推广阿隆凯洛夫几何中单幺半群、半环、超环和单子的构造。关键结果是， smash 积 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$ 不同构于 $H{\mathbb{Z}}$，这表明在 ${\mathbb{S}}$-代数框架下存在非平凡结构，与以往方法中 ${\mathbb{Z}}\otimes_{{\mathbb{F}}_1}{\mathbb{Z}}$ 的平凡性形成对比。

ABSTRACT

We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It merges, in particular, the approaches using monoids, semirings and hyperrings as well as the development by means of monads and generalized rings in Arakelov geometry. The assembly map determines a functorial way to associate an S-algebra to a monad on pointed sets. The notion of an S-algebra is very familiar in algebraic topology where it also provides a suitable groundwork to the definition of topological cyclic homology. The main contribution of this paper is to point out its relevance and unifying role in arithmetic, in relation with the development of an algebraic geometry over symmetric closed monoidal categories.

研究动机与目标

• 将使用单幺半群、半环、超环和单子等不同方法统一到一个单一范畴框架下。
• 证明从塞加尔的 $\Gamma$-集导出的 ${\mathbb{S}}$-代数为绝对点上的几何提供了自然且严谨的基础。
• 表明装配映射函子性地将点集上的单子与 ${\mathbb{S}}$-代数关联，扩展了杜罗夫在阿隆凯洛夫几何中基于单子的方法。
• 为阿隆凯洛夫紧化 $\overline{{\rm Spec}\,{\mathbb{Z}}}}$ 赋予一个自然的 ${\mathbb{S}}$-代数层结构，从而实现新的几何解释。
• 确立 smash 积 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$ 的非平凡性，与 ${\mathbb{Z}}\otimes_{{\mathbb{F}}_1}{\mathbb{Z}}$ 的平凡性形成对比，从而揭示了 ${\mathbb{S}}$-代数设定下更丰富的结构。

提出的方法

• 作者使用从塞加尔的 $\Gamma$-集导出的离散 $\Gamma$-环的范畴框架，将绝对代数中的构造统一起来。
• 他们将装配映射定义为一种函子性构造，将任意点集上的单子映射到一个 ${\mathbb{S}}$-代数，推广了杜罗夫在基于单子的几何中的方法。
• 通过 $\Gamma$-集上的戴伊卷积积分析 ${\mathbb{S}}$-代数的 smash 积，特别是针对 $H{\mathbb{B}}$ 和 $H{\mathbb{Z}}$。
• 识别出 $H{\mathbb{Z}}(k_+)$ 的结构为 ${\mathbb{Z}}^k$，其中基点为 0，并利用从 $2_+$ 到 $1_+$ 的三个映射 $\alpha, \beta, \gamma$ 分析 $\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$ 的 $\Gamma$-集结构。
• 通过证明 $\rho: (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(2_+) \to (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(1_+)^2$ 不是单射，而 $H{\mathbb{Z}}$ 的对应映射是双射，导出矛盾，从而证明非同构。
• 该论证得到同伦论推理的支持：$\pi_*(\underline{H{\mathbb{Z}}} \wedge \underline{H{\mathbb{Z}}})$ 非平凡（同构于 $H_*(\underline{H{\mathbb{Z}}}, \mathbb{Z})$），与 $\pi_*(\underline{H{\mathbb{Z}}})$ 形成对比，从而在谱层面确认了非同构性。

实验结果

研究问题

• RQ1 基于塞加尔的 $\Gamma$-集的 ${\mathbb{S}}$-代数能否统一诸如单幺半群、半环、超环和单子等不同方法的绝对代数？
• RQ2 装配映射如何函子性地将点集上的单子与 ${\mathbb{S}}$-代数关联？其在阿隆凯洛夫几何中的意义是什么？
• RQ3 为何 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$ 不同构于 $H{\mathbb{Z}}$？这对绝对代数的结构意味着什么？
• RQ4 能否自然地为阿隆凯洛夫紧化 $\overline{{\rm Spec}\,{\mathbb{Z}}}}$ 赋予一个 ${\mathbb{S}}$-代数层结构？这会诱导出何种几何结构？
• RQ5 ${\mathbb{S}}$-代数理论如何与拓扑循环同调及稳定同伦范畴相关联？

主要发现

• ${\mathbb{S}}$-代数 $H{\mathbb{Z}}$ 没有非平凡自同构，这意味着如果存在同构 $H{\mathbb{Z}}\wedge H{\mathbb{Z}} \to H{\mathbb{Z}}$，它将是唯一的。
• 装配映射 $\alpha_{H{\mathbb{Z}}, H{\mathbb{Z}}}$ 是满射，若 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$ 同构于 $H{\mathbb{Z}}$，则复合映射 $\mu \circ \psi$ 将是 ${\mathbb{Z}}$ 上的满同态，因而为自同构。
• 映射 $\rho: (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(2_+) \to (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(1_+)^2$ 不是单射，因为加上 $(t_1 - 1)(t_2 - 1)$ 的倍数会保持在 $\alpha$ 和 $\beta$ 下的像不变，而 $H{\mathbb{Z}}$ 的对应映射是双射。
• 这种非单射性证明了 $\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$ 不同构于 $H{\mathbb{Z}}$，从而与假设 $H{\mathbb{Z}}\wedge H{\mathbb{Z}} \cong H{\mathbb{Z}}$ 矛盾。
• $\underline{H{\mathbb{Z}}} \wedge \underline{H{\mathbb{Z}}}$ 的同伦群同构于艾伦伯格-麦克莱恩谱 $\underline{H{\mathbb{Z}}}$ 的整同调群，其在正度数上有限但非平凡，从而在谱层面确认了非同构性。
• 在 $\overline{{\rm Spec}\,{\mathbb{Z}}}}$ 上的结构层 $\mathcal{O}_{\overline{{\rm Spec}\,{\mathbb{Z}}}}}$ 自然地成为一个 ${\mathbb{S}}$-代数，每个阿隆凯洛夫除子定义了一个其上的模层，且一个参数群的弱可逆层与弗罗贝尼乌斯对应规则相匹配。