[論文レビュー] Approximate Unitary Equivalence in Simple C^*-algebras of Tracial Rank One

Huaxin Lin|arXiv (Cornell University)|Jan 18, 2008

Advanced Operator Algebra Research参考文献 28被引用数 3

ひとこと要約

本稿は、性質 (J) を持つ単位的 AH-代数から、トレース的ランクが 1 以下の単位的分離的単純 C*-代数への単位的単準同型の近似的ユニタリ同値性について、完全な特徴付けを確立する。主な結果は、2 つのこのような準同型が近似的ユニタリ同値であるための必要十分条件が、KL-群における同じ要素を誘導すること、トレース空間で一致すること、およびユニタリ群の交換子部分群による商群上の誘導準同型が同一であることである。

ABSTRACT

Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple C*-algebra with tracial rank no more than one. Suppose that $ϕ, ψ: C o A$ are two unital monomorphisms. With some restriction on $C,$ we show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if [ϕ]=[ψ] in KL(C,A) τ\circ ϕ=τ\circ ψfor all tracial states of A and ϕ^‡=ψ^‡, here ϕ^‡ and ψ^‡ are homomorphisms from $U(C)/CU(C) o U(A)/CU(A) induced by ϕand ψ, respectively, and where CU(C) and CU(A) are closures of the subgroup generated by commutators of the unitary groups of C and B.

研究の動機と目的

• 性質 (J) を持つ単位的 AH-代数から、トレース的ランク ≤1 の単位的単純 C*-代数への 2 つの単位的単準同型が近似的ユニタリ同値であるための必要十分条件を特定すること。
• 有限次元および無限次元の設定におけるユニタリ同値性の古典的結果を、トレース的ランク 1 の安定的に有限な C*-代数の設定に拡張すること。
• 有限なテスト要素の集合とトレースおよびユニタリ像における一様な制御を用いた、近的ユニタリ同値性の実用的かつ近似的な基準を提供すること。
• KK理論および BDF理論における以前の結果を統合・一般化し、ホモモーフィズムの分類においてトレースデータとユニタリ群の構造を組み込むこと。

提案手法

• 近的ユニタリ同値性によるホモモーフィズムの分類の主な不変量として、KL群（カスパロフの KK理論）を用いる。
• 目標 C*-代数のトレース空間を、必要不変量として用い、任意のトレース状態との合成が一致することを要請する。
• ユニタリ群の交換子部分群の閉包 $CU(A)$ を用いた商群 $U(A)/CU(A)$ 上の誘導準同型を導入し、K-理論的および位相的データを捉える。
• AH-代数 $C$ の有限部分代数 $C_n$ を段階的に増加させる有限近似技術を適用し、問題を有限次元または行列代数の設定に還元する。
• AH-代数 $C$ の性質 (J) を用いて、スペクトルおよび K-理論的データに良好な制御が可能な準同型への近似が可能であることを保証する。
• 定理 11.5 の安定性結果を適用し、射影の $ heta$-写像による像をユニタリによる共役で整列可能とし、問題を単一の和因子に還元する。

実験結果

リサーチクエスチョン

• RQ1 性質 (J) を持つ単位的 AH-代数 $C$ と、トレース的ランクが 1 以下の単位的単純 C*-代数 $A$ に対して、2 つの単位的単準同型 $φ, ψ: C → A$ が近似的ユニタリ同値であるのはいつか？
• RQ2 $KL(C,A)$、トレース空間 $T(A)$、ユニタリ商 $U(A)/CU(A)$ のどの不変量が、このようなホモモーフィズムの近的ユニタリ同値性を分類するために必要十分か？
• RQ3 有限部分集合 $C$、$A$、およびユニタリ要素を用いた有限近似により、分類をどのように実効的に可能にするか？
• RQ4 $K_0$-データとトレースデータの一致が近的ユニタリ同値性を示す場合と、ユニタリ商写像 $φ^{†}$ が本質的になる場合の違いは何か？
• RQ5 この分類結果は、UCT を満たすトレース的ランク ≤1 のより一般的な C*-代数へ、AH-代数から拡張可能か？

主な発見

• 2 つの単位的単準同型 $φ, ψ: C → A$ が近似的ユニタリ同値であるための必要十分条件は、$KL(C,A)$ 内で $[φ] = [ψ]$ であること、$A$ 上のすべてのトレース状態 $τ$ に対して $τ ∘ φ = τ ∘ ψ$ であること、および $U(C)/CU(C)$ 上で $φ^{†} = ψ^{†}$ であることである。
• 性質 (J) を持つ単位的 AH-代数に対して、実用的な有限近似基準が確立された：もし準同型が $K$-理論的生成子、ユニタリ像、およびトレースに関して有限集合で一致するならば、任意の $ε$ に対して有限部分集合上で近似的ユニタリ同値となる。
• この結果は、$A$ がトレース的ランクが 1 以下であるという仮定のもとで成り立ち、安定的ランク 1 を保証し、ユニタリ商写像が適切に定義可能である。
• 特徴付けは鋭く、有限次元および Calkin 代数の設定における古典的結果を、トレース的ランク 1 の単純 C*-代数の広いクラスへと拡張する。
• 証明は、$C$ の帰納的極限構造を用いた有限次元行列代数への還元に依拠し、スペクトル測度とユニタリ共役の制御を併用する。
• 系 11.8 は、結果を、UCT を満たすすべてのトレース的ランク ≤1 の単位的分離的単純 C*-代数へと拡張し、同じ不変量が近的ユニタリ同値性を分類することを示している。