[论文解读] Coherent extension of partial automorphisms, free amalgamation, and automorphism groups

Daoud Siniora, Sławomir Solecki|arXiv (Cornell University)|May 4, 2017

Advanced Topology and Set Theory参考文献 18被引用 4

一句话总结

本文引入了部分自同构的相干扩张，作为Herwig–Lascar与Hodkinson–Otto扩张定理的强化版本，建立了$φ$-自由结构和有限关系语言上自由齐次结构的Fraïssé类的相干EPPA。关键贡献在于证明了此类结构的自同构群——如有理Urysohn空间和自由齐次结构——包含稠密的局部有限子群，并具有充分的通用性，其对拓扑群性质（如小指标性质和Bergman性质）具有重要意义。

ABSTRACT

We give strengthened versions of the Herwig-Lascar and Hodkinson-Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraisse classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraisse limit of any Fraisse class that is the class of all $\mathcal{F}$-free structures (in the Herwig--Lascar sense), and the automorphism group of any free homogeneous structure over a finite relational language, all contain a dense locally finite subgroup. We also show that any free homogeneous structure admits ample generics.

研究动机与目标

• 通过引入保持自同构扩张中复合结构的相干EPPA概念，强化Herwig–Lascar与Hodkinson–Otto扩张定理。
• 证明在有限关系语言上，$φ$-自由结构和自由齐次结构的Fraïssé类满足相干EPPA。
• 推导出自同构群的拓扑群论后果，包括稠密的局部有限子群和充分的通用性。
• 将相干EPPA与自同构群的齐次结构的小指标性质及其他结构性质联系起来。

提出的方法

• 引入一族部分双射之间相干映射的概念，确保相干三元组的像三元组仍保持相干。
• 通过引入遍历理论中的Mackey范围等新技术，重新组织并丰富Herwig–Lascar与Hodkinson–Otto定理的原始证明。
• 将相干EPPA应用于$φ$-自由结构和自由齐次结构的Fraïssé类，证明此类类存在相干EPPA-扩张。
• 利用相干EPPA的存在性，在齐次结构的自同构群中构造稠密的局部有限子群。
• 利用并置基条件与齐次性，应用[9]和[6]中的结果，建立充分的通用性。
• 应用[10]中的群论结果，推导出自同构群的小指标性质、不可数共尾性、21-Bergman性质以及Serre的性质(FA)。

实验结果

研究问题

• RQ1 能否将部分自同构的扩张性质（EPPA）强化为一种保持自同构扩张中复合结构的相干版本？
• RQ2 相干EPPA性质是否对有限关系语言上的$φ$-自由结构和自由齐次结构的Fraïssé类成立？
• RQ3 相干EPPA是否意味着齐次结构的自同构群中存在稠密的局部有限子群？
• RQ4 能否利用相干EPPA建立自由齐次结构自同构群的充分通用性？
• RQ5 相干EPPA与充分通用性可推出哪些拓扑与群论性质（如小指标性质、Bergman性质）？

主要发现

• 有理Urysohn空间的自同构群包含一个稠密的局部有限子群。
• 任何$φ$-自由类（Herwig–Lascar意义下）的Fraïssé极限的自同构群都包含一个稠密的局部有限子群。
• 任何有限关系语言上的自由齐次结构的自同构群都包含一个稠密的局部有限子群。
• 任何有限关系语言上的自由齐次结构都具有充分的通用性。
• 任何有限关系语言上的自由齐次结构的自同构群具有小指标性质、不可数共尾性、21-Bergman性质以及Serre的性质(FA)。