[论文解读] Hereditarily normal manifolds of dimension > 1 may all be metrizable

Alan Dow, Franklin D. Tall|arXiv (Cornell University)|Jul 16, 2016

Advanced Topology and Set Theory参考文献 15被引用 6

一句话总结

该论文通过证明在公理 PFA(S)[S] 下，所有维度大于1的遗传性正规流形都是度量化的，从而解决了通用拓扑学中一个长期存在的问题——无需额外假设（如遗传性可数分离性或大基数公理）。作者通过证明一组力迫公理（GA），包括 P22、CW、PPI+ 和 b > ω₁，可推出度量化性，随后利用一致的索林树与可数支撑迭代构造出满足 GA 的力迫扩张。

ABSTRACT

P.J. Nyikos has asked whether it is consistent that every hereditarily normal manifold of dimension > 1 is metrizable, and proved it is if one assumes the consistency of a supercompact cardinal, and, in addition, that the manifold is hereditarily collectionwise Hausdorff. We are able to omit these extra assumptions.

研究动机与目标

• 解决 P. J. Nyikos 长期以来关于在某种一致的集合论框架下，维度大于1的遗传性正规流形是否必须是度量化的疑问。
• 消除此前部分解决方案中所需的额外假设，如遗传性可数分离性或超紧基数。
• 证明力迫公理 PFA(S)[S]（其中 S 为一致的索林树）蕴含所有维度大于1的遗传性正规流形均为度量化的事实。
• 分离并确立一组公理（GA）的一致性，该组公理包含 b > ω₁、CW、PPI+ 和 P22，这些公理共同推出度量化结果。

提出的方法

• 在具有统一索林树 S 的模型上，对长度为 ω₂ 的可数支撑迭代进行力迫，使用保持 S 并确保 b = ω₂ 的力迫偏序集。
• 在每个 α < ω₂ 的阶段，根据名称 h(α) 是否编码一个满足驻留集条件的 P-理想（情况1）、一个在 λ 上无有限子覆盖的拓扑（情况2），或使用 Cohen 力迫（情况3），定义力迫偏序集 ˙Qα。
• 利用初等子模型和俱乐部集，识别出一个阶段 λ ∈ S²₁ ∩ C，使得名称 h(λ) 满足情况 (1) 或 (2) 的条件，从而确保力迫扩张满足 P22 和 PPI+。
• 利用 PFA(S)[S] 蕴含紧致、可分、遗传性正规空间是遗传性 Lindelöf 的事实，并据此证明遗传性正规流形的可分子集是 Lindelöf 且度量化的。
• 应用 P-理想二分法（P22）与 PPI+ 原理，证明任意序列紧致但非紧致的正则空间均包含一个不可数的自由序列，若为第一可数，则包含 ω₁ 的拷贝。
• 证明公理组 GA（b > ω₁、CW、PPI+、P22）在无大基数假设下是一致的，且 GA 蕴含所有维度大于1的遗传性正规流形均为度量化的事实。

实验结果

研究问题

• RQ1 在不假设遗传性可数分离性或大基数的前提下，是否存在一种一致性框架，使得所有维度大于1的遗传性正规流形都是度量化的？
• RQ2 能否使用力迫公理 PFA(S)[S] 推导出维度大于1的遗传性正规流形的度量化性？
• RQ3 b > ω₁、CW、PPI+ 和 P22（GA）的合取是否蕴含所有维度大于1的遗传性正规流形均为度量化的？
• RQ4 P22 原理（即对 ω₁ 的 P-理想二分法的强化）在无大基数假设下是否一致？
• RQ5 能否通过使用一致索林树与可数支撑迭代的力迫构造，生成一个所有维度大于1的遗传性正规流形均为度量化的模型？

主要发现

• PFA(S)[S] 蕴含所有维度大于1的遗传性正规流形均为度量化的事实。
• 公理组 GA（包含 b > ω₁、CW、PPI+ 和 P22）蕴含所有维度大于1的遗传性正规流形均为度量化的事实。
• GA 的一致性在无需大基数假设的前提下得以确立。
• 通过在具有统一索林树的模型上对长度为 ω₂ 的可数支撑迭代进行力迫构造，确保了在扩张中 b = ω₂，且 P22 与 PPI+ 成立。
• 在 GA 下，遗传性正规流形的可分子集被证明是 Lindelöf 且度量化的，这是通向主结论的关键步骤。
• 证明中利用初等子模型与俱乐部集，识别出迭代过程中满足 P22 与 PPI+ 所需条件的阶段。