[論文レビュー] A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras II, examples

Takeshi Katsura|ArXiv.org|May 14, 2004

Advanced Operator Algebra Research参考文献 15被引用数 4

ひとこと要約

この論文は、位相的グラフからのC*-代数の構成を拡張し、グラフC*-代数とホメオモルフィズムC*-代数の両方を一般化する。新しい位相的グラフを生成するための操作を導入し、関連するC*-代数間の$*$-準同型を確立し、表現論を用いてC*-代数を特徴づける。これにより、すべての既知の分類可能なC*-代数が含まれ、半群小立体力学系（SGDS）からのものと同値であることが示された。

ABSTRACT

We show that the method to construct C^*-algebras from topological graphs, introduced in our previous paper, generalizes many known constructions. We give many ways to make new topological graphs from old ones, and study the relation of C^*-algebras constructed from them. We also prove that our C^*-algebras have a certain characterization. This gives us another definition of our C^*-algebras.

研究の動機と目的

• 位相的グラフからのC*-代数の構成を一般化し、グラフ代数とホメオモルフィズム代数を統合すること。
• 既存のものから新しい位相的グラフを生成する操作を開発し、それらの関連するC*-代数における構造的関係を保存すること。
• 補助空間（例：$E^0_{\text{rg}}$）に依存せずに、位相的グラフから生じるC*-代数をその表現論によって特徴づけること。
• すべての分類可能なC*-代数、特に半群小立体力学系（SGDS）からのもの—が、位相的グラフC*-代数として実現可能であることを示すこと。
• 関連する位相的グラフからのC*-代数の間で強いモラータ同値性を確立し、構造的比較を可能にすること。

提案手法

• 位相的グラフ間のファクター写像を定義し、それらが関連するC*-代数間の$*$-準同型を誘導することを示す。
• C*-代数内のトーペリッツ対$(T^0, T^1)$を用いて、普遍的トーペリッツ代数${\mathcal{T}}(E)$を生成し、表現論を用いてクンツ＝クリーガー代数${\mathcal{O}}(E)$を特徴づける。
• 位相的グラフの射影的システムとその極限を構成し、それに対応する$\mathcal{T}(E)$および$\mathcal{O}(E)$代数の関係を明らかにする。
• グラフの和、プルバック、位相的余極限などの操作を導入し、それらによって得られる新しい位相的グラフのC*-代数が元のものと強くモラータ同値であることを示す。
• 位相的グラフのC*-代数の普遍的性質を応用し、半群小立体力学系$(X,\sigma)$からの$C^*(X,\sigma)$が適切な位相的グラフ$E$に対して$\mathcal{O}(E)$と同型であることを示す。
• 局所ホメオモルフィズムとコサイクル作用を用いて、関連する$*$-準同型の上への性と単射性を証明し、$\mathcal{O}(E)$と$C^*(X,\sigma)$の同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 既存のものから構造的関係を保ちながら、新しい位相的グラフを体系的にどのように構成できるか？
• RQ2 位相的グラフから生じるC*-代数が、半群小立体力学系（SGDS）からのC*-代数と同型であるための条件は何か？
• RQ3 補助空間（例：$E^0_{\text{rg}}$）に依存せずに、位相的グラフのC*-代数をその表現論によって完全に特徴づけられるか？
• RQ4 位相的グラフのC*-代数が、グラフおよびホメオモルフィズム構成からの既知のすべての分類可能なC*-代数をどの程度包含するか？
• RQ5 異なる位相的グラフに付随するC*-代数が、どのような条件下で強くモラータ同値となるか？

主な発見

• 位相的グラフ$E$のC*-代数$\mathcal{O}(E)$は、半群小立体力学系（SGDS）からのC*-代数$C^*(X,\sigma)$と同型であり、完全な対応関係が確立された。
• 既知のすべての分類可能なC*-代数—特にグラフ代数、ホメオモルフィズム代数、SGDSからのもの—が、すべて位相的グラフC*-代数として実現可能である。
• トーペリッツ対による$\mathcal{O}(E)$の構成により、空間$E^0_{\text{rg}}$を用いずに特徴づけが可能となり、構造的解析が簡素化された。
• 位相的グラフ間のファクター写像は、それらの関連するC*-代数間の$*$-準同型を誘導し、構造的比較を可能にする。
• プルバックや位相的グラフの和などの操作により得られる新しいグラフのC*-代数は、元のものと強くモラータ同値である。
• 位相的グラフ$E$が位相的に自由であることと、関連するSGDS$(X,\sigma)$が本質的に自由であることとは同値であり、位相的自由性と力学的自由性の条件が結びついた。