[论文解读] Unitary orbits of self-adjoint operators in simple Z-stable C*-algebras

Bhishan Jacelon, Karen R. Strung+1 more|arXiv (Cornell University)|Feb 18, 2015

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

一句话总结

该论文证明，在简单、单位元存在、正规、Z-稳定的稳定秩为一的C*-代数中，具有连通谱的自伴元的酉轨道距离完全由谱数据决定，具体通过Lévy–Prokhorov距离实现。关键结果为等式 $ d_U(a,b) = d_P(a,b) = d_W(a,b) $，其中 $ d_U $ 为酉轨道距离，$ d_P $ 为谱测度距离，$ d_W $ 为Cuntz等价伪度量。

ABSTRACT

We prove that in a simple, unital, exact, Z-stable C*-algebra of stable rank one, the distance between the unitary orbits of self-adjoint elements with connected spectrum is completely determined by spectral data. This fails without the assumption of Z-stability.

研究动机与目标

• 通过谱数据确定C*-代数中两个自伴元何时近似酉等价。
• 研究在正规C*-代数中，酉轨道距离 $ d_U $ 是否能完全由谱测度计算得出。
• 在Z-稳定性和稳定秩为一的条件下，建立三种伪度量 $ d_U $、$ d_P $（Lévy–Prokhorov）和 $ d_W $（Cuntz子等价）之间的等价性。
• 阐明Z-稳定性与连通谱对于此类谱刻画的必要性。
• 将有限维矩阵和半有限因子中的已知结果推广至无限维、简单、Z-稳定的C*-代数。

提出的方法

• 使用Cuntz半群框架，通过正元素的Cuntz子等价性来定义伪度量 $ d_W $。
• 在稳定有限、简单、Z-稳定的C*-代数中，若谱连通，则利用严格比较和迹条件证明 $ d_W(a,b) = d_P(a,b) $。
• 通过分类理论将矩阵代数中的等式提升至简单、Z-稳定、稳定秩为一的C*-代数类，从而证明 $ d_U(a,b) = d_W(a,b) $。
• 将 $ d_P(a,b) $ 定义为满足所有迹 $ \tau \in T(A) $ 下，对所有开集的谱测度不等式成立的最小 $ r > 0 $。
• 应用分类结果与稳定性性质，将等式 $ d_U = d_P = d_W $ 从有限代数推广至整个简单、单位元存在、Z-稳定、精确、稳定有限的C*-代数类。
• 利用函数演算与谱投影，将 $ d_P $ 与谱上连续函数的特征值分布及迹联系起来。

实验结果

研究问题

• RQ1 在简单、Z-稳定的C*-代数中，自伴元之间的酉轨道距离 $ d_U(a,b) $ 是否能完全由谱数据决定？
• RQ2 在稳定有限、Z-稳定的C*-代数中，对于具有连通谱的自伴元，等式 $ d_U = d_P $ 是否成立？
• RQ3 Z-稳定性对于谱决定 $ d_U $ 是否必要？在非Z-稳定的代数中该结论是否失效？
• RQ4 等式 $ d_U = d_P = d_W $ 在何种程度上可推广至正规算子或更一般的紧谱？
• RQ5 该结果能否推广至从有限维C*-代数或其他定义域出发的零阶映射？

主要发现

• 在简单、单位元存在、精确、Z-稳定的稳定秩为一的C*-代数中，具有连通谱的自伴元的酉轨道距离 $ d_U(a,b) $ 完全由谱数据决定。
• 在该类代数中，对于满足 $ \sigma(a) = \sigma(b) = [0,1] $ 的正收缩元 $ a,b $，有等式 $ d_U(a,b) = d_P(a,b) = d_W(a,b) $ 成立。
• 若无Z-稳定性，该结果不成立：在非Z-稳定的AH代数中，存在非近似酉等价的正收缩元 $ a,b $，满足 $ d_P(a,b) = 0 $ 但 $ d_U(a,b) > 0 $。
• 等式 $ d_W(a,b) = d_P(a,b) $ 依赖于严格比较与Cuntz等价投影的缺失，而这一性质在Z-稳定条件下成立。
• 连通谱的假设是必要的；在单迹AF代数中存在反例，其中迹相等的投影并非酉等价。
• 该结果可推广至更广泛的纯C*-代数类（稳定秩为一），而不仅限于Z-稳定代数，原因在于Cuntz半群中共享的结构特性。