[論文レビュー] The ideal structures of crossed products of Cuntz algebras by quasi-free actions of abelian groups

Takeshi Katsura|ArXiv.org|Aug 7, 2001

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

ひとこと要約

本稿は、アーベル群による quasi-free 動きによる Cuntz 代数の交叉積の理想構造を完全に特定し、単純性および原始的性の必要十分条件を提示し、Connes スペクトルと K-群を計算し、双対群と作用スペクトルから導かれる位相空間の閉集合と理想の間の対応関係を確立する。結果は、A. Kishimoto の単純性基準を、新たな位相的枠組みを用いて一般化し、再証明するものである。

ABSTRACT

We completely determine the ideal structures of the crossed products of Cuntz algebras by quasi-free actions of abelian groups and give another proof of A. Kishimoto's result on the simplicity of such crossed products. We also give a necessary and sufficient condition that our algebras become primitive, and compute the Connes spectra and K-groups of our algebras.

研究の動機と目的

• アーベル群による quasi-free 動きの下での Cuntz 代数の交叉積の理想構造を完全に特徴付けること。
• 新しい位相的枠組みを用いて、A. Kishimoto のこのような交叉積の単純性に関する結果を再証明し、一般化すること。
• これらの代数が原始的であるための必要十分条件を特定すること。
• 得られる C*-代数の Connes スペクトルと K-群を計算すること。
• 作用のスペクトルから導かれる位相空間の閉集合と理想の間の全単射対応を確立すること。

提案手法

• ゲージ作用を用いて、群作用に不変な理想を分類し、双対群 Γ の閉集合と一対一対応を確立する。ただし、特定の代数的条件を満たすものに限る。
• 作用のスペクトル Ω を、双対群 Γ の有限部分集合として導入し、これが理想構造を支配することを示す。
• Cuntz-Pimsner 代数の理論を応用し、K-理論的技法を用いて K-群を計算する。
• 位相空間 Ω/Ω̄ を構成し、Ω による平行移動に関して不変な集合を用いて、非正則な場合の理想を分類する。
• 強 Connes スペクトルを主要な不変量とし、理想構造と双対性理論を用いて計算する。
• 作用の核による商を用いることで一般ケースをより単純なケースに還元し、より単純な交叉積と同型になることを導く。

実験結果

リサーチクエスチョン

• RQ1 アーベル群による quasi-free 動きによる Cuntz 代数の交叉積の完全な理想構造は何か？
• RQ2 このような交叉積が単純または原始的であるための条件は何か？
• RQ3 これらの代数の Connes スペクトルと K-理論はどのように計算できるか？
• RQ4 作用のスペクトルと理想格子の関係は何か？
• RQ5 作用が条件 5.1（グラフ代数における条件 (K) に類似）を満たすか否かに応じて、理想構造はどのように異なるか？

主な発見

• ゲージ作用に不変な理想の集合は、特定の代数的条件を満たす双対群 Γ の閉集合と一対一対応にあり、定理 3.14 で明確に形式化されている。
• 交叉積が単純であるための必要十分条件は、作用のスペクトルが双対群において稠密な部分群を生成することであり、これは A. Kishimoto の結果（定理 4.8）を再証明し、拡張するものである。
• 代数が原始的であるための必要十分条件は、作用のスペクトルが双対群上である種の最小性条件を満たすことであり、定理 4.12 に述べられている。
• 作用が条件 5.1（条件 (K) に類似）を満たす場合、すべての理想はゲージ不変であり、理想格子は双対群 Γ の閉集合によって完全に記述される。
• 一般ケース（条件 5.1 が成立しない場合）では、理想は、作用のスペクトルから導かれる位相空間の閉集合と一対一対応にあり、定理 5.49 で示されている。
• G = ℝ の場合、交叉積が単純であるための必要十分条件は、ω が非周期的かつ型 (+) または (−) であることであり、非単純な場合には原始的理想空間は 𝕋 に位相的に同相である。