[論文レビュー] Cuntz-Krieger algebras for infinite matrices

Ruy Exel, Marcelo Laca|ArXiv.org|Dec 18, 1997

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

ひとこと要約

この論文は、零行を含まない無限大の0–1行列へとCuntz-Krieger代数を拡張し、一般化されたCuntz-Krieger関係を満たす部分等長作用素によって生成される普遍C*-代数を定義することで、その拡張を実現する。部分力学系のクロス積構成を用いて、同型定理、イデアル分類、単純性の基準といった主要な結果を確立し、無限大の設定において代数が常に核となることを証明するとともに、単位的および純粋無限性の条件を同定する。

ABSTRACT

Given an arbitrary infinite 0--1 matrix A having no identically zero rows, we define an algebra OA as the universal C*-algebra generated by partial isometries subject to conditions that generalize, to the infinite case, those introduced by Cuntz and Krieger for finite matrices. We realize OA as the crossed product algebra for a partial dynamical system and, based on this description, we extend to the infinite case some of the main results known to hold in the finite case, namely the uniqueness theorem, the classification of ideals, and the simplicity criteria. OA is always nuclear and we obtain conditions for it to be unital and purely infinite.

研究の動機と目的

• 有限から無限大の0–1行列（零行なし）へのCuntz-Krieger代数の一般化を図ること。
• 無限大行列に対して、一般化されたCuntz-Krieger関係を満たす部分等長作用素によって生成される普遍C*-代数OAを定義すること。
• OAの無限大設定における基礎的構造的結果（一意性定理、イデアル分類、単純性の基準）を確立すること。
• OAが常に核となること、および単位的または純粋無限性である条件を同定すること。
• OAを部分力学系のクロス積代数として実現し、有限行列の結果を無限大の場合に拡張可能とする。

提案手法

• 零行を含まない無限大の0–1行列Aから導かれる関係を満たす部分等長作用素によって生成されるOAを、普遍C*-代数として定義する。
• OAと同型となるクロス積を持つ部分力学系を構成し、力学系の技法の適用を可能にする。
• クロス積の実現を用いて、有限行列の場合から無限大行列の場合への一意性定理の拡張を実現する。
• 部分作用の枠組みを用いて、OAにおける両側イデアルを分類し、有限の場合の分類を一般化する。
• 関連する部分作用の極小性と非周期性を分析することで、OAの単純性の基準を確立する。
• Aの各列が有限個の1のみを含む場合にOAが単位的である条件を導出する。また、Aが強いシフト有限性条件を満たす場合にOAが純粋無限であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Cuntz-Krieger代数は、零行を含まない無限大の0–1行列へどのように一般化できるか？
• RQ2 無限大行列のCuntz-Krieger代数に対して適切な普遍C*-代数的定義は何か？
• RQ3 有限の場合に成立する一意性定理、イデアル分類、単純性の基準は、無限大設定へと拡張可能か？
• RQ4 代数OAはどのようにクロス積代数として実現され、構造的解析を容易にするか？
• RQ5 無限大行列の場合に、OAが単位的または純粋無限性を示す条件は何か？

主な発見

• OAは常に核となる。これは有限行列の場合の重要な性質の拡張である。
• OAに対して一意性定理が成り立ち、Cuntz-Krieger関係を満たす表現が普遍代数を通じて因数分解可能であることを保証する。
• OAにおける両側イデアルは、行列のインデックス集合の有界かつ飽和した部分集合と一対一対応する。これは有限の場合の一般化である。
• OAの単純性は、対応する部分作用が対角部分代数のスペクトル上で極小かつ非周期的であることによって特徴づけられる。
• OAは、Aのすべての列が1を有限個しか含まない場合に限り、単位的である。
• Aが強いシフト有限性条件（どの行も最終的に0にならず、有限個の行の集合が無限個の成分を持つ有限部分行列を生成しない）を満たす場合に限り、OAは純粋無限である。