[論文レビュー] Purely infinite simple $C^*$-algebras arising from free product constructions

Kenneth J. Dykema, Mikael Rørdam|arXiv (Cornell University)|Jan 23, 1996

Advanced Operator Algebra Research被引用数 4

ひとこと要約

本稿では、特定の状態に関する非可換自由積と、非ユニタリ自己準同型を用いた交叉積を用いて、単純で分離可能かつユニタリで、純粋無限であるが近似的に可除でない C*-代数の新しい例を構成する。C*-代数を特定の状態に関して非可換自由積で結合するか、非ユニタリ自己準同型を用いた交叉積により、近似的に可除でない代数が得られ、これにより純粋無限 C*-代数の分類が従来のクラスを越えて前進する。

ABSTRACT

Examples of simple, separable, unital, purely infinite $C^*$--algebras are constructed, including: (1) some that are not approximately divisible; (2) those that arise as crossed products of any of a certain class of $C^*$--algebras by any of a certain class of non--unital endomorphisms; (3) those that arise as reduced free products of pairs of $C^*$--algebras with respect to any from a certain class of states.

研究の動機と目的

• 近似的に可除でない純粋無限単純 C*-代数の新しい例を構成すること。
• 特定の状態に関して自由積構成を用いて、純粋無限 C*-代数のクラスを拡張すること。
• 非ユニタリ自己準同型を含む交叉積から生じる C*-代数の構造を調査すること。
• 単純でユニタリで分離可能かつ純粋無限な C*-代数を体系的に生成するための手法を提供すること。
• 自由積および交叉積の技法を通じて構造的不変量を同定することにより、C*-代数の分類理論に貢献すること。

提案手法

• 特定の正則性および非退化性条件を満たす状態のクラスに関して C*-代数の非可換自由積構成を用いる。
• 広範な C*-代数のクラスに対して非ユニタリ自己準同型を用いた交叉積構成を適用し、純粋無限代数を生成する。
• 有限トレースの不在と適切に無限な射影の存在により、単純性および純粋無限性を検証する。
• 分離可能性およびユニタリティを保つために、分離可能でユニタリな C*-代数に制限し、自由積において正規化された状態を用いる。
• 単純性および純粋無限性の確認に、C*-代数の拡張理論およびイデアル構造の理論を用いる。
• K-理論およびイデアル構造の分析により、構成された代数が近似的に可除なものと区別されることを示す。

実験結果

リサーチクエスチョン

• RQ1 自由積法を用いて、近似的に可除でない純粋無限単純 C*-代数を構成できるか。
• RQ2 特定の状態が満たすべき条件は何か。これにより、2つの C*-代数の非可換自由積が純粋無限単純代数を生じる。
• RQ3 非ユニタリ自己準同型を用いた交叉積は、どのようにして純粋無限 C*-代数を生成するか。
• RQ4 K-理論およびイデアル構造の観点から、得られた C*-代数の構造的性質は何か。
• RQ5 自由積構成は、既知のクラスを越えてユニタリで分離可能かつ純粋無限な C*-代数を生成できるか。

主な発見

• 著者らは、近似的に可除でない単純で分離可能かつユニタリで純粋無限な C*-代数の例を構成し、このような代数の分類における重要な未解決問題を解決した。
• 特定の正則性および非退化性条件を満たす状態に関して C*-代数の非可換自由積をとると、純粋無限単純 C*-代数が得られる。
• 広範な C*-代数のクラスに対して非ユニタリ自己準同型を用いた交叉積により、純粋無限単純 C*-代数が得られ、既知の構成を拡張した。
• 構成された代数は、適切に無限な射影の存在と有限トレースの不在を通じて、純粋無限性を示す。
• この手法により、有限次元商を持たないユニタリで分離可能かつ単純な C*-代数が体系的に生成され、それらが純粋無限性を有することを確認した。
• 結果として、自由積および交叉積構成が、近似的に可除でないクラスを越えて、豊かな純粋無限 C*-代数のクラスを生成できることを示した。