[論文レビュー] Homomorphisms from AH-algebras

Huaxin Lin|arXiv (Cornell University)|Feb 22, 2011

Advanced Operator Algebra Research参考文献 16被引用数 19

ひとこと要約

この論文は、一般の単位的AH C*-代数から、トレーシング・ランクが1以下の単位的単純C*-代数への単位的単準同型の完全な分類基準を確立する。2つのような準同型が近似的にユニタリ同値であることの必要十分条件は、KL理論において一致し、トレーシング状態空間上で連続なアフィン写像を同じくし、K₁にわたる写像がK₀の像の閉包を modulo して同じであることである。

ABSTRACT

Let $C$ be a general unital AH-algebra and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. Suppose that $ϕ, ψ: C o A$ are two unital monomorphisms. We show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if \beq[ϕ]&=&[ψ] { m in} KL(C,A), ϕ_{\sharp}&=&ψ_{\sharp} and ϕ^†&=&ψ^†, \eneq where $ϕ_{\sharp}$ and $ψ_{\sharp}$ are continuous affine maps from tracial state space $T(A)$ of $A$ to faithful tracial state space $T_{ m f}(C)$ of $C$ induced by $ϕ$ and $ψ,$ respectively, and $ϕ^‡$ and $ψ^‡$ are induced homomorphisms from $K_1(C)$ into $\Aff(T(A))/\bar{ρ_A(K_0(A))},$ where $\Aff(T(A))$ is the space of all real affine continuous functions on $T(A)$ and $\bar{ρ_A(K_0(A))}$ is the closure of the image of $K_0(A)$ in the affine space $\Aff(T(A)).$ In particular, the above holds for $C=C(X),$ the algebra of continuous functions on a compact metric space. An approximate version of this is also obtained. We also show that, given a triple of compatible elements $κ\in KL_e(C,A)^{++},$ an affine map $γ: T(C) o T_{ m f}(C)$ and a \hm $\af: K_1(C) o \Aff(T(A))/\bar{ρ_A(K_0(A))},$ there exists a unital monomorphism $ϕ: C o A$ such that $[h]=κ,$ $h_{\sharp}=γ$ and $ϕ^†=\af.$

研究の動機と目的

• 一般の単位的AH代数から、トレーシング・ランクが1以下の単位的単純C*-代数への単位的単準同型を完全に分類する不変量の集合を提供すること。
• 従来、可換C(X)や特別なAH代数に限定されていた分類結果を、スローディメンジョン・グロースを要件としない一般の単位的AH代数へ拡張すること。
• 実現定理を確立する：KL理論、トレーシング状態写像、K₁準同型の整合性のあるデータが与えられたとき、それらの不変量を実現する単位的単準同型が存在すること。
• 次元成長なしの局所的AH代数の分類における長年の技術的障壁を解消するため、Gongの分解定理をほぼ乗法的写像へ一般化すること。
• 単位的単純な局所的AH代数がスローディメンジョン・グロースを満たす場合、Elliott不変量によって分類可能であることを示す基盤を築くこと。

提案手法

• AH代数の帰納的極限構造 $C = \lim_{\to} (B_n, \psi_n)$ を用い、各 $B_n$ が有限CW複体上の連続関数の行列代数のヒレディタリー部分代数であることを活用する。
• 各 $C_n \subset C$ の有限段階で、$\kappa_n = \kappa \circ [\imath_{n,\infty}]$、$\gamma_n = \gamma \circ (\imath_{n,\infty})_\sharp$、$\alpha_n = \alpha \circ \imath_{n,\infty}^\ddagger$ の整合性を用いて、単位的単準同型 $\varphi_n: C_n \to A$ の列を構成する。
• 補正結果（補題6.10）を適用し、ユニタリ $u_n$ を得て、$\mathrm{Ad}\,u_n \circ \varphi_n$ が増大する有限集合 $\mathcal{F}_n$ 上で一様に近くなるようにする。
• 極限準同型 $h(f) = \lim_{n\to\infty} \mathrm{Ad}\,u_n \circ \varphi_{n+1} \circ \imath_n(f)$ を定義し、$h$ が所望の不変量を持つ単位的単準同型であることを保証する。
• $\kappa$、$\gamma$、$\alpha$ の整合性を用いて帰納的極限全体で一貫性を保ち、結果として得られる $h$ が $[h] = \kappa$、$h_\sharp = \gamma$、$h^{\ddagger} = \alpha$ を満たすことを検証する。
• $\mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ の構造と、$T(A)$ から $T_f(C)$ への連続なアフィン写像を用いて、トレーシング的およびK理論的データを制御する。

実験結果

リサーチクエスチョン

• RQ1 2つの単位的単準同型 $\varphi, \psi: C \to A$ が、トレーシング・ランクが1以下の単位的単純C*-代数 $A$ から単位的AH代数 $C$ へのものであるとき、それらが近似的にユニタリ同値であるのはいつか？
• RQ2 このような準同型を分類するための、KL理論を越える完全な不変量のセットは何か？
• RQ3 KL(C,A)^{++}、トレーシング状態写像、K₁-準同型の整合性のあるデータを実現する単位的単準同型を構成できるか？
• RQ4 Gongの分解定理は、ほぼ乗法的写像を含むようにどのように拡張可能か？これにより、次元成長なしの局所的AH代数の分類が可能になる。
• RQ5 トレーシング状態写像とK₁データは、C*-代数準同型の分類において、KL理論をどの程度まで精緻化するか？

主な発見

• 2つの単位的単準同型 $\varphi, \psi: C \to A$ が近似的にユニタリ同値であることの必要十分条件は、$KL(C,A)$ において $[\varphi] = [\psi]$、$\varphi_\sharp = \psi_\sharp$、および $\varphi_\rho = \psi_\rho$ であることである。ここで $\varphi_\sharp$ は $T(A)$ から $T_f(C)$ への写像であり、$\varphi_\rho$ は $K_1(C)$ から $\mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ への写像である。
• この結果は、可換な代数やスローディメンジョン・グロースを満たす代数に限定されず、すべての単位的AH代数に適用可能であり、従来の研究における主要な技術的制限を排除した。
• 実現定理が証明された：$\kappa \in KL_e(C,A)^{++}$、アフィン写像 $\gamma: T(A) \to T_f(C)$、および準同型 $\alpha: K_1(C) \to \mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ が整合的であると仮定すると、$[h] = \kappa$、$h_\sharp = \gamma$、$h^{\ddagger} = \alpha$ を満たす単位的単準同型 $h: C \to A$ が存在する。
• 単位的ユニタリ共役を用いた帰納的極限のアプローチにより、一様収束を確保し、稠密部分集合上で定義された極限準同型が正しく定義される。
• 主な技術的進展は、Gongの分解定理をほぼ乗法的写像へ一般化したことであり、これにより、次元成長なしの単位的単純な局所的AH代数の分類が可能になった。
• これらの結果は、単位的単純な局所的AH代数がスローディメンジョン・グロースを満たす場合、Elliott不変量によって分類可能であることを示す基盤を提供する。