[论文解读] C*-crossed products and shift spaces

Toke Meier Carlsen, Sergei Silvestrov|arXiv (Cornell University)|Dec 21, 2005

Advanced Operator Algebra Research参考文献 35被引用 21

一句话总结

本文提出了一种基于埃克尔交叉积框架的单边移位空间的通用C*-代数构造，表明该构造推广了库恩茨-克里格代数，并提供了K-理论不变量（K₀和K₁），这些不变量是共轭不变量。该构造解决了先前工作中存在的不一致问题，并通过忠实表示、核性、简单性及UCT条件，确立了该代数作为移位空间的正确通用对象。

ABSTRACT

In this article, we use Exel's construction to associate a C*-algebra to every shift space. We show that it has the C*-algebra defined in [Carlsen and Matsumoto: Some remarks on the C*-algebras associated with subshifts] as a quotient, and possesses properties indicating that it can be thought of as the universal C*-algebra associated to a shift space. We also consider its representations, relationship to other C*-algebras associated to shift spaces, show that it can be viewed as a generalization of the universal Cuntz-Krieger algebra, discuss uniqueness and a faithful representation, provide conditions for it being nuclear, for satisfying the UCT, for being simple, and for being purely infinite, show that the constructed algebras and thus their K-theory, $K_0$ and $K_1$, are conjugacy invariants of one-sided shift spaces, present formulas for those invariants, and also present a description of the structure of gauge invariant ideals.

研究动机与目标

• 为解决早期关于移位空间C*-代数构造中的不一致问题，特别是马茨穆托（2000f:46084）中存在缺陷的构造。
• 利用埃克尔的交叉积构造与转移算子，为单边移位空间定义一个通用C*-代数。
• 证明所构造的C*-代数是[MR2091486]中定义代数的商代数，并具备马茨穆托为其代数所声称的性质。
• 确立该代数的K₀与K₁为移位空间的共轭不变量，并提供其显式公式。
• 刻画伽马-不变理想，并确定核性、UCT、简单性及纯无穷性的条件。

提出的方法

• 使用埃克尔的C*-交叉积构造与转移算子，为任意单边移位空间关联一个C*-代数。
• 应用交叉积的通用性质，通过函数与移位算子之间的协变关系，定义一个编码移位动力系统的C*-代数。
• 通过移位空间的关联矩阵构造从ℤΛ₀到ℤΛ₁的线性映射B，以计算K-理论不变量。
• 通过从代数中的投影到标准基向量的显式映射，建立同构K₀(𝒪Λ) ≅ ℤΛ₀ / BℤΛ₁与K₁(𝒪Λ) ≅ ker(B)。
• 通过将移位空间的不变子集与核心C*-代数中的理想关联，分析伽马-不变理想。
• 基于移位空间的组合结构及其关联矩阵，应用核性、UCT、简单性及纯无穷性的判定标准。

实验结果

研究问题

• RQ1 能否为单边移位空间构造一个通用C*-代数，以解决先前构造中的不一致问题？
• RQ2 所构造C*-代数的K₀与K₁群是否为移位空间的共轭不变量？
• RQ3 所构造的C*-代数是否推广了库恩茨-克里格代数并继承其关键性质？
• RQ4 在何种条件下，所构造的C*-代数是核的、满足UCT、简单的或纯无穷的？
• RQ5 如何根据移位空间的结构对C*-代数的伽马-不变理想进行分类？

主要发现

• 当移位空间为有限型时，所构造的C*-代数同构于通用库恩茨-克里格代数。
• 该代数的K₀群同构于ℤΛ₀ / BℤΛ₁，其中B为长度为l与l+1的柱集之间的关联矩阵。
• K₁群同构于关联矩阵B的核：K₁(𝒪Λ) ≅ ker(B)。
• K-理论群K₀与K₁是单边移位空间的共轭不变量，提供了完整的代数不变量。
• 当移位空间的关联结构满足某种有限范围条件时，该代数为核代数。
• 当关联矩阵B的元素属于ℤ且移位空间为Sofic时，该代数满足UCT，且K-理论可通过矩阵B计算。