[论文解读] C*-Algebras over Topological Spaces: The Bootstrap Class

Ralf Meyer, Ryszard Nest|arXiv (Cornell University)|Dec 10, 2007

Advanced Operator Algebra Research参考文献 14被引用 50

一句话总结

本文引入并研究了有限拓扑空间上的C*-代数的bootstrap类，推广了KK-理论中的经典bootstrap类。研究证明，一个在有限空间上的核C*-代数属于bootstrap类，当且仅当其在每一点的纤维都属于经典bootstrap类，从而使得通过纯无限、稳定、核C*-代数的分类，能够实现KK(X;A,B)的Universal Coefficient Theorem。

ABSTRACT

We carefully define and study C*-algebras over topological spaces, possibly non-Hausdorff, and review some relevant results from point-set topology along the way. We explain the triangulated category structure on the bivariant Kasparov theory over a topological space. We introduce and describe an analogue of the bootstrap class for C*-algebras over a finite topological space.

研究动机与目标

• 为一般拓扑空间（包括非豪斯多夫和有限空间）上的C*-代数建立定义与研究，使用极小素理想空间和连续映射。
• 将双不变Kasparov理论推广至拓扑空间上的C*-代数，建立三角范畴结构。
• 在有限拓扑空间的背景下，定义X-等变bootstrap类，推广经典C*-代数的bootstrap类。
• 提供判断有限空间上C*-代数是否属于bootstrap类的标准，特别是针对核代数和纯无限代数。
• 为有限空间上的等变KK-理论中的Universal Coefficient Theorem奠定基础，支持分类计划。

提出的方法

• 将拓扑空间X上的C*-代数定义为一对(A, ψ)，其中A是C*-代数，ψ: Prim(A) → X是连续映射。
• 使用开集的格O(X)和O(Prim(A))来表征连续映射，尤其在妥当空间和亚历山德罗夫空间的背景下。
• 通过悬垂、锥体和扩张，在Kasparov范畴KK(X)上构造三角范畴结构。
• 将X-等变bootstrap类B(X)定义为由基本对象(C, x)（x ∈ X）生成的局部化子范畴。
• 建立B(X)中成员资格与X-等变KK(X)-等价于一个紧致、可分、核、纯无限、C*-稳定C*-代数（其纤维属于经典bootstrap类）之间的等价关系。
• 利用Kirchberg的分类结果，证明此类代表元在X-等变∗-同构意义下唯一。

实验结果

研究问题

• RQ1 对于拓扑空间X上的C*-代数，特别是当X为有限空间时，bootstrap类的正确推广是什么？
• RQ2 X上的bootstrap类与C*-代数的经典bootstrap类之间有何关系？
• RQ3 在什么条件下，有限拓扑空间上的C*-代数在KK(X)意义下等价于一个纯无限、稳定、核的C*-代数？
• RQ4 是否可以在有限拓扑空间上的C*-代数设定中建立Universal Coefficient Theorem？
• RQ5 X上C*-代数的纤维与其在bootstrap类中的成员资格有何关系？

主要发现

• 一个可分C*-代数(A, ψ)在有限拓扑空间X上属于bootstrap类B(X)，当且仅当其纤维Ax属于经典bootstrap类B。
• 一个在X上的核C*-代数属于B(X)，当且仅当其所有纤维Ax都与某个核C*-代数KK(X)-等价。
• B(X)中的任意对象都与一个紧致、可分、核、纯无限、C*-稳定C*-代数在KK(X)意义下等价，该代数定义在X上。
• 由于Kirchberg分类定理，此类代表元在X-等变∗-同构意义下唯一。
• 当且仅当B(X)中的每个对象都与某个C*-稳定、类型I的C*-代数在KK(X)意义下等价时，bootstrap类B(X)等价于KK(X)-范畴中的X上交换C*-代数。
• 对于有限X，预计KK(X;A,B)的Universal Coefficient Theorem在bootstrap类B(X)上成立，其应用包括通过滤化K-理论进行分类。