[論文レビュー] Automorphism groups of universal diversities

Andreas Hallbäck|arXiv (Cornell University)|Apr 24, 2020

Advanced Topology and Set Theory参考文献 22被引用数 2

ひとこと要約

この論文は、Urysohn多様性の自己同型群が普遍的ポーランド群であることを確立しており、これはすべての他のポーランド群を埋め込むことを意味する。さらに、有理数的Urysohn多様性の自己同型群が豊富な一般性（ample generics）と稠密な共轭類を有することを証明しており、全自己同型群は有理数的バージョンの稠密な埋め込みによって同様の性質を有する。

ABSTRACT

We prove that the automorphism group of the Urysohn diversity is a universal Polish group. Furthermore we show that the automorphism group of the rational Urysohn diversity has ample generics, a dense conjugacy class and that it embeds densely into the automorphism group of the (full) Urysohn diversity. It follows that this latter group also has a dense conjugacy class.

研究の動機と目的

• Urysohn多様性の自己同型群を普遍的ポーランド群として確立すること。
• 有理数的Urysohn多様性の自己同型群が豊富な一般性を有することを示すこと。
• 有理数的Urysohn多様性の自己同型群が全Urysohn多様性の自己同型群に稠密に埋め込まれることを証明すること。
• 全Urysohn多様性の自己同型群が稠密な共轭類を有することを示すこと。

提案手法

• 有限有理数的多様性のクラスとしてのFraïssé極限としてUrysohn多様性を構成するために、Katětovの構成を多様性の文脈に適応すること。
• 有限多様体上で定義された許容可能な写像を用いて、部分的等尺写像を完全な自己同型に拡張すること。
• 多様性の拡張定理を用いて、部分自己同型を保存するように結合された拡張を構成すること。
• KechrisとRosendalの定理を適用して、有理数的Urysohn多様性の自己同型群が豊富な一般性を有することを示すこと。
• 有理数的Urysohn多様性の自己同型群が全Urysohn多様性の自己同型群に稠密に埋め込まれることを証明すること。
• 有理数的ケースにおける稠密な埋め込みと稠密な共轭類の性質を活用し、全自己同型群に対しても同様の性質が成り立つことを導出すること。

実験結果

リサーチクエスチョン

• RQ1 Urysohn多様性の自己同型群は普遍的ポーランド群か？
• RQ2 有理数的Urysohn多様性の自己同型群は豊富な一般性を有するか？
• RQ3 有理数的Urysohn多様性の自己同型群は全Urysohn多様性の自己同型群に稠密に埋め込まれるか？
• RQ4 全Urysohn多様性の自己同型群は稠密な共轭類を有するか？

主な発見

• Urysohn多様性の自己同型群は普遍的ポーランド群であり、これはすべてのポーランド群の同型コピーを含むことを意味する。
• 有理数的Urysohn多様性の自己同型群は豊富な一般性を有しており、自動連続性性質や小指数性質といった強い構造的性質を示唆する。
• 有理数的Urysohn多様性の自己同型群は全Urysohn多様性の自己同型群に稠密に埋め込まれる。
• 全Urysohn多様性の自己同型群は稠密な共轭類を有しており、これは有理数的ケースからの稠密な埋め込みによって引き継がれる。
• 有理数的Urysohn多様性は有限有理数的多様体のクラスのFraïssé極限として存在し、その完備化が全Urysohn多様性である。
• 多様性の拡張定理により、任意の有限多様体上の部分的等尺写像が、より大きな有理数的多様体上の完全な自己同型に拡張可能であることが保証される。