[论文解读] Transfers in coarse homology

Ulrich Bunke, Alexander Engel+2 more|arXiv (Cornell University)|Sep 21, 2018

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文通过将 G-有界粗度空间范畴扩展为包含通过有界覆盖定义的转移态射，引入了等变粗略同调中的转移。它证明了等变粗略代数 K-同调与普通同调可扩展为具有转移的理论，并表明对于有限群，此类理论产生 Macksy 函子。其主要贡献是通过一种几何方法证明装配映射的单射性，利用下降原理和 Sol 子群族的分裂单射性结果。

ABSTRACT

We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant coarse ordinary homology can be extended to equivariant coarse homology theories with transfers. In the case of a finite group we observe that equivariant coarse homology theories with transfers provide Mackey functors. We express standard constructions with Mackey functors in terms of coarse geometry, and we demonstrate the usage of transfers in order to prove injectivity results about assembly maps.

研究动机与目标

• 将等变粗略同调理论扩展以包含有界覆盖的转移态射。
• 构造一个具有转移的普遍等变粗略同调理论。
• 证明粗略代数 K-同调与普通同调具有转移结构。
• 证明对于有限群，此类理论自然产生 Macksy 函子。
• 应用转移来证明粗略 Baum-Connes 猜想背景下装配映射的单射性。

提出的方法

• 通过在有界覆盖上的跨度添加转移态射，扩展了 G-有界粗度空间范畴 GBornCoarsetr。
• 利用动机谱范畴 GSpXtr 的普遍性质，定义普遍转移理论。
• 将转移构造为 G-集上到有界并集的包含的正式和，尤其针对无限集。
• 应用等变动机理论与稳定 ∞-范畴理论，将同调理论扩展至新范畴。
• 利用轨道范畴与 GFin 和 GOrb 上的预层范畴，对 Macksy 函子进行建模，并将其与装配映射关联。
• 运用 Elmendorf 定理与 Oliver 定理，建立分离族的分类空间的紧致性，从而实现分裂单射性结果。

实验结果

研究问题

• RQ1 等变粗略代数 K-同调与普通同调能否被扩展为具有转移态射的理论？
• RQ2 在有限群情形下，粗略同调中的转移如何与 Macksy 函子相关联？
• RQ3 何种几何或范畴条件可确保装配映射是分裂单射的？
• RQ4 如何构造具有转移的普遍等变粗略同调理论？
• RQ5 有界覆盖及其相关跨度在定义转移态射中起什么作用？

主要发现

• 等变粗略代数 K-同调与粗略普通同调可扩展为具有转移的等变粗略同调理论。
• 具有转移的普遍等变粗略同调理论被构造为 Yos_tr : GBornCoarsetr → GSpXtr。
• 对于有限群，具有转移的等变粗略同调理论自然产生 Macksy 函子。
• 建立了下降原理，表明若函子可扩展为 Macksy 函子，则其关联的装配映射是分裂单射的。
• 对于可解子群族，若该族为分离族（Sol 满足此条件），则装配映射被证明是分裂单射的。
• 通过有限 G-CW 复形与 Elmendorf 定理，证明了分离族（如 Sol）的 EFG 的紧致性，从而支持了单射性结果。