[論文レビュー] 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}})$を用いて、代数を稠密な部分に分解する。
• レヴィットパス代数における理想の構造定理を適用し、$H_f$および$H_\flat$を同値類によって定義した$H_f$と$H_\infty$を用いて、$L_K(E) = I(H_f) \bigoplus I(H_\infty)$の分解を用いる。
• 同型を用いて中心を特徴づける：$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]}))$は、$v$が線的点または極端なサイクルにある場合$K$に同型であり、$v$が出口のないサイクルにある場合$K[x,x^{-1}]$に同型である。
• 有限レヴィットパス代数の拡張中心は、有限同値類の数に基づき、$K$および$K[x,x^{-1}]$のコピーの直和として計算される。
• 中心は、$P_l \cup P_{ec} \cup P_c$内の頂点の有限同値類によって完全に決定され、中心には無限の分岐からの寄与は一切ない。