[论文解读] The Leavitt path algebra of a graph

Gene Abrams, Gonzalo Aranda Pino|ArXiv.org|Sep 21, 2005

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

一句话总结

本文为任意行有限有向图 $E$ 在域 $K$ 上引入了 Leavitt 路代数 $L(E)$，将其确立为 Cuntz-Krieger $C^*$-代数 $C^*(E)$ 的代数类比。其主要贡献在于一个完整的刻画：$L(E)$ 是单代数当且仅当 $E$ 满足两个条件——不存在非平凡的真下闭饱和顶点子集，且 $E$ 中每个环路都有出口。

ABSTRACT

For any row-finite graph $E$ and any field $K$ we construct the {\its Leavitt path algebra} $L(E)$ having coefficients in $K$. When $K$ is the field of complex numbers, then $L(E)$ is the algebraic analog of the Cuntz Krieger algebra $C^*(E)$ described in [8]. The matrix rings $M_n(K)$ and the Leavitt algebras L(1,n) appear as algebras of the form $L(E)$ for various graphs $E$. In our main result, we give necessary and sufficient conditions on $E$ which imply that $L(E)$ is simple.

研究动机与目标

• 将 Leavitt 路代数 $L(E)$ 定义为 Cuntz-Krieger $C^*$-代数 $C^*(E)$ 的代数类比，将该框架扩展至任意行有限图。
• 建立 $L(E)$ 单性的必要与充分条件，推广已知关于 $L(1,n)$ 和矩阵代数的结果。
• 通过提供一个涵盖先前结果未覆盖的代数（如 $M_n(K)$ 和 $L(1,n)$）的完整单性刻画，弥补先前工作的漏洞。
• 阐明代数结构 $L(E)$ 与解析 $C^*$-代数 $C^*(E)$ 之间的关系，表明当 $K = \mathbb{C}$ 时，$C^*(E)$ 是 $L(E)$ 的范数完备化。

提出的方法

• 通过顶点和边的生成元以及标准乘法关系，定义图 $E$ 上的路径代数 $A(E)$。
• 通过为每个 $e \in E^1$ 添加幽灵边 $e^*$，将图扩展为 $\widehat{E}$，并将 Leavitt 路代数 $L(E)$ 定义为 $\widehat{E}$ 的路径代数模去 Cuntz-Krieger 关系（CK1 和 CK2）的商代数。
• 应用 CK1 关系：对所有 $e,f \in E^1$，有 $e^*f = \delta_{ef} r(f)$；以及 CK2 关系：对非汇点顶点 $v$，有 $v = \sum_{s(e)=v} e e^*$。
• 利用顶点的下闭与饱和子集概念分析 $L(E)$ 中的理想，其中下闭指对发出边封闭，饱和指若某顶点的所有发出边均属于该集合，则该顶点也必须被包含。
• 构造子图 $E$ 和 $F$ 的代数之间的同态 $\Psi: L(E) \to L(F)$，并利用核来通过非平凡理想的存在性分析单性。
• 证明：若 $L(E)$ 是单代数，则 $E^0$ 的每个非空下闭饱和子集必为 $E^0$ 本身，且每个环路均有出口；反之，若这两个条件成立，则 $L(E)$ 是单代数。

实验结果

研究问题

• RQ1 行有限图 $E$ 的什么条件可确保其关联的 Leavitt 路代数 $L(E)$ 是单代数？
• RQ2 $L(E)$ 的单性如何与 $E$ 中环路的结构及出口的存在性相关？
• RQ3 Leavitt 路代数 $L(E)$ 以何种方式推广了已知代数（如 $M_n(K)$ 和 $L(1,n)$）？
• RQ4 当 $K = \mathbb{C}$ 时，代数结构 $L(E)$ 与解析 Cuntz-Krieger $C^*$-代数 $C^*(E)$ 之间有何关系？
• RQ5 能否仅通过图的图论性质完全刻画 $L(E)$ 的单性？

主要发现

• Leavitt 路代数 $L(E)$ 对任意行有限图 $E$ 和域 $K$ 均有定义，且作为特殊情形包含了矩阵代数 $M_n(K)$ 和 Leavitt 代数 $L(1,n)$。
• 当 $K = \mathbb{C}$ 时，$C^*$-代数 $C^*(E)$ 是 $L(E)$ 的范数完备化，建立了代数与分析之间的直接对应关系。
• $L(E)$ 是单代数当且仅当满足以下两个条件：(1) $E^0$ 的每个非空下闭饱和子集均为 $E^0$ 本身；(2) $E$ 中每个环路均有出口。
• 该单性准则适用于先前结果未涵盖的代数，如 $M_n(K)$ 和 $L(1,n)$，这些代数曾被排除在关于 $\mathcal{CK}_A(K)$ 的早期定理之外。
• 对于无源点或汇点的有限图，有 $L(E) \cong \mathcal{CK}_{A_E}(K)$，其中 $A_E$ 是图 $E$ 的边矩阵，从而将代数构造与矩阵构造联系起来。
• 该准则具有算法可判定性：对有限行有限图，可通过有限步检查两个图论条件来确定 $L(E)$ 是否为单代数。