[論文レビュー] Aperiodicity and the primitive ideal space of a row-finite $k$-graph $C^*$-algebra

Sooran Kang, David Pask|arXiv (Cornell University)|May 6, 2011

Advanced Operator Algebra Research参考文献 43被引用数 6

ひとこと要約

この論文は、強い非周期性の条件下で、行有限な $k$-図 $C^*$-代数の原始的イデアル空間を特徴づけ、それが $k$-図の1次スケルトンにのみ依存することを示している。空間は可算なコンパクト開集合の基底を持つスペクトル空間に位相的に同相であることが確立され、非同型の $2$-図が同相な原始的イデアル空間を持つ $C^*$-代数をもつ可能性があることが示された。

ABSTRACT

We describe the primitive ideal space of the $C^{\ast}$-algebra of a row-finite $k$-graph with no sources when every ideal is gauge invariant. We characterize which spectral spaces can occur, and compute the primitive ideal space of two examples. In order to do this we prove some new results on aperiodicity. Our computations indicate that when every ideal is gauge invariant, the primitive ideal space only depends on the 1-skeleton of the $k$-graph in question.

研究の動機と目的

• 行有限な $k$-図 $C^*$-代数の原始的イデアル空間を、すべてのイデアルがゲージ不変である場合に記述すること。
• このような $k$-図の原始的イデアル空間として現れる可能性のあるスペクトル位相空間を特定すること。
• 具体的な $2$-図の例（あるものはカルテシアン積でないものも含む）の原始的イデアル空間を計算すること。
• 強い非周期性の下で、原始的イデアル空間が $k$-図の1次スケルトンにのみ依存することを確立すること。
• すべてのこのような原始的イデアル空間が、コンパクト開集合の可算基底を持つスペクトル空間であることを示すこと。

提案手法

• 強い非周期性（定義3.1）を用いて、強非周期的 $k$-図の概念を導入し、すべてのイデアルがゲージ不変であることを保証する。
• 出力のない行有限 $k$-図の文脈で、最大尾（maximal tails）を定義する（定義3.10）。これは1-図の場合の一般化である。
• 飽和的かつ正則な集合が原始的ゲージ不変イデアルを生成するための必要十分条件を証明する（定理3.12）。
• 閉包と基底の構成を用いて、原始的イデアル空間の位相を特徴づける（定理3.15および補題3.16）。
• 頂点を $\mathbb{Z}^2$ に同一視することで、原始的イデアル空間と $\mathbb{Z} \cup \{\infty\}$ 上の右順序位相の積との間の位相同型を確立する。
• 積 $C^*(\Omega \times \Omega) \cong C^*(\Omega) \otimes C^*(\Omega)$ を用いて、カルテシアン積 $2$-図の原始的イデアル空間を計算する。

実験結果

リサーチクエスチョン

• RQ1 すべてのイデアルがゲージ不変である行有限な $k$-図（出力のないもの）の原始的イデアル空間として現れる可能性のあるスペクトル空間はどれか？
• RQ2 どの条件下で $k$-図の原始的イデアル空間がその1次スケルトンにのみ依存するか？
• RQ3 非同型の $k$-図が、同相な原始的イデアル空間を持つ $C^*$-代数をもつことは可能か？
• RQ4 強非周期的 $2$-図の原始的イデアル空間の位相的構造は何か？
• RQ5 カルテシアン積 $k$-図の原始的イデアル空間は、その因子の原始的イデアル空間の積とどのように関係するか？

主な発見

• 強非周期的で出力のない行有限な $k$-図 $C^*$-代数の原始的イデアル空間は、コンパクト開集合の可算基底を持つスペクトル空間である。
• 原始的イデアル空間は、$ (\mathbb{Z} \cup \{\infty\}) \times (\mathbb{Z} \cup \{\infty\}) $ に右順序位相を備えた空間への位相同型によって示されるように、$k$-図の1次スケルトンにのみ依存する。
• スケイプ積 $2$-図 $\Lambda$ の原始的イデアル空間は、$\Lambda$ がカルテシアン積でないにもかかわらず、$ (\mathbb{Z} \cup \{\infty\}) \times (\mathbb{Z} \cup \{\infty\}) $ に位相同型である。
• $\Omega$ が非周期的 $1$-図であるとき、$\Omega \times \Omega$ の原始的イデアル空間は、$C^*(\Omega)$ の原始的イデアル空間の積であり、$C^*(\Lambda)$ のそれと位相同型である。
• 任意の出力のない行有限な $k$-図に対して、その原始的イデアル空間と同一のものを持つAF代数が存在する（補題4.7）。
• 原始的イデアル空間が同相であるにもかかわらず、$C^*(\Lambda)$ と $C^*(\Omega \times \Omega)$ は同型であるとは知られていないため、原始的イデアル空間だけでは $C^*$-代数を分類できないことが示唆される。