[论文解读] $E_{0}^{P}$-semigroups and product systems

S. P. Murugan, S. Sundar|arXiv (Cornell University)|Jun 13, 2017

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

一句话总结

本文将阿夫森森关于 $E_0$-半群的理论推广至以 pointed, spanning 凸锥 $P \subset \mathbb{R}^n$ 索引的 $E_0^P$-半群。它证明了与之关联的乘积系统在协变共轭意义下完全分类了 $E_0^P$-半群，方法是利用拉普拉斯变换和对偶锥实现从可测性到连续性的正则性，从而将阿夫森森的分类框架推广至更广泛的半群结构。

ABSTRACT

Let $P$ be a closed convex cone in $\mathbb{R}^{n}$. Assume that $P$ is spanning i.e. $P-P=\mathbb{R}^{n}$ and pointed i.e. $P \cap -P=\{0\}$. Let $α:=\{α_{x}:x \in P\}$ be a $σ$-weakly continuous family of unital normal endomorphisms on $B(H)$. Denote the "product system" associated to $α$ by $\mathcal{E}_α$. We show that $\mathcal{E}_α$ is a concrete product system and $α$, up to cocycle conjugacy, can be recovered completely from $\mathcal{E}_α$

研究动机与目标

• 将阿夫森森对 $E_0$-半群的分类程序从 $\mathbb{R}_+$ 推广至以闭、pointed、spanning 凸锥 $P \subset \mathbb{R}^n$ 索引的 $E_0^P$-半群。
• 证明与 $E_0^P$-半群相关联的乘积系统在协变共轭意义下是完全不变量。
• 通过将框架推广至更一般的半群，弥合算子代数技术与半群 $C^*$-代数思想之间的鸿沟。
• 证明可测的 $E_0^P$-半群必然是连续的，方法是利用凸分析与拉普拉斯变换。

提出的方法

• 将 $E_0^P$-半群定义为 $B(\mathcal{H})$ 上关于闭、pointed、spanning 凸锥 $P \subset \mathbb{R}^n$ 索引的、关于 $\sigma$-弱拓扑连续的单位元正规自同态族。
• 将乘积系统 $\mathcal{E}_\alpha$ 构造为具有由半群作用导出的结合乘积结构的可测希尔伯特空间族。
• 通过 $P$ 上函数的拉普拉斯变换及对偶锥的性质，证明可测的 $E_0^P$-半群必然是连续的。
• 利用 $P$ 与其对偶锥之间的对偶性，分析矩阵系数 $x \mapsto \langle \rho | \alpha_x(A) \rangle$ 的正则性。
• 应用可测选择定理与 $\sigma$-弱可测性，在 $P$ 的内部 $\Omega$ 上构造等距算子与酉算子，然后连续延拓至整个 $P$。
• 利用可测场理论的标准结果（例如可测等距族的存在性），从乘积系统重构半群。

实验结果

研究问题

• RQ1 阿夫森森对 $E_0$-半群的分类框架能否推广至以一般凸锥 $P \subset \mathbb{R}^n$ 索引的 $E_0^P$-半群？
• RQ2 与 $E_0^P$-半群相关联的乘积系统是否在协变共轭意义下是完全不变量？
• RQ3 $\sigma$-弱可测性是否蕴含 $\sigma$-弱连续性，从而确保正则性？
• RQ4 如何利用凸分析与拉普拉斯变换技术，弥合算子半群中可测结构与连续结构之间的鸿沟？

主要发现

• 与 $E_0^P$-半群 $\alpha$ 相关联的乘积系统 $\mathcal{E}_\alpha$ 是一个具体的、可测的希尔伯特空间族，具有结合乘积结构，且在协变共轭意义下完全决定了 $\alpha$。
• 任何 $\sigma$-弱可测的 $E_0^P$-半群必然是 $\sigma$-弱连续的，该结论通过 $P$ 上的拉普拉斯变换与对偶性得以证明。
• $P$ 的内部 $\Omega$ 在 $P$ 中稠密，且 $\Omega$ 上的半群行为可通过 $\sigma$-弱紧致性与连续性论证唯一延拓至整个 $P$。
• $\Omega$ 上等距算子与酉算子的构造可连续延拓至 $P$，从而保证对所有 $x \in P$ 存在定义良好的等距族 $\widetilde{U}_x$。
• 乘积系统 $\mathcal{E}_\alpha$ 同构于 $\alpha \otimes \text{id}$ 在 $B(\mathcal{H} \otimes \mathcal{K})$ 上的乘积系统，这意味着此类扰动与原半群协变共轭。