[論文レビュー] Homogeneity of the pure state space of a separable C*-algebra

Akitaka Kishimoto, Narutaka Ozawa+1 more|ArXiv.org|Oct 15, 2001

Advanced Operator Algebra Research参考文献 8被引用数 5

ひとこと要約

本稿は、任意の分離可能なC*-代数の純粋状態空間が、その漸近的内自己同型群の作用において一様的であることを確立している。これは、GNS表現における核が同一である任意の2つの純粋状態が、漸近的内自己同型によって接続可能であることを意味する。この結果は、PowersによるUHF代数に関する先行研究を拡張しており、近似的ユニタリ同値性および可解的von Neumann代数に関連するC*-代数の普遍的性質に依拠している。

ABSTRACT

We prove that the pure state space is homogeneous under the action of the automorphism group (or the subgroup of asymptotically inner automorphisms) for all the separable simple C*-algebras. The first result of this kind was shown by Powers for the UHF algebras some 30 years ago.

研究の動機と目的

• 分離可能なC*-代数の純粋状態空間が、漸近的内自己同型群の作用において一様的であることを確立すること。
• PowersのUHF代数に関する結果を、すべての分離可能な単純C*-代数へと一般化すること。
• 同一のGNS表現の核を持つ純粋状態が、漸近的内自己同型によるユニタリ同値性を満たすことを示すこと。
• 性質1.3（弱アーベル性条件）がすべてのC*-代数に対して普遍的に成り立つことを証明し、主結果の根拠とする。
• KK理論および分類論の文脈において、漸近的内自己同型が全自己同型群の核心的部分群をどのように特徴づけるかを明確にすること。

提案手法

• 純粋状態が等価なGNS表現を持つ場合に、C*-代数のユニタリ群内での連続的ユニタリ経路によって接続可能であることを保証する性質1.2を用いる。
• 可換子と射影をA上の行列代数の元によって近似するという、弱アーベル性を表す性質1.3を適用する。
• 可解的von Neumann代数の等長性半群におけるHaagerupの不変平均を用いて、最小テンソル積A⊗A内のネットを構成する。
• ユニバーサル表現と双対の弱*収束を用いて、すべてのa∈Aとほぼ可換し、積写像において恒等元へと写像するA⊗A内の要素を構成する。
• Kadisonのトランジティビティ定理を適用し、近似的ユニタリ同値性をコンパクト作用素を法としての実際のユニタリ同値性へと引き上げる。
• これらの道具をHahn-Banach分離定理を用いて統合し、性質1.3がすべてのC*-代数に対して成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の分離可能なC*-代数の純粋状態空間は、その漸近的内自己同型群の作用において一様的であるか？
• RQ2 GNS表現において核が同一である2つの純粋状態を結ぶ連続的ユニタリ経路が、分離可能なC*-代数に対して普遍的に存在するか？
• RQ3 近似的可換子と射影を含む弱アーベル性である性質1.3は、すべてのC*-代数に対して成り立つか？
• RQ4 KK理論および表現同値性の観点から、漸近的内自己同型は自己同型群をどの程度まで捉えられるか？
• RQ5 可解的von Neumann代数に関連するC*-代数の普遍的性質を用いて、核型や単純性を仮定せずに純粋状態の一様性を証明できるか？

主な発見

• 任意の分離可能なC*-代数の純粋状態空間は、その漸近的内自己同型群の作用において一様的である。
• 分離可能なC*-代数の任意の2つの純粋状態ω₁とω₂について、ker π_{ω₁} = ker π_{ω₂}ならば、α ∈ AInn(A)が存在してω₁ = ω₂αが成り立つ。
• 性質1.3は、可解的von Neumann代数の等長性半群におけるHaagerupの不変平均を用いて、すべてのC*-代数に対して普遍的に成り立つ。
• 証明により、不変平均から構成されたA⊗A内のネット{T_λ}が、すべてのa∈Aに対してlim_λ ||L_a T_λ - R_a T_λ||_∧ = 0を満たすことが示された。
• 積写像p(T_λ)は双対においてσ-弱収束し、恒等元へと収束するため、構成されたユニタリは表現において恒等元に近似する。
• C*-代数が非単位的であっても、ユニタリ経路の構成にA + C1を用いることで、結果は成り立つ。