[论文解读] Partial-isometric crossed products by semigroups of endomorphisms

Janny Lindiarni, Iain Raeburn|ArXiv.org|Oct 23, 2002

Advanced Operator Algebra Research参考文献 20被引用 22

一句话总结

本文引入了全序半群作用于C*-代数时的偏等距交叉积，为希尔伯特双模的乘积系统提供了一类可处理的Toeplitz代数。研究证明，交叉积 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 同构于取值于Toeplitz代数 $\mathcal{T}(\mathbb{Z})$ 的 $\mathbb{N} \cup \{\infty\}$ 上连续函数的C*-代数，且边界值为常数，揭示了具有 $C(\mathbb{T})$ 商与 $C_0(\mathbb{N}, \mathcal{K})$ 约化核的丰富精确结构。

ABSTRACT

Let $Γ^+$ be the positive cone in a totally ordered abelian group $Γ$, and let $α$ be an action of $Γ^+$ by endomorphisms of a $C^*$-algebra $A$. We consider a new kind of crossed-product $C^*$-algebra $A imes_αΓ^+$, which is generated by a faithful copy of $A$ and a representation of $Γ^+$ as partial isometries. We claim that these crossed products provide a rich and tractable family of Toeplitz algebras for product systems of Hilbert bimodules, as recently studied by Fowler, and we illustrate this by proving detailed structure theorems for actions by forward and backward shifts.

研究动机与目标

• 通过使用部分等距表示全序半群作用下C*-代数的自同态，发展一类新的交叉积C*-代数。
• 通过使用部分等距来保持忠实表示，克服等距交叉积在某些系统中可能坍缩为零的局限性（例如，$\mathbf{c}_0 \times_\sigma^\text{iso} \mathbb{N} = \{0\}$）。
• 表明这些偏等距交叉积是希尔伯特双模的Toeplitz代数的具体、可处理的模型，尤其在自同态作用的背景下。
• 通过识别精确序列和子商，为特定作用（如 $\mathbf{c}_0$ 和 $B_{\mathbb{N}}$ 上的前向与后向移位）提供详细的结构定理。

提出的方法

• 本文构造了一个由 $A$ 的忠实拷贝和 $\Gamma^+$ 关于部分等距的表示生成的普遍交叉积 $A \times_\alpha \Gamma^+$，其满足与自同态 $\alpha_s$ 相关的协方差关系。
• 利用希尔伯特双模和乘积系统理论，应用Fowler的结果，刻画普遍表示为忠实表示的条件。
• 对于 $\mathbb{N}$ 在 $\mathbf{c}_0$ 上的作用 $\sigma$，通过单边移位算子 $T$ 和递减的投影序列 $Q_m$，构造了一个具体的表示 $\pi_{F,Q} \times F$，取值于 $C_b(\mathbb{N}, B(\ell^2(\mathbb{N})))$。
• 关键技术工具是将交叉积的像识别为 $\mathcal{B} = \{ f \in C(\mathbb{N} \cup \{\infty\}, \mathcal{T}(\mathbb{Z})) : \psi_T(f(n)) \text{ 是常数} \}$，其中 $\psi_T$ 是 $\mathcal{T}(\mathbb{Z})$ 上的迹。
• 通过条件 $Q_m \neq Q_{m+1}$ 对所有 $m$ 成立，证明了表示的忠实性，这确保了在角落 $(V^*H)^\perp$ 上的相应表示是忠实的。
• 通过将像代数分解为紧致值函数的核与同构于 $C(\mathbb{T})$ 的商，建立了精确序列 $0 \to C_0(\mathbb{N}, \mathcal{K}) \to \mathbf{c}_0 \times_\sigma \mathbb{N} \to C(\mathbb{T}) \to 0$。

实验结果

研究问题

• RQ1 偏等距交叉积能否为源自C*-代数自同态的希尔伯特双模的Toeplitz代数提供一个忠实且可处理的模型？
• RQ2 为何等距交叉积在某些系统（如 $\mathbf{c}_0 \times_\sigma^\text{iso} \mathbb{N}$）中无法捕捉非平凡结构，而偏等距能否解决此问题？
• RQ3 左平移作用于 $\mathbf{c}_0$ 的偏等距交叉积 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 的精确结构为何？
• RQ4 如何将 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 的普遍表示的像表征为取值于 $\mathcal{T}(\mathbb{Z})$ 的连续函数的明确C*-代数？
• RQ5 偏等距交叉积 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 的底层精确序列结构为何？其子商如何与已知C*-代数（如 $\mathcal{K}$ 和 $C(\mathbb{T})$）相关联？

主要发现

• 偏等距交叉积 $\mathbf{c}_0 \times_\sigma \mathbb{N}$ 同构于C*-代数 $\mathcal{B} = \{ f \in C(\mathbb{N} \cup \{\infty\}, \mathcal{T}(\mathbb{Z})) : \psi_T(f(n)) \text{ 是常数} \}$，其中 $\psi_T$ 是Toeplitz代数 $\mathcal{T}(\mathbb{Z})$ 上的迹。
• 表示 $\pi_{F,Q} \times F$ 是忠实的，因为对所有 $m \geq 0$ 有 $Q_m \neq Q_{m+1}$，这确保了在约化角落 $(V^*H)^\perp$ 上的表示是忠实的。
• 交叉积具有一个典范精确序列 $0 \to C_0(\mathbb{N}, \mathcal{K}(\ell^2(\mathbb{N}))) \to \mathbf{c}_0 \times_\sigma \mathbb{N} \to C(\mathbb{T}) \to 0$，其中核由在无穷远处趋于零的紧致值函数构成，商同构于 $C(\mathbb{T})$。
• 在表示下，生成元 $k_{\mathbb{N}}(i)^* k_{\mathbf{c}}(1_m) k_{\mathbb{N}}(j)$ 的像在无穷远处逐点收敛，且对充分大的 $n$，其极限与 $i,j$ 无关，这确保了 $\mathcal{B}$ 上的边界条件。
• $C_0(\mathbb{N}, \mathcal{K})$ 作为矩阵单位 $e_{ij}^m$ 的闭张量积包含于像中，这些矩阵单位源于生成元的差，从而确认了核的结构。
• 常数函数（对应于 $C^*(F)$）包含于像中，且由于 $f - g$ 是紧致值函数并在无穷远处趋于零，因此整个代数 $\mathcal{B}$ 可表示为核与常数函数之和。