[论文解读] Contributions to the theory of C*-correspondences with applications to multivariable dynamics

Evgenios T. A. Kakariadis, Elias G. Katsoulis|arXiv (Cornell University)|Jan 7, 2011

Advanced Operator Algebra Research被引用 4

一句话总结

本文通过引入广义的“添加尾部”构造，推进了C*-对应理论，该构造扩展了Muhly与Tomforde的方法，使得非单射对应与单射对应之间的Cuntz-Pimsner代数实现莫里塔等价。作者将此方法应用于证明：张量代数的C*-包络是本质希尔伯特双模的Cuntz-Pimsner代数的一个全角，且在交换与非交换C*-代数的多变量动力系统中建立了莫里塔等价结果。

ABSTRACT

Motivated by the theory of tensor algebras and multivariable C*-dynamics, we revisit two fundamental techniques in the theory of C*-correspondences, the "addition of a tail" to a non-injective C*-correspondence and the dilation of an injective C*-correspondence to an essential Hilbert bimodule. We provide a very broad scheme for "adding a tail" to a non-injective C*-correspondence; our scheme includes the "tail" of Muhly and Tomforde as a special case. We illustrate the diversity and necessity of our tails with several examples from the theory of multivariable C*-dynamics. We also exhibit a transparent picture for the dilation of an injective C*-correspondence to an essential Hilbert bimodule. As an application of our constructs, we prove two results in the theory of multivariable dynamics that extend results of Davidson and Roydor and Peters. We also discuss the impact of our results on the description of the C*-envelope of a tensor algebra as the Cuntz-Pimsner algebra of the associated C*-correspondence.

研究动机与目标

• 将Muhly与Tomforde受限构造之外的非单射C*-对应中的“添加尾部”技术进行推广。
• 为单射C*-对应提供一种透明且灵活的扩张方法，使其嵌入到本质希尔伯特双模中。
• 将Davidson与Roydor关于Cuntz-Pimsner代数与半直积之间莫里塔等价的结果，推广至非交换C*-代数。
• 通过添加尾部，将张量代数的C*-包络表征为Cuntz-Pimsner代数的一个全角。
• 建立图论性质下，图C*-代数中投影为全角的条件。

提出的方法

• 引入一类广义的非单射C*-对应尾部，由相容的对应图参数化，推广了Muhly与Tomforde的唯一尾部构造。
• 构建原始非单射对应与添加尾部后的单射对应之Cuntz-Pimsner代数之间的莫里塔等价。
• 利用广义尾部构造，通过扩张将任意C*-对应嵌入到本质希尔伯特双模中。
• 将尾部构造应用于多变量动力系统，证明非单射系统的Cuntz-Pimsner代数与单射系统的Cuntz-Pimsner代数莫里塔等价。
• 基于路径的可及性与唯一性，建立图论表征：在图C*-代数$\mathcal{O}_\mathcal{G}$中，投影$L_{p_0}$为全角的条件。
• 证明张量代数的C*-包络$\mathrm{C}^*_e(\mathcal{T}_X^+)$同构于通过向$X$添加尾部得到的本质希尔伯特双模$Y$的Cuntz-Pimsner代数$\mathcal{O}_Y$的一个全角。

实验结果

研究问题

• RQ1 非单射C*-对应中的“添加尾部”构造能否在Muhly与Tomforde的唯一尾部之外，推广为更广泛的构造族？
• RQ2 在何种条件下，非单射C*-对应的Cuntz-Pimsner代数与单射对应之Cuntz-Pimsner代数实现莫里塔等价？
• RQ3 张量代数的C*-包络能否被实现为本质希尔伯特双模的Cuntz-Pimsner代数的一个全角？
• RQ4 何种图论条件可确保图C*-代数中投影$L_{p_0}$为全角？
• RQ5 Davidson与Roydor在交换情形下的莫里塔等价结果，能否推广至非交换情形？

主要发现

• 作者为任意非单射C*-对应构造了不可数个尾部，由相容的对应图参数化，推广了Muhly与Tomforde的构造。
• 非单射C*-对应的Cuntz-Pimsner代数与相应添加尾部后的单射对应之Cuntz-Pimsner代数之间实现强莫里塔等价。
• 张量代数的C*-包络$\mathrm{C}^*_e(\mathcal{T}_X^+)$同构于通过向$X$添加尾部得到的本质希尔伯特双模$Y$的Cuntz-Pimsner代数$\mathcal{O}_Y$的一个全角。
• 在多变量动力系统中，非单射系统在非交换C*-代数上的Cuntz-Pimsner代数与单射系统之Cuntz-Pimsner代数莫里塔等价，扩展了交换情形的结果。
• 对于无源的连通有向图$\mathcal{G}$，当且仅当$\mathcal{G}$关于$p_0$可及且恰好有一条无限路径终止于$p_0$时，$\mathbb{C}L_{p_0}$是$\mathcal{O}_\mathcal{G}$的一个全角。
• 尾部构造仅在特定条件下使结果C*-对应属于动力系统对应类，而广义尾部避免了Muhly-Tomforde尾部的局限性。