[论文解读] Leavitt path algebras of finite irreducible representation type

Pere Ara, Kulumani M. Rangaswamy|arXiv (Cornell University)|Sep 30, 2013

Advanced Operator Algebra Research被引用 1

一句话总结

本文刻画了在何种条件下，定义在域 $ K $ 上的有向图 $ E $ 的 Leavitt 路代数 $ L_K(E) $ 具有至多可数个简单左模的同构类。文章建立了图 $ E $ 的必要且充分条件，表明 $ L_K(E) $ 具有有限多个此类同构类当且仅当其为具有有限多个理想的半阿廷 von Neumann 正则环，并为每一种有限或无限基数的简单模类构造了相应例子。

ABSTRACT

Let E be an arbitrary directed graph with no restrictions on the number of vertices and edges and let K be any field. We give necessary and sufficient conditions for the Leavitt path algebra L_K(E) to be of countable irreducible representation type, that is, we determine when L_K(E)has at most countably many distinct isomorphism classes of simple left L_K(E-modules. It is also shown that L_K(E) has dinitely many isomorphism classes of simple left modules if and only if L_K(E) is a semi-artinian von Neumann regular ring with at most finitely many ideals. Equivalent conditions on the graph E are also given. Examples are constructed showing that for each (finite or infinite) cardinal m there exists a Leavitt path algebra L having exactly m distinct isomorphism classes of simple left modules.

研究动机与目标

• 确定 Leavitt 路代数 $ L_K(E) $ 何时具有至多可数个简单左模的同构类。
• 以环论性质刻画 $ L_K(E) $ 具有有限多个此类同构类的情形。
• 提供确保有限或可数不可约表示类型的等价图论条件。
• 为任意基数 $ m $ 构造出恰好具有 $ m $ 个不同同构类的简单左模的 Leavitt 路代数的显式例子。

提出的方法

• 使用图论不变量分析 $ L_K(E) $ 的结构，特别关注环、汇点以及无限发射器的缺失。
• 应用环论工具，包括 von Neumann 正则性与半阿廷性质，以刻画表示类型。
• 建立简单模同构类的有限性与环为半阿廷 von Neumann 正则环且具有有限多个理想之间的等价关系。
• 通过理想格分析，将简单模的数量与 $ L_K(E) $ 中的理想数量联系起来。
• 构造显式图族 $ E $，使得 $ L_K(E) $ 对任意给定基数 $ m $ 恰好具有 $ m $ 个简单模的同构类。

实验结果

研究问题

• RQ1 在图 $ E $ 满足何种条件时，Leavitt 路代数 $ L_K(E) $ 具有至多可数个简单左模的同构类？
• RQ2 在何种情况下 $ L_K(E) $ 具有有限不可约表示类型，即仅具有有限多个此类同构类？
• RQ3 图 $ E $ 的何种图论性质等价于 $ L_K(E) $ 为具有有限多个理想的半阿廷 von Neumann 正则环？
• RQ4 Leavitt 路代数能否实现任意给定基数 $ m $ 的简单模同构类数量，以及此类例子应如何构造？

主要发现

• 当且仅当图 $ E $ 满足与环、汇点相关的特定结构条件时，Leavitt 路代数 $ L_K(E) $ 具有至多可数个简单左模的同构类。
• 当且仅当 $ L_K(E) $ 是具有有限多个理想的半阿廷 von Neumann 正则环时，$ L_K(E) $ 具有有限多个简单左模的同构类。
• 对任意基数 $ m $（有限或无限），均存在一个 Leavitt 路代数，其恰好具有 $ m $ 个不同同构类的简单左模。
• 图 $ E $ 必须不包含无限发射器，并满足确保 $ L_K(E) $ 的理想结构受控且在表示类型有限时为有限的环条件。