[论文解读] Fredholm modules over certain group C*-algebras

Tom Hadfield|arXiv (Cornell University)|Jan 23, 2001

Advanced Operator Algebra Research参考文献 20被引用 3

一句话总结

本论文利用K-上同调与循环上同调，构建并分类了无限二面体群 ℤ ⋊σ ℤ₂ 与半直积 ℤ ⋊σ ℤ 的群C*-代数上的弗雷德霍姆模。它识别出K-上同调群的显式生成元，通过陈特征配对证明其非平凡性，并确立 KK⁰(B, ℂ) ≅ ℤ ⊕ ℤ₂ 与 KK¹(B, ℂ) ≅ ℤ，从而通过谱三元组提供了非交换几何的新例子。

ABSTRACT

Motivated by the search for new examples of "noncommutative manifolds", we study the noncommutative geometry of the group C*-algebras of various discrete groups. The examples we consier are the infinite dihedral group ${\bf Z} imes_σ {\bf Z}_2$ and the semidirect product ${\bf Z} imes_σ {\bf Z}$. We present a unified treatment of the K-homology and cyclic cohomology of these algebras.

研究动机与目标

• 将非交换几何的框架扩展至离散群的C*-代数，特别是无限二面体群与半直积群。
• 识别并分类这些代数的弗雷德霍姆模作为K-上同调群的生成元。
• 通过与K-理论生成元的陈特征配对，证明这些弗雷德霍姆模的非平凡性与线性无关性。
• 为从群C*-代数构造谱三元组与非交换几何结构奠定基础。

提出的方法

• 使用Pimsner-Voiculescu正合列计算与半直积 ℤ ⋊σ ℤ 相关的C*-代数B的K-理论与K-上同调。
• 应用统一系数定理与对偶性，从K-理论计算推导出K-上同调群。
• 显式构造弗雷德霍姆模，包括来自*-同态到 ℂ 的典范模，以及来自圆周K-上同调的边界映射。
• 运用同伦技术证明圆周上某些诱导弗雷德霍姆模的平凡性，从而证明其他模的非平凡性。
• 计算陈特征配对，以验证弗雷德霍姆模生成元的非挠性与线性无关性。
• 利用Burghelea关于群环循环上同调的结果，以及0-上循环的直接计算，分析周期性偶数循环上同调。

实验结果

研究问题

• RQ1 无限二面体群 ℤ ⋊σ ℤ₂ 与半直积 ℤ ⋊σ ℤ 的群C*-代数的K-上同调群是什么？
• RQ2 能否显式构造这些C*-代数上的弗雷德霍姆模？它们是否非平凡且线性无关？
• RQ3 与K-理论生成元的陈特征配对如何确认弗雷德霍姆模的非平凡性？
• RQ4 这些弗雷德霍姆模在多大程度上可被提升为具有完整非交换几何结构的谱三元组？
• RQ5 非忠实表示在生成低维非交换几何中起什么作用？

主要发现

• C*-代数B的K-理论为 K₀(B) ≅ ℤ，由 [1] 生成；K₁(B) ≅ ℤ ⊕ ℤ₂，由 [V] 与 [U] 生成，且满足 [U] + [U] = 0。
• K-上同调群 KK⁰(B, ℂ) 同构于 ℤ ⊕ ℤ₂，由典范弗雷德霍姆模 w₀ 与边界类 ∂₁(z₁) 生成，且满足 ∂₁(z₁) + ∂₁(z₁) = 0。
• K-上同调群 KK¹(B, ℂ) 同构于 ℤ，由弗雷德霍姆模 w₁ 生成，该模源于边界映射 ∂₀(z₀)。
• 陈特征配对满足 <ch*(w₀), [1]> = 1 与 <ch*(w₁), [V]> = 1，证实 w₀ 与 w₁ 为非平凡、非挠的生成元。
• 诱导弗雷德霍姆模 i*(∂₁(z₁)) 同伦于退化模，证明其在K-上同调中平凡，从而确认了K-上同调群的结构。
• 所构造的弗雷德霍姆模为非忠实表示，表明其对应于维数低于代数本身的非交换几何。