[论文解读] Cuntz semigroups of ideals and quotients and a generalized Kasparov Stabilization Theorem

Alin Ciuperca, Leonel Robert+1 more|ArXiv.org|Oct 31, 2007

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

一句话总结

本文通过C*-代数及其理想上的Cuntz半群框架，建立了一个广义的Kasparov稳定化定理。通过分析希尔伯特C*-模和Cuntz等价性，证明了：若两个C*-代数上的模在与 $ l_2(I) $ 稳定化后同构，当且仅当它们模 $ I $ 的商模同构，从而将Kasparov原始结果推广至非单情形，并证明了在理想上Cuntz半群函子的正合性。

ABSTRACT

Let A be a C*-algebra and I a closed two-sided ideal of A. We use the Hilbert C*-modules picture of the Cuntz semigroup to investigate the relations between the Cuntz semigroups of I, A and A/I. We obtain a relation on two elements of the Cuntz semigroup of A that characterizes when they are equal in the Cuntz semigroup of A/I. As a corollary, we show that the Cuntz semigroup functor is exact. Replacing the Cuntz equivalence relation of Hilbert modules by their isomorphism, we obtain a generalization of Kasparov's Stabilization theorem.

研究动机与目标

• 理解C*-代数 $ A $、其理想 $ I $ 与商 $ A/I $ 的Cuntz半群之间的关系。
• 通过涉及 $ [M]I $ 与 $ [N]I $ 的关系，刻画 $ Cu_s(A) $ 中两个元素在 $ Cu_s(A/I) $ 中相等的精确条件。
• 通过将Cuntz等价替换为希尔伯特模的同构，推广Kasparov的稳定化定理。
• 在 $ I $ 具有 $ \sigma $-酉性假设下，证明Cuntz半群函子对 $ \pi: A \to A/I $ 是正合的。
• 将结果推广至具有紧致群作用的等变情形，证明一个等变稳定化定理。

提出的方法

• 使用Cuntz半群的希尔伯特C*-模表示，其中元素由可数生成模的同构类表示。
• 定义 $ [M]I := [MI] $，即模 $ M $ 在理想 $ I $ 下的像，以关联 $ Cu_s(A) $ 与 $ Cu_s(I) $。
• 建立一个关键不等式：$ Cu_s(\pi)([M]) \leq Cu_s(\pi)([N]) $ 当且仅当 $ [M] + [N]I \leq [N] + [M]I $，用于刻画商中的等式。
• 应用Kasparov的稳定化定理，证明 $ Cu_s(\pi) $ 限制在 $ Cu_s(A) + [l_2(I)] $ 上，是到 $ Cu_s(A/I) $ 的同构。
• 改编Mingo-Phillips证明Kasparov定理的策略，通过在紧致群上取平均，构造等变提升。
• 通过群平均构造等变算子并利用余稠密逼近，证明一个新的等变稳定化定理。

实验结果

研究问题

• RQ1 在C*-代数 $ A $ 上的两个希尔伯特C*-模何时在模 $ \sigma $-酉理想 $ I $ 后具有同构的商模？
• RQ2 在Cuntz半群中，两个 $ Cu_s(A) $ 的元素在映射到 $ Cu_s(A/I) $ 时相等的精确条件是什么？
• RQ3 Kasparov的稳定化定理能否超越稳定秩一情形，推广至任意C*-代数与理想？
• RQ4 Cuntz半群函子对C*-代数的短正合序列是否正合？
• RQ5 稳定化结果能否推广至具有紧致群作用的等变情形？

主要发现

• 两个元素 $ [M], [N] \in Cu_s(A) $ 满足 $ Cu_s(\pi)([M]) = Cu_s(\pi)([N]) $ 当且仅当 $ [M] + [N]I = [N] + [M]I $，从而在商中给出了完整的刻画。
• Cuntz半群函子是正合的：序列 $ 0 \to Cu_s(I) \to Cu_s(A) \to Cu_s(A/I) \to 0 $ 作为有序半群序列是正合的。
• $ Cu_s(\pi) $ 限制在 $ Cu_s(A) + [l_2(I)] $ 上是到 $ Cu_s(A/I) $ 的同构，从而推广了Kasparov的稳定化定理。
• 若 $ M/MI \cong N/NI $ 作为 $ A/I $-模，则存在一个同构 $ \Phi: M \oplus l_2(I) \to N \oplus l_2(I) $，其诱导出商映射。
• 在紧致群 $ G $ 的等变情形下，若 $ \phi: M/MI \to N/NI $ 是等变同构，则存在一个等变同构 $ \Phi: M \oplus L_2(G, l_2(I)) \to N \oplus L_2(G, l_2(I)) $，其提升 $ \phi $。
• 该构造依赖于对 $ G $ 的平均以生成等变算子，并使用了 $ G $-连续版本的 $ G $-模的稳定化定理。