[论文解读] Extreme cycles. The center of a Leavitt path algebra

María Guadalupe Corrales García, Dolores Martı́n Barquero+3 more|arXiv (Cornell University)|Jul 19, 2013

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

一句话总结

本文引入了极端循环——具有出口的循环，且从该循环出发的每条路径最终都会返回到该循环——作为莱维特路径代数中的关键结构组件。研究证明，行有限的莱维特路径代数的中心同构于 $K$、$K[x,x^{-1}]$ 和 $K$ 的直和，其结构基于线点、极端循环和无出口循环的等价类，从而通过图论不变量完整描述了中心的结构。

ABSTRACT

In this paper we introduce new techniques in order to deepen into the structure of a Leavitt path algebra with the aim of giving a description of the center. Extreme cycles appear for the first time; they concentrate the purely infinite part of a Leavitt path algebra and, jointly with the line points and vertices in cycles without exits, are the key ingredients in order to determine the center of a Leavitt path algebra. Our work will rely on our previous approach to the center of a prime Leavitt path algebra \cite{CMMSS1}. We will go further into the structure itself of the Leavitt path algebra. For example, the ideal $I(P_{ec} \cup P_{c} \cup P_l)$ generated by vertices in extreme cycles ($P_{ec}$), by vertices in cycles without exits ($P_c$) and by line points ($P_l$) will be a dense ideal in some cases, for instance in the finite one or, more generally, if every vertex connects to $P_l \cup P_c\cup P_{ec}$. Hence its structure will contain much of the information about the Leavitt path algebra. In the row-finite case, we will need to add a new hereditary set: the set of vertices whose tree has infinite bifurcations ($P_{b^\infty}$).

研究动机与目标

• 识别并定义极端循环作为莱维特路径代数中一种新的结构组件。
• 利用图论不变量确定行有限莱维特路径代数的中心。
• 通过引入纯无穷分量，扩展先前关于素莱维特路径代数中心结果的研究。

提出的方法

• 引入极端循环的概念：具有出口的循环，且从该循环出发的每条路径最终都会返回到该循环。
• 为线点、无出口循环、极端循环以及具有无限分叉的顶点，分别定义了下闭集 $P_{l}$、$P_{c}$、$P_{ec}$ 和 $P_{b^{lat}}$。
• 利用理想 $I(P_{l} \bigcup P_{c} \bigcup P_{ec} \bigcup P_{b^{lat}})$ 将代数分解为稠密分量。
• 应用莱维特路径代数中理想结构定理，并利用分解 $L_K(E) = I(H_f) \bigoplus I(H_\flat)$，其中 $H_f$ 和 $H_\flat$ 通过等价类定义。
• 通过同构关系刻画中心：$Z(L_K(E)) \cong K^{|X_f^l|} \oplus K^{|X_f^{ec}|} \oplus K[x,x^{-1}]^{|X_f^c|}$，其中 $X_f^l$、$X_f^{ec}$、$X_f^c$ 分别为有限等价类。
• 利用基定理和对合论证，证明中心的每个分量同构于 $K$ 或 $K[x,x^{-1}]$ 的 $K$-代数。

实验结果

研究问题

• RQ1 极端循环如何影响莱维特路径代数的结构，特别是其与中心的关系？
• RQ2 如何基于图不变量精确描述行有限莱维特路径代数的中心？
• RQ3 线点集、无出口循环集与极端循环集如何共同决定代数的中心？
• RQ4 在何种条件下，由 $P_{l} \cup P_{c} \cup P_{ec}$ 生成的理想在莱维特路径代数中是稠密的？
• RQ5 具有无限分叉的顶点集合（$P_{b^{lat}}$）在代数分解中起到何种作用？

主要发现

• 行有限莱维特路径代数的中心同构于 $K^{|X_f^l|} \oplus K^{|X_f^{ec}|} \oplus K[x,x^{-1}]^{|X_f^c|}$，其中 $X_f^l$、$X_f^{ec}$ 和 $X_f^c$ 分别为线点、极端循环和无出口循环的有限等价类。
• 当每个顶点均能连接至上述三类集合之一时，理想 $I(P_{l} \cup P_{c} \cup P_{ec})$ 在莱维特路径代数中是稠密的，此条件在有限图中恒成立。
• 对于行有限图，代数可分解为 $L_K(E) = I(H_f) \oplus I(H_\infty)$，其中 $H_f$ 为有限等价类闭包的不相交并集，$H_\infty$ 包含 $P_{b^{lat}}$。
• 中心的每个分量 $Z(I(\overline{[v]}))$ 同构于 $K$（若 $v$ 为线点或极端循环），或同构于 $K[x,x^{-1}]$（若 $v$ 属于无出口循环）。
• 有限莱维特路径代数的广义中心通过有限等价类的数量，计算为 $K$ 与 $K[x,x^{-1}]$ 的直和。
• 中心完全由 $P_l \cup P_{ec} \cup P_c$ 中顶点的有限等价类决定，无限分叉不为其中心贡献任何成分。