[論文レビュー] The Leavitt Path Algebras of Ultragraphs

M. Imanfar, A. Pourabbas+1 more|arXiv (Cornell University)|Jan 2, 2017

Advanced Operator Algebra Research参考文献 16被引用数 9

ひとこと要約

本稿では、単位的可換環上での超図のレヴィット・パス代数を導入し、グラフのレヴィット・パス代数および代数的エクセル＝ラカ代数を一般化する。商超図代数の一意性定理を確立し、超図のレヴィット・パス代数のクラスが、グラフのレヴィット・パス代数および代数的エクセル＝ラカ代数の両方を真に含むことを証明する。具体的な例により、$\mathbb{F}_2$ 上で同型でない超図代数が存在することを示している。

ABSTRACT

We introduce the Leavitt path algebras of ultragraphs and we characterize their ideal structures. We then use this notion to introduce and study the algebraic analogous of Exel-Laca algebras.

研究の動機と目的

• 超図のレヴィット・パス代数を定義・研究し、グラフ代数とエクセル＝ラカ代数を統合する代数的枠組みを提供すること。
• 商超図と適切な対を用いて、超図のレヴィット・パス代数のイデアル構造を特徴づけること。
• 商超図代数に対して、順序付きおよびクンツ＝クリーガーの一意性定理を確立し、イデアルを分析すること。
• 超図のレヴィット・パス代数のクラスが、グラフのレヴィット・パス代数および代数的エクセル＝ラカ代数の両方を真に含むことの証明。

提案手法

• 単位的可換環 $ R $ 上の超図 $ \mathcal{G} $ に対して、レヴィット・パス代数 $ L_R(\mathcal{G}) $ を定義し、グラフのレヴィット・パス代数を一般化する。
• 参考文献[13]の商超図を用い、適切な対 $ (H,S) $ に対して $ L_R(\mathcal{G}/(H,S)) $ を定義し、イデアル構造の分析を可能にする。
• 有限グラフの $ R $-代数による近似を用いて、$ L_R(\mathcal{G}/(H,S)) $ に対して順序付き一意性定理およびクンツ＝クリーガー一意性定理を証明する。
• $ \{0,1\} $-行列 $ A $ に対して、特殊な場合として代数的エクセル＝ラカ代数 $ \mathcal{EL}_A(R) $ を $ L_R(\mathcal{G}) $ の一部として構成し、$ \mathcal{G} $ に特異点がなければ同型であることを示す。
• 一意性定理を用いて、適切な対による基本的順序付きイデアルを特徴づけ、条件(K)と順序付きイデアルの関係を明らかにする。
• $ \mathbb{Z}_2 $ 上の反例を提示し、$ L_{\mathbb{Z}_2}(\mathcal{G}) $ が任意のグラフのレヴィット・パス代数や代数的エクセル＝ラカ代数と同型でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 レヴィット・パス代数をどのように超図に一般化することで、グラフ代数とエクセル＝ラカ代数を統合できるか？
• RQ2 超図のレヴィット・パス代数のイデアル構造は何か？また、商超図と適切な対を用いてどのように記述できるか？
• RQ3 すべての基本的イデアルが順序付きであるための条件は何か？また、これは条件(K)とどのように関係するか？
• RQ4 超図のレヴィット・パス代数のクラスが、グラフのレヴィット・パス代数および代数的エクセル＝ラカ代数の両方を真に含むことはあるか？
• RQ5 任意のグラフのレヴィット・パス代数や代数的エクセル＝ラカ代数と同型でない超図のレヴィット・パス代数は存在するか？

主な発見

• 超図 $ \mathcal{G} $ に特異点がなく、$ A = A_\mathcal{G} $ が辺行列であるとき、レヴィット・パス代数 $ L_R(\mathcal{G}) $ は代数的エクセル＝ラカ代数 $ \mathcal{EL}_A(R) $ に同型である。
• $ \mathbb{C} $ 上の代数 $ L_{\mathbb{C}}(\mathcal{G}) $ は、超図 $ C^* $-代数 $ C^*(\mathcal{G}) $ の稠密な $^*$-部分代数に同型であり、グラフの場合に知られている結果を拡張する。
• 任意の適切な対 $ (H,S) $ に対して、商代数 $ L_R(\mathcal{G}/(H,S)) $ は順序付き一意性定理およびクンツ＝クリーガー一意性定理を満たす。
• $ L_R(\mathcal{G}) $ のすべての基本的順序付きイデアルは、適切な対 $ (H,S) $ から生じる。これにより完全な分類が得られる。
• 1本の辺 $ e $、出発点 $ v_0 $、到達点集合 $ \{v_1, v_2, \dots\} $ を持つ超図 $ \mathcal{G} $ に対して、$ \mathbb{Z}_2 $-代数 $ L_{\mathbb{Z}_2}(\mathcal{G}) $ は、任意のグラフのレヴィット・パス代数や代数的エクセル＝ラカ代数と同型でない。
• $ L_{\mathbb{Z}_2}(\mathcal{G}) $ は無限個の互いに直交するイデアル $ I_{\{v_n\}} $ を持ち、これは有限頂点集合上のグラフ代数の有限イデアル構造と矛盾する。