[论文解读] Aperiodicity and the primitive ideal space of a row-finite $k$-graph $C^*$-algebra

Sooran Kang, David Pask|arXiv (Cornell University)|May 6, 2011

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

一句话总结

本文在强非周期性条件下刻画了行有限 $k$-图 $C^*$-代数的本原理想空间，表明该空间仅依赖于 $k$-图的 1-骨架。它证明了该空间同胚于具有可数紧开集基的谱空间，并展示了两个非同构的 $2$-图可以拥有同胚的本原理想空间的 $C^*$-代数。

ABSTRACT

We describe the primitive ideal space of the $C^{\ast}$-algebra of a row-finite $k$-graph with no sources when every ideal is gauge invariant. We characterize which spectral spaces can occur, and compute the primitive ideal space of two examples. In order to do this we prove some new results on aperiodicity. Our computations indicate that when every ideal is gauge invariant, the primitive ideal space only depends on the 1-skeleton of the $k$-graph in question.

研究动机与目标

• 描述当所有理想均为规范不变时，行有限 $k$-图 $C^*$-代数的本原理想空间。
• 识别哪些谱拓扑空间可作为此类 $k$-图的本原理想空间出现。
• 计算两个显式 $2$-图示例的本原理想空间，包括一个非笛卡尔积的示例。
• 建立在强非周期性条件下，本原理想空间仅依赖于 $k$-图的 1-骨架。
• 证明此类本原理想空间是具有可数紧开集基的谱空间。

提出的方法

• 引入强非周期性 $k$-图的概念，通过强非周期性（定义 3.1）定义，确保所有理想均为规范不变。
• 在无源的行有限 $k$-图背景下定义极大尾（定义 3.10），推广 $1$-图情形。
• 证明饱和遗传集生成本原规范不变理想所需的充要条件（定理 3.12）。
• 通过闭包与基构造刻画本原理想空间的拓扑（定理 3.15 与引理 3.16）。
• 通过将顶点与 $\mathbb{Z}^2$ 对应，建立本原理想空间与 $\mathbb{Z} \cup \{\infty\}$ 上右序拓扑的积之间的同胚。
• 利用 $C^*(\Omega \times \Omega) \cong C^*(\Omega) \otimes C^*(\Omega)$ 计算笛卡尔积 $2$-图的本原理想空间。

实验结果

研究问题

• RQ1 在所有理想均为规范不变时，哪些谱空间可作为无源行有限 $k$-图的本原理想空间出现？
• RQ2 在何种条件下，$k$-图的本原理想空间仅依赖于其 1-骨架？
• RQ3 两个非同构的 $k$-图是否可能拥有同胚的本原理想空间的 $C^*$-代数？
• RQ4 强非周期性 $2$-图的本原理想空间具有何种拓扑结构？
• RQ5 笛卡尔积 $k$-图的本原理想空间与其因子的本原理想空间的积有何关系？

主要发现

• 强非周期性行有限 $k$-图（无源）的本原理想空间是具有可数紧开集基的谱空间。
• 本原理想空间仅依赖于 $k$-图的 1-骨架，通过其与 $ (\mathbb{Z} \cup \{\infty\}) \times (\mathbb{Z} \cup \{\infty\}) $（配备右序拓扑）的同胚关系得以证明。
• 对于斜积 $2$-图 $\Lambda$，其本原理想空间同胚于 $ (\mathbb{Z} \cup \{\infty\}) \times (\mathbb{Z} \cup \{\infty\}) $，即使 $\Lambda$ 不是笛卡尔积。
• $\Omega \times \Omega$ 的本原理想空间（其中 $\Omega$ 是非周期性 $1$-图）是 $C^*(\Omega)$ 的本原理想空间的积，且同胚于 $C^*(\Lambda)$ 的本原理想空间。
• 存在一个 AF 代数，其本原理想空间与任意给定的无源行有限 $k$-图相同，如推论 4.7 所示。
• 尽管 $C^*(\Lambda)$ 与 $C^*(\Omega \times \Omega)$ 的本原理想空间同胚，但目前尚不知二者是否同构，表明本原理想空间本身不足以分类 $C^*$-代数。