[論文レビュー] Completeness of the isomorphism problem for separable C*-algebras

Marcin Sabok|arXiv (Cornell University)|Jun 5, 2013

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

ひとこと要約

本稿では、分離的核的 C*-代数、さらには単純で分離的 AI C*-代数の同型問題が、記述的集合論における軌道同値関係のクラスにおいて完全であることを確立している。任意のポーランド群の連続的作用から単純な AI C*-代数の同型関係へのボレル還元を用いて、著者らは、これらの C*-代数の分類が、ポーランド群作用から生じるあらゆる分類問題と同等の複雑さを有することを示している。

ABSTRACT

We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation. This means that any isomorphism problem arsing from a continuous action of a separable completely metrizable group can be reduced to the isomorphism of simple, separable AI C*-algebras. As a consequence, we get that the isomorphism problems for separable nuclear C*-algebras and for separable C*-algebras have the same complexity. This answers questions posed by Elliott, Farah, Paulsen, Rosendal, Toms and Törnquist.

研究の動機と目的

• 分離的 C*-代数の同型問題の記述的集合論的複雑さを特定すること。
• エリオット、ファラ、ポールセン、ローゼンダール、トムズ、トーリンツィストらが提起した、分離的および核的な C*-代数の同型の複雑さに関する未解決問題を解決すること。
• 単純で分離的な AI C*-代数の同型が完全な軌道同値関係であることを示すこと、すなわち、このような分類問題の最大の複雑さを捉えていること。
• 分離的 C*-代数の同型問題と分離的核的 C*-代数の同型問題が同じ複雑さを有することを示し、C*-代数自体が分類のための必要不可欠な不変量であることを示唆すること。

提案手法

• 任意のポーランド空間上の標準ボレル空間への連続的ポーランド群作用から、単純で分離的な AI C*-代数の同型関係へのボレル還元を構成すること。
• 普遍のウリソン空間 $\mathbb{U}_1$ 及びその距離構造を用いて、C*-代数の状態空間を通じて任意のポーランド距離空間を表現すること。
• コンパクト距離空間からチョケット単体（C*-代数の状態空間）への写像 $\Phi$ を定義し、アフィンホメオモルフィズムを介して距離的および位相的構造を保存すること。
• 状態空間 $\Phi(X,d_X)$ の極端点が、元の距離空間における孤立点に対応することを証明すること。
• 距離空間内の点間の距離が、孤立極端点の列の極限として得られる凸結合の集合によって一意に符号化されることを示すこと。
• AI C*-代数の状態空間間のアフィンホメオモルフィズムが、それらに対応する距離空間間の等長写像を誘導することを用いて、C*-代数の同型を距離空間の等長写像に還元すること。

実験結果

リサーチクエスチョン

• RQ1 分離的核的 C*-代数の同型問題は、軌道同値関係のクラスにおいて完全か？
• RQ2 任意のポーランド群の連続的作用から生じる同型問題は、単純で分離的な AI C*-代数の同型にボレル還元可能か？
• RQ3 分離的 C*-代数の同型問題の記述的複雑さは、分離的核的 C*-代数のそれと比べてどうか？
• RQ4 核的 C*-代数の同型分類において中心的役割を果たす群 $\mathrm{Aut}(\mathcal{O}_2)$ は、普遍的ポーランド群であるか？
• RQ5 単純な AI C*-代数の同型問題の完全性は、すべての分離的 C*-代数を分類する際、C*-代数自体が必要不可欠な不変量であることを示唆するか？

主な発見

• 分離的核的 C*-代数の同型問題は、軌道同値関係のクラスにおいて完全である。
• 単純で分離的な AI C*-代数の同型は完全な軌道同値関係であり、これは、ポーランド群作用から生じるあらゆる同型問題の最大の複雑さを捉えていることを意味する。
• 分離的完全距離化可能な群の連続的作用から生じる任意の同型問題は、単純で分離的な AI C*-代数の同型にボレル還元可能である。
• 分離的 C*-代数の同型問題と分離的核的 C*-代数の同型問題は、同じ記述的複雑さを有する。
• コンパクト距離空間の空間から AI C*-代数の状態空間の空間へのボレル写像を用いて還元が達成され、その写像はアフィンホメオモルフィズムを通じて等長性を保存する。
• コンパクト距離空間内の点間の距離は、孤立極端点の列の極限として得られる凸結合の集合を通じて、対応する C*-代数の状態単体の構造に一意に符号化されている。