[論文レビュー] A dynamical characterization of diagonal preserving $*$-isomorphisms of graph $C^*$-algebras

Sara E. Arklint, Søren Eilers+1 more|arXiv (Cornell University)|May 4, 2016

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

ひとこと要約

この論文は、グラフ C∗-代数 C∗(E) と C∗(F) 間の対角を保存する ∗-同型写像が、境界路空間の連続的軌道同値性によって完全に特徴づけられることを確立している。特に、最終的に周期的になる点を保存する洗練された概念が用いられている。主な結果は、条件 (L) が成り立たない場合でさえ、この同値性が成り立つことを示しており、従来の結果を一般化し、動的不変量を用いた対角を保存する同型写像によるグラフ C∗-代数の分類を解決する。

ABSTRACT

We characterize when there exists a diagonal preserving $*$-isomorphism between two graph $C^*$-algebras in terms of the dynamics of the boundary path spaces. In particular, we refine the notion of "orbit equivalence" between the boundary path spaces of the directed graphs $E$ and $F$ and show that this is a necessary and sufficient condition for the existence of a diagonal preserving $*$-isomorphism between the graph $C^*$-algebras $C^*(E)$ and $C^*(F)$.

研究の動機と目的

• 条件 (L) の場合を越えてグラフ C∗-代数の分類を拡張するために、軌道同値の概念を洗練すること。
• グラフ C∗-代数間の対角を保存する ∗-同型写像の完全な動的特徴づけを確立すること。
• 可算なシフト空間における軌道同値とフロー同値の関係を解明すること。
• 松本、マツモト、ブラウンロウ-カールセン-ウィットカーらの結果を統合・一般化し、周期的点の保存を組み込むこと。

提案手法

• 最終的に周期的になる点を保存する連続的軌道同値の洗練された概念を導入すること。
• ERRS16 で用いられた「プラグイン」と「アンプラグイン」の技術を用いて、一般の場合を条件 (L) の場合に還元すること。
• C∗(E) と C∗(F) 上の対角を保存する ∗-同型写像を誘導するグラフ群族 GE と GF 間の同型写像を構成すること。
• グラフ C∗-代数の普遍性を用いて、群族の同型写像を対角部分代数を保存する ∗-同型写像に持ち上げること。
• 条件 (L) を満たすグラフに関する [BCW14] の結果を基礎的事例として適用すること。
• 安定化とコンパクト作用素の付加を用いて、対角を保存する同型写像と周期的点を保存する軌道同値の同値性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で二つのグラフ C∗-代数が対角を保存する ∗-同型写像をもつのか？
• RQ2 境界路空間にどのような動的条件が、このような同型写像に対応するのか？
• RQ3 グラフが条件 (L) を満たさない場合に、グラフ C∗-代数の分類をどのように拡張できるか？
• RQ4 サイクルが出口を持たない場合でも、対角を保存する同型写像を捉えるための軌道同値の洗練された概念は存在するか？
• RQ5 周期的点を保存する軌道同値とシフト空間のフロー同値の関係は何か？

主な発見

• C∗(E) と C∗(F) 間に対角を保存する ∗-同型写像が存在するための必要十分条件は、E と F の境界路空間の間に対角を保存する連続的軌道同値が存在することである。
• 周期的点を保存する洗練された軌道同値の概念は、条件 (L) が成り立たない場合でさえ、対角を保存する ∗-同型写像の必要十分条件である。
• シンクを含まない有限グラフに対しては、古典的な軌道同値の概念が、対角を保存する ∗-同型写像とちょうど一致する。
• C∗(E) ⊗ K と C∗(F) ⊗ K の安定化が対角を保存する ∗-同型写像をもつための必要十分条件は、安定化された境界路空間が周期的点を保存する軌道同値であることである。
• 本研究では、可算なシフト空間における軌道同値とフロー同値の関係が解明された：グラフ SE と SF の安定化における軌道同値は、元のシフト空間 XE と XF のフロー同値と同値である。
• 本論文は、非単純な場合でさえ、元のシフト空間を C∗-代数から回復するのに必要な欠落した不変量として対角部分代数が存在することを確認した。