[论文解读] The co-universal C*-algebra of a row-finite graph

Aidan Sims|ArXiv.org|Sep 13, 2008

Advanced Operator Algebra Research参考文献 9被引用 5

一句话总结

本文为行有限有向图 $E$ 引入了共 universal C*-代数 $C^{*}_{\text{min}}(E)$，其由一个普遍性质定义：任何由 Toeplitz-Cuntz-Krieger $E$-族生成的 C*-代数，若所有顶点投影均非零，则必有到 $C^{*}_{\text{min}}(E)$ 的典范满射。关键结果是：当且仅当 $E$ 中每个环路都有进入边时，$C^{*}_{\text{min}}(E)$ 同构于 Cuntz-Krieger 代数 $C^{*}(E)$；否则，它为 $C^{*}(E)$ 的真商代数，且它允许一个忠实的条件期望，映射到由特定路径集关联的投影生成的交换 C*-子代数。

ABSTRACT

Let E be a row-finite directed graph. We prove that there exists a C*-algebra C*_{min}(E) with the following co-universal property: given any C*-algebra B generated by a Toeplitz-Cuntz-Krieger E-family in which all the vertex projections are nonzero, there is a canonical homomorphism from B onto C*_{min}(E). We also identify when a homomorphism from B to C*_{min}(E) obtained from the co-universal property is injective. When every loop in E has an entrance, C*_{min}(E) coincides with the graph C*-algebra C*(E), but in general, C*_{min}(E) is a quotient of C*(E). We investigate the properties of C*_{min}(E) with emphasis on the utility of co-universality as the defining property of the algebra.

研究动机与目标

• 为行有限有向图定义并建立共 universal C*-代数的存在性，捕捉所有由 Toeplitz-Cuntz-Krieger 族生成、且所有顶点投影非零的 C*-代数中的普遍性质。
• 刻画从一般此类 C*-代数到 $C^{*}_{\text{min}}(E)$ 的典范同态为单射的条件。
• 将 $C^{*}_{\text{min}}(E)$ 识别为标准图 C*-代数 $C^{*}(E)$ 的商代数，并确定该商代数何时为平凡（即 $C^{*}_{\text{min}}(E) \cong C^{*}(E)$ 时）。
• 为 $C^{*}_{\text{min}}(E)$ 提供一个具体的实现：作为希尔伯特空间 $\ell^2(\Omega)$ 上算子代数，其中 $\Omega$ 是 $E^{\leq\infty}$ 中无限路径空间的特定子集。

提出的方法

• 将 $C^{*}_{\text{min}}(E)$ 定义为满足共 universal 性质的普遍 C*-代数：任何在另一 C*-代数 $B$ 中的、所有顶点投影非零的 Toeplitz-Cuntz-Krieger $E$-族，均诱导出从 $B$ 到 $C^{*}_{\text{min}}(E)$ 的典范满射。
• 利用 Hong 和 Szymański 对图 C*-代数的本原理想空间的描述，分析 $C^{*}_{\text{min}}(E)$ 的结构，并证明其存在性与唯一性。
• 构造 $C^{*}_{\text{min}}(E)$ 的具体实现：作为 $\ell^2(E^{\leq\infty})$ 上左正则表示限制到特定不变子空间 $\ell^2(\Omega)$ 生成的 C*-代数，其中 $\Omega$ 由不作为无进入边循环的无限重复的初始段的路径组成。
• 将 $W$ 定义为不作为任何无进入边循环的初始段的路径集合，并证明 $C^{*}_{\text{min}}(E)$ 是 $s^{m}_\alpha (s^{m}_\beta)^*$ 的闭线性张，其中 $\alpha, \beta \in W$ 且 $s(\alpha) = s(\beta)$。
• 通过将 $\mathcal{B}(\ell^2(\Omega))$ 上的典范期望限制到 $C^{*}_{\text{min}}(E)$ 上，构造一个从 $C^{*}_{\text{min}}(E)$ 到 $D$ 的忠实条件期望 $\Psi$，其中 $D$ 是由投影 $s^{m}_\alpha (s^{m}_\alpha)^*$ 生成的 C*-代数。
• 证明 $C^{*}_{\text{min}}(E)$ 同构于 $\ell^2(\Omega)$ 上由标准 Cuntz-Krieger 算子限制到 $\Omega$ 生成的 C*-代数，即由 $P^\Omega_v$ 和 $S^\Omega_e$ 生成的代数。

实验结果

研究问题

• RQ1 是否存在一个 C*-代数，对所有顶点投影非零的 Toeplitz-Cuntz-Krieger $E$-族具有共 universal 性质，即任何此类族均能通过典范满射映射到它？
• RQ2 从一般由此类族生成的 C*-代数到 $C^{*}_{\text{min}}(E)$ 的典范同态为单射的条件是什么？
• RQ3 在何种情况下 $C^{*}_{\text{min}}(E)$ 与标准图 C*-代数 $C^{*}(E)$ 一致？
• RQ4 $C^{*}_{\text{min}}(E)$ 的具体结构是什么？它如何被具体实现为希尔伯特空间上算子代数？
• RQ5 集合 $\Omega$（即不作为无进入边循环的无限重复的初始段的路径）在 $C^{*}_{\text{min}}(E)$ 构造中起什么作用？

主要发现

• 对任意行有限有向图 $E$，共 universal C*-代数 $C^{*}_{\text{min}}(E)$ 存在，且其由普遍性质刻画：任何由 Toeplitz-Cuntz-Krieger $E$-族生成、且所有顶点投影非零的 C*-代数，均存在到 $C^{*}_{\text{min}}(E)$ 的典范满射。
• 从由此类族生成的 C*-代数 $B$ 到 $C^{*}_{\text{min}}(E)$ 的典范同态为单射，当且仅当 $B$ 中的族在每个具有有限正范围的顶点上均满足 Cuntz-Krieger 关系。
• 当 $E$ 中每个环路都有进入边时，$C^{*}_{\text{min}}(E)$ 同构于标准图 C*-代数 $C^{*}(E)$；否则，它为 $C^{*}(E)$ 的真商代数。
• $C^{*}_{\text{min}}(E)$ 同构于左正则表示算子限制到不变子空间 $\ell^2(\Omega)$ 生成的 C*-代数，其中 $\Omega$ 是不作为无进入边循环的无限重复的初始段的路径集合。
• $C^{*}_{\text{min}}(E)$ 允许一个到交换 C*-子代数 $D$ 的忠实条件期望 $\Psi$，其中 $D$ 由投影 $s^{m}_\alpha (s^{m}_\alpha)^*$ 生成，且期望定义为：若 $\alpha = \beta$，则 $\Psi(s^{m}_\alpha (s^{m}_\beta)^*) = s^{m}_\alpha (s^{m}_\alpha)^*$，否则为零。
• $C^{*}_{\text{min}}(E)$ 由形如 $s^{m}_\alpha (s^{m}_\beta)^*$ 的元素张成，其中 $\alpha, \beta$ 属于集合 $W$（即不作为无进入边循环的初始段的路径），且满足 $s(\alpha) = s(\beta)$。