[论文解读] The noncommutative geometry of the discrete Heisenberg group

Tom Hadfield|ArXiv.org|Jan 10, 2002

Advanced Operator Algebra Research参考文献 6被引用 7

一句话总结

本文利用 K-上同调、循环上同调和导子，研究了离散海森堡群的 C*-代数的非交换几何。计算得出 K-上同调群为 $\mathbb{Z}^3$，给出了生成的弗雷德霍姆模，并确定了群环的循环上同调在度数 0–2 时为 $\Pi_{\mathbb{Z}} \mathbb{C}$，在 $n \geq 3$ 时为 $\mathbb{C}^3$，完整揭示了这一非交换流形例子的上同调结构。

ABSTRACT

Motivated by the search for new examples of ``noncommutative manifolds'', we study the noncommutative geometry (in the sense of Connes) of the group C*-algebra of the three dimensional discrete Heisenberg group. We present a unified treatment of the K-homology, cyclic cohomology and derivations of this algebra.

研究动机与目标

• 为离散海森堡群 $H_3$ 的群 C*-代数的 K-上同调、循环上同调和导子发展统一的处理方法。
• 计算 $C^*(H_3)$ 的 K-上同调群，并给出生成的弗雷德霍姆模。
• 利用 Burghelea 定理和谱序列，确定群环 $\mathbb{C}H_3$ 的循环上同调。
• 分析这些不变量在 Pimsner-Voiculescu 六项正合序列下的行为。
• 将结果推广至 $C^*(H_3)$ 的光滑子代数 $A^\infty \subset C^*(H_3)$，通过 Nest 的光滑交叉积理论计算其循环上同调。

提出的方法

• 使用 Pimsner-Voiculescu 六项正合序列计算交叉积 $C^*(H_3) \cong C(\mathbb{T}^2) \times_\alpha \mathbb{Z}$ 的 K-理论和 K-上同调。
• 应用 Hochschild-Serre 谱序列计算群上同调 $H^n(H_3; \mathbb{C})$，该计算构成了循环上同调计算的基础。
• 利用 Burghelea 定理通过分析群元素的共轭类和正规化子，计算 $\mathbb{C}H_3$ 的循环上同调。
• 利用 $H_3$ 作为中心扩张 $0 \to \mathbb{Z} \to H_3 \to \mathbb{Z}^2 \to 0$ 的结构，分解上同调不变量。
• 应用 Nest 关于光滑交叉积的结果，计算 $C^*(H_3)$ 的稠密 $*$-子代数 $A^\infty$ 的循环上同调。
• 分析 $\mathbb{C}H_3$ 和 $A^\infty$ 上的导子，以理解非交换空间上的微分结构。

实验结果

研究问题

• RQ1 群 C*-代数 $C^*(H_3)$ 的 K-上同调结构是什么？其生成的弗雷德霍姆模如何显式给出？
• RQ2 $\mathbb{C}H_3$ 的循环上同调如何分解？其与群的共轭类和正规化子有何关系？
• RQ3 光滑子代数 $A^\infty \subset C^*(H_3)$ 的循环上同调是什么？其与群环上同调相比如何？
• RQ4 $C^*(H_3)$ 的 K-理论和 K-上同调群在 Pimsner-Voiculescu 六项正合序列下的行为如何？
• RQ5 中心扩张 $0 \to \mathbb{Z} \to H_3 \to \mathbb{Z}^2 \to 0$ 在确定 $H_3$ 的上同调不变量中的作用是什么？

主要发现

• K-上同调群 $KK^i(C^*(H_3), \mathbb{C})$ 在 $i = 0,1$ 时同构于 $\mathbb{Z}^3$，其显式生成元由 $C^*(H_3)$ 上矩阵代数中的投影和酉算子给出。
• $\mathbb{C}H_3$ 的循环上同调在度数 $n = 0,1,2$ 时为 $\Pi_{\mathbb{Z}} \mathbb{C}$，在 $n \geq 3$ 时为 $\mathbb{C}^3$，通过 Hochschild-Serre 谱序列和共轭类分析计算得出。
• $\mathbb{C}H_3$ 的周期循环上同调在偶数和奇数度数上均同构于 $\mathbb{C}^3$，表明其具有有限维的非交换 de Rham 上同调。
• $A^\infty$ 的循环上同调在所有 $n \geq 2$ 时为 $\mathbb{C}^3$，与群环在高阶度数的上同调一致。
• $H^n(H_3; \mathbb{C})$ 的群上同调在度数 0 时为 $\mathbb{C}$，在度数 1 和 2 时为 $\mathbb{C}^2$，在度数 3 时为 $\mathbb{C}$，在 $n > 3$ 时为 0，通过具有平凡作用的 Hochschild-Serre 谱序列计算得出。
• Pimsner-Voiculescu 序列中 K-理论的边界映射被显式计算：$\delta_0[P_a] = 0$，$\delta_0[P_b] = [W]$，$\delta_1[V] = [1]$，确认了六项正合序列的结构。