[论文解读] CP-Semigroups and Dilations, Subproduct Systems and Superproduct Systems: The Multi-Parameter Case and Beyond

Orr Moshe Shalit, Michael Skeide|arXiv (Cornell University)|Mar 11, 2020

semigroups and automata theory被引用 4

一句话总结

本文通过使用 Paschke 的 GNS 构造，将 CP-半群扩张理论从单参数推广到多参数及一般么半群设定。它证明了：一个关于 Ore 么半群的马尔可夫半群存在全（严格或正规）扩张，当且仅当其 GNS-子乘积系统可嵌入于一个乘积系统中；同时引入了超乘积系统作为扩张的不变量，并提供了大量反例，以凸显多参数情形下推广的局限性。

ABSTRACT

These notes are the output of a decade of research on how the results about dilations of one-parameter CP-semigroups with the help of product systems, can be put forward to d-parameter semigroups - and beyond. While exisiting work on the two- and d-parameter case is based on the approach via the Arveson-Stinespring correspondence of a CP-map by Muhly and Solel (and limited to von Neumann algebras), here we explore consequently the approach via Paschke's GNS-correspondence of a CP-map by Bhat and Skeide. (A comparison is postponed to Appendix A(iv).) The generalizations are multi-fold, the difficulties often enormous. In fact, our only true if-and-only-if theorem, is the following: A Markov semigroup over (the opposite of) an Ore monoid admits a full (strict or normal) dilation if and only if its GNS-subproduct system embeds into a product system. Already earlier, it has been observed that the GNS- (respectively, the Arveson-Stinespring) correspondences form a subproduct system, and that the main difficulty is to embed that into a product system. Here we add, that every dilation comes along with a superproduct system (a product system if the dilation is full). The latter may or may not contain the GNS-subproduct system; it does, if the dilation is strong - but not only. Apart from the many positive results pushing forward the theory to large extent, we provide plenty of counter examples for almost every desirable statement we could not prove. Still, a small number of open problems remains. The most prominent: Does there exist a CP-semigroup that admits a dilation, but no strong dilation? Another one: Does there exist a Markov semigroup that admits a (necessarily strong) dilation, but no full dilation?

研究动机与目标

• 将基于乘积系统的单参数 CP-半群扩张理论，推广至 d-参数及一般么半群索引的半群。
• 通过证明 GNS-子乘积系统嵌入于乘积系统，建立关于 Ore 么半群上马尔可夫半群的全扩张的刻画。
• 引入并分析作为扩张不变量的超乘积系统，将其与子乘积系统区分开来，并阐明其在扩张理论中的作用。
• 识别并提供多个自然推广在多参数设定下失效的反例，从而明确理论的边界。
• 探讨单位化在连接非马尔可夫与马尔可夫情形中的作用，特别是在极小性与强扩张的语境下。

提出的方法

• 使用 Paschke 的 GNS 构造，为半群中的每个 CP-映射关联一个对应关系和一个循环向量，从而从 GNS 数据构造子乘积系统。
• 定义并分析作为扩张相关联的乘积系统，表明其可能严格包含 GNS-子乘积系统。
• 应用么半群上乘积系统的理论，包括单位元与张量积结构，以分析扩张的代数与拓扑性质。
• 引入单位化作为技术手段，将非马尔可夫 CP-半群与马尔可夫情形联系起来，从而实现从马尔可夫情形到一般情形的结果转移。
• 利用反例证明许多自然蕴含关系的失效，例如子乘积系统无法嵌入于超乘积系统中。
• 运用冯诺依曼模理论与对应关系，将结果扩展至冯诺依曼代数设定，尤其适用于正规与全扩张。

实验结果

研究问题

• RQ1 每个存在扩张的 CP-半群是否也存在强扩张？
• RQ2 每个存在（必然为强）扩张的马尔可夫半群是否也存在全扩张？
• RQ3 是否存在一个强扩张，其并非代数极小，但其单位化是代数极小的？
• RQ4 C*-对应关系的张量积是否具有交集性质，以确保子乘积系统的交集仍为子乘积系统？
• RQ5 是否存在一个非平凡的子乘积系统，其无法嵌入于任何超乘积系统中？

主要发现

• 一个关于 Ore 么半群的马尔可夫半群存在全（严格或正规）扩张，当且仅当其 GNS-子乘积系统可嵌入于一个乘积系统中。
• 每个 CP-半群的扩张都关联一个超乘积系统，且该超乘积系统包含 GNS-子乘积系统当且仅当该扩张是强扩张。
• 扩张的单位化保持了关键性质：全性、严格性与强可压缩性，且其单位化后的超乘积系统与原扩张的结构特征一致。
• 存在 GNS-子乘积系统非伴随可识别的 CP-半群，表明该理论无法完全简化为标准希尔伯特模技术。
• 反例表明，许多自然推广（如全扩张蕴含强扩张，或子乘积系统交集仍为子乘积系统）在多参数设定下不成立。
• 单位化理论使得结果可从马尔可夫情形转移到非马尔可夫情形，即使单位化后的 C*-代数与原代数不构同构。