[论文解读] C*-envelopes of tensor algebras for multivariable dynamics

Kenneth R. Davidson, Jean Roydor|ArXiv.org|Nov 29, 2008

Advanced Operator Algebra Research参考文献 11被引用 3

一句话总结

本文提供了与多变量动力系统 $(X,\sigma)$ 相关的张量代数的 C*-包络的显式实现，表明在满射情形下其同构于一个由自同态作用的交叉积与一个群胚 C*-代数，在非满射情形下则同构于此类代数的一个全角落。关键结果是：当 $X$ 紧致时，C*-包络是单的当且仅当该系统是极小的。

ABSTRACT

We give a new very concrete description of the C*-envelope of the tensor algebra associated to multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism, and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of a such an algebra. We also show that when the space is compact, then the C*-envelope is simple if and only if the system is minimal.

研究动机与目标

• 为与多变量动力系统相关的张量代数 $\mathcal{A}(X,\sigma)$ 的 C*-包络提供一个具体且显式的描述。
• 将 $n=1$ 情形下 Peters 的 C*-包络交叉积描述推广至多变量情形（$n \geq 2$），将自同构作用替换为自同态作用。
• 通过系统上的动力条件刻画紧致情形下 C*-包络的单性。
• 建立 C*-包络与群胚 C*-代数之间的联系，并将 C*-包络中的理想理论与关联动力系统的不变集联系起来。

提出的方法

• 将 C*-包络构造为由自同态 $\alpha$ 作用的交叉积 $\mathfrak{B} \times_\alpha \mathbb{N}$，其中 $\mathfrak{B}$ 是空间 $\tilde{X}$（该系统的逆极限）上均匀 C*-代数的归纳极限。
• 通过半群 $\mathbb{F}_n^+$ 上的移位作用在 $\mathfrak{B}$ 上定义自同态 $\alpha$，并证明在满射情形下有 $\mathrm{C}^*_{\text{e}}(\mathcal{A}(X,\sigma)) \cong \mathfrak{B} \times_\alpha \mathbb{N}$。
• 利用与自同态作用在 $\tilde{X}$ 上相关的变换群胚，将 C*-包络表示为群胚 C*-代数。
• 对于非满射系统，证明 C*-包络是通过满射包构造得到的满射系统的 C*-包络的一个全角落。
• 利用最大扩张与边界表示理论显式构造 C*-包络，避免对不可约性的约束。
• 应用 Paschke 关于自同态作用下交叉积单性的定理，通过 $\mathfrak{B}$ 中不存在非平凡 $\alpha$-不变理想来刻画 C*-包络的单性。

实验结果

研究问题

• RQ1 如何在算子代数语言下显式描述多变量动力系统张量代数 $\mathcal{A}(X,\sigma)$ 的 C*-包络？
• RQ2 当 $n \geq 2$ 时，$\mathcal{A}(X,\sigma)$ 的 C*-包络是否同构于一个自同态交叉积？若是，该交叉积的结构如何？
• RQ3 系统 $(X,\sigma)$ 的极小性与其 C*-包络的单性之间存在何种关系？
• RQ4 C*-包络能否被实现为群胚 C*-代数？这种实现如何反映 $\sigma$ 的动力行为？
• RQ5 当 $X$ 紧致时，$\mathrm{C}^*_{\text{e}}(\mathcal{A}(X,\sigma))$ 的单性在 $X$ 上等价于何种动力条件？

主要发现

• 当系统为满射时，$\mathcal{A}(X,\sigma)$ 的 C*-包络同构于一个由自同态 $\alpha$ 作用的交叉积 $\mathfrak{B} \times_\alpha \mathbb{N}$；当非满射时，同构于此类交叉积的一个全角落。
• C*-包络同构于与自同态作用在逆极限空间 $\tilde{X}$ 上的变换群胚相关的群胚 C*-代数。
• 当 $X$ 紧致时，C*-包络是单的当且仅当系统 $(X,\sigma)$ 是极小的。
• 极小性等价于 $\mathfrak{B}$ 中不存在非平凡 $\alpha$-双不变理想，而该条件通过 Paschke 定理可保证交叉积 $\mathfrak{B} \times_\alpha \mathbb{N}$ 的单性。
• 当 $n=1$ 时，单位圆盘代数的 C*-包络是 $C(\mathbb{T})$，其非单，说明 $n \geq 2$ 条件对单性判别成立是本质性的。
• 该构造表明，C*-包络与满射包系统 C*-包络之间是莫里塔等价的，且单性在此等价下保持不变。