[论文解读] A localization theorem for the $K$-theory of assemblers with an application to the Grothendieck spectrum of varieties

Inna Zakharevich|arXiv (Cornell University)|Jan 15, 2014

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

一句话总结

本文引入了装配器（assemblers）——通过切割与粘贴操作编码几何数据的范畴——以定义一个 $K$-理论谱，其同伦群捕捉更高阶的几何不变量。该文建立了此 $K$-理论的局部化与殆分解定理，并将其应用于代数簇的格罗滕迪克谱以及多面体的剪拼合同群。

ABSTRACT

In this paper we introduce the notion of an assembler, which formally encodes and data. An assembler has an associated $K$-theory spectrum, in which $\pi_0$ is the free abelian group of objects of the assembler modulo the cutting and pasting relations, and in which the higher homotopy groups encode further geometric invariants. The goal of this paper is to prove structural theorems about this $K$-theory spectrum, including analogs of Quillen's localization and devissage theorems. We demonstrate the uses of these theorems by analysing the assembler associated to the Grothendieck ring of varieties and the assembler associated to scissors congruence groups of polytopes.

研究动机与目标

• 通过装配器的概念形式化几何数据（如代数簇与多面体）。
• 为装配器定义一个与之关联的 $K$-理论谱，使得 $\pi_0$ 捕获切割与粘贴关系。
• 建立此 $K$-理论的结构性定理，类比奎伦的局部化与殆分解定理。
• 将这些定理应用于代数簇的格罗滕迪克谱与多面体的剪拼合同群的分析。

提出的方法

• 将装配器定义为带有特定分解类的范畴，以形式化几何粘贴数据。
• 使用瓦尔德豪森的 $S$-构造或其变体，构造装配器的 $K$-理论谱。
• 证明 $K$-理论谱的局部化定理，将限制映射的上纤维识别为商范畴的 $K$-理论。
• 建立殆分解定理，证明在适当条件下 $K$-理论仅依赖于一个厚子范畴。
• 将定理应用于域上代数簇的装配器，将其 $K$-理论与格罗滕迪克环关联。
• 将定理应用于多面体的装配器，将其 $K$-理论与经典剪拼合同群联系起来。

实验结果

研究问题

• RQ1 如何利用能捕捉切割与粘贴操作的范畴结构，形式化如代数簇与多面体等几何范畴？
• RQ2 此类形式化结构的 $K$-理论谱受何种结构性定理支配？
• RQ3 代数簇装配器的 $K$-理论在多大程度上能恢复代数簇的格罗滕迪克谱？
• RQ4 多面体装配器的 $K$-理论与经典剪拼合同群有何关系？
• RQ5 局部化与殆分解定理能否推广至此新的 $K$-理论框架？

主要发现

• 装配器的 $K$-理论谱的 $\pi_0$ 同构于对象生成的自由阿贝尔群模去切割与粘贴关系。
• 本文建立了 $K$-理论谱的局部化定理，将限制映射的上纤维识别为商装配器的 $K$-理论。
• 证明了殆分解定理，表明在适当的滤子条件下，$K$-理论谱仅依赖于一个厚子范畴。
• 域上代数簇装配器的 $K$-理论映射到代数簇的格罗滕迪克谱，为理解其结构提供了新视角。
• 多面体装配器的 $K$-理论将经典剪拼合同群实现为 $\pi_0$，其高阶同伦群编码了进一步的不变量。
• 该框架通过统一的范畴基础，整合并推广了代数几何与几何拓扑中的 $K$-理论不变量。