[论文解读] Algebraic K-Theory of infinity-Operads

Thomas Nikolaus|arXiv (Cornell University)|Mar 9, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 4

一句话总结

本文通过树状集上的模型结构，为∞-操作代数 $K_n(D)$ 引入了代数K-理论群，将其定义为K-理论谱 $\mathcal{K}(D)$ 的同伦群。其主要贡献在于该构造推广了环与对称单幕范畴的代数K-理论，且 $\mathcal{K}(D)$ 实现了所有连通谱，并在特殊情形下与已知K-理论一致。

ABSTRACT

The theory of dendroidal sets has been developed to serve as a combinatorial model for homotopy coherent operads by Moerdijk and Weiss. An infinity-operad is a dendroidal set D satisfying certain lifting conditions. In this paper we give a definition of K-groups K_n(D) for a dendroidal set D. These groups generalize the K-theory of symmetric monoidal (resp. permutative) categories and algebraic K-theory of rings. We establish some useful properties like invariance under the appropriate equivalences and long exact sequences which allow us to compute these groups in some examples. We show that the K-theory groups of D can be realized as homotopy groups of a K-theory spectrum K(D).

研究动机与目标

• 将代数K-理论推广至 $∞$-操作代数，推广环与对称单幕范畴的K-理论。
• 利用同伦论方法与模型结构，为树状集 $D$ 定义K-群 $K_n(D)$。
• 构造一个K-理论谱 $\mathcal{K}(D)$，其同伦群可恢复 $K_n(D)$，确保与已知K-理论的一致性。
• 证明每个连通谱均可作为某个 $∞$-操作代数 $D$ 的 $\mathcal{K}(D)$ 实现，确立该构造的同伦论普遍性。

提出的方法

• 利用Moerdijk-Cisinski在树状集上的模型结构，定义一个导出基础空间，其同伦群给出 $K_n(D)$。
• 通过生成元与关系定义 $K_0(D)$，并通过谱 $\mathcal{K}(D)$ 的同伦群定义更高阶的 $K_n(D)$。
• 通过Heuts构造的变体构建K-理论谱 $\mathcal{K}(D)$，利用展平函子将 $D$ 关联至一个连通谱。
• 利用Quillen等价与左Quillen函子，确保同伦不变性，并与 $E_{∞}$-空间等价。
• 应用从树状集到 $E_{∞}$-空间的展平函子 $\widetilde{St}$，通过 $D \mapsto D \times \mathcal{E}_{∞}$ 的拟自由替换实现。
• 利用树状集与 $E_{∞}$-空间之间的伴随关系，将 $\mathcal{K}(D)$ 与已知K-理论谱（包括单纯集的悬垂谱）联系起来。

实验结果

研究问题

• RQ1 代数K-理论如何从环与对称单幕范畴推广至 $∞$-操作代数？
• RQ2 树状集 $D$ 的 $K_n(D)$ 的正确定义是什么？其同伦计算方法为何？
• RQ3 能否将 $∞$-操作代数的K-理论实现为谱的同伦群？该谱是否具有普遍性？
• RQ4 当应用于 $N_d\text{Proj}_R$（即环 $R$ 的投影模范畴的树状神经）时，构造 $\mathcal{K}(D)$ 是否能恢复经典K-理论？
• RQ5 哪些谱可作为 $\mathcal{K}(D)$ 实现？是否每个连通谱均可通过这种方式实现？

主要发现

• K-理论群 $K_n(D)$ 在 $∞$-操作代数的等价关系下保持不变，确保其同伦鲁棒性。
• 对于 $E_{∞}$-操作代数，所有 $n$ 满足 $K_n(E_{∞}) = 0$，推广了对收缩空间K-理论为零的结论。
• 对于平凡 $∞$-操作代数 $\eta$，有 $K_n(\eta) \cong \pi_n^\mathcal{S}$，即球面的稳定同伦群。
• 对于与树 $T$ 关联的 $∞$-操作代数 $\Omega[T]$，有 $K_n(\Omega[T]) \cong \bigoplus_{\ell(T)} \pi_n^\mathcal{S}$，其中 $\ell(T)$ 为 $T$ 的叶数。
• K-理论谱 $\mathcal{K}(D)$ 将 $K_n(D)$ 实现为其第 $n$ 个同伦群；当 $D = i_!X$（$X$ 为单纯集）时，$\mathcal{K}(D)$ 同伦等价于 $|X|$ 的悬垂谱。
• 函子 $D \mapsto \mathcal{K}(D)$ 在 $∞$-操作代数范畴的局部化与连通谱的同伦范畴之间诱导出一个等价，表明该构造具有普遍性。