[论文解读] K- and L-theory of group rings over GL_n(Z)

Arthur Bartels, Wolfgang Lueck+2 more|arXiv (Cornell University)|Apr 11, 2012

Algebraic structures and combinatorial models参考文献 17被引用 4

一句话总结

本文證明了 GLₙ(ℤ) 上帶加法類別係數的 K- 和 L- 理論法拉利-瓊斯猜想，確立了群環 ℤ[GLₙ(ℤ)] 的代數 K- 和 L- 理論由其擬循環子群的 K- 和 L- 理論所決定。證明使用了轉移可約性、傳播原理，以及在子群、有限直積和有限群的半直積下的遺傳性質。

ABSTRACT

We prove the K- and L-theoretic Farrell-Jones Conjecture (with coefficients in additive categories) for GL_n(Z).

研究动机与目标

• 建立 GLₙ(ℤ) 上帶加法類別係數的 K- 和 L- 理論法拉利-瓊斯猜想。
• 將猜想推廣至數域上的算術群，以及與 GLₙ(R) 子群共軛的群，其中 R 為有限生成環。
• 證明 GLₙ(ℤ) 上的半直積版本猜想，以支援對上極限與雙曲群的應用。
• 透過歸納法與遺傳性質，將 GLₙ(ℤ) 的猜想簡化至擬多循環群的情況。

提出的方法

• 利用傳播原理，將 GLₙ(ℤ) 的猜想簡化為驗證其在家族 (ℱₙ)≀ 中的群成立，即特定家族 ℱₙ 的半直積閉包。
• 建立 GLₙ(ℤ) 對家族 ℱₙ 的轉移可約性，從而可應用定理 5.1 的纖化法拉利-瓊斯猜想。
• 應用法拉利-瓊斯猜想在子群、有限直積與有限指數擴群下的遺傳性質，簡化至擬多循環群。
• 利用擬多循環群與有限群的半直積仍為擬多循環群的事實，且此類群由先前結果（Bartels-Farrell-Lück）知其滿足猜想。
• 利用 GLₙ(ℤ)≀F 嵌入 GLₘ(ℤ)（其中 m > n）的事實，將標準版本與半直積版本的猜想相互關聯。
• 應用引理 7.1，透過群同態至 autℤ(ℤᵏ × T) 及涉及有限群的正合序列，證明當 R 具有有限生成阿貝爾群結構時，GLₙ(R) 與 SLₙ(R) 滿足猜想。

实验结果

研究问题

• RQ1 GLₙ(ℤ) 是否滿足帶加法類別係數的 K- 理論法拉利-瓊斯猜想？
• RQ2 GLₙ(ℤ) 是否滿足帶對合的加法類別係數的 L- 理論法拉利-瓊斯猜想？
• RQ3 該猜想能否推廣至與 GLₙ(R) 子群共軛的群，其中 R 為有限生成環？
• RQ4 GLₙ(ℤ) 上的半直積版本猜想是否成立，其與標準猜想有何關係？
• RQ5 能否透過歸納法與遺傳性質，將 GLₙ(ℤ) 的猜想簡化至擬多循環群的情況？

主要发现

• K- 理論與 L- 理論法拉利-瓊斯猜想對 GLₙ(ℤ) 成立，如主定理所述。
• 該猜想可推廣至所有與 GLₙ(R) 子群共軛的群，其中 R 為具有有限生成阿貝爾群結構的任意環，如一般定理所示。
• GLₙ(ℤ) 上的半直積版本猜想成立，且此版本足以透過傳播原理推導出標準猜想。
• 證明依賴於證明 GLₙ(ℤ) 對某適切家族 ℱₙ 具有轉移可約性，從而可應用定理 5.1 (ii) 以處理 L- 理論情形。
• 所有雙曲群對家族 𝒱𝒞yc≀ 滿足猜想，因其具有強烈的轉移可約性與遺傳性質。
• 帶半直積的法拉利-瓊斯猜想對子群與有限指數擴群成立，允許簡化至擬多循環群，而此類群由已知結果知其滿足猜想。