[論文レビュー] The ideal structures of self-similar $k$-graph C*-algebras

Hui Li, Dilian Yang|arXiv (Cornell University)|Jun 25, 2019

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

ひとこと要約

本稿は、自己同型 $k$-グラフ $(G,\Lambda)$ の頂点集合 $\Lambda^0$ の $G$-遺伝的かつ $G$-飽和集合と、関連する普遍 $C^*$-代数 $\mathcal{O}_{G,\Lambda}$ のゲージ不変で対角不変なイデアルの間の一対一対応を確立する。さらに、特定の条件下で原始的イデアルを特徴付け、オドメーターの積などの例におけるジャコブソン位相を記述する。非単位的の場合への構造定理の一般化を行い、イデアル理論における新しい現象を明らかにする。

ABSTRACT

Let $(G, Λ)$ be a self-similar $k$-graph with a possibly infinite vertex set $Λ^0$. We associate a universal C*-algebra $\mathcal{O}_{G,Λ}$ to $(G,Λ)$. The main purpose of this paper is to investigate the ideal structures of $\mathcal{O}_{G,Λ}$. We prove that there exists a one-to-one correspondence between the set of all $G$-hereditary and $G$-saturated subsets of $Λ^0$ and the set of all gauge-invariant and diagonal-invariant ideals of $\mathcal{O}_{G,Λ}$. Under some conditions, we characterize all primitive ideas of $\mathcal{O}_{G,Λ}$. Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$-graph C*-algebras in depth.

研究の動機と目的

• 自己同型 $k$-グラフ $C^*$-代数 $\mathcal{O}_{G,\Lambda}$ のイデアル構造を調査すること。これは単位的 $k$-グラフ代数を一般化し、ネクラシェヴィチやエクセル＝パルド代数といった重要な例を含む。
• 単位的の場合の構造定理を非単位的設定に拡張すること、特に $\Lambda^0$ の $G$-遺伝的および $G$-飽和集合に関して。
• 適切な条件下で $\mathcal{O}_{G,\Lambda}$ の原始的イデアルを特徴付けること、特に周期的群と最大テイルとの関係において。
• 具体的な例、例えば強周期的 $k$-グラフやオドメーターの積について、原始的イデアル空間のジャコブソン位相を記述すること。

提案手法

• 自己同型 $P$-グラフ $C^*$-代数を導入し、$k$-グラフ設定では閉じていない商構成に不可欠な自己同型 $k$-グラフの一般化として研究する。
• $\Lambda^0$ の $G$-遺伝的および $G$-飽和集合を定義し、$\mathcal{O}_{G,\Lambda}$ のゲージ不変で対角不変なイデアルとの間の一対一対応を証明する。
• 周期的群 $\mathrm{Per}_{G,\Lambda}$ 及びその双対を用いて原始的イデアルを分析し、特に $\mathrm{Per}_{G,\Lambda} = \{0\}$ の場合に注目する。
• 具体的な例に理論を適用する：強周期的 $k$-グラフおよびオドメーターの積で、原始的イデアル空間が $\mathbb{T}^r$（$r = \mathrm{rank}(\mathrm{Per}_{\Lambda})$）に位相的に同相であることを示す。
• [21] の周期的群のKMS状態およびトレース状態に関する結果を活用し、力学的性質とイデアル構造を結びつける。
• 最大テイル $T \in M_\gamma(\Lambda)$ 及びそれらに付随するイデアル $I_T = I(\Lambda^0 \setminus T)$ を用いて、原始的イデアル空間における閉集合を記述し、ジャコブソン位相における収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 どの程度の正確さで $\Lambda^0$ の部分集合と $\mathcal{O}_{G,\Lambda}$ のイデアルの間に対応関係が成立するか。これは単位的の場合を超えてどのように拡張されるか。
• RQ2 自己同型 $k$-グラフ $C^*$-代数におけるゲージ不変イデアルと対角不変イデアルの関係は何か。また、これらが一致する条件は何か。
• RQ3 すべての原始的イデアルが最大テイルから生じることを保証する条件は何か。また、原始的イデアル空間の位相はどのように定義されるか。
• RQ4 非単位的例、例えばオドメーターの積について、原始的イデアル空間のジャコブソン位相を明示的に記述するにはどうすればよいか。
• RQ5 周期的群 $\mathrm{Per}_{G,\Lambda}$ は、原始的イデアルの構造および原始的イデアル空間の位相にどのような役割を果たすか。

主な発見

• $\Lambda^0$ の $G$-遺伝的かつ $G$-飽和集合と $\mathcal{O}_{G,\Lambda}$ のゲージ不変で対角不変なイデアルとの間には一対一対応が存在し、これは単位的の場合の結果を一般化する。
• 一般には、$\mathcal{O}_{G,\Lambda}$ のゲージ不変イデアルが対角不変であるとは限らないが、周期的群が自明な場合などの弱い条件下ではこの違いは消える。
• もし $\Lambda$ が強周期的であれば、$\mathcal{O}_{G,\Lambda}$ のすべてのイデアルはゲージ不変かつ対角不変であり、原始的イデアル空間 $\mathrm{Prim}(\mathcal{O}_{G,\Lambda})$ は最大テイルの集合 $M_\gamma(\Lambda)$ に位相的に同型である。
• オドメーターの積の場合、$\mathrm{Prim}(\mathcal{O}_{G,\Lambda}) \cong \mathbb{T}^r$（$r = \mathrm{rank}(\mathrm{Per}_{\Lambda})$）であり、ジャコブソン位相は最大テイルの収束を用いて明示的に記述できる。
• $Y \subseteq M_\gamma(\Lambda)$ の閉包について、$T_0 \in \overline{Y}$ が成り立つための必要十分条件は $T_0 \subseteq \bigcup_{T \in Y} T$ であることである。これは最大テイルを用いた閉包の位相的特徴づけを提供する。