[论文解读] Adding tails to C*-correspondences

Paul S. Muhly, Mark Tomforde|ArXiv.org|Dec 19, 2002

Advanced Operator Algebra Research参考文献 16被引用 55

一句话总结

本文提出了一种向C*-对应关系'添加尾部'的方法，将一般的C*-对应关系转化为左作用为单射的对应关系，从而将结果（尤其是规范不变唯一性定理）从增强的Cuntz-Pimsner代数扩展到与C*-对应关系相关的一般C*-代数。关键贡献在于原始代数与添加尾部后的代数的全角落之间存在一个典范同构，该同构保持了规范不变结构。

ABSTRACT

We describe a method of adding tails to C*-correspondences which generalizes the process used in the study of graph C*-algebras. We show how this technique can be used to extend results for augmented Cuntz-Pimsner algebras to C*-algebras associated to general C*-correspondences, and as an application we prove a gauge-invariant uniqueness theorem for these algebras. We also define a notion of relative graph C*-algebras and show that properties of these C*-algebras can provide insight and motivation for results about relative Cuntz-Pimsner algebras.

研究动机与目标

• 将增强型Cuntz-Pimsner代数（左作用为单射）的结果扩展到与C*-对应关系相关的一般C*-代数。
• 解决标准Cuntz-Pimsner构造无法捕捉含汇点的图C*-代数的局限性。
• 通过尾部扩展过程，系统性地将关于一般C*-代数的问题简化为关于增强型代数的问题。
• 利用添加尾部的技术，为与一般C*-对应关系相关的C*-代数建立规范不变唯一性定理。

提出的方法

• 通过在每个汇点处添加尾部，从给定的X构造一个新的C*-对应关系Y，确保Y上的左作用是单射的。
• 在O_Y的乘子代数中定义一个投影p，使得O_X同构于全角落pO_Yp。
• 使用Rieffel对应关系将O_X中的理想与O_Y中的理想联系起来，同时保持规范不变性。
• 利用O_X ≅ pO_Yp这一事实以及p的规范不变性，将O_Y的性质传递到O_X。
• 应用O_Y的规范不变唯一性定理（已在增强型代数中建立）通过角落同构推导出O_X的该定理。
• 证明O_X的理想格通过映射I ↦ pIp与O_Y中的规范不变理想一一对应，保持包含关系与结构。

实验结果

研究问题

• RQ1 能否将关于增强型Cuntz-Pimsner代数（左作用为单射）的结果扩展到与C*-对应关系相关的一般C*-代数？
• RQ2 如何修正Cuntz-Pimsner代数构造以处理非单射左作用的情况，从而恢复含汇点的图C*-代数？
• RQ3 是否存在一种典范方法，通过修改对应关系将一般C*-代数O_X嵌入为增强型C*-代数O_Y的全角落？
• RQ4 规范不变唯一性定理是否对与C*-对应关系相关的一般C*-代数成立，而不仅限于增强型代数？
• RQ5 能否通过添加尾部将O_X的理想结构分析简化为对增强型O_Y的理想结构分析？

主要发现

• 与一般C*-对应关系X相关的C*-代数O_X，通过添加尾部的对应关系Y所生成的C*-代数O_Y，典范同构于全角落pO_Yp。
• 添加尾部的过程确保了Y上的左作用为单射，使得O_Y成为增强型Cuntz-Pimsner代数。
• 通过角落同构，O_Y的规范不变唯一性定理可推广至O_X，从而在一般C*-代数中确立该定理。
• 将A中的理想I映射到O_X中的理想I(O_X)的映射，是A中X-不变且X-饱和的理想与O_X中规范不变理想之间的格同构。
• O_Y与O_X之间通过Rieffel对应关系保持了规范不变性，因为投影p是规范不变的。
• 该构造使得许多关于O_X的结构性问题可简化为关于更易处理的O_Y的等价问题，尤其适用于在Morita等价下保持的性质。