[論文レビュー] C*-equivalences of graphs

D. Drinen, Nándor Sieben|ArXiv.org|Oct 15, 1998

Advanced Operator Algebra Research参考文献 8被引用数 14

ひとこと要約

本稿は、有向グラフ上の同値関係—原始的同値、逆原始的同値、爆発同値、強さのシフト同値—を調査し、それらがグラフC*-代数に関連する群族構成を介して、同型またはモルita同値類を保存することを示している。主な貢献は、このようなグラフ操作がC*-代数における構造的不変性を引き起こすことを示したことであり、グラフC*-代数の分類および標準形の探求に役立つツールを提供する。

ABSTRACT

Several relations on graphs, including primitive equivalence, explosion equivalence and strong shift equivalence, are examined and shown to preserve either the graph groupoid, a construction of Kumjian, Pask, Raeburn, and Renault, or the groupoid of a pointed version of the graph. Thus these relations preserve either the isomorphism class or the Morita equivalence class of the graph C*-algebra, as defined by Kumjian, Pask, and Raeburn.

研究の動機と目的

• グラフC*-代数の同型またはモルita同値類を保存するグラフ変換を特定すること。
• 有限から可算な行有限グラフへの原始的同値の一般化を行い、頂点数の増加に伴う制限を検討すること。
• 逆原始的同値および爆発同値をグラフ群族およびC*-代数の不変量として定義・分析すること。
• 強さのシフト同値と群族同型の関係を明確にし、クンツ＝クリーガーのモルita同値結果の別証明を提示すること。
• 爆発的原始的同値がグラフ群族同型を完全に特徴づけられるかを調査し、アルゴリズム的検証における未解決問題を特定すること。

提案手法

• Kumjian, Pask, Raeburn, および Renault のグラフ群族構成を用い、グラフ構造とC*-代数不変量の関係を関係づける。
• 行列操作—行および列の置換、行列の爆発（頂点を経路に展開）—を用いてグラフ同値を定義する。
• これらの操作がグラフ群族に与える影響を分析し、爆発が群族同型型を保存することを示す。
• 逆爆発が点付き同型に関して群族を保存することを示し、C*-代数のモルita同値性を示唆する。
• 強さのシフト同値および基本的強さのシフト同値を用い、行列同値とC*-代数のモルita同値との関係を関係づける。
• 反例および計算的検証を用いて、原始的同値が逆原始的同値や爆発同値を意味しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 グラフの原始的同値は、それらのC*-代数の同型を意味するか？ また、同型性のための必要条件であるか？
• RQ2 逆原始的同値は、同型を保存しない場合でも、グラフC*-代数のモルita同値類を保存できるか？
• RQ3 爆発同値は、グラフ群族の同型類およびC*-代数の同型を保存するか？
• RQ4 爆発および原始的同値によるグラフ群族同型の完全な特徴づけは可能か？
• RQ5 基本的強さのシフト同値なグラフは、常に同型のC*-代数をもたらすのか、それともモルita同値にとどまるのか？

主な発見

• 原始的同値は、可算な行有限グラフに対して、グラフC*-代数の同型類を保存する。これは、以前の結果の一般化である。
• 逆原始的同値は、C*-代数のモルita同値類を保存するが、必ずしも同型類を保存するとは限らない。
• 爆発同値は、グラフ群族の同型型を保存するため、C*-代数の同型類も保存する。
• 逆爆発同値は、群族同型を保存しないが、点付き変更を経て保存され、C*-代数のモルita同値性を示唆する。
• 基本的強さのシフト同値は、C*-代数のモルita同値性を示し、クンツとクリーガーの結果の別証明を提供する。
• 反例により、原始的同値が逆原始的同値を意味しないこと、また爆発同値が原始的同値を意味しないこと（小さな例でも）が示された。