[论文解读] The coarse Baum--Connes conjecture and groupoids II

Jean-Louis Tu|arXiv (Cornell University)|May 3, 2010

Advanced Operator Algebra Research参考文献 18被引用 9

一句话总结

本文通过引入一个群胚 $ G(M) $，将粗 Baum–Connes 一致性猜想推广至具有有界几何的非离散、完备度量空间，证明了带系数的猜想在闭子空间下具有遗传性。它表明，若 $ G(M) $ 上的带系数 Baum–Connes 猜想成立，则其闭子空间上亦成立，推广了早期结果，并为粗同伦等价下的不变性提供了框架。

ABSTRACT

Given a (not necessarily discrete) proper metric space $M$ with bounded geometry, we define a groupoid $G(M)$. We show that the coarse Baum--Connes conjecture with coefficients, which states that the assembly map with coefficients for G(M) is an isomorphism, is hereditary by taking closed subspaces.

研究动机与目标

• 将带系数的粗 Baum–Connes 猜想推广至具有有界几何的非离散、完备度量空间。
• 为这类空间定义一个与之关联的群胚 $ G(M) $，推广先前工作中离散情形的构造。
• 通过群胚限制证明，带系数的粗 Baum–Connes 猜想在闭子空间下具有遗传性。
• 建立群胚的 Baum–Connes 猜想带系数时，其闭子群胚亦成立的条件。
• 探讨其在粗同伦等价下的不变性影响，识别将框架扩展至系数映射时的局限性。

提出的方法

• 使用 $ M \times M $ 的可控子集，将完备度量空间 $ M $ 与有界几何性构造为群胚 $ G(M) $，并将其嵌入 Stone–Čech 紧化 $ \beta(M \times M) $。
• 为 $ G(M) $ 赋予一个埃坦（étale）、局部紧致、$ \sigma $-紧致群胚的结构，推广离散情形。
• 通过 $ G(M) $ 上带系数 $ \ell^\infty(M, \mathcal{K}) $ 的 Baum–Connes 汇集映射，定义带系数的粗 Baum–Connes 猜想。
• 证明：若群胚 $ G $ 上的带系数 Baum–Connes 猜想成立，则其任意闭子群胚 $ H \subset G $ 上亦成立，条件为一般拓扑条件。
• 通过维数归纳法与等变 $ K $-理论中的正合序列，验证相关 $ KK $-理论序列的正合性。
• 应用五引理，借助截断函数的存在性与适当群胚作用，得出系数情形下汇集映射的同构性。

实验结果

研究问题

• RQ1 带系数的粗 Baum–Connes 猜想能否从离散度量空间推广至一般的完备度量空间（具有有界几何）？
• RQ2 群胚 $ G(M) $ 上的带系数 Baum–Connes 猜想是否蕴含其闭子群胚上的相同猜想？
• RQ3 在何种条件下，带系数的 Baum–Connes 猜想在限制到闭子空间时仍被保持？
• RQ4 群胚构造 $ G(M) $ 在粗同伦等价下表现如何？其系数映射的扩展存在哪些局限性？
• RQ5 带系数的粗 Baum–Connes 映射在多大程度上对粗等价保持不变？存在何种障碍？

主要发现

• 带系数的粗 Baum–Connes 猜想对 $ G(M) $ 成立，当且仅当带系数的 Baum–Connes 猜想对 $ G(M) $ 成立，将离散情形推广至非离散的完备度量空间。
• 该猜想具有遗传性：若其在 $ G(M) $ 上成立，则在所有闭子群胚 $ H \subset G(M) $ 上亦成立，仅需温和的拓扑条件。
• 证明依赖于适当群胚作用下截断函数的存在性，以及等变 $ K $-理论中正合序列的保持性。
• 当 $ \underline{E}\Gamma $ 对所有有限子群 $ F \subset \Gamma $ 均为 $ F $-一致收缩时，带系数 $ UC_b(\underline{E}\Gamma, \mathcal{K}) $ 的完整 Baum–Connes 汇集映射为同构。
• 由于缺乏粗等价下从 $ G(X) \to G(Z) $ 的良好行为群胚态射，该构造无法自然地扩展至系数映射。
• 群胚 $ G(M) $ 被证明是埃坦的、局部紧致的，且 $ \sigma $-紧致的，从而确保标准 $ K $-理论工具的适用性。