[论文解读] A direct approach to co-universal algebras associated to directed graphs

Aidan Sims, Samuel B. G. Webster|arXiv (Cornell University)|Dec 17, 2009

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

一句话总结

本文提出了一类直接构造方法，用于构造在每个环路均有入口的有向图中与Toeplitz-Cuntz-Krieger族相关的共通用C*-代数。通过直接处理由有限路径的范围投影生成的阿贝尔子代数，并利用忠实的条件期望，作者在不依赖于规范作用、固定点代数或理想结构理论的前提下，建立了 universally 因子化所有此类族的通用C*-代数的存在性。关键结果是：在环路具有入口的条件下，该共用代数存在，并且对满足Toeplitz-Cuntz-Krieger关系的非零部分等距族具有通用性。

ABSTRACT

We prove directly that if E is a directed graph in which every cycle has an entrance, then there exists a C*-algebra which is co-universal for Toeplitz-Cuntz-Krieger E-families. In particular, our proof does not invoke ideal-structure theory for graph algebras, nor does it involve use of the gauge action or its fixed point algebra.

研究动机与目标

• 建立在每个环路均有入口的有向图中，Toeplitz-Cuntz-Krieger族的共用C*-代数的存在性。
• 提供一种直接证明，不依赖于图C*-代数的规范作用、固定点代数或理想结构理论。
• 证明由左正则表示生成的C*-代数对所有满足TCK关系的非零部分等距族是共用的。
• 刻画从由非零TCK族生成的C*-代数到共用代数的典范同态何时能通过共用代数因子化。
• 证明共用代数在最小意义下是最小的此类通用对象，即对所有非零TCK族而言。

提出的方法

• 构造一个通用C*-代数，记为 $C^{*}_{\mathrm{min}}(E)$，由特定的Toeplitz-Cuntz-Krieger族 $(S^{\mathrm{ap}}, P^{\mathrm{ap}})$ 生成，其中包含非零部分等距算子。
• 定义由有限路径的范围投影生成的阿贝尔子代数 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}:\lambda\in E^{*}\}$。
• 通过 $\ell^2(\partial E^{\mathrm{ap}})$ 上的秩一投影的强算子极限，构造从 $C^{*}_{\mathrm{min}}(E)$ 到该阿贝尔子代数的条件期望 $\Phi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$。
• 通过证明其与 $\ell^2(\partial E^{\mathrm{ap}})$ 的典范标准正交基上矩阵系数的强算子极限一致，证明该期望在正元素上是忠实的。
• 通过映射 $q_{\lambda}$ 到 $P^{\mathrm{ap}}_{\lambda}$，利用路径的穷尽性条件，建立任意非零TCK族的阿贝尔子代数到 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}\}$ 的同态 $\psi_{q}$。
• 利用期望的相容性与忠实性，证明 $\pi_{t,q}(a) = 0$ 当且仅当 $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}(a) = 0$，从而证明共用性质。

实验结果

研究问题

• RQ1 在每个环路均有入口的有向图中，是否存在一个不依赖于规范作用或理想理论的共用C*-代数，用于Toeplitz-Cuntz-Krieger族？
• RQ2 能否通过由有限路径范围投影生成的阿贝尔子代数，直接建立共用性质？
• RQ3 从TCK族到共用代数的典范同态在何种条件下是单射？
• RQ4 从共用代数到其阿贝尔子代数的条件期望在正元素上是否忠实？
• RQ5 能否将共用代数表征为对所有非零TCK族的最小通用对象？

主要发现

• 对于每个环路均有入口的有向图 $E$，共用C*-代数 $C^{*}_{\mathrm{min}}(E)$ 存在，且可直接由左正则表示构造。
• 从 $C^{*}_{\mathrm{min}}(E)$ 到阿贝尔子代数 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}\}$ 的条件期望 $\Phi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 在正元素上是忠实的。
• 对于任意满足非零投影 $q_v$ 的Toeplitz-Cuntz-Krieger族 $(t,q)$，通用同态 $\pi_{t,q}$ 的核包含于 $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 的核中，因此 $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ 可通过 $C^{*}(t,q)$ 因子化。
• 同态 $\psi_{t,q}: C^{*}(t,q) \to C^{*}_{\mathrm{min}}(E)$ 是单射当且仅当族满足两个条件：(a) 对每个有限穷尽集 $F \subset vE^*$，有 $\prod_{\lambda\in F}(q_v - q_\lambda) = 0$；(b) 期望 $\Phi_{t,q}$ 是忠实的。
• 任何同态 $\pi: C^{*}_{\mathrm{min}}(E) \to C$ 满足对所有 $v$ 有 $\pi(P^{\mathrm{ap}}_v) \neq 0$，则该同态是单射，表明 $C^{*}_{\mathrm{min}}(E)$ 在共用意义下是最小的。
• 该证明避免使用规范作用、固定点代数和理想结构理论，转而依赖于路径空间上投影与期望的直接分析。