[论文解读] The complexity of the homeomorphism relation between compact metric spaces

Joseph Zielinski|arXiv (Cornell University)|Sep 19, 2014

Advanced Topology and Set Theory参考文献 3被引用 5

一句话总结

本文证明了紧致度量空间之间的同胚关系在 Borel 可约化层次中与波兰群作用的完全轨道等价关系 Borel 双可约化，意味着其在 Borel 可约化层次中具有可能的最大复杂度。该结果通过从 Choquet单纯形的仿射同胚关系出发的一系列约化链实现，其结果对可分 C*-代数中的同构关系以及 C(K)-空间中的等距关系具有重要意义。

ABSTRACT

We determine the exact complexity of classifying compact metric spaces up to homeomorphism. More precisely, the homeomorphism relation on compact metric spaces is Borel bi-reducible with the complete orbit equivalence relation of Polish group actions. Consequently, the same holds for the isomorphism relation between separable commutative C*-algebras and the isometry relation between C(K)-spaces.

研究动机与目标

• 确定紧致度量空间在同胚关系下的精确分类复杂度。
• 确立该分类问题与波兰群作用的最复杂轨道等价关系具有相同的复杂度。
• 将此复杂度结果推广至泛函分析中的相关分类问题，例如可分 C*-代数的同构关系与 C(K)-空间的等距关系。
• 解决一个开放问题：紧致度量空间上的同胚关系是否在 Borel 可约化层次中是完全的。
• 提供从完全轨道等价关系到紧致度量空间上同胚关系的 Borel 约化，通过一系列拓扑构造实现。

提出的方法

• 通过中间结构，从波兰群作用的完全轨道等价关系构造到紧致度量空间上同胚关系的 Borel 约化。
• 使用三元组 $(X, B, A)$ 的空间，其中 $X$ 是一个完美波兰空间，$A \subseteq B \subseteq X$，且 $A, B$ 为闭集，以建模轨道等价关系。
• 应用两阶段隔离构造 $I_2(X, B, A)$，通过添加孤立点来标记集合 $A$ 和 $B$，同时保持拓扑结构。
• 证明 $I_2(X, B, A)$ 与 $I_2(Y, D, C)$ 之间的同胚关系可诱导出原始空间 $X$ 与 $Y$ 之间的同胚关系，并保持集合 $A$ 和 $B$。
• 证明映射 $I_2$ 是从三元组上的 $(1,1)$-等价关系到紧致度量空间上同胚关系的 Borel 约化。
• 利用关于 Choquet 单纯形的仿射同胚关系与轨道等价关系的完备性已知结果，建立最终的双可约化关系。

实验结果

研究问题

• RQ1 紧致度量空间上的同胚关系是否在 Borel 可约化层次中是完全的？
• RQ2 在同胚关系下对紧致度量空间进行分类的精确复杂度是什么？
• RQ3 可分交换 C*-代数的同构关系是否可证明与完全轨道等价关系具有相同的复杂度？
• RQ4 C(K)-空间上的等距关系是否在 Borel 可约化框架中也达到最大复杂度？
• RQ5 能否从完全轨道等价关系构造出到紧致度量空间上同胚关系的 Borel 约化？

主要发现

• 紧致度量空间上的同胚关系与波兰群作用的完全轨道等价关系 Borel 双可约化。
• 在 Borel 可约化层次中，紧致度量空间在同胚关系下的分类具有可能的最大复杂度。
• 可分交换 C*-代数上的同构关系也与完全轨道等价关系 Borel 双可约化。
• C(K)-空间上的等距关系与完全轨道等价关系具有相同的复杂度。
• 该结果确认了紧致度量空间上的同胚关系是完全的，解决了 [GK03] 中提出的一个开放问题。
• 该约化通过两阶段隔离构造 $I_2$ 实现，该构造保持了 Borel 可约化所必需的拓扑与集合论结构。