[论文解读] Tensor algebras of C*-correspondences and their C*-envelopes

Elias G. Katsoulis, David W. Kribs|ArXiv.org|Jun 8, 2005

Advanced Operator Algebra Research参考文献 8被引用 7

一句话总结

本论文证明了任意C*-对应关系的张量代数的C*-包络与Katsura所定义的Cuntz-Pimsner代数一致。证明使用了gauge-不变唯一性定理以及对C*-对应关系添加尾部的技术，将先前仅在忠实性和严格性假设下成立的结果推广到一般情形，无需这些限制条件。

ABSTRACT

We show that the $\ca$-envelope of the tensor algebra of an arbitrary $\ca$-correspondence $\X$ coincides with the Cuntz-Pimsner algebra $Ø_{\X}$, as defined by Katsura \cite{Ka}. This improves earlier results of Muhly and Solel and Fowler, Muhly and Raeburn, who came to the same conclusion under the additional hypothesis that $\X$ is strict and faithful.

研究动机与目标

• 解决Fowler、Muhly与Raeburn提出的一个开放问题：即在C*-包络为Cuntz-Pimsner代数时，忠实性和严格性是否为必要条件。
• 将此前仅对忠实且严格C*-对应关系成立的结果推广至适用于所有C*-对应关系的一般性刻画。
• 提供一个自包含的证明，避免依赖Muhly与Solel的早期结果，转而采用对C*-对应关系添加尾部的方法。
• 纠正[5]中定理5.3的证明中的一个漏洞：该处关于约化单位的断言被证明依赖于左作用的非退化性。
• 建立一个通用框架，证明无论对应关系具有何种性质，其张量代数的C*-包络始终为Cuntz-Pimsner代数。

提出的方法

• 利用Cuntz-Pimsner代数的gauge-不变唯一性定理，分析C*-包络中的理想。
• 应用Muhly与Tomforde推广的对C*-对应关系添加尾部的技术，将问题约化至单态情形。
• 分析Cuntz-Pimsner代数中张量代数的Shilov边界理想，通过gauge-不变性与与系数代数的非零交集，证明其必为平凡理想。
• 通过在必要时对Cuntz-Pimsner代数进行单位化，同时保持Shilov理想gauge-不变性，分别考虑单态与非单态情形。
• 利用C*-对应关系的普遍协变表示，将Cuntz-Pimsner代数构造为张量代数的C*-包络。
• 利用Cuntz-Pimsner代数中任意非零gauge-不变理想必与系数代数的像相交的性质，推导出Shilov理想必为零。

实验结果

研究问题

• RQ1 在不假设忠实性或严格性的情况下，C*-对应关系的张量代数的C*-包络是否始终等于其Cuntz-Pimsner代数？
• RQ2 C*-包络结果的证明能否推广至忠实且严格C*-对应关系之外的类别？
• RQ3 gauge-不变唯一性定理是否足以识别C*-包络，而无需依赖Muhly与Solel的早期结果？
• RQ4 若左作用非非退化，[5, 定理5.3]中关于张量代数中约化单位的断言是否仍然成立？
• RQ5 能否使用对C*-对应关系添加尾部的方法，将一般情形约化至单态情形？

主要发现

• 任意C*-对应关系的张量代数的C*-包络同构于该对应关系所关联的Cuntz-Pimsner代数。
• 该结果无需要求C*-对应关系为忠实或严格，从而推广了此前施加这些限制条件的结果。
• 证明表明，Cuntz-Pimsner代数中张量代数的Shilov边界理想为平凡理想，意味着C*-包络即为整个Cuntz-Pimsner代数。
• [5, 定理5.3]中关于约化单位行为的证明漏洞已通过证明：无论左作用是否非退化，结果依然成立而得以纠正。
• 在必要时对Cuntz-Pimsner代数进行单位化，可保持Shilov理想的gauge-不变性，从而确保C*-包络仍为Cuntz-Pimsner代数。
• 作为推论，有向图的张量代数的C*-包络即为该图的普遍Cuntz-Krieger代数，以新方法重新证明了[9]中的结果。