[论文解读] Isomorphism Conjecture for homotopy K-theory and groups acting on trees

Arthur Bartels, Wolfgang Lueck|ArXiv.org|Jul 28, 2004

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

一句话总结

本文提出了同伦代数K-理论（KH-理论）的纤维化同构猜想，证明若群G作用在树上且各稳定子群满足该猜想，则G本身也满足该猜想。关键结果表明，所有属于类𝒞₀的群——由有限群生成，对自由积与定向列极限封闭——均满足KH-同构猜想，从而实现了代数K-理论法拉尔-琼斯装配映射的有理单射性结果。

ABSTRACT

We discuss an analogon to the Farrell-Jones Conjecture for homotopy algebraic K-theory. In particular, we prove that if a group G acts on a tree and all isotropy groups satisfy this conjecture, then G satisfies this conjecture. This result can be used to get rational injectivity results for the assembly map in the Farrell-Jones Conjecture in algebraic K-theory.

研究动机与目标

• 提出并研究同伦代数K-理论（KH-理论）的纤维化同构猜想，该猜想具有同伦不变性且排除了Nil-群的贡献。
• 建立KH-同构猜想在群作用于树、列极限和子群下的继承性质。
• 将该猜想应用于推导出属于类𝒞₀的群在代数K-理论中法拉尔-琼斯装配映射的有理单射性结果。
• 证明满足KH-同构猜想的群类严格扩展至𝒞₀之外，包括负曲率流形的基本群。

提出的方法

• 将KH-同构猜想定义为法拉尔-琼斯猜想的类比，聚焦于消除Nil-群贡献的同伦不变K-理论。
• 引入类𝒞₀作为最小的类，对有限群、稳定子群属于𝒞₀的树作用以及定向列极限封闭。
• 证明等变同调理论H*^G(−;KH_R)具有连续性并满足树性质，从而支持对群在树上作用的归纳论证。
• 利用K-理论实现的同伦Cartesian性质以及KH-理论与列极限的相容性，验证群扩张和HNN/并置积下的猜想。
• 利用正规树性质和KH-理论的连续性，证明在群扩张和列极限下的继承性。
• 将结果应用于证明当R = ℤ时，𝒞₀中群的装配映射在有理数域上是单射的；当R为正则环且ℚ ⊆ R时，装配映射是单射的。

实验结果

研究问题

• RQ1 当所有稳定子群均满足猜想时，作用在树上的群是否满足KH-同构猜想？
• RQ2 能否通过在树上作用和列极限下的封闭性，将满足KH-同构猜想的群类从有限群和自由积扩展？
• RQ3 KH-同构猜想对代数K-理论中法拉尔-琼斯装配映射的单射性有何影响？
• RQ4 KH-理论猜想与经典法拉尔-琼斯猜想有何关系，特别是在消除Nil-群贡献方面？
• RQ5 是否存在超出𝒞₀类的群满足KH-同构猜想？这些群具有何种结构特征？

主要发现

• 满足纤维化KH-同构猜想的群类对有限群、稳定子群属于该类的树作用、定向列极限和子群封闭。
• 所有属于𝒞₀的群——由有限群生成，对树作用和定向列极限封闭——均满足纤维化KH-同构猜想。
• 对任意G ∈ 𝒞₀及满足ℚ ⊆ R的正则环R，法拉尔-琼斯装配映射H_n^G(E_FIN(G); K_R) → K_n(RG)是单射的。
• 当G ∈ 𝒞₀且R = ℤ时，装配映射H_n^G(E_FIN(G); K_ℤ) → K_n(ℤG)是有理单射的。
• 满足KH-同构猜想的群类严格包含𝒞₀，包括闭负曲率流形的基本群。
• KH-理论同调理论满足连续性和正规树性质，这两点在证明群扩张和列极限下的继承性中至关重要。