[論文レビュー] Semiprojectivity for certain purely infinite C*-algebras

Jack Spielberg|ArXiv.org|Feb 28, 2001

Advanced Operator Algebra Research参考文献 9被引用数 6

ひとこと要約

この論文は、K理論が有限生成で、K₁が torsion-free である分類可能な単純な分離的核的純無限C*-代数が半射的であることを確立する。これらの代数を無限有向グラフのC*-代数として実現し、帰納的極限分解を用いることで、グラフ代数の関係とK理論的制御に基づく新しい摂動論法を用いて半射的性を証明する。これにより、K群のランク制限が必要であった先行研究を拡張する。

ABSTRACT

It is proved that classifiable simple separable nuclear purely infinite C*-algebras having finitely generated K-theory and torsion-free K_1 are semiprojective. This is accomplished by exhibiting these algebras as C*-algebras of infinite directed graphs.

研究の動機と目的

• 分類可能な単純な分離的核的純無限C*-代数が、K₀が有限生成でK₁が torsion-free であるとき、半射的であるかどうかを特定すること。
• K群のランク制限が要請されていた先行の半射的性に関する結果を、ランク制限を除去することで拡張すること。
• K₀ = 0 で K₁ ≅ ℤ である代数 P∞ が半射的構造をもつことの確立。
• 有限グラフ近似に依存せずに、無限グラフC*-代数と帰納的極限分解に基づく半射的性の証明のための新しい手法の開発。

提案手法

• 特定の有限部分グラフの鎖をもつ無限有向グラフのC*-代数として、標的C*-代数を実現すること。
• 有限部分グラフ上のグラフC*-代数の帰納的極限分解を用いて、代数の近似を構成すること。
• 商代数における理想の有向族を定義し、摂動技術を用いて持ち上げ準同型を構成すること。
• 新しい摂動補題（補題3.6）を適用して、帰納的極限の商への*-準同型を持ち上げ、グラフ関係と整合性を保つこと。
• 持ち上げられた写像が、部分等長射、直交性、出発射影条件を含むグラフC*-代数の関係(O)を満たすことを検証すること。
• 単純な純無限C*-代数の安定性と強いモラータ同値性を用いて、単位元付きの場合を単位元なしの場合に還元し、遺伝的部分代数を介して半射的性を非単位元の場合に確立すること。

実験結果

リサーチクエスチョン

• RQ1 分類可能な単純な分離的核的純無限C*-代数が、K理論が有限生成でK₁が torsion-free であるとき、半射的であるか？
• RQ2 K₀とK₁のランク制限なしに、このような代数の半射的性を確立できるか？
• RQ3 K₀ = 0 で K₁ ≅ ℤ であるC*-代数P∞は、半射的構造をもつのか？
• RQ4 有限グラフ近似に依存せず、無限グラフC*-代数と帰納的極限分解を用いて、これらの代数の半射的性を証明できるか？
• RQ5 このような代数から、グラフC*-代数の帰納的極限の商への*-準同型を一般に持ち上げる方法は存在するか？

主な発見

• この論文は、ユニバーサル係数定理を満たし、K理論が有限生成でK₁が torsion-free である任意の単純な分離的核的純無限C*-代数が半射的であることを証明する。
• K₀ = 0 で K₁ ≅ ℤ である代数P∞が半射的であることが示され、これまではカバーされていなかったケースを解決する。
• 半射的性は、条件(a1)–(a5)を満たす無限有向グラフのC*-代数としてこれらの代数を実現することで確立され、適切な帰納的極限構造を保証する。
• 証明は、連続的な近似においてグラフ代数関係を保持する*-準同型の持ち上げを可能にする、新しい摂動補題（補題3.6）に依存する。
• 有限部分グラフ上のグラフC*-代数の帰納的極限分解により、各段階で整合性を持つ持ち上げが構成され、最終的にグローバルな持ち上げ準同型が得られる。
• この結果は、K₀とK₁のランク制限を除去することで、先行の半射的性に関する結果を一般化し、分類可能な純無限代数のすべての半射的C*-代数のクラスを拡張する。