[论文解读] Split injectivity of A-theoretic assembly maps

Ulrich Bunke, Daniel Kasprowski+1 more|arXiv (Cornell University)|Nov 28, 2018

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

一句话总结

本论文通过在bornological粗空间上使用非连通A-理论函子，建立了具有有限维类空间（针对有限子群与拟循环子群）的群的A-理论装配映射的分裂单射性。证明了由此产生的等变粗同调理论满足关键公理（连续性、强加法性、转移映射），从而通过先前工作中提出的CP-函子框架实现分裂单射性结果。

ABSTRACT

We construct an equivariant coarse homology theory arising from the algebraic $K$-theory of spherical group rings and use this theory to derive split injectivity results for associated assembly maps. On the way, we prove that the fundamental structural theorems for Waldhausen's algebraic $K$-theory functor carry over to its nonconnective counterpart defined by Blumberg--Gepner--Tabuada.

研究动机与目标

• 建立具有有限维类空间（针对有限子群与拟循环子群）的群的A-理论装配映射的分裂单射性。
• 通过Blumberg-Gepner-Tabuada的非连通K-理论函子，将粗同伦理论框架扩展至非连通A-理论。
• 证明由此产生的粗A-同调理论满足连续性、强加法性和转移映射，从而可应用CP-函子机械装置。
• 将先前关于K-和L-理论装配映射的结果推广至A-理论设定，特别是针对具有有限分解复杂度或相对双曲性的群。
• 证明当G为有限群时，A-理论函子在主G-丛上的扩张可成为谱Mackey函子，通过新方法重新获得一个已知结果。

提出的方法

• 通过Blumberg-Gepner-Tabuada的非连通K-理论函子，从球面群环的非连通A-理论构造等变粗同调理论。
• 证明Waldhausen K-理论的基本定理（加法性、纤维化、逼近、余理想性）在非连通设定下依然成立。
• 将Ullmann-Winges的受控拟紧空间翻译至bornological粗空间框架。
• 证明粗A-同调是连续的、强加法的且具有转移映射的等变粗同调理论。
• 通过证明主G-丛上的A-理论函子是遗传CP-函子，应用[BEKWb]中的CP-函子框架。
• 利用传递性原理和相对装配映射分解，基于对有限子群、拟循环子群及FDC子群的假设，推导出分裂单射性。

实验结果

研究问题

• RQ1 在何种群论条件下，有限子群族的A-理论装配映射是分裂单射的？
• RQ2 Waldhausen K-理论的结构性定理如何推广至Blumberg-Gepner-Tabuada定义的非连通设定？
• RQ3 能否将粗A-同调构造为具有良好性质的具有转移和强加法性的等变粗同调理论？
• RQ4 在何种条件下，从有限子群到拟循环子群族的相对装配映射在A-理论中是分裂单射的？
• RQ5 群相对于FDC中的子群或具有分裂单射装配映射的子群的相对双曲性，如何影响全局A-理论装配映射？

主要发现

• 若G是有限生成群，存在EFinG的有限维模型，且满足以下任一条件：为交换环上线性群的子群，或为拟连通李群的子群，则其有限子群族的A-理论装配映射是分裂单射的。
• 在相同假设下，从有限子群族到拟循环子群族的相对A-理论装配映射是分裂单射的。
• 当G存在EFinG的有限维模型时，从有限子群族到FDC子群族的相对A-理论装配映射是分裂单射的。
• 若G关于子群H_i是相对双曲的，且每个H_i属于FDC或其对拟循环族的A-理论装配映射是分裂单射的，则有限子群族的A-理论装配映射是分裂单射的。
• 当G为有限群时，Or(G)-谱A_P可扩张为谱Mackey函子，通过新框架重新获得一个已知结果。
• 所构造的粗A-同调理论是连续的、强加法的，并且具有转移映射，因此是遗传CP-函子。