[論文レビュー] 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) $ が有限個の同型類を持つのは、$ L_K(E) $ が有限個のイデアルをもつ半アートィニアンなヴォイニッチ正則環であるときであり、かつそのときに限ることを示している。また、任意の有限または無限の濃度について、そのような同型類の個数がちょうど $ m $ 個である例を構成している。

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) $ の構造を分析すること。
• ヴォイニッチ正則性と半アートィニアン性を含む環論的道具の適用により、表現型を特徴づけること。
• 単純加群の同型類の有限性と、半アートィニアンかつヴォイニッチ正則で有限個のイデアルをもつ環であることの同値性を確立すること。
• イデアルラティスの分析を用いて、$ L_K(E) $ の単純加群の個数とイデアルの個数を結びつけること。
• 任意の与えられた濃度 $ m $ に対して、$ L_K(E) $ がちょうど $ m $ 個の単純加群の同型類を持つようなグラフ $ E $ の明示的族を構成すること。

実験結果

リサーチクエスチョン

• RQ1 グラフ $ E $ にどのような条件が満たされると、Leavittパス代数 $ L_K(E) $ が高々可算個の単純左加群の同型類を持つようになるか？
• RQ2 $ L_K(E) $ が有限の既約表現型、すなわち有限個の同型類しか持たないのはいつか？
• RQ3 $ L_K(E) $ が半アートィニアンかつヴォイニッチ正則で有限個のイデアルをもつことと同値な、$ E $ のグラフ論的性質は何か？
• RQ4 Leavittパス代数は任意の与えられた濃度 $ m $ の単純加群の同型類を実現できるか？また、そのような例はどのように構成できるか？

主な発見

• Leavittパス代数 $ L_K(E) $ が高々可算個の単純左加群の同型類を持つのは、$ E $ がサイクルとシンクに関連する特定の構造的条件を満たすときであり、かつそのときに限る。
• $ L_K(E) $ が有限個の単純左加群の同型類を持つのは、$ L_K(E) $ が有限個のイデアルをもつ半アートィニアンなヴォイニッチ正則環であるときであり、かつそのときに限る。
• 任意の濃度 $ m $（有限または無限）に対して、単純左加群の同型類がちょうど $ m $ 個あるLeavittパス代数が存在する。
• グラフ $ E $ は無限発生器をもたず、$ L_K(E) $ のイデアル構造が制御され、表現型が有限である場合には有限になるようにサイクルの条件を満たしている必要がある。