[论文解读] Nondegenerate Representations of Continuous Product Systems

Michael Skeide|arXiv (Cornell University)|Jul 15, 2006

Advanced Operator Algebra Research参考文献 21被引用 6

一句话总结

本文证明了每个C*-代数上的连续、忠实的乘积系统都存在一个连续、忠实、非退化的希尔伯特模上的表示。关键贡献是通过乘积系统的右扩张构造性地证明了该结果，将阿夫松（Arveson）在希尔伯特空间上的结果推广到更一般的希尔伯特模设定，并将此结果应用于证明（半-）忠实的CP-半群存在初等扩张。

ABSTRACT

We show that every (continuous) faithful product system admits a (continuous) faithful nondegenerate representation. For Hilbert spaces this is equivalent to Arveson's result that every Arveson system comes from an E_0-semigroup. We point out that for Hilbert modules this is not so. As applications we show a C*-algebra version of a result for von Neumann algebras due to Arveson and Kishimoto, and a result about existence of elementary dilations for (semi-)faithful CP-semigroups.

研究动机与目标

• 将阿夫松关于阿夫松系统（即冯诺依曼代数上的连续乘积系统）表示结果推广到C*-代数上的希尔伯特模设定。
• 建立连续、忠实、非退化表示在连续、忠实的希尔伯特C*-模乘积系统上的存在性。
• 将表示结果应用于证明在单位C*-代数上（半-）忠实的CP-半群存在初等扩张。
• 阐明乘积系统、右扩张与表示之间的关系，特别是在连续截面和强连续性背景下的关系。

提出的方法

• 通过一族双线性酉算子 w_t: E_t ⊙ H → H，将一个连续、忠实的乘积系统构造性地右扩张到希尔伯特模 H。
• 利用右扩张定义表示 η^w_t: E_t → B(H)，其中 η^w_t(x_t)h = w_t(x_t ⊙ h)，确保非退化性和忠实性。
• 应用定理2.9（连续、忠实乘积系统存在连续右扩张）以确保当乘积系统为强连续时，所得表示也具有强连续性。
• 利用CP-半群与带单位元的乘积系统之间的对应关系（通过Bhat-Skeide构造），将表示结果与扩张理论联系起来。
• 利用表示 η^w 定义一个半群 c_t = η^w_t(ξ_t)，其中 ξ^• 为单位元，从而得到CP-半群 T_t(b) = ⟨ξ_t, bξ_t⟩ 的初等扩张。
• 应用 Ske09c 中关于连续左扩张的结果，将框架扩展至σ-单位C*-代数和具有B副本的一般希尔伯特模。

实验结果

研究问题

• RQ1 每个单位C*-代数上的连续、忠实的希尔伯特C*-模乘积系统是否都存在连续、忠实、非退化的表示？
• RQ2 此类表示的存在性是否可用于构造（半-）忠实CP-半群的初等扩张？
• RQ3 与阿夫松系统（即希尔伯特空间情形）相比，希尔伯特模设定下乘积系统的表示理论有何不同？
• RQ4 在何种条件下，连续乘积系统可右扩张至希尔伯特模？

主要发现

• 每个单位C*-代数上的连续、忠实乘积系统都存在一个连续、忠实、非退化的希尔伯特模表示。
• 此类表示的存在性等价于乘积系统向希尔伯特模的连续右扩张的存在性。
• 对于每个（半-）忠实、强连续的CP-半群，其在单位C*-代数上存在一个连续初等扩张至某个希尔伯特空间H的B(H)。
• 该表示的构造依赖于连续右扩张的存在性，当乘积系统连续且代数σ-单位或模为可数生成时，该存在性得以保证。
• 该结果推广了阿夫松关于E_0-半群的定理至希尔伯特模设定，表明在此背景下乘积系统的表示理论更为丰富。
• 通过酉扩张的证明技术以及Bhat-Skeide构造CP-半群与乘积系统之间关系的方法，为非交换动力系统中的扩张理论提供了统一框架。