[论文解读] Homology and K-theory of dynamical systems. I. torsion-free ample groupoids

Valerio Proietti, Makoto Yamashita|arXiv (Cornell University)|Jun 14, 2020

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

一句话总结

本文建立了一种谱序列，将具有整系数的群胚上同调与满足强 Baum–Connes 猜想的无 torsion 的丰富群胚的约化群胚 C*-代数的 K-理论联系起来。利用 Meyer 和 Nest 的三角范畴框架，作者通过伴随函子与单纯对象构造了显式的投射化解析，得到一个收敛的谱序列，该谱序列在低同调维数下退化，并解释了为何在同调群无 torsion 的情况下 HK 猜想成立。

ABSTRACT

Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.

研究动机与目标

• 在康托集上的动力系统背景下，系统地建立群胚上同调与约化群胚 C*-代数 K-理论之间的联系。
• 通过识别群胚上同调与 K-理论同构的条件，扩展 HK 猜想的框架，特别是在低维与无 torsion 的情形下。
• 利用三角范畴技术，为丰富群胚设定下的 Baum–Connes 猜想提供范畴与同调基础。
• 通过利用 Meyer–Nest 的投射化解析与补子范畴框架，将离散群 K-理论的结果推广到群胚设定。

提出的方法

• 使用 Meyer 和 Nest 开发的 Baum–Connes 猜想的三角范畴方法，将其应用于等变 KK-范畴中的限制与诱导函子，构造谱序列。
• 利用群胚与其单位空间的 KK-范畴之间的伴随函子，生成一个模型化群胚上同调标准 bar 复形的单纯对象。
• 在等变 KK-理论的三角范畴中定义一个具有足够多投射对象的同调理想与补子范畴，从而实现投射化解析的构造。
• 证明所得谱序列的 E² 页同构于 Hₚ(G, K_q(A))，并收敛于 K_{p+q}(G ⋉ A)，其中 A 是一个分离的 G-C*-代数。
• 证明当 A = C₀(X) 时，谱序列的 E² 页为 Hₚ(G, K_q(ℂ))，并收敛于 K_{p+q}(C*rG)，为 K-理论提供一个同调模型。
• 利用强 Baum–Connes 猜想确保谱序列的收敛性与稳定性，特别是在低同调维数的情形下。

实验结果

研究问题

• RQ1 在何种条件下，具有整系数的群胚上同调能确定约化群胚 C*-代数的 K-理论？
• RQ2 Meyer 和 Nest 的三角范畴框架如何被调整以在丰富群胚的背景下构造显式的投射化解析？
• RQ3 在何种情况下谱序列会退化，这与 HK 猜想的有效性有何关联？
• RQ4 稳定子的无 torsion 性在消除谱序列中扩张问题方面起什么作用？
• RQ5 群胚 C*-代数的 K-群如何与拓扑动力系统中的上同调不变量相关联，例如来自镶嵌空间或有限型子移位的空间？

主要发现

• 对于满足强 Baum–Connes 猜想且稳定子无 torsion 的丰富群胚 G，若 A 是任意分离的 G-C*-代数，则构造出一个谱序列，其 E² 页为 Hₚ(G, K_q(A))，并收敛于 K_{p+q}(G ⋉ A)。
• 当 A = C₀(X) 时，谱序列的 E² 页为 Hₚ(G, K_q(ℂ))，并收敛于 K_{p+q}(C*rG)，为约化群胚 C*-代数的 K-理论提供一个同调模型。
• 由于度数限制，谱序列在低同调维数下退化，从而简化了此类情形下 K-理论的计算。
• 群胚上同调中的高阶群通常无 torsion，消除了扩张问题，从而解释了为何 HK 猜想在低维情形下成立。
• 该构造在群胚具有低同调维数且同调无 torsion 的情形下，为 HK 猜想提供了范畴实现，为已知的正向情况提供了结构性解释。
• 通过伴随函子与单纯对象的使用，实现了三角 KK-范畴中显式的投射化解析，验证了 Meyer 和 Nest 理论框架在该几何背景下的适用性。