[論文レビュー] Somewhere trivial automorphisms

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

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

ひとこと要約

この論文は、自然数のストーン・チエホフコンパクト化 βN 上での非自明な自己ホメオモルフィズムの一貫性を示しており、そのような自己ホメオモルフィズムがいくつかの開集合上で自明であることを保証している。ヴェリコビッチが開発したモデルを用いて、この文脈においてマーティンの公理が成り立つことが示され、非自明な自己ホメオモルフィズムが全体として非自明でない場合に存在しうることを解明し、集合論的位相幾何学と論理学における長年の未解決問題を解決した。

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 の自己ホメオモルフィズムとその空間の位相的構造との相互作用を調査すること。
• マーティンの公理と強制モデルが、このような自己ホメオモルフィズムの構成に果たす役割を分析すること。
• βN の自己ホメオモルフィズムにおける、全体的な非自明性と局所的な自明性の違いを明確にすること。

提案手法

• ヴェリコビッチが開発した強制モデルを用い、マーティンの公理を満たし、強力な組合せ的性質を持つ。
• 集合論的位相幾何学とブール代数の道具を用いて、βN 及びその自己ホメオモルフィズムの構造を分析する。
• ZFC 内のモデル理論および独立性結果の技術を応用し、制限された補助集合を持つ自己ホメオモルフィズムを構成する。
• 「ある場所で自明」である自己ホメオモルフィズムの概念を活用する——つまり、全体としては非自明だが、ある開集合上で自明である。
• ヴェリコビッチのモデルでは、βN のすべての自己ホメオモルフィズムは、自明であるか、または稠密な Gδ 集合上で非自明な作用を持つという事実を活用する。
• ブール超冪と一般化拡大の結果を統合し、望ましい自己ホメオモルフィズムの振る舞いの一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 βN の非自明な自己ホメオモルフィズムが、ある開部分集合上で自明であるようなものが、ZFC に関して一貫して存在するか？
• RQ2 マーティンの公理が成り立つモデル内に、このような自己ホメオモルフィズムが存在しうるか？
• RQ3 βN の自己ホメオモルフィズムにおいて、局所的自明性と全体的非自明性の関係は何か？
• RQ4 すべての非自明な自己ホメオモルフィズムが、どこにも非自明でないような集合論のモデルは存在するか？
• RQ5 βN の超フィルターの構造が、自己ホメオモルフィズムの可能な形をどのように制限するか？

主な発見

• ZFC に関して一貫して、βN の非自明な自己ホメオモルフィズムが、ある開集合上で自明であるようなものが存在する。
• 使用されたモデルはヴェリコビッチによって示されたようにマーティンの公理を満たし、このような自己ホメオモルフィズムの存在を支持する。
• このモデル内では、すべての非自明な自己ホメオモルフィズムが、ある開部分集合上で自明であるが、全体としては非自明である。
• この結果により、「ある場所で自明」な自己ホメオモルフィズムが、マーティンの公理の一貫性を損なわずに存在しうることを示した。
• 構成により、全体的な非自明性が、すべての開集合で非自明であることを意味しないことが示された。
• 本論文は、βN における自己ホメオモルフィズムの全体的行動と局所的行動の間の分離を確立し、分野における重要な問いに解決をもたらした。