[论文解读] The Leavitt Path Algebras of Ultragraphs

M. Imanfar, A. Pourabbas+1 more|arXiv (Cornell University)|Jan 2, 2017

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

一句话总结

本文引入了在单位交换环上定义的超图Leavitt路径代数，统一了图Leavitt路径代数与代数Exel-Laca代数。建立了商超图代数的唯一性定理，并证明了超图Leavitt路径代数的类严格包含了图Leavitt路径代数和代数Exel-Laca代数，且给出了一个在𝔽₂上的非同构超图代数的具体例子。

ABSTRACT

We introduce the Leavitt path algebras of ultragraphs and we characterize their ideal structures. We then use this notion to introduce and study the algebraic analogous of Exel-Laca algebras.

研究动机与目标

• 定义并研究超图的Leavitt路径代数，作为图代数与Exel-Laca代数的统一代数框架。
• 通过商超图与可允许对，刻画超图Leavitt路径代数的理想结构。
• 为商超图代数建立分次唯一性定理与Cuntz-Krieger唯一性定理，以分析理想结构。
• 证明超图Leavitt路径代数的类严格大于图Leavitt路径代数与代数Exel-Laca代数的类。

提出的方法

• 定义在单位交换环R上超图𝒢的Leavitt路径代数$L_R(\mathcal{G})$，推广了图Leavitt路径代数。
• 利用[13]中的商超图，为可允许对$(H,S)$定义$L_R(\mathcal{G}/(H,S))$，以实现理想结构分析。
• 通过有限图的R-代数逼近，证明$L_R(\mathcal{G}/(H,S))$的分次唯一性与Cuntz-Krieger唯一性定理。
• 将代数Exel-Laca代数$\mathcal{EL}_A(R)$作为$L_R(\mathcal{G})$在{0,1}-矩阵A下的特例构造，当𝒢无奇异顶点时，证明其同构性。
• 利用唯一性定理，通过可允许对刻画基本分次理想，并将条件(K)与分次理想关联。
• 在ℤ₂上构造反例，表明$L_{\mathbb{Z}_2}(\mathcal{G})$不与任何图Leavitt路径代数或代数Exel-Laca代数同构。

实验结果

研究问题

• RQ1 如何将Leavitt路径代数推广至超图，以统一图代数与Exel-Laca代数？
• RQ2 超图Leavitt路径代数的理想结构是什么？如何通过商超图与可允许对来描述？
• RQ3 在什么条件下，$L_R(\mathcal{G})$中的每个基本理想都是分次的？这与条件(K)有何关联？
• RQ4 超图Leavitt路径代数的类是否严格包含图Leavitt路径代数与代数Exel-Laca代数？
• RQ5 是否存在一个超图Leavitt路径代数，其不与任何图Leavitt路径代数或代数Exel-Laca代数同构？

主要发现

• 当超图𝒢无奇异顶点且$A = A_\mathcal{G}$为边矩阵时，Leavitt路径代数$L_R(\mathcal{G})$同构于代数Exel-Laca代数$\mathcal{EL}_A(R)$。
• $L_{\mathbb{C}}(\mathcal{G})$同构于超图$C^*$-代数$C^*(\mathcal{G})$的一个稠密$^*$-子代数，推广了图代数的已知结果。
• 对任意可允许对$(H,S)$，商代数$L_R(\mathcal{G}/(H,S))$满足分次唯一性与Cuntz-Krieger唯一性定理。
• $L_R(\mathcal{G})$中的每个基本分次理想均来自一个可允许对$(H,S)$，从而实现了完全分类。
• 一个含一条边$e$、源点$v_0$、范围$\{v_1, v_2, \dots\}$的超图𝒢，生成一个ℤ₂-代数$L_{\mathbb{Z}_2}(\mathcal{G})$，其不与任何图Leavitt路径代数或代数Exel-Laca代数同构。
• $L_{\mathbb{Z}_2}(\mathcal{G})$具有无穷多个两两正交的理想$I_{\{v_n\}}$，这与有限顶点集上图代数的有限理想结构矛盾。