[论文解读] 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*-代数，其在描述集合论中的轨道等价关系类中是完全的。通过将任意波兰群的连续作用的轨道等价关系 Borel 归约到简单 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*-代数同构问题的描述集合论复杂度。
• 解决 Elliott、Farah、Paulsen、Rosendal、Toms 和 Törnquist 提出的关于可分与核 C*-代数同构复杂度的开放问题。
• 证明简单、可分的 AI C*-代数的同构关系是一个完全的轨道等价关系，意味着它捕捉了此类分类问题的最大复杂度。
• 表明可分 C*-代数与可分核 C*-代数的同构问题具有相同的复杂度，意味着 C*-代数本身是分类所必需的不变量。

提出的方法

• 从任意波兰群在标准 Borel 空间上的连续作用构造到简单、可分的 AI C*-代数同构关系的 Borel 归约。
• 利用通用的 Urysohn 空间 $\mathbb{U}_1$ 及其度量结构，通过 C*-代数的状态空间表示任意波兰度量空间。
• 定义一个从紧致度量空间到 Choquet 单纯形（C*-代数的状态空间）的映射 $\Phi$，通过仿射同胚保持度量与拓扑结构。
• 证明状态空间 $\Phi(X,d_X)$ 的极端点对应于度量空间中的孤立点，且点之间的距离通过单纯形的结构被编码。
• 建立紧致度量空间中点之间的距离由极端点的凸组合集合唯一确定，这些组合是孤立极端点序列的极限。
• 利用 AI C*-代数状态空间之间的仿射同胚诱导底层度量空间之间的等距同构，从而将 C*-代数的同构问题归约为度量空间的等距同构问题。

实验结果

研究问题

• RQ1 可分核 C*-代数的同构问题是否在轨道等价关系类中是完全的？
• RQ2 任何由可分完全度量群的连续作用产生的同构问题，是否可以 Borel 归约到简单、可分的 AI C*-代数的同构问题？
• RQ3 可分 C*-代数的同构问题的描述复杂度与可分核 C*-代数的同构问题相比如何？
• RQ4 给定 $\mathrm{Aut}(\mathcal{O}_2)$ 在分类核 C*-代数同构中的作用，它是否是一个通用的波兰群？
• RQ5 简单 AI C*-代数同构问题的完全性是否意味着 C*-代数本身是分类所有可分 C*-代数所必需的不变量？

主要发现

• 可分核 C*-代数的同构问题在轨道等价关系类中是完全的。
• 简单、可分的 AI C*-代数的同构关系是一个完全的轨道等价关系，意味着它捕捉了任何由波兰群作用产生的同构问题的最大复杂度。
• 任何由可分完全度量群的连续作用产生的同构问题，都可以 Borel 归约到简单、可分的 AI C*-代数的同构问题。
• 可分 C*-代数与可分核 C*-代数的同构问题具有相同的描述复杂度。
• 该归约通过从紧致度量空间到 AI C*-代数状态空间的 Borel 映射实现，该映射通过仿射同胚保持等距同构。
• 紧致度量空间中点之间的距离通过对应 C*-代数状态单纯形的结构被唯一编码，即通过作为孤立极端点序列极限的凸组合集合。