[论文解读] Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

Chenghao Chu, Oliver Lorscheid+1 more|arXiv (Cornell University)|Oct 14, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 7

一句话总结

本文通过将Quillen的Q-构造方法适配于在 pointed sets 上作用的幺半群，建立了一个关于 $\mathbb{F}_1$-概形的代数K-理论的基础框架。证明了 $K_*(\operatorname{Spec} \mathbb{F}_1)$ 实现了球谱的稳定同伦群，且显示 $K_0(\mathbb{P}^n_{\mathbb{F}_1}) \simeq \mathbb{Z}[\mathcal{O}(n)]_{n \in \mathbb{Z}}$，其中张量积规则为 $\mathcal{O}(n) \otimes \mathcal{O}(m) \simeq \mathcal{O}(n+m)$；而 $G_0$-理论则表现出非投影的凝聚层，与经典 $K$-理论形成对比。

ABSTRACT

This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of developing $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of the algebraic geometry over $\mathbb{F}_1$. Special attention is paid to two aspects particular to $\mathbb{F}_1$-geometry, namely, normal morphisms and locally projective sheaves, which occur when we adopt Quillen's Q-construction to a definition of $G$-theory and $K$-theory for $\mathbb{F}_1$-schemes. A comparison with Waldhausen's $S_{\bullet}$-construction yields the ring structure of $K$-theory. In particular, we generalize Deitmar's $K$-theory of monoids and show that $K_*(\Spec\mathbb{F}_1)$ realizes the stable homotopy of the spheres as a ring spectrum.

研究动机与目标

• 为解决Connes与Consani框架下 $\mathbb{F}_1$-概形代数 $K$-理论的开放问题。
• 通过Quillen的Q-构造方法，将Deitmar对幺半群的 $K$-理论推广至任意 $\mathbb{F}_1$-概形。
• 建立Quillen的Q-构造与Waldhausen的 $S_\bullet$-构造之间的比较，从而在 $K$-理论上获得环结构。
• 证明 $K_*(\operatorname{Spec} \mathbb{F}_1)$ 实现了球谱的稳定同伦群，符合Tits纲领的预测。
• 澄清 $\mathbb{F}_1$-几何中 $K_0$ 与 $G_0$-理论的差异，表明存在非局部投影的凝聚层。

提出的方法

• 将Quillen的Q-构造适配于 $\mathbb{F}_1$-概形上 $\mathcal{O}_X$-模的范畴，使用正规态射与局部投影层。
• 通过幺半群在 pointed sets 上的作用，引入 ${\mathcal{M}_0}$-概形与 $\mathbb{F}_1$-概形上的层与拟凝聚层。
• 对诺特 $\mathbb{F}_1$-概形，使用Q-构造在凝聚层范畴上定义 $G$-理论与 $K$-理论。
• 应用Waldhausen的 $S_\bullet$-构造以推导出 $K$-理论上的环结构，并与Quillen的方法进行比较。
• 通过基变换至 $\mathbb{Z}$-概形，将 $\mathbb{F}_1$-理论的 $K$-理论与经典 $K$-理论联系起来，尤其针对射影空间。
• 使用归纳法与挠层的正合序列计算 $\mathbb{P}^n_{\mathbb{F}_1}$ 的 $G_0$-理论，表明 $\tilde{K}_0$ 同构于 $G_0(\mathbb{P}^n_{\mathbb{Z}})$。

实验结果

研究问题

• RQ1 Quillen的Q-构造是否在Connes–Consani框架下对 $\mathbb{F}_1$-概形产生一致的 $K$-理论？
• RQ2 能否证明 $K_*(\operatorname{Spec} \mathbb{F}_1)$ 实现了球谱的稳定同伦群？
• RQ3 $\mathbb{F}_1$-概形的 $G_0$-理论与 $\mathbb{Z}$ 上的经典 $G_0$-理论有何不同，尤其在射影空间情形？
• RQ4 $\mathbb{F}_1$-几何中 $K_0$ 与 $G_0$-理论的关系如何？是否存在非局部投影的凝聚层？
• RQ5 在 $\mathbb{F}_1$-设定下，能否通过Waldhausen的 $S_\bullet$-构造恢复 $K$-理论的环结构？

主要发现

• ${\operatorname{Spec} \mathbb{F}_1}$ 的 $K$-理论谱实现了球谱的稳定同伦群：$K_*(\operatorname{Spec} \mathbb{F}_1) \simeq \pi_*^s(\mathbb{S})$，确认了Tits纲领的核心预测。
• 对于射影空间 $\mathbb{P}^n_{\mathbb{F}_1}$，$K_0$-群同构于 $\mathbb{Z}[\mathcal{O}(n)]_{n \in \mathbb{Z}}$，其乘法由 $\mathcal{O}(n) \otimes \mathcal{O}(m) \simeq \mathcal{O}(n+m)$ 给出。
• $\mathbb{P}^n_{\mathbb{F}_1}$ 的 $K_0(\mathbb{P}^n_{\mathbb{F}_1})$ 的像在 $G_0(\mathbb{P}^n_{\mathbb{F}_1})$ 中由 $\mathcal{O}, \dots, \mathcal{O}(n)$ 自由生成，且基变换映射 $G_0(\mathbb{P}^n_{\mathbb{F}_1}) \to G_0(\mathbb{P}^n_{\mathbb{Z}})$ 在该像上限制为同构。
• 对于 $\mathbb{P}^1_{\mathbb{F}_1}$，$G_0$ 由 $[\mathcal{O}]$、$[\mathcal{O}(1)]$ 以及可数个非局部投影凝聚层类 $[\mathcal{C}_n]$ 自由生成。
• 短正合列 $0 \to \mathcal{O}_{\mathbb{Z}} \to \mathcal{O}(1)_{\mathbb{Z}} \oplus \mathcal{O}(1)_{\mathbb{Z}} \to \mathcal{O}(2)_{\mathbb{Z}} \to 0$ 无法下移至 $\mathbb{F}_1$，解释了为何在 $\mathbb{F}_1$-设定下 $G_0$ 与 $K_0$ 不同。
• $\mathbb{F}_1[H]$ 的 $K$-理论同构于群 $H$ 的Burnside环，推广了Deitmar对幺半群的 $K$-理论。