[论文解读] $C^*$-algebras associated with textile dynamical systems

Kengo Matsumoto|arXiv (Cornell University)|Jun 25, 2011

Advanced Operator Algebra Research参考文献 19被引用 6

一句话总结

本文引入了 $C^*$-纺织动力系统作为 $C^*$-符号动力系统的高维推广，通过规范映射 $\kappa$ 将两个可交换的 $C^*$-符号系统结合。它从这些系统构造了通用 $C^*$-代数 ${\cal O}^\kappa_{\rho,\eta}$，在不可约性条件下建立了其自由性与简单性，并通过 Kunneth 公式推导其 K-理论，表明当两个分量均为自由时，其同构于张量积 ${\cal O}_\rho \otimes {\/cal O}_\eta$。

ABSTRACT

A $C^*$-symbolic dynamical system $({\cal A}, ρ, Σ)$ is a finite family $\{ρ_α\}_{α\inΣ}$ of endomorphisms of a $C^*$-algebra ${\cal A}$ with some conditions. It yields a $C^*$-algebra ${\cal O}_ρ$ from an associated Hilbert $C^*$-bimodule. In this paper, we will extend the notion of $C^*$-symbolic dynamical system to $C^*$-textile dynamical system $({\cal A}, ρ, η, {Σ^ρ}, {Σ^η}, κ)$ which consists of two $C^*$-symbolic dynamical systems $({\cal A}, ρ, {Σ^ρ})$ and $({\cal A}, η, {Σ^η})$ with certain commutation relations $κ$ between their endomorphisms $\{ρ_α\}_{α\in Σ^ρ}$ and $\{η_a \}_{a \in Σ^η}$. $C^*$-textile dynamical systems yield two-dimensional subshifts and $C^*$-algebras ${\cal O}^κ_{ρ,η}$. We will study the structure of the algebras ${\cal O}^κ_{ρ,η}$ and present its K-theory formulae.

研究动机与目标

• 将 $C^*$-符号动力系统推广至使用两个可交换自同态族的二维框架。
• 通过纺织系统建模二维平铺，并从系统定义通用 $C^*$-代数 ${\cal O}^\kappa_{\rho,\eta}$。
• 建立结果 $C^*$-代数为简单代数或与更简单代数张量积同构的条件。
• 使用 Kunneth 公式计算 ${\cal O}^\kappa_{\rho,\eta}$ 的 K-理论，基于 $C^*$-代数张量积。

提出的方法

• 将 $C^*$-纺织动力系统 $({\cal A}, \rho, \eta, \Sigma^\rho, \Sigma^\eta, \kappa)$ 定义为两个 $C^*$-符号系统，通过双射 $\kappa$ 强制满足交换关系 $\eta_b \circ \rho_\alpha = \rho_\beta \circ \eta_a$，当 $\kappa(\alpha,b) = (a,\beta)$ 时成立。
• 构造由 ${\cal A}$ 的元素及部分等距 $S_\alpha, T_a$ 生成的通用 $C^*$-代数 ${\cal O}^\kappa_{\rho,\eta}$，满足关系 $(\rho,\eta;\kappa)$，包括正交投影及与自同态的相容性。
• 使用 Pimsner 构造在希尔伯特 $C^*$-双模上实现由单个符号系统生成的 ${\cal O}_\rho$ 和 ${\cal O}_\eta$。
• 通过组合代数与自同态，定义张量积系统 $(\bar{{\cal A}}, \bar{\rho}, \bar{\eta}, \Sigma^{\bar{\rho}}, \Sigma^{\bar{\eta}}, \bar{\kappa})$，并证明当分量自由时，其亦为自由。
• 在 $({\cal A}^\rho, \rho, \Sigma^\rho)$ 与 $({\cal A}^\eta, \eta, \Sigma^\eta)$ 均为自由系统时，建立同构 ${\cal O}^\kappa_{\rho,\eta} \cong {\cal O}_\rho \otimes {\cal O}_\eta$。
• 应用 Kunneth 公式，从 $K_*({\cal O}_\rho) \otimes K_*({\cal O}_\eta)$ 计算 $K_*({\cal O}^\kappa_{\rho,\eta})$。

实验结果

研究问题

• RQ1 在何种条件下，与 $C^*$-纺织动力系统相关联的 $C^*$-代数 ${\cal O}^\kappa_{\rho,\eta}$ 同构于张量积 ${\cal O}_\rho \otimes {\cal O}_\eta$？
• RQ2 规范映射 $\kappa$ 如何在 $C^*$-纺织系统中强制实现自同态 $\rho_\alpha$ 与 $\eta_a$ 之间的交换性？
• RQ3 ${\cal O}^\kappa_{\rho,\eta}$ 为简单代数的必要与充分条件是什么？
• RQ4 如何基于分量代数 ${\cal O}_\rho$ 与 ${\cal O}_\eta$ 的 K-理论来计算 ${\cal O}^\kappa_{\rho,\eta}$ 的 K-理论？
• RQ5 单个 $C^*$-符号系统的自由性是否能推出张量积 $C^*$-纺织系统的自由性？

主要发现

• 当 $({\cal A}^\rho, \rho, \Sigma^\rho)$ 与 $({\cal A}^\eta, \eta, \Sigma^\eta)$ 均为自由系统时，$C^*$-代数 ${\cal O}^\kappa_{\rho,\eta}$ 同构于张量积 ${\cal O}_\rho \otimes {\cal O}_\eta$。
• 若两个分量系统均为不可约，则 ${\cal O}^\kappa_{\rho,\eta}$ 为简单代数。
• 当原始系统均为自由时，张量积系统 $(\bar{{\cal A}}, \bar{\rho}, \bar{\eta}, \Sigma^{\bar{\rho}}, \Sigma^{\bar{\eta}}, \bar{\kappa})$ 亦为自由系统。
• K-理论群 $K_*({\cal O}^\kappa_{\rho,\eta})$ 通过将 Kunneth 公式应用于 $K_*({\cal O}_\rho) \otimes K_*({\cal O}_\eta)$ 计算得出。
• 该构造通过纺织系统生成了二维平铺结构，推广了 Wang 平铺。
• 规范映射 $\kappa$ 确保了两组自同态族之间的一致交换性，从而支持系统的代数与动力结构。