[论文解读] A Geometric Description of Equivariant K-Homology for Proper Actions

Paul Baum, Nigel Higson+1 more|arXiv (Cornell University)|Jul 12, 2009

Advanced Operator Algebra Research参考文献 10被引用 13

一句话总结

本文证明了通过等变循环和 bordism 构造的 G-有限、正則 G-CW 复形 X 的几何等变 K-同调，与 Kasparov 的等变 KK-理论群 $KK^G_*(C_0(X), \mathbb{C})$ 同构。通过利用 Lück 和 Oliver 关于存在足够多等变向量丛的结果，并构造一个同调理论 $k^G_*(X)$，作者证明了装配映射 $μ: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 是同构，从而调和了离散群情形下原始与修订版 Baum-Connes 猜想的表述。

ABSTRACT

Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov's equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making the geometric K-homology theory of Baum and Douglas equivariant in the natural way. This reconciles the original and current formulations of the Baum-Connes conjecture for discrete groups.

研究动机与目标

• 解决长期存在的问题：即对于离散群，原始几何形式的 Baum-Connes 猜想是否与修订的 KK-理论形式一致。
• 建立从几何到 KK-理论等变 K-同调的自然装配映射 $\mu$ 在 $G$-有限、正则 $G$-CW 复形上为同构。
• 证明通过同调理论 $k^G_*$ 正确形式化的几何等变 K-同调理论，可恢复与 Kasparov 的 $KK^G_*$-理论相同的群。
• 表明 Lück 和 Oliver 定理保证的丰富等变向量丛的存在性，使得非等变 K-同调技术可被推广至等变设置。

提出的方法

• 引入一个新的同调理论 $k^G_*(X)$，其在 $G$-有限、正则 $G$-CW 复形 $X$ 上显然是 $\mathbb{Z}/2\mathbb{Z}$-分次同调理论，作为几何与 KK-理论 K-同调之间的桥梁。
• 构造一个包含 $k^G_*(X)$、$K^G_*(X)$ 和 $KK^G_*(C_0(X), \mathbb{C})$ 的交换图，其中 $\mu$ 为关键映射。
• 利用 Lück 和 Oliver 的结果：$C^*(X,G)$ 存在投影的近似单位，证明 $K^G_0(X) \cong K_0(C^*(X,G))$，从而推出 $X$ 上存在足够多的等变向量丛。
• 通过证明在同调理论 $k^G_*$ 层次上，映射 $k^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 是同构，从而证明该映射为同构。
• 应用向量丛修正与 $\operatorname{Spin}^c$-结构技术，确保循环在 bordism 和直和等几何关系下等价。
• 利用 $\underline{E}G$ 的普遍性质，将 $K^j(G)$ 与 $\underline{E}G$ 中 $G$-有限子复形上 $K^G_*(X)$ 的直极限联系起来，从而连接几何与解析表述。

实验结果

研究问题

• RQ1 对于 $G$-有限、正则 $G$-CW 复形 $X$，几何等变 K-同调群 $K^G_*(X)$ 是否与 Kasparov 的 $KK^G_*(C_0(X), \mathbb{C})$ 同构？
• RQ2 离散群情形下，原始几何形式的 Baum-Connes 猜想能否与修订的 KK-理论版本调和？
• RQ3 若 $X$ 上存在丰富等变向量丛（由 Lück 和 Oliver 的定理保证），是否可将非等变 K-同调技术推广至等变设置？
• RQ4 自然装配映射 $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 是否为同构？若是，其成立条件为何？

主要发现

• 对于任意 $G$-有限、正则 $G$-CW 复形 $X$，几何等变 K-同调群 $K^G_*(X)$ 同构于 Kasparov 的 $KK^G_*(C_0(X), \mathbb{C})$，从而证明了离散群情形下原始与修订版 Baum-Connes 猜想的等价性。
• 通过 Dirac 算子指标定义的映射 $\mu: K^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 是同构，建立了两种理论之间的典范同构。
• Lück 和 Oliver 证明的 $X$ 上存在丰富等变向量丛，等价于交叉积 $C^*(X,G)$ 拥有投影的近似单位，从而推出 $K^G_0(X) \cong K_0(C^*(X,G))$。
• 同调理论 $k^G_*(X)$ 是一个显然为 $\mathbb{Z}/2\mathbb{Z}$-分次的同调理论，其嵌入于包含 $K^G_*(X)$ 与 $KK^G_*(C_0(X), \mathbb{C})$ 的交换图中，且映射 $k^G_*(X) \to KK^G_*(C_0(X), \mathbb{C})$ 为同构。
• 每个在 $G$-紧致正则 $G$-流形上的复 $G$-向量丛，其光滑结构在同构意义下唯一，这是 $C^*$-代数结构 $C^*(X,G)$ 的推论。
• 该结果意味着修订版 Baum-Connes 装配映射同构于原始几何版本，从而确认了离散群情形下两种猜想表述的等价性。