[论文解读] Semicrossed products of C*-algebras and their C*-envelopes

Evgenios T. A. Kakariadis|arXiv (Cornell University)|Feb 10, 2011

Advanced Operator Algebra Research参考文献 32被引用 9

一句话总结

本文证明了C*-代数在单位* -自同态作用下的半交叉积的C*-包络是（一个全角的）交叉积。当自同态为* -单射时，所有此类半交叉积共享相同的C*-包络，该包络被识别为极限系统的交叉积，推广了Peters的早期结果，并将理论扩展至非交换和非自同构的情形。

ABSTRACT

Let $\mathcal{C}$ be a C*-algebra and $α:\mathcal{C} ightarrow \mathcal{C}$ a unital *-endomorphism. There is a natural way to construct operator algebras which are called semicrossed products, using a convolution induced by the action of $α$ on $\mathcal{C}$. We show that the C*-envelope of a semicrossed product is (a full corner of) a crossed product. As a consequence, we get that, when $α$ is *-injective, the semicrossed products are completely isometrically isomorphic and share the same C*-envelope, the crossed product $\mathcal{C}_\infty times_{α_\infty} \mathbb{Z}$. We show that minimality of the dynamical system $(\mathcal{C},α)$ is equivalent to non-existence of non-trivial Fourier invariant ideals in the C*-envelope. We get sharper results for commutative dynamical systems.

研究动机与目标

• 确定由C*-代数和单位* -自同态生成的半交叉积的C*-包络。
• 确定不同半交叉积何时完全等距同构并共享相同的C*-包络。
• 通过C*-包络中不存在非平凡傅里叶不变理想来刻画动力系统的极小性。
• 将C*-包络理论在交换C*-代数上的已知结果推广至非交换C*-代数，特别是* -单射情形。

提出的方法

• 通过等距乘子与自同态作用相交织的协变关系构造半交叉积。
• 应用C*-包络理论作为最小C*-覆盖，利用Shilov边界理想识别包络。
• 使用直接极限构造定义系统$({\mathcal{C}}_\infty, \alpha_\infty)$，证明当$\alpha$为* -单射时，其交叉积即为C*-包络。
• 将问题简化为分析谱$\widehat{{\mathcal{C}}}$和拓扑自由性，尤其在交换情形下。
• 建立动力系统极小性与C*-包络中不存在非平凡傅里叶不变理想之间的等价关系。
• 应用拓扑动力学结果，包括非不动点集的稠密性，以刻画简单性和极小性。

实验结果

研究问题

• RQ1 与C*-代数上单位* -自同态相关的半交叉积的C*-包络是什么？
• RQ2 在什么条件下，不同的半交叉积完全等距同构并共享相同的C*-包络？
• RQ3 动力系统$({\mathcal{C}}, \alpha)$的极小性如何与其中C*-包络的理想结构相关？
• RQ4 在谱为Hausdorff的非交换C*-代数中，能否将交换情形下对极小性和简单性的刻画推广？

主要发现

• 任何半交叉积的C*-包络都是（一个全角的）交叉积，提供了统一的描述。
• 当$\alpha$为* -单射时，所有半交叉积完全等距同构并共享相同的C*-包络，即交叉积${\mathcal{C}}_\infty \rtimes_{\alpha_\infty} \mathbb{Z}$。
• 动力系统$({\mathcal{C}}, \alpha)$的极小性等价于其C*-包络中不存在非平凡傅里叶不变理想。
• 在交换情形下，C*-包络的简单性意味着其在谱上的关联系统是极小且拓扑自由的，且谱必须是无限的。
• 在交换情形下，四种标准半交叉积完全等距同构并共享相同的C*-包络$\mathrm{C}(\widetilde{X}) \rtimes_{=\tilde{\phi}} \mathbb{Z}$。
• C*-包络是简单的，当且仅当其在谱上的关联系统是极小且拓扑自由的，这蕴含谱是无限的。