[论文解读] Controlled objects in left-exact $\infty$-categories and the Novikov conjecture

Ulrich Bunke, Denis-Charles Cisinski+2 more|arXiv (Cornell University)|Nov 6, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 6

一句话总结

该论文通过在具有群作用的左正合 ∞-范畴上定义 G-有界粗度量空间上的等变受控对象范畴，从左正合 ∞-范畴构造了等变粗范畴同调理论。通过将该构造与代数 K-理论复合，作者获得了满足 CP-条件的新同调理论，从而证明了诺维科夫猜想中装配映射的分裂单射性。其关键贡献在于证明了此类范畴的 K-理论产生 CP-函子，涵盖已知情形并提供了满足诺维科夫条件的新函子示例。

ABSTRACT

We associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new} equivariant coarse homology theories. This allows us to apply the injectivity results for assembly maps by Bunke, Engel, Kasprowski and Winges to the algebraic K-theory of left-exact $\infty$-categories.

研究动机与目标

• 开发一个通用框架，用于从具有 G-作用的左正合 ∞-范畴构造等变粗范畴同调理论。
• 证明此类范畴的代数 K-理论在轨道范畴上诱导的函子满足 CP-条件。
• 利用该构造证明诺维科夫猜想中装配映射的分裂单射性。
• 通过同伦与范畴论方法统一并推广诺维科夫猜想的已知情形。

提出的方法

• 对于任意 G-有界粗度量空间 X，定义其上的 G-等变 X-受控对象的左正合 ∞-范畴。
• 利用左正合 ∞-范畴中的分式计算与局部化技术，构造受控对象范畴。
• 将代数 K-理论作为局部化不变量，从 G-有界粗度量空间范畴到一个稳定 ∞-范畴构造函子。
• 通过局部性、强可加性与 u-连续性性质，证明轨道范畴上所得函子满足 CP-条件。
• 利用有界导出范畴的普遍性质以及 A-理论作为 GOrb-谱的结构，确立所需的同调性质。
• 利用单纯集与拓扑空间上的模型结构，将可缩空间与取值于紧致对象 ∞-范畴的函子联系起来。

实验结果

研究问题

• RQ1 能否从具有 G-作用的左正合 ∞-范畴构造一个等变粗范畴同调理论的一般性方法？
• RQ2 此类范畴的代数 K-理论是否在轨道范畴上诱导出满足 CP-条件的函子？
• RQ3 当函子由此构造产生时，诺维科夫猜想中的装配映射是否为分裂单射？
• RQ4 ∞-范畴中的受控对象与 A-理论和 K-理论中的经典构造有何关联？
• RQ5 有界导出范畴的普遍性质能否用于刻画所得同调理论？

主要发现

• 在左正合 ∞-范畴中构造的等变受控对象产生一个具有粗不变性、拟平凡性与局部性的函子。
• 所得 K-理论函子 KDG 满足 CP-条件，从而蕴含装配映射的分裂单射性。
• 空间的 A-理论通过有界导出范畴的普遍性质被实现为 GOrb-谱。
• 空间 Q 上的有限支配可缩空间范畴，与单纯集关于 Sing(Q) 的局部化范畴中的紧致对象全子范畴等价。
• 将空间发送至其奇异复形上单纯集的局部化范畴中紧致对象 ∞-范畴的函子，等价于将空间发送至其对范畴到带基点空间的函子 ∞-范畴的左伴随函子。
• 利用有界导出范畴的普遍性质，证明所得 K-理论函子等价于与紧致投射模 Spccp∗ 的张量积。