[论文解读] 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多样性的自同构群具有稠密的共轭类。

提出的方法

• 将Katětov的构造方法适配到多样性设定中，通过有限有理多样性类的Fraïssé极限构造Urysohn多样性。
• 在有限多样性上定义可接受映射，以将部分同构延拓为完整自同构。
• 利用多样性的延拓定理，构造保持部分自同构的合并扩展。
• 应用Kechris与Rosendal关于丰富一般性的定理，证明有理Urysohn多样性的自同构群具有丰富的一般性。
• 证明有理Urysohn多样性的自同构群稠密地嵌入到完整Urysohn多样性的自同构群中。
• 借助有理情况下的稠密嵌入与稠密共轭类的性质，推导出完整自同构群也具有稠密共轭类。

实验结果

研究问题

• RQ1 Urysohn多样性的自同构群是否为一个普遍波兰群？
• RQ2 有理Urysohn多样性的自同构群是否具有丰富的一般性？
• RQ3 有理Urysohn多样性的自同构群是否稠密地嵌入到完整Urysohn多样性的自同构群中？
• RQ4 完整Urysohn多样性的自同构群是否具有稠密的共轭类？

主要发现

• Urysohn多样性的自同构群是一个普遍波兰群，意味着它包含每一个波兰群的同构像。
• 有理Urysohn多样性的自同构群具有丰富的一般性，暗示了诸如自动连续性性质和小指标性质等强结构特性。
• 有理Urysohn多样性的自同构群稠密地嵌入到完整Urysohn多样性的自同构群中。
• 完整Urysohn多样性的自同构群具有稠密的共轭类，这是通过有理情况下的稠密嵌入继承而来的。
• 有理Urysohn多样性作为有限有理多样性类的Fraïssé极限存在，其完备化即为完整的Urysohn多样性。
• 多样性的延拓定理保证了任意有限多样性上的部分同构度量（partial isoversity）均可延拓为更大有理多样性上的完整自同构。