[论文解读] Representations of Higher Rank Graph Algebras

Kenneth R. Davidson, Dilian Yang|ArXiv.org|Apr 23, 2008

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

一句话总结

该论文证明了在单顶点上，任意不可约原子 *-表示的 k-图代数 𝔽ₜ⁺ 均可作为群构造表示的最小 *-扩张，从而实现了对原子表示的完整分解。关键结果为：C*-代数 𝒞*(𝔽ₜ⁺) 同构于 C(𝕋ˢ) ⊗ 𝔞，其中 𝔞 是一个简单 C*-代数，s 是对称子群 Hₜ ≤ ℤᵏ 的秩，且简单性等价于非周期性（Hₜ = {0}）。

ABSTRACT

Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct sum or integral of such representations. We characterize periodicity of $\Fth$ and identify a symmetry subgroup $H_θ$ of $\bZ^\Bk$. If this has rank $s$, then $\ca(\Fth) \cong C(\bT^s) \otimes \fA$ for some simple C*-algebra $\fA$.

研究动机与目标

• 将原子 *-表示的结构理论从秩 2 推广至任意 k-图的单顶点情形。
• 通过对称子群 Hₜ ≤ ℤᵏ 刻画 k-图的周期性，并将其与 C*-代数结构关联。
• 建立原子表示的分解，即作为群构造表示的直和或积分。
• 根据 Hₜ 的秩 s 确定 𝒞*(𝔽ₜ⁺) 的同构类型，证明 𝒞*(𝔽ₜ⁺) ≅ C(𝕋ˢ) ⊗ 𝔞（其中 𝔞 为简单代数）。
• 识别 𝒞*(𝔽ₜ⁺) 的中心为 C(𝕋ˢ)，并表明中心的单位元 Wₕ 对应于 Hₜ 中的群元素 h。

提出的方法

• 利用扩张理论，证明 𝔽ₜ⁺ 的每个无缺陷、行压缩的 *-表示均存在唯一的最小 *-扩张。
• 通过 abelian 群 ℤᵏ 的酉表示，构造一个自然的原子 *-表示族，其索引由定义 k-图的排列 θ 确定。
• 将对称子群 Hₜ ≤ ℤᵏ 定义为所有满足 h 的度移位保持图结构的 h ∈ ℤᵏ 的集合，利用因子化排列 θᵢⱼ。
• 证明 Hₜ 是一个秩为 s ≤ k 的自由 abelian 群，且 C*-代数 𝒞*(𝔽ₜ⁺) 在 𝕋ˢ 上具有连续场结构，其纤维为 𝔞。
• 通过规范作用与商映射构造 *-同态 Θ: 𝒞*(𝔽ₜ⁺) → C(𝕋ˢ, 𝔞)，通过证明其忠实性与满射性，证明其为同构。
• 利用中心 𝒟 = C*(W₁,…,Wₛ) ≅ C(𝕋ˢ) 的事实，以及中心单位元 Wₕ 对应于 Hₜ 中的元素 h，其中 Wₕ = ∑ₑ∈ᴱ γ(e)e*，γ 为从度 h 与 −h 的字集之间的双射。

实验结果

研究问题

• RQ1 能否将任意不可约原子 *-表示的 k-图代数在单顶点上实现为群构造表示的最小 *-扩张？
• RQ2 k-图中的对称子群 Hₜ ≤ ℤᵏ 的结构如何？其秩 s 如何与 C*-代数结构关联？
• RQ3 k-图 𝔽ₜ⁺ 的周期性如何与 Hₜ 的平凡性相关联？其导致的 𝒞*(𝔽ₜ⁺) 分解形式为何？
• RQ4 𝒞*(𝔽ₜ⁺) 的中心是什么？中心单位元 Wₕ 如何与群 Hₜ 关联？
• RQ5 在何种条件下 𝒞*(𝔽ₜ⁺) 是简单的？这与图的非周期性有何关系？

主要发现

• 任意不可约原子 *-表示的 𝔽ₜ⁺ 均为群构造表示的最小 *-扩张，从而实现了对这类表示的完整分类。
• C*-代数 𝒞*(𝔽ₜ⁺) 同构于 C(𝕋ˢ) ⊗ 𝔞，其中 𝔞 为简单 C*-代数，s 为对称子群 Hₜ ≤ ℤᵏ 的秩。
• 𝒞*(𝔽ₜ⁺) 是简单的当且仅当 Hₜ = {0}，即图是非周期的。
• 𝒞*(𝔽ₜ⁺) 的中心为 𝒟 = C*(W₁,…,Wₛ) ≅ C(𝕋ˢ)，且映射 h ↦ Wₕ 是从 Hₜ 到中心单位元群的群同态。
• 与 h ∈ Hₜ 关联的中心单位元 Wₕ 由 Wₕ = ∑ₑ∈ᴱ γ(e)e* 给出，其中 γ 为度 h 与 −h 的字集之间的双射。
• 同构 𝒞*(𝔽ₜ⁺) ≅ C(𝕋ˢ) ⊗ 𝔞 由通过规范自同构与商映射构造的连续 C*-代数场实现，其纤维为 𝔞。