[论文解读] Morita Transforms of Tensor Algebras

Paul S. Muhly, Baruch Solel|arXiv (Cornell University)|Jul 20, 2010

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

一句话总结

本文证明了C*-对应对(E,M)与(F,N)之间的莫里塔等价，会诱导其各自的张量代数T₊(E)与T₊(F)上的希尔伯特模范畴之间的等距函子。该函子保持绝对连续性，并通过使用库恩兹等距族的稳定化，为波佩斯库的重构算子提供了新的解释。

ABSTRACT

We show that if $M$ and $N$ are $C^{*}$-algebras and if $E$ (resp. $F$) is a $C^{*}$-correspondence over $M$ (resp. $N$), then a Morita equivalence between $(E,M)$ and $(F,N)$ implements a isometric functor between the categories of Hilbert modules over the tensor algebras of $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$. We show that this functor maps absolutely continuous Hilbert modules to absolutely continuous Hilbert modules and provides a new interpretation of Popescu's reconstruction operator.

研究动机与目标

• 阐明当(C*-对应对(E,M)与(F,N))之间存在莫里塔等价时，张量代数T₊(E)与T₊(F)的表示理论之间的显式等距同构。
• 证明通过等价双模X进行张量积可实现一个函子，该函子保持希尔伯特模的关键结构特性，尤其是绝对连续性。
• 通过在莫里塔等价背景下使用库恩兹等距族进行稳定化，为波佩斯库的重构算子提供一种新的、具体的解释。
• 证明T₊(E)与T₊(F)的诱导表示理论通过根植于里埃菲尔诱导和交换子的构造，实现等距同构。
• 探讨在莫里塔等价背景下，C*-代数的不同稳定化形式（特别是(C^d, C)及其通过紧算子的稳定化）所起的作用。

提出的方法

• 通过满足X⊗ₙF ≅ E⊗ₘX作为C*-对应关系的C*-等价双模X，利用C*-对应对的莫里塔等价概念。
• 应用里埃菲尔的诱导表示理论，通过在E⊗σH与F⊗σH上的诱导作用，构造T₊(E)与T₊(F)上的希尔伯特模。
• 建立完全有界双模映射T:E→B(H)与有界交换子T̃:E⊗σH→H之间的双射对应，从而实现表示的显式实现。
• 通过与等价双模X进行张量积，构造希尔伯特模范畴之间的等距函子，证明其保持绝对连续模的结构。
• 利用ℓ²(ℕ)上的库恩兹等距族{Sᵢ}定义𝒦(ℓ²(ℕ))上的自同态α，从而识别出稳定化对应关系如C_d(𝒦) ≅ α𝒦。
• 将波佩斯库的重构算子重新解释为诱导交换子的伴随算子(T̃^X)* = ∑ᵢ Sᵢ ⊗ Tᵢ*，从而明确将其与莫里塔等价框架联系起来。

实验结果

研究问题

• RQ1 C*-对应对(E,M)与(F,N)之间的莫里塔等价，如何诱导出T₊(E)与T₊(F)上希尔伯特模范畴之间的等距同构？
• RQ2 等价双模X在实现此等距函子中起何种精确作用？它如何保持绝对连续性这一性质？
• RQ3 波佩斯库的重构算子能否被重新解释为莫里塔等价与稳定化在C*-对应背景下的自然结果？
• RQ4 C*-代数的不同稳定化形式（如𝒦(ℓ²(ℕ)}）如何与莫里塔等价相互作用，并影响张量代数的结构？
• RQ5 选择不同的库恩兹族{Sᵢ}在稳定化设置下，对最终的重构算子产生何种影响？

主要发现

• 通过C*-等价双模X实现的(E,M)与(F,N)之间的莫里塔等价，会诱导出T₊(E)与T₊(F)上希尔伯特模范畴之间的等距函子。
• 该函子将T₊(E)上的绝对连续希尔伯特模映射为T₊(F)上的绝对连续希尔伯特模，保持其结构与分析性质。
• T₊(F)在H上的诱导表示被实现为在E⊗σH上的诱导表示与交换子T̃的复合，其中X的作用提供了等距同构。
• 波佩斯库的重构算子被重新解释为诱导交换子的伴随算子(T̃^X)* = ∑ᵢ Sᵢ ⊗ Tᵢ*，其中{Sᵢ}是ℓ²(ℕ)上的库恩兹等距族。
• 通过等价双模C_∞(𝒦)对(C^d, C)进行稳定化，得到与α𝒦同构的对应关系，其中α是由∑ᵢ Sᵢ a Sᵢ*定义的自同态，表明α𝒦是C^d的有效稳定化形式。
• 该构造表明，重构算子对库恩兹族{Sᵢ}的选择具有内在依赖性，且可能具有重要意义，暗示在非交换函数论中存在更深层的结构影响。