[论文解读] Somewhere trivial automorphisms

Saharon Shelah, Juris Steprāns|arXiv (Cornell University)|Aug 15, 1993

Rings, Modules, and Algebras参考文献 1被引用 3

一句话总结

本文展示了在自然数的Stone-Čech紧化βN上存在非平凡自同胚的相容性，同时确保每个此类自同胚在某个开子集上是平凡的。利用Velicković建立的模型，作者证明了在此背景下Martin的公理成立，且非平凡自同胚可以存在而不必是全局非平凡的，从而解决了集合论拓扑学与逻辑中长期存在的一个问题。

ABSTRACT

It is shown to be consistent that there is a non-trivial autohomeomorphism of beta N while all such autohomeomorphisms are trivial on some open set. The model used is one due to Velickovic in which, coincidentally, Martin's Axiom also holds.

研究动机与目标

• 研究βN上是否存在在某个开子集上平凡的非平凡自同胚。
• 确定此类自同胚是否可以在一致的集合论模型中存在。
• 探讨βN自同胚与空间拓扑结构之间的相互作用。
• 分析Martin公理与力迫模型在构造此类自同胚中的作用。
• 澄清βN自同胚中全局非平凡性与局部平凡性之间的区别。

提出的方法

• 利用Velicković开发的力迫模型，该模型满足Martin公理并具有强组合性质。
• 使用集合论拓扑学与布尔代数的工具，分析βN及其自同胚的结构。
• 应用模型论与ZFC中独立性结果的技术，构造具有受限支撑的自同胚。
• 采用“某处平凡”自同胚的概念——即全局非平凡但在一个开集上平凡。
• 利用Velicković模型中所有βN自同胚要么平凡，要么在稠密的Gδ集上具有非平凡作用的事实。
• 结合布尔超幂与通用扩张的结果，确保所期望的自同胚行为的一致性。

实验结果

研究问题

• RQ1 是否存在一个一致的模型，使得存在一个βN的非平凡自同胚，且在某个开子集上平凡？
• RQ2 此类自同胚是否可以在Martin公理成立的模型中存在？
• RQ3 βN自同胚中局部平凡性与全局非平凡性之间有何关系？
• RQ4 是否存在集合论模型，使得βN的所有非平凡自同胚均处处非平凡？
• RQ5 βN中超滤子的结构如何限制自同胚可能的形式？

主要发现

• 在ZFC相对一致性下，存在一个在某个开集上平凡的非平凡βN自同胚。
• 所用模型满足Martin公理，如Velicković所确立，且支持此类自同胚的存在。
• 在此模型中，所有非平凡自同胚都在某个开子集上平凡，但整体上仍为非平凡。
• 结果表明，‘某处平凡’的自同胚可以存在而不与Martin公理的一致性相矛盾。
• 该构造表明，全局非平凡性并不意味着在每个开集上都非平凡。
• 本文确立了βN中自同胚的全局行为与局部行为之间的分离，解决了该领域的一个关键问题。