[论文解读] Unitary equivalences for essential extensions of $C^*$-algebras

Huaxin Lin|ArXiv.org|Mar 15, 2004

Advanced Operator Algebra Research参考文献 9被引用 5

一句话总结

本文建立了在C*-代数的正规扩展中区分强酉等价与酉等价的K-理论障碍。证明了$ K_0(B) $的商群与固定$ KK^1 $-类的全正规扩展的强酉等价类之间存在双射，表明当该群为零时，酉等价蕴含强酉等价。该结果将Brown-Douglas-Fillmore定理推广至非交换C*-代数，并阐明了K-理论在按强酉等价分类扩展中的作用。

ABSTRACT

Let $A$ be a unital separable \CA and $B=C\otimes {\cal K},$ where $C$ is a unital \CA. Let $τ: A o M(B)/B$ be a weakly unital full essential extensions of $A$ by $B.$ We show that there is a bijection between a quotient group of $K_0(B)$ onto the set of strong unitary equivalence classes of weakly unital full essential extensions $σ$ such that $[σ]=[τ]$ in $KK^1(A, B).$ Consequently, when this group is zero, unitarily equivalent full essential extensions are strongly unitarily equivalent. When $B$ is a non-unital but $σ$-unital simple \CA with continuous scale, we also study the problem when two approximately unitarily equivalent essential extensions are strongly approximately unitarily equivalent. A group is used to compute the strongly approximate unitary equivalence classes in the same approximate unitary equivalent class of essential

研究动机与目标

• 确定在非交换C*-代数中，正规扩展的酉等价何时蕴含强酉等价。
• 识别出在一般情况下阻止酉等价蕴含强酉等价的K-理论障碍。
• 利用K-理论和通用系数定理，将Brown-Douglas-Fillmore分类结果推广至非交换C*-代数之外。
• 阐明在正规扩展中，近似酉等价与强近似酉等价之间的关系。

提出的方法

• 利用通用系数定理和全正规扩展的分类结果，将$ KK^1 $-类与酉等价类联系起来。
• 在固定$ KK^1 $-类的全正规扩展的强酉等价类与$ K_0(B) $的商群之间构造双射。
• 应用$ M(B)/B $中$ K $-群与扩展的理论，特别是当$ B = C times ilde{K} $时，分析酉作用在扩展上的行为。
• 利用纯无限简单$ C^* $-代数和实秩零性质的结构，构造稳定等价类的酉算子。
• 分析$ M(B)/B $中酉算子序列，以区分强近似酉等价与近似酉等价。
• 将群$ H_1(K_0(A), K_1(M(B)/B)) $作为关键不变量，用于检测近似酉等价与强近似酉等价之间的差异。

实验结果

研究问题

• RQ1 在何种条件下，正规扩展的酉等价蕴含强酉等价？
• RQ2 在非交换C*-代数中，控制酉等价不能蕴含强酉等价的K-理论不变量是什么？
• RQ3 在C*-代数的正规扩展中，强近似酉等价与近似酉等价之间有何关系？
• RQ4 $ KK^1 $-类本身能否检测强酉等价，还是需要额外的K-理论数据？
• RQ5 $ H_1(K_0(A), K_1(M(B)/B)) $在分类强近似酉等价类中起什么作用？

主要发现

• 在固定$ KK^1 $-类$ [ au] $的全正规扩展的强酉等价类集合与商群$ K_0(B)/H_1(K_0(A), K_0(B)) $之间存在双射。
• 当$ K_0(B)/H_1(K_0(A), K_0(B)) = 0 $时，酉等价的全正规扩展也必然是强酉等价的。
• 群$ H_1(K_0(A), K_1(M(B)/B)) $可检测正规扩展中近似酉等价与强近似酉等价之间的差异。
• 当$ B = C times ilde{K} $时，具有固定$ KK^1 $-类的弱单位元全正规扩展的强近似酉等价类最多有$ |K_0(B)/H_1(K_0(A), K_0(B))| \cdot |\text{ext}_\mathbb{Z}(K_*(A), K_*(B))| $个。
• 即使弱单位元全正规扩展属于不同的$ KK^1 $-类，若$ K_0(B) = H_1(K_0(A), K_0(B)) $，它们仍可能是强近似酉等价的。
• $ K_1(M(B)/B)/H_1(K_0(A), K_1(M(B)/B)) $在一般情况下不为平凡群，其非平凡性意味着近似酉等价不蕴含强近似酉等价。