[论文解读] The graded structure of Leavitt Path algebras

Roozbeh Hazrat|arXiv (Cornell University)|May 11, 2010

Advanced Operator Algebra Research参考文献 19被引用 7

一句话总结

本文研究了与有向图相关的Leavitt路径代数（LPAs）的$η$-分次结构，引入了具有$⊕\mathbb{Z}$-分次的加权Leavitt路径代数，推广了经典LPAs。它建立了强分次的标准——即有限Leavitt路径代数当且仅当每个顶点都连接到一个环路时是强分次的——并证明了$K_0(\mathcal{L}(E,w)) \cong \operatorname{coker}(N^t - I_w)$，将$K$-理论不变量推广至加权情形。

ABSTRACT

Leavitt path algebras associate to directed graphs a $\mathbb Z$-graded algebra and in their simplest form recover the Leavitt algebras $L(1,k)$. In this note, we first study this $\mathbb Z$-grading and characterize the ($\mathbb Z$-graded) structure of Leavitt path algebras, associated to finite acyclic graphs, $C_n$-comet and multi-headed graphs. The last two type are examples of graphs whose Leavitt path algebras are strongly graded. We characterize Leavitt path algebras which are strongly graded, along the way obtaining classes of algebras which are group rings or crossed-products. In an attempt to generalize the grading, we introduce weighted Leavitt path algebras associated to directed weighted graphs which have natural $ extstyle{\bigoplus} \mathbb Z$-grading and in their simplest form recover the Leavitt algebras $L(n,k)$. We then establish some basic properties of these algebras.

研究动机与目标

• 分析与有限无环图、$C_n$-彗星图、多头图及多头图相关的Leavitt路径代数（LPAs）的$η$-分次结构。
• 刻画LPAs成为强分次的条件，特别是基于图论条件，如每个顶点均连接到一个环路。
• 通过引入基于有向加权图的加权Leavitt路径代数，推广分次结构，其自然携带$⊕\mathbb{Z}$-分次。
• 将基本不变量——尤其是$K_0$-理论——从经典LPAs推广至加权LPAs，使用矩阵余核构造。
• 建立单代数强分次LPAs作为群环或半群积的结构，揭示更深层的代数结构。

提出的方法

• 通过底层图中的路径长度定义LPAs上的$η$-分次，推广标准$η$-分次。
• 使用边加权有向图引入加权Leavitt路径代数，调整生成元与关系以反映边权。
• 利用每条源点顶点的最大边权矩阵$N$与单位矩阵$I_w$，在$\mathbb{Z}^{E^0 \setminus \operatorname{Sink}} \to \mathbb{Z}^{E^0}$上定义映射$N^t - I_w$。
• 建立模范同构$\mathcal{V}(\mathcal{L}(E,w)) \cong M_E$，其中$M_E$是顶点模加权关系生成的阿贝尔模范。
• 应用莫里塔理论与$K$-理论同构，将$K_0(\mathcal{L}(E,w))$与$N^t - I_w$的余核联系起来，得出$K_0(\mathcal{L}(E,w)) \cong \operatorname{coker}(N^t - I_w)$。
• 通过实例验证$K_0$的计算，包括$K_0 \cong \mathbb{Z}$或$\mathbb{Z}/k\mathbb{Z}$的情形，并构造具有平凡$[A]$但非平凡$K_0$的环。

实验结果

研究问题

• RQ1 在何种条件下Leavitt路径代数是强分次的？图论条件（如每个顶点连接到环路）如何确保这一点？
• RQ2 如何将Leavitt路径代数的$η$-分次推广至加权图？
• RQ3 加权Leavitt路径代数的$K_0$-群是什么？如何代数地计算它？
• RQ4 在何种条件下，单代数Leavitt路径代数成为群环或半群积？
• RQ5 加权LPA的$K_0$-不变量是否能被由边权导出的矩阵的余核完全捕捉？

主要发现

• 有限Leavitt路径代数$\mathcal{L}_R(E)$是强分次当且仅当图$E$中每个顶点都连接到一个环路。
• 对于$C_n$-彗星图，有$\mathcal{L}_K(E) \cong \mathbb{M}_d(K[x,x^{-1}])$，且该同构尊重$\mathbb{Z}$-分次。
• 加权Leavitt路径代数自然具有$\bigoplus\mathbb{Z}$-分次，且推广了经典LPAs，可最简形式下恢复$L(n,k)$。
• 加权Leavitt路径代数的$K_0$-群同构于矩阵$N^t - I_w$的余核，即$K_0(\mathcal{L}(E,w)) \cong \operatorname{coker}(N^t - I_w)$。
• 存在环$A$满足$K_0(A) \not= 0$但$[A] = 0$，例如$A = \mathbb{M}_k(V_{n,n+k})$，表明在Grothendieck群中类为平凡但$K_0$非平凡。
• 在例5.24中，$K_0(\mathcal{L}(E,w)) \cong \mathbb{Z}$；在例5.25中，$K_0(\mathcal{L}(E,w)) \cong \mathbb{Z}/k\mathbb{Z}$，验证了余核公式。