[论文解读] C^*-algebras generated by scaling elements

Takeshi Katsura|ArXiv.org|Apr 27, 2004

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

一句话总结

本文将 Wold 分解和 Coburn 定理从等距算子推广到 C*-代数中的缩放元，建立了满足 $(X^*X)X = X$ 的算子的分解。它完全刻画了由缩放元生成的 C*-代数何时包含无限投影，表明这恰好发生在 $|X^*$ 的谱具有非紧或非平凡结构的分量时。

ABSTRACT

We investigate C^*-algebras generated by scaling elements. We generalize the Wold decomposition and Coburn's theorem on isometries to scaling elements. We also completely determine when the C^*-algebra generated by a scaling element contains an infinite projection.

研究动机与目标

• 将此前仅适用于等距算子的 Wold 分解和 Coburn 定理推广至 C*-代数中的缩放元这一更广的类。
• 利用谱性质和动力学性质刻画由缩放元生成的 C*-代数的结构。
• 精确确定此类 C*-代数包含无限投影的条件，从而解决一个关键的结构性问题。
• 基于谱数据，建立生成的 C*-代数与通用模型 ${\mathcal{T}}(\Omega,v)$ 和 ${\mathcal{O}}(\Omega,v)$ 之间的同构关系。
• 分析这些代数的 K-理论不变量，并将其与缩放元的谱结构联系起来。

提出的方法

• 为任意有界算子 $A$ 引入 $\mathcal{H}^\infty$ 上的算子 $S_A$，推广了单边移位算子 $S_\mathcal{H}$。
• 证明了缩放元的 Wold 型分解：任意此类 $X$ 与 $S_A \oplus U \oplus 0$ 单元等价，其中 $A$ 为具有全支撑的正算子，$U$ 为酉算子。
• 根据 $|X^*|$ 的谱（除去 $\{0,1\}$）定义了正规与非正规缩放元，其中正规性与 $\operatorname{sp}(|X^*|)\setminus\{0,1\}$ 的非紧性或空性相关。
• 为紧集 $\Omega \subset [0,\infty)$ 且满足 $0,1 \in \Omega$ 构造了通用 C*-代数 ${\mathcal{T}}(\Omega,v)$ 和 ${\mathcal{O}}(\Omega,v)$，其中参数 $v \in \Omega$。
• 利用 $K$-理论和六项精确序列分析无限投影的存在性，特别关注 $K_0$-群上取值映射的行为。
• 应用 $(\Omega, v)$-对的理论，实现 $C^*(X)$ 同构于 ${\mathcal{T}}(\Omega,1)$ 或 ${\mathcal{O}}(\Omega,1)$，具体取决于 $X$ 是否为正规。

实验结果

研究问题

• RQ1 能否将适用于等距算子的 Wold 分解推广至满足 $(X^*X)X = X$ 的缩放元？
• RQ2 当 $|X^*|$ 满足何种谱条件时，C*-代数 $C^*(X)$ 包含无限投影？
• RQ3 当由缩放元生成的 C*-代数同构于通用模型 ${\mathcal{T}}(\Omega,v)$ 或 ${\mathcal{O}}(\Omega,v)$ 时，其条件是什么？
• RQ4 当 $X$ 为正规或非正规时，$C^*(X)$ 的 $K$-群如何与 $X$ 的谱数据相关？
• RQ5 缩放元的存在是否足以保证其生成的 C*-代数中存在无限投影？

主要发现

• 每个缩放元 $X$ 均可唯一分解为 $S_A \oplus U \oplus 0$，其中 $A$ 为具有全支撑的正算子，$U$ 为酉算子。
• 缩放元为正规当且仅当 $\operatorname{sp}(|X^*|)\setminus\{0,1\}$ 为空集或非紧集。
• 对任意满足 $0,1 \in \Omega$ 的紧集 $\Omega \subset [0,\infty)$，存在一个缩放元满足 $\operatorname{sp}(|X^*|) = \Omega$。
• 若 $X$ 为正规，则 $C^*(X) \cong {\mathcal{T}}(\Omega,1)$；若 $X$ 为非正规，则 $C^*(X) \cong {\mathcal{O}}(\Omega,1)$。
• $C^*(X)$ 包含无限投影当且仅当 $\Omega \setminus \{1\}$ 为非紧集，或包含 $1$ 的非紧开邻域。
• 当 $X$ 为正规时，包含映射 $C_0(\Omega) \to C^*(X)$ 在 $K$-群上诱导同构；当 $X$ 为非正规时，有 $K_0(C^*(X)) \cong K_0(C(\Omega\setminus\{1\}))$。