[论文解读] On the Farrell-Jones and related Conjectures

Wolfgang Lueck|ArXiv.org|Oct 11, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 121被引用 3

一句话总结

本文对法勒-琼斯猜想与鲍姆-康奈斯猜想提供了全面的介绍，将其定位为强大的工具，通过装配映射将难以计算的代数与拓扑K-理论群与更易处理的等变同调理论联系起来。文章确立了其在结构和计算上的重要性，证明了其在广泛群类上的成立，并强调了其对拓扑学与K-理论中长期猜想的深远影响。

ABSTRACT

These extended notes are based on a series of six lectures presented at the summer school ``Cohomology of groups and algebraic $K$-theory'' which took place in Hangzhou, China from July 1 until July 12 in 2007. They give an introduction to the Farrell-Jones and the Baum-Connes Conjecture.

研究动机与目标

• 为代数拓扑与K-理论领域的研究人员提供法勒-琼斯与鲍姆-康奈斯猜想的自包含导论。
• 阐明装配映射在连接复杂K-与L-理论群与可计算的等变同调理论中的作用。
• 展示这些猜想如何统一并蕴含诸如巴丝、博雷尔、卡普兰斯基本与诺维科夫等经典猜想。
• 综述已知证明与未决情形，强调该领域的最新进展与尚未解决的挑战。

提出的方法

• 利用同调代数与CW复形来定义并分析投影模与K-群，特别是 $K_0$、$K_1$ 与负K-理论。
• 应用巴丝-赫勒-斯旺分解，将 $K_*(RG)$ 表示为 $K_*(R)$ 与 $K_*(R[G])$ 的形式，适用于群环。
• 引入子群族的分类空间，以构造法勒-琼斯猜想中装配映射目标的结构。
• 采用等变同调理论作为法勒-琼斯与鲍姆-康奈斯设定中装配映射的框架。
• 利用受控拓扑技术——尤其是遗忘控制映射与几何构造（如收缩映射）——证明法勒-琼斯猜想中的满射性。
• 回顾分析方法，如KK-理论中的狄拉克-对偶狄拉克方法，特别通过卡斯帕罗夫的双不变量KK-理论实现鲍姆-康奈斯猜想的证明。

实验结果

研究问题

• RQ1 法勒-琼斯与鲍姆-康奈斯猜想如何统一并推广代数拓扑与K-理论中的经典猜想？
• RQ2 装配映射在连接复杂K-与L-理论群与更易处理的等变同调理论中扮演何种角色？
• RQ3 法勒-琼斯与鲍姆-康奈斯猜想已在哪些群类上被证明？其证明中的关键方法是什么？
• RQ4 为何鲍姆-康奈斯猜想被认为比法勒-琼斯猜想更可疑，特别是关于潜在反例的问题？
• RQ5 分析方法在证明法勒-琼斯猜想时存在哪些局限性？为何受控拓扑技术向KK-理论的转移尚未实现？

主要发现

• 法勒-琼斯猜想已在双曲群、CAT(0)-群与可解群上被证明，且当 $n \leq 2$ 时，$SL_n(\mathbb{Z})$ 的K-理论版本已知成立。
• 鲍姆-康奈斯猜想对双曲群、$SL_n(\mathbb{Z})$（当 $n \leq 2$ 时）以及所有阿贝尔群成立，且在这些情形下，约化群C*-代数的K-理论是可计算的。
• 这些猜想蕴含博斯特猜想、卡普兰斯基本零因子猜想与诺维科夫猜想，凸显其在几何拓扑中的基础性作用。
• 对于汤普森群 $F$，当 $R = \mathbb{Z}$ 时，装配映射的单射性在2的倒数下成立，但完整猜想仍悬而未决。
• 带有系数的鲍姆-康奈斯猜想对某些具有膨胀图的群不成立，如希森、拉福尔日与斯卡兰迪斯所展示，这提示了潜在反例的来源。
• 尽管进行了广泛研究，目前尚未发现法勒-琼斯或鲍姆-康奈斯猜想的反例，尽管此类候选者仍难以捉摸。