[论文解读] Characterizing graph C*-correspondences

S. Kaliszewski, Nura Patani+1 more|ArXiv.org|Jun 17, 2009

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

一句话总结

该论文证明了，对于任意可分的非退化 C*-对应关系（在具有离散谱的交换 C*-代数上，具体为 $c_0(V)$，其中 $V$ 为可数集），其同构于以 $V$ 为顶点集的有向图的图对应关系。该构造显式地从对应关系出发，利用与顶点对相关的正交子空间构建了这样的图，并证明了从图到其对应关系的映射是一个本质满、忠实且保持同构的函子，从而通过有向图对这些对应关系提供了完整的范畴论刻画。

ABSTRACT

Every separable nondegenerate C*-correspondence over a commutative C*-algebra with discrete spectrum is isomorphic to a graph correspondence.

研究动机与目标

• 通过有向图对 $c_0(V)$ 上所有可分的非退化 C*-对应关系进行刻画，其中 $V$ 为可数集。
• 从任意给定的可分的非退化 $C^*$-对应关系 $X$ 在 $c_0(V)$ 上构造一个有向图 $E$，使得 $X \cong X_E$。
• 证明将图映射到其关联 $C^*$-对应关系的函子 $\Gamma$ 是本质满、忠实且保持同构的。
• 建立一个范畴框架，将有向图与 $C^*$-对应关系联系起来，证明对应关系的构造在结构和范畴上均具有鲁棒性。

提出的方法

• 对每个 $v \in V$，定义 $X_v = X \cdot p_v$，其在诱导内积 $\langle \xi, \eta \rangle_v = \langle \xi, \eta \rangle(v)$ 下成为一个希尔伯特空间。
• 对每对 $u,v \in V$，定义 $X_{uv} = p_u \cdot X \cdot p_v$，其为 $X_v$ 的闭子空间，并为 $X_{uv}$ 选择一组标准正交基 $E_{uv}$。
• 构造边集 $E^1 = \bigcup_{u,v \in V} E_{uv}$，并定义范围映射和源映射 $r(e) = u$，$s(e) = v$，对 $e \in E_{uv}$，从而形成一个有向图 $E$。
• 定义 $c_0(V)$ 上的图对应关系 $X_E$，其模作用和内积由逐点乘法和对源点的求和给出。
• 证明将每个生成元 $e \in E^1$ 映射到 $X_{uv}$ 中对应基元素的映射可唯一延拓为 $C^*$-对应关系的同构 $X \cong X_E$。
• 定义一个函子 $\Gamma: \mathcal{G}(V) \to \mathcal{C}_0(V)$，将图映射到其对应关系，并证明其为本质满、忠实且保持同构。

实验结果

研究问题

• RQ1 每个可分的非退化 $C^*$-对应关系在 $c_0(V)$ 上是否都能实现为以 $V$ 为顶点集的有向图的图对应关系？
• RQ2 从有向图范畴到 $C^*$-对应关系范畴的函子 $\Gamma$ 是否为本质满、忠实且保持同构？
• RQ3 图对应关系 $X_E$ 在多大程度上编码了原始图 $E$ 的结构？
• RQ4 如何用图同构与图态射来刻画对应关系函子 $\Gamma$ 的范畴性质？
• RQ5 在 $C^*$-对应关系范畴与图范畴之间，态射之间的确切关系是什么？

主要发现

• 每个可分的非退化 $C^*$-对应关系在 $c_0(V)$ 上同构于以 $V$ 为顶点集的有向图 $E$ 的图对应关系 $X_E$，从而实现了完全刻画。
• 从 $X$ 构造 $E$ 的过程是典范的：对每对 $u,v$，$p_u X p_v$ 的标准正交基给出了从 $v$ 到 $u$ 的边，由此构造出的 $X_E$ 同构于 $X$。
• 函子 $\Gamma$ 是忠实的且保持同构：当且仅当作为有向图 $E \cong F$ 时，有 $\Gamma(E) \cong \Gamma(F)$。
• 函子 $\Gamma$ 是本质满的：范畴 $\mathcal{C}_0(V)$ 中的每个态射都同构于某个 $\Gamma$ 的像，意味着所有态射在同构意义下均可实现。
• 映射 $E \mapsto X_E$ 在对象上是单射的，并保持态射结构，且 $\Gamma(\phi)$ 是同构当且仅当 $\phi$ 是图同构。
• 对任意 $\mathcal{C}_0(V)$ 中的态射 $\psi: X \to Y$，存在图 $E$、$F$ 及图态射 $\phi: E \to F$，使得 $\Gamma(\phi)$ 通过 $X$ 到 $X_E$ 和 $Y$ 到 $X_F$ 的同构，与 $\psi$ 同构。