[论文解读] A universal coarse K-theory

Ulrich Bunke, Denis-Charles Cisinski|arXiv (Cornell University)|May 15, 2017

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

一句话总结

本文引入了一种取值于非交换动机的普遍等变粗同调理论，通过复合从 $G$-有界粗空间到加法范畴的函子与 Blumberg、Gepner 和 Tabuada 的普遍局部化不变量而构造。关键结果是该构造产生了一个普遍的粗 $K$-理论，其通过映射空间恢复标准等变粗 $K$-同调，从而能够生成新例子，如拓扑霍赫希尔德同调。

ABSTRACT

In this paper, we construct an equivariant coarse homology theory with values in the category of non-commutative motives of Blumberg, Gepner and Tabuada, with coefficients in any small additive category. Equivariant coarse K-theory is obtained from the latter by passing to global sections. The present construction extends joint work of the first named author with Engel, Kasprowski and Winges by promoting codomain of the equivariant coarse K-homology functor to non-commutative motives.

研究动机与目标

• 构造一种取值于非交换动机的普遍等变粗同调理论。
• 通过将已知的等变粗 $K$-同调通过 Blumberg、Gepner 和 Tabuada 的普遍局部化不变量进行因式分解，扩展先前关于等变粗 $K$-同调的工作。
• 提供一个框架，既能恢复标准等变粗 $K$-同调，又能生成新的粗同调理论。
• 通过普遍构造促进代数 $K$-理论中同构猜想的应用。

提出的方法

• 定义函子 $\mathbf{Ch}^b(-)_{\infty}$，将一个小的加法范畴映射到其有界链复形的稳定 $\infty$-范畴，其中同伦等价被反转。
• 将其与普遍局部化不变量 $\mathcal{U}_{\text{loc}}$ 复合，得到函子 $\mathrm{UK} : \mathbf{Add} \to \mathcal{M}_{\text{loc}}$。
• 将普遍等变粗同调理论构造为 $\mathrm{UK}\mathcal{X}^G_{\mathbf{A}} = \mathrm{UK} \circ \mathbf{V}^G_{\mathbf{A}}$，其中 $\mathbf{V}^G_{\mathbf{A}}$ 将 $G$-有界粗空间分配给 $X$-控制的 $\mathbf{A}$-对象。
• 将加法范畴的范畴改进为带标记同构的 $\mathbf{Add}^+$，并使用余归纳将该理论提升至轨道范畴 $\mathbf{Orb}(G)^{\mathrm{op}}$。
• 利用 $\mathcal{U}_{\text{loc}}$ 的普遍性质，将已知不变量（如拓扑霍赫希尔德同调）通过普遍构造因式分解。
• 通过限制到稳定子子群并验证余极限与等价性条件，证明所得函子满足等变粗同调理论的所有公理。

实验结果

研究问题

• RQ1 能否将等变粗 $K$-同调通过 Blumberg、Gepner 和 Tabuada 的普遍局部化不变量进行普遍因式分解？
• RQ2 在非交换动机中构造的普遍粗同调理论是否能恢复标准等变粗 $K$-同调？
• RQ3 通过已知的局部化不变量（如 THH）的普遍构造，会生成哪些新的粗同调理论？
• RQ4 该普遍理论在限制到子群时表现如何？是否满足等变粗同调理论的公理？
• RQ5 该普遍构造能否用于逼近等变代数 $K$-理论中的“母同构猜想”？

主要发现

• 普遍等变粗同调理论 $\mathrm{UK}\mathcal{X}^G_{\mathbf{A}}$ 是良定义的，并满足等变粗同调理论的所有公理。
• 标准等变粗 $K$-同调函子 $\mathrm{K}\mathcal{X}^G_{\mathbf{A}}$ 通过公式 $\mathrm{K}\mathcal{X}^G_{\mathbf{A}}(-) \simeq \mathtt{map}_{{\mathcal{M}}_{\text{loc}}}({\mathcal{U}}_{\text{loc}}({\mathbf{S}}^{\omega}_{\infty}), \mathrm{UK}\mathcal{X}^G_{\mathbf{A}}(-))$ 被恢复，显示出其普遍性质。
• 该构造产生了新的粗同调理论，例如通过普遍不变量因式分解拓扑霍赫希尔德同调的理论。
• 该理论与子群限制相容：$\underline{\mathrm{UK}\mathcal{X}_{\mathbf{A}}}^{(H)} \simeq \mathrm{UK}\mathcal{X}^H_{\mathbf{A}} \circ \mathrm{Res}^G_H$，确保在所有稳定子子群上的一致性。
• 该普遍理论通过改进的函子 $\mathbf{V}^+_{\mathbf{A}}$（带标记同构）构造，确保与普遍局部化不变量的兼容性。
• 主要结果，定理 3.17，通过验证其在轨道范畴上的行为及限制性质，确认 $\underline{\mathrm{UK}\mathcal{X}_{\mathbf{A}}}$ 是一个等变粗同调理论。