[論文レビュー] Flow invariants in the classification of Leavitt path algebras

Gene Abrams, A. Louly+2 more|arXiv (Cornell University)|Dec 2, 2008

Advanced Operator Algebra Research参考文献 17被引用数 6

ひとこと要約

本稿では、記号的力学からのインスピレーションを受けて行ったグラフ操作を用いて、Leavittパス代数のMorita同値および同型の十分条件を確立している。Franksの定理を応用することで、特定のグラフ変換がMorita同値を保つことを示し、これにより、より広いクラスの純粋に無限大で単位的であるLeavittパス代数が、K理論と単位群によって分類可能であることが示された。主な結果は、インシデント行列およびグラフ構造に関する特定の条件下でMorita同値が成立することである。

ABSTRACT

We analyze in the context of Leavitt path algebras some graph operations introduced in the context of symbolic dynamics by Williams, Parry and Sullivan, and Franks. We show that these operations induce Morita equivalence of the corresponding Leavitt path algebras. As a consequence we obtain our two main results: the first gives sufficient conditions for which the Leavitt path algebras in a certain class are Morita equivalent, while the second gives sufficient conditions which yield isomorphisms. We discuss a possible approach to establishing whether or not these conditions are also in fact necessary. In the final section we present many additional operations on graphs which preserve Morita equivalence (resp., isomorphism) of the corresponding Leavitt path algebras.

研究の動機と目的

• 既知のクラスを超えてLeavittパス代数の分類を拡張し、Morita同値および同型の十分条件を同定すること。
• K理論的不変量、特に$ K_0 $および単位群が、純粋に無限大で単位的であるLeavittパス代数を分類するために十分であるかどうかを調査すること。
• 記号的力学に由来するグラフ操作が、Leavittパス代数のMorita同値および同型に果たす役割を調査すること。
• Morita同値および同型のための十分条件が、必要条件であるかどうかも特定し、分野における主要な未解決問題に取り組むこと。
• 純粋に無限大で単位的でないLeavittパス代数に対しても、Morita同値および同型に関する結果を一般化すること。

提案手法

• 記号的力学におけるFranksの定理を適用し、特定のグラフ操作（例：フローエクイヴァレンス移動）が対応するLeavittパス代数のMorita同値を誘導することを確立する。
• $ I - A_E^t $のスミス標準形を用いて、$ \mathrm{coker}(I - A_E^t) $と$ \mathrm{coker}(I - A_E) $を比較し、転置操作に対して不変であることを示す。
• $ \mathcal{F}_{\det}(E) \cong \mathcal{F}_{\det}(E^t) $の同型を活用し、グラフ転置においてFranksペア不変量が保存されることを検証する。
• 単位的Leavittパス代数において安定階数がMorita不変量であるという事実を用い、不変量が異なる場合にはMorita同値が成り立たないことを除外する。
• 特定のグラフ条件の下で$ K_0 $-同型が単位元を保存するならば、Kirchberg-Phillips型分類枠組みをLeavittパス代数に適用し、同型が成立することを検証する。
• グレーディングされたイデアルおよび商代数（例：$ L(E)/\langle v_1 \rangle \cong K[x,x^{-1}] $）の振る舞いを分析し、Morita同値および同型の限界をテストする。

実験結果

リサーチクエスチョン

• RQ1 インシデント行列$ A_E $およびグラフ構造$ E $がどのような条件下で、$ L_K(E) $と別のグラフ$ F $に対し$ L_K(E) $と$ L_K(F) $がMorita同値となるか。
• RQ2 $ K_0(L_K(E)) \cong K_0(L_K(F)) $が単位元を保存する同型であるとき、$ L_K(E) \cong L_K(F) $となる条件は何か。
• RQ3 フローエクイヴァレンス操作から導かれたMorita同値の十分条件が、必要条件であることを示せるか。
• RQ4 トランスポーズ$ E \mapsto E^t $などのグラフ操作が、$ L_K(E) $のMorita同値および同型型にどのように影響を与えるか。
• RQ5 Morita同値および同型に関する結果が、純粋に無限大で単位的でないLeavittパス代数へどの程度一般化可能か。

主な発見

• 本稿では、$ E $が非自明な有限グラフで、出力を持たない非可約かつ本質的である場合、$ L_K(E) $と$ L_K(E^t) $がMorita同値であることを示している。これは、$ \mathcal{F}_{\det}(E) \cong \mathcal{F}_{\det}(E^t) $および$ I - A_E^t $のスミス標準形の不変性によって裏付けられている。
• 出力を持たない有限グラフであり、$ L_K(E) $が純粋に無限大で単位的である場合、$ L_K(E) \cong L_K(E^t) $が成り立つのは、$ K_0(L_K(E)) $における単位元が$ K_0(L_K(E^t)) $における単位元に写されるときのみであり、一般には成り立たない。
• 行列$ A_E = \begin{pmatrix} 1&1&1 \\ 0&0&1 \\ 1&0&0 \end{pmatrix} $の例では、$ K_0(L_K(E)) \cong \mathbb{Z}_2 $であるが、$ [1_E] = [1] $であるのに対し$ [1_{E^t}] = [0] $であるため、$ L_K(E) \not\cong L_K(E^t) $であることが示され、$ K_0 $が同型であっても同型でない例が得られた。
• 安定階数は$ L_K(E) $では2であるが、$ L_K(E^t) $では$ \infty $である。単位的Leavittパス代数において安定階数はMorita不変量であるため、この場合、$ L_K(E) $と$ L_K(E^t) $の間にはMorita同値が成立しない。
• 本稿では、$ E $が有限で出力を持たず、$ L_K(E) $が純粋に無限大で単位的である場合、Franksペア$ \mathcal{F}_{\det} $が転置に対して不変であることから、$ L_K(E) $と$ L_K(E^t) $がMorita同値であることを証明している。
• 著者らは、純粋に無限大で単位的である場合に限らないより広いクラスのLeavittパス代数へ、Morita同値および同型に関する結果を一般化するための枠組みを提供している。