[論文レビュー] Gauge-invariant ideals in the C*-algebras of finitely aligned higher-rank graphs

Aidan Sims|ArXiv.org|Jun 29, 2004

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

ひとこと要約

本稿では、有限整列高ランクグラフのC*-代数におけるゲージ不変イデアルの完全分類を、飽和した単調部分集合と相対Cuntz-Krieger代数を用いて行う。これらのC*-代数が単純で、純粋無限であり、Kirchberg-Phillips分類定理の仮定を満たす条件を確立し、それらがブートストラップクラスに属し、UCTを満たすことを証明する。

ABSTRACT

We produce a complete descrption of the lattice of gauge-invariant ideals in $C^*(Λ)$ for a finitely aligned $k$-graph $Λ$. We provide a condition on $Λ$ under which every ideal is gauge-invariant. We give conditions on $Λ$ under which $C^*(Λ)$ satisfies the hypotheses of the Kirchberg-Phillips classification theorem.

研究の動機と目的

• 有限整列kグラフΛのC*-代数$ C^*(\Lambda) $におけるゲージ不変イデアルのラティスの完全記述を提供すること。
• C*(Λ)のすべてのイデアルがゲージ不変であるための条件を同定すること。
• C*(Λ)がKirchberg-Phillips分類定理の仮定を満たすためのグラフ論的条件を同定すること。
• C*(Λ)がブートストラップクラス$ \mathcal{N} $に属することを示し、核性およびUCTの成立を保証すること。

提案手法

• Λの頂点集合における飽和した単調部分集合Hを導入し、それらがC*(Λ)におけるゲージ不変イデアルIHを生成することを示す。
• 文献[13]のゲージ不変一意性定理を用いて、商$ C^*(\Lambda)/I_H $が相対Cuntz-Krieger代数$ C^*(\Lambda \setminus \Lambda H; \mathcal{E}_H) $に自然に同型であることを示す。
• ゲージ不変イデアルと、Hが飽和的かつ単調的であり、かつ$ B \cup \mathcal{E}_H $が飽和的であるような対(H,B)との間の全単射対応を確立する。
• このような対に、C*(Λ)におけるイデアルの包含関係に対応するラティス順序$ \preceq $を定義する。
• 相対Cuntz-Krieger代数の結果を応用し、$ C^*(\Lambda) \in \mathcal{N} $、すなわちブートストラップクラスに属することを示す。これにより核性およびUCTの成立が保証される。
• 条件(C)およびコファイナリティを用いて、適切なグラフ論的仮定の下で$ C^*(\Lambda) $が純粋無限かつ単純であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限整列kグラフΛに対して、C*(Λ)におけるゲージ不変イデアルの完全なラティス構造は何か？
• RQ2 Λにどのような条件が課されると、C*(Λ)のすべてのイデアルがゲージ不変になるか？
• RQ3 C*(Λ)がKirchberg-Phillips分類定理の仮定を満たすのはいつか？
• RQ4 どのようなグラフ論的条件が、C*(Λ)が単純かつ純粋無限であることを保証するか？
• RQ5 C*(Λ)の構造は、ブートストラップクラス$ \mathcal{N} $およびUCTとどのように関係するか？

主な発見

• C*(Λ)のゲージ不変イデアルは、Hが飽和的かつ単調的であり、かつ$ B \cup \mathcal{E}_H $が飽和的であるような対(H,B)と全単射対応する。
• 商$ C^*(\Lambda)/I_H $は、相対Cuntz-Krieger代数$ C^*(\Lambda \setminus \Lambda H; \mathcal{E}_H) $に自然に同型である。
• Λが条件(C)およびコファイナリティを満たし、かつすべての頂点がエントランスを持つループから到達可能である場合、$ C^*(\Lambda) $は単純かつ純粋無限である。
• C*-代数$ C^*(\Lambda) $は常にブートストラップクラス$ \mathcal{N} $に属するため、核的であり、UCTを満たす。
• 上記の条件下では、Kirchberg-Phillips定理に従い、$ C^*(\Lambda) $はK理論によって同型の意味で分類可能である。
• 本稿では、条件(D)のもとですべてのイデアルがゲージ不変であることが示されたが、実際の応用ではこの条件は一般的に検証しがたい。