[论文解读] $E_0$-semigroups: around and beyond Arveson's work

Masaki Izumi|arXiv (Cornell University)|Sep 26, 2012

Advanced Operator Algebra Research参考文献 42被引用 4

一句话总结

本文全面概述了 $E_0$-半群，强调了 Arveson 的奠基性贡献，并通过乘积系统综述了对类型 II 和 III $E_0$-半群的最新分类进展。它建立了 $E_0$-半群的协循环共轭类与乘积系统同构类之间的一一对应关系，并基于 Arveson 的观察，通过正规 ucp 映射的最小扩张引入了一种非交换泊松边界构造。

ABSTRACT

We give an account of the theory of $E_0$-semigroups. We first focus on Arveson's contributions to the field and related results. Then we present the recent development of type II and type III $E_0$-semigroups. We also include a short note in Appendix, based on Arveson's observation, on noncommutative Poisson boundaries.

研究动机与目标

• 系统化并拓展 Arveson 关于 $E_0$-半群及其通过乘积系统分类的奠基性工作。
• 综述类型 II 和类型 III $E_0$-半群分类的最新进展，这些分类在已充分理解的类型 I 情况之外仍具挑战性。
• 探讨乘积系统在理论中的核心不变量角色，将其与非交换概率和动力系统联系起来。
• 引入并分析非交换泊松边界作为正规 ucp 映射最小扩张的固定点代数，基于 Arveson 的观察。
• 提供一个统一框架，连接 $E_0$-半群、Cuntz 代数表示以及群边界上的调和测度。

提出的方法

• 利用 Arveson 建立的 $E_0$-半群协循环共轭类与乘积系统同构类之间的一一对应关系。
• 应用 Bhat 的扩张定理，从单住完全正映射半群构造 $E_0$-半群。
• 通过与离散群 $G$ 上随机游走相关的移位算子 $S_g$，在 $L^2(G^\infty, m)$ 上构造 Cuntz 代数 $\mathcal{O}_n$ 的 $C^*$-代数表示。
• 通过路径空间 $G^\infty$ 上的平移不变动力系统在 $B(H)$ 上定义 $*$-同态 $\alpha$，其由满足 $\mathcal{O}_n$ 关系的等距算子 $S_g$ 实现。
• 将固定点代数 $M^\alpha$ 识别为 $\mathcal{O}_n$ 的交换子，并证明其同构于边界交叉积 $L^\infty(\partial G, \nu) \rtimes G$。
• 通过循环向量 $1_{C^0(e)}$ 定义 $\mathcal{O}_n$ 上的状态 $\omega_\mu$，并推导出涉及转移概率 $\mathrm{p}^{(k)}(e,h)$ 的矩阵系数的显式公式。

实验结果

研究问题

• RQ1 乘积系统如何在协循环共轭意义下对 $E_0$-半群进行分类？
• RQ2 类型 I、II 和 III $E_0$-半群在结构和分类上存在哪些差异？
• RQ3 非交换泊松边界与正规 ucp 映射的最小扩张之间有何关系？
• RQ4 调和测度和群上的随机游走如何在构造 $E_0$-半群中发挥作用？
• RQ5 能否将 $E_0$-半群的固定点代数实现为边界交叉积，其表示论意义是什么？

主要发现

• 根据 Arveson 的结果，$B(H)$ 上 $E_0$-半群的协循环共轭类与乘积系统的同构类之间存在一一对应关系。
• 类型 I $E_0$-半群由其指标不变量完全分类，这是该理论中的一个基础性结果。
• $E_0$-半群 $\alpha$ 的固定点代数 $M^\alpha$ 同构于边界交叉积 $L^\infty(\partial G, \nu) \rtimes G$，其中 $\nu$ 为调和测度。
• $\mathcal{O}_n$ 上的状态 $\omega_\mu$ 是忠实的，且显式表达为 $\omega_\mu(S_{g_1}\cdots S_{g_k} S_{h_l}^*\cdots S_{h_1}^*) = \prod_{i=1}^k \mu(g_i)^{1/2} \prod_{j=1}^l \mu(h_j)^{1/2} \delta_{g_1\cdots g_k, h_1\cdots h_l}$。
• $L^2(G^\infty, m)$ 中的循环向量 $1_{C^0(e)}$ 在边界交叉积上诱导出一个忠实的正规状态，证实了其不可约性，并将表示与边界上的调和分析联系起来。
• 正规 ucp 映射的非交换泊松边界被识别为其中最小扩张的固定点代数，这一关键观察归功于 Arveson，本文中予以形式化。