[论文解读] Inductive limit algebras from periodic weighted shifts on Fock space

David W. Kribs|ArXiv.org|Nov 23, 2004

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

一句话总结

本文引入了福克空间上的非交换多变量加权移位，并基于福克空间的树状结构定义了一种类周期性新概念。研究证明，此类周期性移位生成的 C*-代数同构于全矩阵代数在 Cuntz-Toeplitz 代数上的归纳极限，从而通过 K-理论与超自然数，建立了一个类似于 Bunce-Deddens 代数与 UHF 代数的分类定理。

ABSTRACT

Non-commutative multivariable versions of weighted shift operators arise naturally as `weighted' left creation operators acting on the Fock space Hilbert space. We identify a natural notion of periodicity for these $N$-tuples, and then find a family of inductive limit algebras determined by the periodic weighted shifts which can be regarded as non-commutative multivariable generalizations of the Bunce-Deddens C*-algebras. We establish this by proving that the C*-algebras generated by shifts of a given period are isomorphic to full matrix algebras over Cuntz-Toeplitz algebras. This leads to an isomorphism theorem which parallels the Bunce-Deddens and UHF classification scheme.

研究动机与目标

• 开发一种基于福克空间上周期性加权移位的 Bunce-Deddens C*-代数的非交换多变量推广。
• 为福克空间上 N 元组加权左移位算子定义一种自然的周期性概念。
• 将周期性加权移位生成的 C*-代数表征为全矩阵代数在 Cuntz-Toeplitz 代数上的归纳极限。
• 利用 K-理论建立这些代数的分类定理，其形式类似于 UHF 代数与 Bunce-Deddens 代数的分类。
• 通过拟三角化障碍证明这些代数不是约化有限维的（AF），从而说明其非 AF 性质。

提出的方法

• 以福克空间 ℓ²(𝔽⁺_N) 作为基础希尔伯特空间，其标准正交基 {ξ_w} 索引于 N 个非交换字母生成的自由半群。
• 将非交换加权移位定义为加权左移位算子 L_iξ_w = c_{|w|} ξ_{iw}，其中权重依赖于字的长度。
• 引入福克空间的图示化“树”结构以可视化移位算子的作用，并通过各层级上权重模式的均匀性来定义周期性。
• 证明：周期为 n_k 的周期性移位生成的 C*-代数同构于 M_d(N^{n_k}) ⊗ 𝒪_{N^{n_k}}，其中 d = d_{N,n_k} = (N^{n_k} - 1)/(N - 1)。
• 通过对递增周期进行归纳极限构造，定义代数 ℬ(n_k) 与 𝒜(n_k)，并利用 Cuntz 代数的 K-理论计算其 K₀-群。
• 利用 K₀(𝒪_N) = ℤ/(N−1)ℤ 的事实，计算得 K₀(ℬ(n_k)) = lim→ K₀(M_d(𝒪_{N^{n_k}})) = lim→ ℤ/(N^{n_k}−1)ℤ，从而通过超自然数实现分类。

实验结果

研究问题

• RQ1 如何在福克空间上的非交换多变量加权移位中自然地定义周期性？
• RQ2 福克空间上周期性 N 元组加权左移位算子生成的 C*-代数具有怎样的结构？
• RQ3 能否利用 K-理论对这些代数进行分类？若可以，这种分类与已知的 UHF 或 Bunce-Deddens 分类方案有何异同？
• RQ4 这些代数是否是约化有限维的（AF）？
• RQ5 福克空间的树状结构在定义与分析加权移位周期性中起什么作用？

主要发现

• 由周期为 n_k 的周期性加权移位生成的 C*-代数同构于全矩阵代数在 Cuntz-Toeplitz 代数 𝒪_{N^{n_k}} 上的归纳极限。
• 代数 ℬ(n_k) 的 K₀-群同构于 ℤ/(N^{n_k}−1)ℤ 的直接极限，该极限构成一个由序列 {n_k} 构造的超自然数。
• 当且仅当其关联的超自然数 δ(n_k) 与 δ(m_j) 相等时，两个此类代数 ℬ(n_k) 与 ℬ(m_j) 同构，从而建立了完整的 K-理论分类。
• 这些代数不是约化有限维的（AF），因为左移位算子 L_i 不是拟三角化的。
• 该分类与 Bunce-Deddens 代数和 UHF 代数的分类方案类似，其同构性由周期性指标导出的超自然数决定。
• 该结果将 Bunce-Deddens 构造推广至非交换多变量情形，通过福克空间上的加权移位实现。