[論文レビュー] Simplicity of the C*-algebras of skew product k-graphs

Ben Maloney, David Pask|arXiv (Cornell University)|Jun 25, 2013

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

ひとこと要約

本稿は、k-図Λと単純化可能な半群Sへの関手η: Λ → Sに対し、スケューパッドk-図Λ ×_η Sに付随するC*-代数の単純性の必要十分条件を確立する。主な結果は、C*(Λ ×_d ℤ^k)の単純性がAFコアC*(Λ)^γの単純性と同値であることを示しており、特にΛが行有限で源を持たず、頂点の範囲に無限路の条件を満たす場合にその成立を保証する。

ABSTRACT

We consider conditions on a $k$-graph $Λ$, a semigroup $S$ and a functor $η: Λ o S$ which ensure that the $C^*$-algebra of the skew-product graph $Λ imes_ηS$ is simple. Our results allow give some necessary and sufficient conditions for the AF-core of a $k$-graph $C^{*}$-algebra to be simple.

研究の動機と目的

• スケューパッドk-図Λ ×_η Sに付随するC*-代数の単純性の必要十分条件を特定すること。
• スケューパッド構成を用いて、k-図C*-代数のAFコアC*(Λ)^γが単純となる条件を特徴づけること。
• 共終性と頂点範囲構造がC*(Λ ×_d ℤ^k)の単純性に与える影響を分析すること。
• 高ランク図およびその交叉積の文脈における既知の単純性結果を一般化すること。

提案手法

• k-図Λと半群Sに対して、関手ηによる度数関手を用いたスケューパッド構成Λ ×_η Sの使用。
• 因数分解性質と度数写像d: Λ → ℕ^kを用いて、Λにおけるパスと頂点範囲を定義すること。
• 頂点vから度数≤nのパスで到達可能な頂点の集合V(n,v)と、vへの最短パスが存在しない頂点の有限集合FV(n,v)の導入。
• すべてのwと1 ≤ i ≤ kに対してs⁻¹(wΛ^{ℕe_i})が無限であるという条件を用いて、Λ ×_d ℤ^kの非共終性を保証すること。
• 背理法を用いて、FV(n,v) = ∅ならば無限路仮定に矛盾し、非共終性が生じることを示すこと。
• 与えられた条件下で、C*(Λ ×_d ℤ^k)の単純性とAFコアC*(Λ)^γの単純性が同値であることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 スケューパッドk-図Λ ×_η Sに付随するC*-代数が単純となる条件は何か？
• RQ2 k-図C*-代数のAFコアC*(Λ)^γが単純となるのはいつか？
• RQ3 Λにおける頂点範囲とパスの存在構造が、Λ ×_d ℤ^kの共終性および単純性にどのように影響を与えるか？
• RQ4 無限前像条件s⁻¹(wΛ^{ℕe_i})がスケューパッド代数の単純性を決定づける役割を果たすのはどのような場合か？

主な発見

• Λが行有限で源を持たない場合、C*(Λ ×_d ℤ^k)の単純性はAFコアC*(Λ)^γの単純性と同値である。
• Λが行有限で源を持たず、すべてのwと1 ≤ i ≤ kに対してs⁻¹(wΛ^{ℕe_i})が無限であるならば、Λ ×_d ℤ^kは共終でない。
• すべてのnとvに対してFV(n,v) ≠ ∅であることは、無限路仮定に矛盾を避けるために必要であり、提示された仮定のもとで保証される。
• 無限路条件のもとでΛ ×_d ℤ^kが非共終であることは、C*(Λ ×_d ℤ^k)が単純でないことを示し、追加の条件が満たされない限り成立しない。
• 本結果は、k-図C*-代数における単純性に関する既存の知見を一般化し、スケューパッド構成を用いたAFコアの単純性分析の枠組みを提供する。