[論文レビュー] 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

ひとこと要約

この論文は、コンパクトな距離空間間の同相関係が、ポーランド群作用の完全な軌道同値関係とボレル双還元可能であることを確立しており、これはボレル還元の階層において可能な限り高い複雑性を持つことを意味する。この結果は、チョケット単体のアフィン同相関係を出発点とする一連の還元を通じて得られ、可分な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)-空間における等長関係へのこの複雑性の拡張を図ること。
• コンパクトな距離空間上の同相関係がボレル還元の階層において完全であるかどうかという未解決の問題を解消すること。
• 一連の位相的構成を通じて、完全な軌道同値関係からコンパクトな距離空間上の同相関係へのボレル還元を提供すること。

提案手法

• ポーランド群作用の完全な軌道同値関係から、中間的構造を経由してコンパクトな距離空間上の同相関係へのボレル還元を構築する。
• 空間 $X$ が完全なポーランド空間であり、$A \subseteq B \subseteq X$ で、$A$ と $B$ が閉集合であるような三つ組 $(X, B, A)$ の空間を用い、軌道同値関係をモデル化する。
• 集合 $A$ と $B$ をマークするために孤立点を追加する二段階の分離構成 $I_2(X, B, A)$ を適用し、位相的構造を保存する。
• $I_2(X, B, A)$ と $I_2(Y, D, C)$ 間の同相写像が、元の空間 $X$ と $Y$ 間の同相写像を誘導し、集合 $A$ と $B$ を保存することを示す。
• $I_2$ の写像が、三つ組上の $(1,1)$-同値関係からコンパクトな距離空間上の同相関係へのボレル還元であることを証明する。
• 既知のチョケット単体のアフィン同相関係と軌道同値関係の完全性に関する結果を活用し、最終的な双還元性を確立する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな距離空間上の同相関係は、ボレル還元の階層において完全か？
• RQ2 コンパクトな距離空間の同相関係による分類の正確な複雑性は何か？
• RQ3 可分な可換C*-代数の同型関係が、完全な軌道同値関係と同等の複雑性を持つことが示せるか？
• RQ4 C(K)-空間における等長関係も、ボレル還元枠組みの中で最大の複雑性に達するか？
• RQ5 完全な軌道同値関係からコンパクトな距離空間上の同相関係へのボレル還元を構成できるか？

主な発見

• コンパクトな距離空間上の同相関係は、ポーランド群作用の完全な軌道同値関係とボレル双還元可能である。
• コンパクトな距離空間の同相関係による分類は、ボレル還元の階層において可能な限り高い複雑性を持つ。
• 可分な可換C*-代数の同型関係も、完全な軌道同値関係とボレル双還元可能である。
• C(K)-空間における等長関係は、完全な軌道同値関係と同等の複雑性を持つ。
• この結果により、コンパクトな距離空間上の同相関係が完全であることが確認され、[GK03]で提起された未解決問題が解決された。
• 還元は、必要十分な位相的および集合論的構造を保つ二段階の分離構成 $I_2$ を通じて達成された。