[論文レビュー] $C^*$-algebras of self-similar graphs over arbitrary graphs

Ruy Exel, Enrique Pardo Espino+1 more|arXiv (Cornell University)|Jul 4, 2018

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

ひとこと要約

この論文は、自己相似的グラフに対する $C^*$-代数の構成を、任意の可算グラフへと拡張する。そのために、行有限で源のない状況に還元するためのdesingularization（滑らか化）プロセスを用いる。得られる $C^*$-代数の単純性は、群作用と $G$-巡回路に入口があることの存在に関するものであり、有限グラフに対する以前の結果を一般化し、Kirchberg代数をフル群ガループド $C^*$-代数として実現するための重要な一歩を提供する。

ABSTRACT

In this note we extend the construction of a $C^*$-algebra associated to a self-similar graph to the case of arbitrary countable graphs. We reduce the problem to the row-finite case with no sources, by using a desingularization process. Finally, we characterize simplicity in this case.

研究の動機と目的

• 自己相似的グラフの $C^*$-代数理論を、有限グラフから任意の可算グラフへと拡張すること。
• 文献における空白を埋めるために、[8] の結果をdesingularizationプロセスを用いて任意のグラフへ一般化すること。
• 群作用と $G$-巡回路に入口があることの存在に関する観点から、$C^*$-代数 $\mathcal{O}_{G,E}$ の単純性を特徴づけること。
• 群が可換であり、タイト群ガループドがハウスドルフである場合に、$C^*$-代数が純粋無限単純であるための条件を確立すること。

提案手法

• 任意の可算グラフを、行有限で源のないものに変換するdesingularizationプロセスを用い、$C^*$-代数構造を保存すること。
• 自己相似性条件を満たす有限パスと群元からなる三つ組 $(G,E,\varphi)$ から逆半群 $\mathcal{S}_{G,E}$ を構成すること。
• 無限パスの空間 $E^\infty$ に作用するgermの群ガループド $\mathcal{G}_{\text{tight}}^{(G,E)}$ を定義し、これはidempotentの半束のタイトフィルターの空間と位相的に同相であることを示すこと。
• 逆半群の技法と位相的群ガループド理論を用いて、$G$-巡回路に入口があることの存在を用いて、タイト群ガループドが局所的収縮的であることを特徴づけること。
• 文献[7]および[8]の結果を応用し、群ガループドの局所的収縮性が $C^*$-代数の単純性および純粋無限性とどのように関係するかを明らかにすること。
• 行有限で源のない状況における単純性および純粋無限性の結果を、一般の場合へとdesingularized三つ組 $(G,F,\widehat{\varphi})$ を用いて移行すること。

実験結果

リサーチクエスチョン

• RQ1 自己相似的グラフの $C^*$-代数構成を、有限グラフから任意の可算グラフへどのように拡張できるか？
• RQ2 一般の場合を、行有限で源のない状況に還元するために使用できるdesingularization技法は何か？
• RQ3 群作用とグラフ構造にどのような条件を課すと、$C^*$-代数 $\mathcal{O}_{G,E}$ が単純になるか？
• RQ4 $G$-巡回路に入口があることの存在は、タイト群ガループドの局所的収縮性および $C^*$-代数の単純性とどのように関係するか？
• RQ5 群が可換であり、タイト群ガループドがハウスドルフである場合に、$C^*$-代数が純粋無限単純であるための条件は何か？

主な発見

• $C^*$-代数 $\mathcal{O}_{G,E}$ は、任意の可算グラフに対する自己相似的グラフから得られるものであり、これは行有限で源のないグラフの $C^*$-代数と同型である。
• $\mathcal{O}_{G,E}$ の単純性は、標準的群作用 $\theta: G \curvearrowright E^\infty$ が局所的収縮的であり、逆半群 $\mathcal{S}_{G,E}$ が局所的収縮的であることと同値である。
• タイト群ガループド $\mathcal{G}_{\text{tight}}^{(G,E)}$ が局所的収縮的であることと、すべての頂点が $G$-巡回路に入口を持つこととは同値である。
• 任意の頂点 $x$ に対して、$r(\alpha_x) = x$ かつ $s(\alpha_x) = r(\gamma)$ を満たす有限パス $\alpha_x$ と、入口を持つ $G$-巡回路 $(g,\gamma)$ が存在する。これは単純性の必要十分条件である。
• 群 $G$ が可換であり、desingularizedグラフ $F$ に対して $\mathcal{G}_{\text{tight}}^{(F)}$ がハウスドルフであるならば、$\mathcal{O}_{G,E}$ の単純性は純粋無限性を意味する。