[論文レビュー] Morita Equivalence of Graph and Ultragraph Leavitt Path Algebras

Michael Mekonen Firrisa|arXiv (Cornell University)|Jun 11, 2020

Advanced Operator Algebra Research参考文献 22被引用数 4

ひとこと要約

本論文は、体上の任意の超グラフ・リーヴィットパス代数が、グラフ・リーヴィットパス代数とモラータ同値であることを確立しており、C*-代数における既知の結果の代数的アナロジーを提供する。主な貢献は、超グラフのdesingularizationを用いたモラータ同値であり、これにより超グラフ・リーヴィットパス代数の単純性基準に対する代替的証明が可能になる。

ABSTRACT

The primary purpose of this thesis is to show every ultragraph Leavitt path algebra is Morita equivalent, as a ring, to a graph Leavitt path algebra. Takeshi Katsura, Paul Muhly, Aidan Sims, and Mark Tomforde showed every ultragraph $C^{*}$-algebra is Morita equivalent, in the $C^{*}$-sense, to a graph $C^{*}$-algebra; our result is an algebraic analog of this fact. Further, we will use our result to give an alternate proof for established conditions which guarantee the simplicity of an ultragraph Leavitt path algebra over a field.

研究の動機と目的

• 体上の超グラフ・リーヴィットパス代数とグラフ・リーヴィットパス代数の間のモラータ同値性を確立すること。
• すべての超グラフ C*-代数がグラフ C*-代数とモラータ同値であるという C*-代数的結果の代数的アナロジーを提供すること。
• この同値性を用いて、超グラフ・リーヴィットパス代数の単純性基準に対する代替的証明を提示すること。
• desingularization技術を用いて、超グラフ・リーヴィットパス代数におけるイデアル構造の理解を拡張すること。

提案手法

• 超グラフのdesingularizationを構成し、元の超グラフ代数とモラータ同値であるグラフのリーヴィットパス代数を生成すること。
• 元の超グラフが条件 (L) を満たすための必要十分条件が、desingularizedグラフに対しても成り立つことを証明すること。
• モラータ同値が単純性を保存することを用いて、グラフ代数から超グラフ代数への単純性基準の移行を実現すること。
• 既知のグラフ・リーヴィットパス代数の単純性定理を活用し、超グラフ代数に対応する結果を導出すること。
• 超グラフにおける飽和的・単調的部分集合と、そのdesingularizedグラフにおけるそれらの間の対応関係を確立すること。
• 元の代数とdesingularized代数間のイデアルのラティス同型を用いて、基本的イデアルの構造的性質を保存すること。

実験結果

リサーチクエスチョン

• RQ1 すべての超グラフ・リーヴィットパス代数は、グラフ・リーヴィットパス代数とモラータ同値であるか？
• RQ2 超グラフとグラフの C*-代数の間のモラータ同値性は、リーヴィットパス代数の代数的設定に持ち上げられるか？
• RQ3 超グラフ・リーヴィットパス代数の単純性は、条件 (L) と飽和的・単調的部分集合の極大性に対応するか？
• RQ4 モラータ同値性とdesingularizationを用いて、超グラフ・リーヴィットパス代数の単純性基準を再導出できるか？

主な発見

• 体上の任意の超グラフ・リーヴィットパス代数は、グラフ・リーヴィットパス代数とモラータ同値である。
• desingularizationプロセスは、モラータ同値に必要な本質的なグラフ的性質（特に条件 (L)）を保存する。
• 超グラフ・リーヴィットパス代数の単純性は、超グラフが条件 (L) を満たし、かつ自明な飽和的・単調的部分集合しか持たないことに同値である。
• モラータ同値性により、超グラフ・リーヴィットパス代数の単純性基準に対する代替的証明が可能となり、これは既知のグラフ代数の結果に依拠する。
• 超グラフ代数におけるイデアルのラatticeは、desingularizedグラフ代数におけるそれと一致し、基本的イデアルの構造が保存される。