[论文解读] Inheritance of Isomorphism Conjectures under colimits

Arthur Bartels, Siegfried Echterhoff+1 more|ArXiv.org|Feb 15, 2007

Advanced Topics in Algebra参考文献 36被引用 25

一句话总结

本文证明了K-理论法拉尔-琼斯猜想与带系数的博斯特猜想在关于有向集的群列极限下保持不变，即使结构映射非单射亦然。它证明了这些猜想对作为此类列极限构造的群成立，包括那些使带系数的鲍姆-康nes猜想失效的群，从而将这些同构猜想的适用范围扩展至双曲群之外。

ABSTRACT

We investigate when Isomorphism Conjectures, such as the ones due to Baum-Connes, Bost and Farrell-Jones, are stable under colimits of groups over directed sets (with not necessarily injective structure maps). We show in particular that both the K-theoretic Farrell-Jones Conjecture and the Bost Conjecture with coefficients hold for those groups for which Higson, Lafforgue and Skandalis have disproved the Baum-Connes Conjecture with coefficients.

研究动机与目标

• 研究诸如法拉尔-琼斯与博斯特等同构猜想是否在关于有向集的群列极限下保持稳定。
• 将K-理论法拉尔-琼斯猜想与带系数的博斯特猜想的有效性扩展至作为列极限构造的群，即使结构映射非单射亦然。
• 证明这些猜想对通过双曲群构造的列极限群成立，而这些群已知会违反带系数的鲍姆-康尼斯猜想。
• 为利用等变同调理论与装配映射，从单个群向其列极限并集转移猜想性同构提供一个框架。

提出的方法

• 利用取值于谱的等变同调理论，定义在具有有限核的广群上，以建模半直积的K-理论与L-理论。
• 构造表示群代数与C*-代数的代数K-理论、同伦K-理论与拓扑K-理论的函子之间的自然变换。
• 应用有限子群与拟循环子群族的分类空间理论 $E_{inite}(G)$ 和 $E_{ ext{VCyc}}(G)$，以定义装配映射的源。
• 利用群的列极限结构，通过等变同调与自然变换的相容性，将装配映射的有效性从单个群提升至列极限群。
• 依赖于双曲群在C*-代数系数下猜想已知成立的事实，特别是在 $l^1$-半直积设定下。
• 证明由广群等价诱导的谱弱等价性，以及自然变换的相容性，可确保同构猜想的继承性。

实验结果

研究问题

• RQ1 在何种条件下，诸如法拉尔-琼斯与博斯特等同构猜想在群的列极限下保持不变？
• RQ2 即使带系数的鲍姆-康尼斯猜想对这些群失效，K-理论法拉尔-琼斯猜想是否仍可扩展至双曲群列极限构造的群？
• RQ3 在装配映射的背景下，K-理论谱之间的自然变换（例如从代数K-理论到拓扑K-理论）如何与列极限构造相互作用？
• RQ4 有限子群与拟循环子群族的分类空间在确保列极限下猜想同构的继承性方面起何种作用？

主要发现

• 只要单个群满足猜想，所有作为有向集上群列极限构造的群均满足K-理论法拉尔-琼斯猜想。
• 带系数的博斯特猜想在列极限下被继承，从而将其有效性扩展至原始已知群类之外。
• 即使列极限系统中的结构映射非单射，这些猜想仍被保持，从而显著拓宽了适用范围。
• 该继承结果适用于带系数的鲍姆-康尼斯猜想失效的群，例如希森、拉福尔格与斯卡兰迪斯所构造的群，表明对已知结果的严格扩展。
• 该证明依赖于K-理论函子之间自然变换的相容性，以及在具有有限核的广群范畴中列极限对弱等价性的保持性。