[论文解读] Three Ways to Representations of B^a(E)

Michael Skeide|arXiv (Cornell University)|Apr 30, 2004

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

一句话总结

本文提出了三种不同的方法，将希尔伯特 $\mathcal{B}$-模 $E$ 上的伴随算子代数 $\mathscr{B}^a(E)$ 的单位元、严格连续同态表示为希尔伯特 $\mathcal{C}$-模上的放大。最一般且最直接的证明利用了通过 $E \odot E^* \cong \mathscr{K}(E)$ 的张量积分解，证明了任意此类表示 $\vartheta$ 都酉等价于 $a \mapsto a \otimes \mathrm{id}_{F_\vartheta}$，其中 $F_\vartheta = E^* \odot F$。该结果将 $\mathscr{B}(H)$ 的经典表示理论推广至 $C^*$-代数与 $W^*$-代数上的希尔伯特模。

ABSTRACT

We describe three methods to determine the structure of (sufficiently continuous) representations of the algebra B^a(E) of all adjointable operators on a Hilbert B-module E by operators on a Hilbert C-module. While the last and latest proof is simple and direct and new even for normal representations of B(H) (H some Hilbert space), the other ones are direct generalizations of the representation theory of B(H) (based on Arveson's and on Bhat's approaches to product systems of Hilbert spaces) and depend on technical conditions (for instance, existence of a unit vector or restriction to von Neumann algebras and von Neumann modules). We explain why for certain problems the more specific information available in the older approaches is more useful for the solution of the problem.

研究动机与目标

• 将 $\mathscr{B}(H)$ 的经典表示理论推广至希尔伯特 $\mathcal{C}$-模上 $\mathscr{B}^a(E)$ 的表示。
• 为单位元、严格连续同态 $\vartheta: \mathscr{B}^a(E) \to \mathscr{B}^a(F)$ 的结构定理提供三种不同的证明。
• 阐明旧有方法（阿夫森、巴特）与基于张量积分解的新直接证明之间的相互关系及其相对优势。
• 建立典范同构 $F \cong E \odot F_\vartheta$，其中 $F_\vartheta = E^* \odot F$，并证明 $\vartheta(a) = a \otimes \mathrm{id}_{F_\vartheta}$。

提出的方法

• 主要方法利用典范同构 $E \odot E^* \cong \mathscr{K}(E)$，其中 $E^*$ 为对偶模，将 $F$ 分解为 $E \odot (E^* \odot F)$，并识别出 $F_\vartheta = E^* \odot F$。
• 表示 $\vartheta$ 被实现为放大：$\vartheta(a) = a \otimes \mathrm{id}_{F_\vartheta}$，并通过酉同构 $u: E \odot F_\vartheta \to F$ 实现酉等价。
• 阿夫森方法将 $\mathscr{B}(H)$ 上 $E_0$-半群的互换子空间构造推广至希尔伯特模，依赖于单位向量的存在性及 $C^*$-代数条件。
• 巴特方法将秩一算子方法推广，但需限制于冯诺依曼代数与 $W^*$-模。
• 对偶方法利用对偶性与对偶代数：$F_{\vartheta} \cong (E^* \odot F)^{\prime}$，并通过典范同构得到 $F \cong E \odot F_{\vartheta}$。
• 所有构造均得出相同结果：$\vartheta(a) = a \otimes \mathrm{id}_{F_\vartheta}$，其中 $F_\vartheta$ 在典范同构意义下唯一确定。

实验结果

研究问题

• RQ1 如何将 $\mathscr{B}(H)$ 的经典表示 $\mathrm{id} \otimes a$ 推广至希尔伯特 $\mathcal{C}$-模上 $\mathscr{B}^a(E)$ 的表示？
• RQ2 在希尔伯特模的背景下，阿夫森、巴特与基于张量积的方法在结构差异与相对优势方面有何不同？
• RQ3 在何种条件下，旧方法（阿夫森/巴特）仍比新直接方法更具优势？
• RQ4 张量积分解 $E \odot E^* \cong \mathscr{K}(E)$ 如何促成 $F_\vartheta$ 的构造及 $F \cong E \odot F_\vartheta$ 的识别？
• RQ5 莫里塔等价与对偶代数在刻画模 $F_\vartheta$ 的角色为何？

主要发现

• 表示 $\vartheta: \mathscr{B}^a(E) \to \mathscr{B}^a(F)$ 通过典范同构 $u: E \odot F_\vartheta \to F$ 与 $a \mapsto a \otimes \mathrm{id}_{F_\vartheta}$ 酉等价，其中 $F_\vartheta = E^* \odot F$。
• 新证明直接、通用，适用于 $C^*$-与 $W^*$-代数，甚至适用于 $\mathscr{B}(H)$ 的正规表示，在此背景下为新成果。
• 阿夫森与巴特方法推广了经典积系统构造，但需满足技术条件，如单位向量的存在性或对冯诺依曼代数的限制。
• 模 $F_\vartheta$ 在典范同构意义下唯一确定，且 $F \cong E \odot F_\vartheta$ 的识别是普遍且典范的。
• 该结果对 $C^*$-与 $W^*$-代数均成立，$W^*$-版本涉及对偶代数与正规同态。
• 该构造表明，$\vartheta$ 是同构当且仅当 $F_\vartheta$ 是莫里塔等价双模。