[论文解读] The classification problem for finitely generated operator systems and spaces

Martín Argerami, Samuel Coskey+4 more|arXiv (Cornell University)|Nov 3, 2014

Advanced Operator Algebra Research参考文献 43被引用 10

一句话总结

本文利用Borel复杂性理论解决了有限生成算子系统与算子空间的分类问题。结果表明，虽然一般可分算子系统过于复杂而难以分类，但有限生成的算子系统可通过连续逻辑中的完全理论实现完全分类；对于单生成系统，其完全不变量为单位元在圆周刚性运动下的谱，前提是其谱至少包含五个点。

ABSTRACT

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for arbitrary separable operator systems and spaces are intractable. On the other hand we show that the finitely generated operator systems and spaces are completely classifiable (or smooth); in fact a finitely generated operator system is classified by its complete theory when regarded as a structure in continuous logic. In the particular case of operator systems generated by a single unitary, a complete invariant is given by the spectrum of the unitary up to a rigid motion of the circle, provided that the spectrum contains at least 5 points. As a consequence of these results we show that the relation on compact subsets of $\mathbb{C}^{n}$, given by homeomorphism via a degree 1 polynomial, is smooth.

研究动机与目标

• 利用Borel复杂性理论评估可分算子系统与算子空间分类的可行性。
• 确定广泛持有的观点——有限生成算子系统的分类是不可行的——是否成立。
• 确立有限生成算子系统存在平滑（完全）分类。
• 为特定类别的有限生成算子系统（如由单个单位元生成的系统）识别显式不变量。
• 作为推论，证明在C^n的紧子集上通过度数为1的映射的同胚关系是平滑的。

提出的方法

• 运用Borel复杂性理论分析算子系统与算子空间的分类问题。
• 利用连续逻辑通过其完全理论对有限生成算子系统进行分类。
• 使用满足特定代数与正定性条件的N元组构造N维算子系统的Borel参数化。
• 定义不同算子系统与算子空间参数化之间的保持同构的Borel映射，以建立等价性。
• 应用Ruan公理与算子空间的抽象刻画，从算子空间数据编码算子系统。
• 利用C*-包络与边界表示，将分类与模型论不变量联系起来。

实验结果

研究问题

• RQ1 所有可分算子系统与算子空间的分类问题是不可行的，正如普遍所相信的那样吗？
• RQ2 有限生成算子系统能否被完全分类？若能，其不变量是什么？
• RQ3 由单个单位元生成的有限生成算子系统的完全不变量是什么？
• RQ4 在C^n的紧子集上，通过度数为1的映射的同胚关系是否平滑？
• RQ5 算子系统与算子空间的不同参数化是否Borel等价？

主要发现

• 所有可分算子系统与算子空间的分类问题是不可行的，这与Sabok的先前结果一致。
• 有限生成算子系统是完全可分类的（即平滑的），其分类由其在连续逻辑中的完全理论给出。
• 对于由单位元单生成的算子系统，其完全不变量是该单位元的谱在圆周刚性运动下的等价类，前提是谱至少包含五个点。
• 在C^n的紧子集上，通过度数为1的映射的同胚关系是平滑的，这是分类结果的推论。
• 算子系统与算子空间的不同标准Borel参数化是Borel等价的，确保了分类框架的稳健性。
• 在不同参数化之间构造保持同构的Borel映射，证实了有效分类的可行性。