[论文解读] Extensions and Dilations for $C^*$-dynamical Systems

Paul S. Muhly, Baruch Solel|arXiv (Cornell University)|Sep 22, 2005

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

一句话总结

本文为$C^*$-动力系统$(A, \alpha)$提供了初等且自包含的共等距扩张与酉扩张定理的证明，其中$\alpha$是单射且保单位元的自同态。研究证明，任意的压缩协变表示$(\pi, T)$均存在共等距扩张$(\rho, V)$与酉扩张$(\sigma, U)$，后者通过$T$的最小等距扩张及$\pi$通过缺陷空间的延拓构造而成，借助极小性与转移算子消除了非唯一性问题。

ABSTRACT

Let $A$ be a unital $C^*$-algebra and $α$ be an injective, unital endomorphism of $A$. A covariant representation of $(A,α)$ is a pair $(π,T)$ consisting of a $C^*$-representation $π$ of $A$ on a Hilbert space $H$ and a contraction $T$ in $B(H)$ satisfying $Tπ(α(a))=π(a)T$. It follows from more general results of ours that such a covariant representation can be extended to a covariant representation $(ρ,V)$ (on a larger space $K$) such that $V$ is a coisometry and it can be dilated to a covariant representation $(σ,U)$ (on a larger space $K_1$) with $U$ unitary. Our objective here is to give self-contained, elementary proofs of these results which avoid the technology of $C^*$-correspondences. We also discuss the non uniqueness of the extension.

研究动机与目标

• 为$C^*$-动力系统提供不依赖$C^*$-对应理论的自包含、初等的共等距扩张与酉扩张定理证明。
• 解释当$\alpha$不是自同构时，共等距扩张与酉扩张的非唯一性来源。
• 刻画在何种条件下可恢复唯一性，特别是通过极小性与转移算子的存在性。
• 构造收缩算子$T$的最小等距扩张，并通过延拓表示$\pi$以构建酉扩张$(\sigma, U)$。

提出的方法

• 利用缺陷算子$\Delta = (I - T^*T)^{1/2}$定义缺陷空间$\mathcal{D} = \overline{\Delta H}$，其在协变性下约化$\pi \circ \alpha$。
• 通过$\eta(a)$与$W$的无限矩阵表示，在$K = H \oplus \mathcal{D} \oplus \mathcal{D} \oplus \cdots$上构造最小等距扩张$(\eta, W)$。
• 将表示$\pi$延拓至$A_\infty$（即$A \xrightarrow{\alpha} A \xrightarrow{\alpha} \cdots$的归纳极限），以构建酉扩张$U$。
• 应用$T$的最小等距扩张以获得共等距扩张$(\rho, V)$，随后通过$V$的最小等距扩张实现酉扩张。
• 利用转移算子$\tau$通过确保$\pi$到$A_\infty$的典范延拓，以强制扩张构造的唯一性。
• 在希尔伯特空间$\mathcal{D}$上以矩阵形式表示最终的扩张$(\sigma, U)$，其中$\sigma$为$\rho_1$上的对角算子，$U$为含$\Delta$、$X$与单位元块的移位型矩阵。

实验结果

研究问题

• RQ1 当$\alpha$不是自同构时，为何压缩协变表示的共等距扩张与酉扩张是非唯一的？
• RQ2 如何控制或解决$\pi$延拓至$A_\infty$时的非唯一性问题？
• RQ3 缺陷空间$\mathcal{D} = \overline{(I - T^*T)^{1/2}H}$在构造$T$的最小等距扩张中起何作用？
• RQ4 在附加约束（如极小性或转移算子的存在性）下，能否为$(\pi, T)$获得唯一的酉扩张$(\sigma, U)$？
• RQ5 $\alpha$存在转移算子$\tau$时，如何导致一个典范且唯一的扩张$(\sigma, U)$？

主要发现

• 任意压缩协变表示$(\pi, T)$对$(A, \alpha)$均存在共等距扩张$(\rho, V)$，定义于包含$H$的更大希尔伯特空间$K$上，满足$\rho|_H = \pi$且$V|_H = T$。
• $(\pi, T)$的酉扩张$(\sigma, U)$满足对所有$n \geq 0$有$T^n = P U^n|_H$，其中$P$为到$H$的投影，确保扩张捕捉了$T$的动力学行为。
• 在施加极小性时，$T$的最小等距扩张$(\eta, W)$在酉等价意义下唯一；若$T$为共等距算子，则$W$为酉算子。
• 非唯一性源于$\pi$到$A_\infty$的非典范延拓，而$A_\infty$是$A \xrightarrow{\alpha} A \xrightarrow{\alpha} \cdots$的归纳极限，其原因在于$\pi$缺乏典范延拓。
• 当存在转移算子$\tau$时，可通过将共等距扩张$(\rho, V)$构造为$\tau$-适应延拓的最小等距扩张，使扩张$(\sigma, U)$在酉等价意义下唯一。
• 最终的酉扩张$(\sigma, U)$以矩阵形式表示，其中$\sigma$为$\rho_1$上的对角算子，$U$为含$\Delta$、$X$与单位元块的缺陷空间$\mathcal{D}$上的移位矩阵。